Trace number 237981

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACUNSAT 110.442 111.618

DiagnosticValue
CHECKS58712272
NODES6765759

General information on the benchmark

Namehaystacks/
haystacks_06.xml
MD5SUMf2b284e085d94b3059ddb20804714991
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.047992
SatisfiableNO
(Un)Satisfiability was proved
Number of variables36
Number of constraints95
Maximum constraint arity2
Maximum domain size6
Number of constraints which are defined in extension0
Number of constraints which are defined in intension95
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/237981-1168083381/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.43	     nbVariables=36  nbDomainTypes=1  minDomainSize=6  maxDomainSize=6
0.43	       =>  wckTime=0.093  cpuTime=0.07  mem=6M902
0.43	   
0.43	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
0.52	     nbConstraints=95  nbConvertedConstraints=95  nbConvertConstraintsChecks=144  nbExtensionStructures=4
0.52	     nbSharedExtensionStructures=91  nbConflictsStructures=4  nbSharedConflictsStructures=91
0.52	     nbSharedBinaryRepresentations=35  maxDegree=6  maxArity=2
0.53	       =>  wckTime=0.186  cpuTime=0.14  mem=7M911
0.56	   
0.56	   solver IterativeSystematicSolver being built... 
0.71	       =>  wckTime=0.374  cpuTime=0.27  mem=13M274
0.72	   
0.72	   preprocessing
0.72	     nbConstraintChecks=0  nbPropagations=36  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.72	     detectedInconsistency=no
0.72	       =>  wckTime=0.0010  cpuTime=0.0  mem=13M274
0.74	   
0.74	   search
0.74	     run=0  nbConstraintChecks=631  nbPropagations=197  nbRevisions=203  nbUselessRevisions=31  nbAssignments=30
0.74	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=51  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.74	     nbTooLargeKeys=0
0.74	       =>  wckTime=0.024  cpuTime=0.02  mem=14M249
0.76	   
0.76	   search
0.76	     run=1  nbConstraintChecks=1755  nbPropagations=627  nbRevisions=679  nbUselessRevisions=102  nbAssignments=70
0.76	     nbFailedAssignments=20  nbBacktracks=25  nbVisitedNodes=109  nbRestartNogoods=4  mapSize=21  nbInferences=0
0.76	     nbTooLargeKeys=0
0.76	       =>  wckTime=0.047  cpuTime=0.03  mem=14M249
0.77	   
0.77	   search
0.77	     run=2  nbConstraintChecks=2754  nbPropagations=1287  nbRevisions=1429  nbUselessRevisions=209  nbAssignments=115
0.77	     nbFailedAssignments=34  nbBacktracks=47  nbVisitedNodes=180  nbRestartNogoods=8  mapSize=38  nbInferences=0
0.77	     nbTooLargeKeys=0
0.77	       =>  wckTime=0.056  cpuTime=0.03  mem=14M249
0.78	   
0.78	   search
0.78	     run=3  nbConstraintChecks=3969  nbPropagations=2292  nbRevisions=2589  nbUselessRevisions=363  nbAssignments=189
0.78	     nbFailedAssignments=58  nbBacktracks=81  nbVisitedNodes=301  nbRestartNogoods=11  mapSize=64  nbInferences=1
0.78	     nbTooLargeKeys=0
0.78	       =>  wckTime=0.066  cpuTime=0.04  mem=14M249
0.80	   
0.80	   search
0.80	     run=4  nbConstraintChecks=7113  nbPropagations=3928  nbRevisions=4630  nbUselessRevisions=614  nbAssignments=287
0.80	     nbFailedAssignments=93  nbBacktracks=131  nbVisitedNodes=464  nbRestartNogoods=19  mapSize=105  nbInferences=6
0.80	     nbTooLargeKeys=0
0.80	       =>  wckTime=0.082  cpuTime=0.06  mem=14M249
0.81	   
0.81	   search
0.81	     run=5  nbConstraintChecks=9738  nbPropagations=6288  nbRevisions=7690  nbUselessRevisions=1114  nbAssignments=447
0.81	     nbFailedAssignments=153  nbBacktracks=206  nbVisitedNodes=736  nbRestartNogoods=26  mapSize=169  nbInferences=7
0.81	     nbTooLargeKeys=0
0.81	       =>  wckTime=0.093  cpuTime=0.07  mem=14M249
0.82	   
0.82	   search
0.82	     run=6  nbConstraintChecks=15579  nbPropagations=9938  nbRevisions=12663  nbUselessRevisions=2015  nbAssignments=661
0.82	     nbFailedAssignments=234  nbBacktracks=321  nbVisitedNodes=1108  nbRestartNogoods=43  mapSize=277  nbInferences=17
0.82	     nbTooLargeKeys=0
0.82	       =>  wckTime=0.111  cpuTime=0.08  mem=14M249
0.84	   
0.84	   search
0.84	     run=7  nbConstraintChecks=26396  nbPropagations=15718  nbRevisions=20828  nbUselessRevisions=3346
0.84	     nbAssignments=980  nbFailedAssignments=346  nbBacktracks=492  nbVisitedNodes=1670  nbRestartNogoods=48  mapSize=437
0.84	     nbInferences=47  nbTooLargeKeys=0
0.84	       =>  wckTime=0.129  cpuTime=0.1  mem=14M249
0.87	   
0.87	   search
0.87	     run=8  nbConstraintChecks=38491  nbPropagations=24239  nbRevisions=32626  nbUselessRevisions=5288
0.87	     nbAssignments=1483  nbFailedAssignments=476  nbBacktracks=750  nbVisitedNodes=2504  nbRestartNogoods=51
0.87	     mapSize=653  nbInferences=156  nbTooLargeKeys=0
0.87	       =>  wckTime=0.159  cpuTime=0.12  mem=14M249
0.91	   
0.91	   search
0.91	     run=9  nbConstraintChecks=52962  nbPropagations=36363  nbRevisions=48767  nbUselessRevisions=7850
0.91	     nbAssignments=2221  nbFailedAssignments=617  nbBacktracks=1137  nbVisitedNodes=3670  nbRestartNogoods=54
0.91	     mapSize=978  nbInferences=359  nbTooLargeKeys=0
0.91	       =>  wckTime=0.197  cpuTime=0.14  mem=14M249
0.94	   
0.94	   search
0.94	     run=10  nbConstraintChecks=67769  nbPropagations=52973  nbRevisions=69612  nbUselessRevisions=11417
0.94	     nbAssignments=3426  nbFailedAssignments=735  nbBacktracks=1715  nbVisitedNodes=5536  nbRestartNogoods=60
0.94	     mapSize=1417  nbInferences=854  nbTooLargeKeys=0
0.94	       =>  wckTime=0.227  cpuTime=0.16  mem=14M249
0.97	   
0.97	   search
0.97	     run=11  nbConstraintChecks=88463  nbPropagations=76554  nbRevisions=96939  nbUselessRevisions=15745
0.97	     nbAssignments=5284  nbFailedAssignments=951  nbBacktracks=2579  nbVisitedNodes=8474  nbRestartNogoods=70
0.97	     mapSize=2227  nbInferences=1617  nbTooLargeKeys=0
0.97	       =>  wckTime=0.261  cpuTime=0.2  mem=14M249
1.03	   
1.03	   search
1.03	     run=12  nbConstraintChecks=154742  nbPropagations=114944  nbRevisions=145962  nbUselessRevisions=24471
1.03	     nbAssignments=7646  nbFailedAssignments=1876  nbBacktracks=3876  nbVisitedNodes=12613  nbRestartNogoods=82
1.03	     mapSize=3477  nbInferences=1747  nbTooLargeKeys=0
1.03	       =>  wckTime=0.32  cpuTime=0.25  mem=14M249
1.11	   
1.11	   search
1.11	     run=13  nbConstraintChecks=254834  nbPropagations=174206  nbRevisions=226196  nbUselessRevisions=39137
1.11	     nbAssignments=11050  nbFailedAssignments=2889  nbBacktracks=5823  nbVisitedNodes=18343  nbRestartNogoods=94
1.11	     mapSize=5212  nbInferences=2182  nbTooLargeKeys=0
1.11	       =>  wckTime=0.401  cpuTime=0.33  mem=15M224
1.24	   
1.24	   search
1.25	     run=14  nbConstraintChecks=407992  nbPropagations=266715  nbRevisions=355432  nbUselessRevisions=62825
1.25	     nbAssignments=16127  nbFailedAssignments=4835  nbBacktracks=8742  nbVisitedNodes=27210  nbRestartNogoods=102
1.25	     mapSize=7845  nbInferences=2383  nbTooLargeKeys=0
1.25	       =>  wckTime=0.531  cpuTime=0.46  mem=15M224
1.44	   
1.44	   search
1.44	     run=15  nbConstraintChecks=657053  nbPropagations=411761  nbRevisions=563875  nbUselessRevisions=100227
1.44	     nbAssignments=23915  nbFailedAssignments=7905  nbBacktracks=13121  nbVisitedNodes=40898  nbRestartNogoods=109
1.44	     mapSize=11874  nbInferences=2712  nbTooLargeKeys=0
1.44	       =>  wckTime=0.727  cpuTime=0.65  mem=15M224
1.69	   
1.69	   search
1.69	     run=16  nbConstraintChecks=904623  nbPropagations=619727  nbRevisions=850508  nbUselessRevisions=151939
1.69	     nbAssignments=36634  nbFailedAssignments=10521  nbBacktracks=19689  nbVisitedNodes=61551  nbRestartNogoods=118
1.69	     mapSize=17688  nbInferences=6231  nbTooLargeKeys=0
1.70	       =>  wckTime=0.981  cpuTime=0.9  mem=16M331
2.04	   
2.04	   search
2.04	     run=17  nbConstraintChecks=1188529  nbPropagations=912173  nbRevisions=1227213  nbUselessRevisions=216149
2.04	     nbAssignments=56593  nbFailedAssignments=13751  nbBacktracks=29541  nbVisitedNodes=93608  nbRestartNogoods=130
2.04	     mapSize=27026  nbInferences=13091  nbTooLargeKeys=0
2.04	       =>  wckTime=1.324  cpuTime=1.24  mem=17M306
2.61	   
2.61	   search
2.61	     run=18  nbConstraintChecks=1795406  nbPropagations=1350945  nbRevisions=1800169  nbUselessRevisions=316683
2.61	     nbAssignments=84318  nbFailedAssignments=21420  nbBacktracks=44321  nbVisitedNodes=140005  nbRestartNogoods=139
2.61	     mapSize=40441  nbInferences=18351  nbTooLargeKeys=0
2.61	       =>  wckTime=1.898  cpuTime=1.8  mem=19M256
3.41	   
3.41	   search
3.41	     run=19  nbConstraintChecks=2458604  nbPropagations=1980739  nbRevisions=2581500  nbUselessRevisions=445673
3.41	     nbAssignments=128913  nbFailedAssignments=28409  nbBacktracks=66490  nbVisitedNodes=211863  nbRestartNogoods=153
3.41	     mapSize=59403  nbInferences=33776  nbTooLargeKeys=0
3.41	       =>  wckTime=2.693  cpuTime=2.59  mem=22M706
4.60	   
4.60	   search
4.60	     run=20  nbConstraintChecks=3369774  nbPropagations=2892795  nbRevisions=3651242  nbUselessRevisions=616866
4.60	     nbAssignments=198878  nbFailedAssignments=37133  nbBacktracks=99742  nbVisitedNodes=323926  nbRestartNogoods=162
4.60	     mapSize=90095  nbInferences=61751  nbTooLargeKeys=0
4.60	       =>  wckTime=3.884  cpuTime=3.78  mem=26M607
6.80	   
6.80	   search
6.80	     run=21  nbConstraintChecks=4460031  nbPropagations=4283173  nbRevisions=5041951  nbUselessRevisions=797577
6.80	     nbAssignments=335547  nbFailedAssignments=39756  nbBacktracks=149621  nbVisitedNodes=548016  nbRestartNogoods=177
6.80	     mapSize=139256  nbInferences=145906  nbTooLargeKeys=0
6.80	       =>  wckTime=6.081  cpuTime=5.95  mem=35M457
9.93	   
9.93	   search
9.93	     run=22  nbConstraintChecks=6185934  nbPropagations=6369675  nbRevisions=6949345  nbUselessRevisions=1012573
9.93	     nbAssignments=528937  nbFailedAssignments=47893  nbBacktracks=224440  nbVisitedNodes=865082  nbRestartNogoods=188
9.93	     mapSize=213444  nbInferences=256327  nbTooLargeKeys=0
9.93	       =>  wckTime=9.217  cpuTime=9.06  mem=49M216
14.13	   
14.13	   search
14.13	     run=23  nbConstraintChecks=8719932  nbPropagations=9391851  nbRevisions=9682662  nbUselessRevisions=1327955
14.13	     nbAssignments=786739  nbFailedAssignments=68990  nbBacktracks=336667  nbVisitedNodes=1281511  nbRestartNogoods=204
14.13	     mapSize=325153  nbInferences=380791  nbTooLargeKeys=0
14.13	       =>  wckTime=13.413  cpuTime=12.98  mem=38M19
20.41	   
20.41	   search
20.41	     run=24  nbConstraintChecks=12812434  nbPropagations=13892665  nbRevisions=13750397  nbUselessRevisions=1800836
20.41	     nbAssignments=1182627  nbFailedAssignments=101939  nbBacktracks=505008  nbVisitedNodes=1925941
20.41	     nbRestartNogoods=216  mapSize=491263  nbInferences=575373  nbTooLargeKeys=0
20.41	       =>  wckTime=19.697  cpuTime=19.21  mem=65M149
29.48	   
29.48	   search
29.48	     run=25  nbConstraintChecks=17904424  nbPropagations=20383480  nbRevisions=19506848  nbUselessRevisions=2478391
29.48	     nbAssignments=1755805  nbFailedAssignments=143551  nbBacktracks=757519  nbVisitedNodes=2845470
29.48	     nbRestartNogoods=235  mapSize=743393  nbInferences=854415  nbTooLargeKeys=0
29.48	       =>  wckTime=28.767  cpuTime=27.77  mem=80M135
43.75	   
43.75	   search
43.75	     run=26  nbConstraintChecks=27971361  nbPropagations=30212300  nbRevisions=28528858  nbUselessRevisions=3634058
43.75	     nbAssignments=2599097  nbFailedAssignments=238336  nbBacktracks=1136286  nbVisitedNodes=4212142
43.75	     nbRestartNogoods=251  mapSize=1116939  nbInferences=1224143  nbTooLargeKeys=0
43.75	       =>  wckTime=43.039  cpuTime=41.47  mem=119M416
65.36	   
65.36	   search
65.36	     run=27  nbConstraintChecks=38767506  nbPropagations=44648770  nbRevisions=41140635  nbUselessRevisions=5141367
65.36	     nbAssignments=3956860  nbFailedAssignments=307785  nbBacktracks=1704437  nbVisitedNodes=6406169
65.36	     nbRestartNogoods=266  mapSize=1678049  nbInferences=1944289  nbTooLargeKeys=0
65.36	       =>  wckTime=64.646  cpuTime=61.98  mem=179M778
107.22	   
107.22	   search
107.22	     run=28  nbConstraintChecks=56680859  nbPropagations=67872334  nbRevisions=59162756  nbUselessRevisions=6650869
107.22	     nbAssignments=6498528  nbFailedAssignments=308991  nbBacktracks=2556664  nbVisitedNodes=10638419
107.22	     nbRestartNogoods=281  mapSize=2529839  nbInferences=3632513  nbTooLargeKeys=0
107.22	       =>  wckTime=106.505  cpuTime=101.89  mem=255M370
111.51	   
111.51	   search
111.51	     run=29  nbConstraintChecks=58712272  nbPropagations=92042409  nbRevisions=77796562  nbUselessRevisions=8166594
111.51	     nbAssignments=6765759  nbFailedAssignments=313701  nbBacktracks=2648682  nbVisitedNodes=11085507
111.51	     nbRestartNogoods=295  mapSize=2621854  nbInferences=3803017  nbTooLargeKeys=0
111.51	       =>  wckTime=110.797  cpuTime=106.14  mem=272M21
111.51	   
111.51	   global
111.51	     nbConstraintChecks=58712272  nbPropagations=92042445  nbRevisions=77796562  nbUselessRevisions=8166594
111.51	     nbRestartNogoods=295  solvingWckTime=110.799  solvingCpuTime=106.14  expiredTime=no  totalExploration=yes
111.51	     nbFoundSolutions=0  globalCpuTime=106.46
111.51	       =>  wckTime=111.175  cpuTime=106.41  mem=272M21
111.52	   
111.52	s UNSATISFIABLE
111.52	d NODES 6765759
111.52	d CHECKS 58712272
111.52	   
111.52	   totalWckTime=111.252  totalCpuTime=106.47

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node17/watcher-237981-1168083381 -o ROOT/results/node17/solver-237981-1168083381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237981-1168083381/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.78 1.26 1.56 2/93 16159
/proc/meminfo: memFree=1559344/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=18540 CPUtime=0
/proc/16158/stat : 16158 (runsolver) R 16156 16158 16091 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156733462 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16158/statm: 4635 279 244 17 0 2626 0

[startup+0.102192 s]
/proc/loadavg: 0.78 1.26 1.56 2/93 16159
/proc/meminfo: memFree=1559344/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=911488 CPUtime=0.07
/proc/16158/stat : 16158 (java) D 16156 16158 16091 0 -1 0 2637 0 1 0 6 1 0 0 25 0 8 0 156733462 933363712 2384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488

[startup+0.510232 s]
/proc/loadavg: 0.78 1.26 1.56 2/93 16159
/proc/meminfo: memFree=1559344/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=0.44
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 6339 0 1 0 41 3 0 0 25 0 8 0 156733462 937426944 6078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154193948 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 6078 2167 14 0 215334 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915456

[startup+1.33131 s]
/proc/loadavg: 0.78 1.26 1.56 4/100 16166
/proc/meminfo: memFree=1535800/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=1.26
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 8722 0 1 0 119 7 0 0 25 0 8 0 156733462 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073686187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 8460 2532 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.02
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 156733466 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733467 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 364 0 0 0 16 1 0 0 15 0 8 0 156733470 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) R 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915456

[startup+2.96848 s]
/proc/loadavg: 0.78 1.26 1.56 3/100 16166
/proc/meminfo: memFree=1532536/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=2.87
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 9921 0 1 0 280 7 0 0 25 0 8 0 156733462 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702749 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 9658 2532 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.02
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 156733466 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733467 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 365 0 0 0 16 1 0 0 15 0 8 0 156733470 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456

[startup+6.17382 s]
/proc/loadavg: 0.87 1.28 1.56 3/100 16166
/proc/meminfo: memFree=1519800/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=6.05
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 13097 0 1 0 597 8 0 0 25 0 8 0 156733462 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073701807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 12833 2532 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.02
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 156733466 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733467 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915456

[startup+12.6405 s]
/proc/loadavg: 0.96 1.29 1.56 3/100 16166
/proc/meminfo: memFree=1480952/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=12.46
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 22320 0 1 0 1233 13 0 0 25 0 8 0 156733462 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 22055 2536 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.25
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 5337 0 0 0 23 2 0 0 16 0 8 0 156733466 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915456

[startup+25.4978 s]
/proc/loadavg: 1.19 1.32 1.57 3/100 16166
/proc/meminfo: memFree=1445560/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=25.2
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 31178 0 1 0 2504 16 0 0 25 0 8 0 156733462 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073705920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 30912 2536 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.68
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 14191 0 0 0 63 5 0 0 16 0 8 0 156733466 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915456

[startup+51.1035 s]
/proc/loadavg: 1.47 1.38 1.58 3/100 16166
/proc/meminfo: memFree=1384760/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=50.54
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 46350 0 1 0 5032 22 0 0 25 0 8 0 156733462 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073689240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 46082 2536 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=1.55
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 29361 0 0 0 144 11 0 0 16 0 8 0 156733466 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 915456

[startup+102.317 s]
/proc/loadavg: 1.77 1.47 1.60 3/100 16166
/proc/meminfo: memFree=1275576/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=101.26
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 73602 0 1 0 10093 33 0 0 25 0 8 0 156733462 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073694503 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 73330 2536 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=3.16
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 56609 0 0 0 294 22 0 0 16 0 8 0 156733466 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 111.618
CPU time (s): 110.442
CPU user time (s): 110.028
CPU system time (s): 0.413937
CPU usage (%): 98.9463
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.028
system time used= 0.413937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79297
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3345
involuntary context switches= 6559

runsolver used 0.122981 s user time and 0.378942 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan  6 11:36:24 UTC 2007


IDJOB= 237981
IDBENCH= 6975
FILE ID= node17/237981-1168083381

PBS_JOBID= 3476276

Free space on /tmp= 66319 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_06.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237981-1168083381/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-237981-1168083381 -o ROOT/results/node17/solver-237981-1168083381 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237981-1168083381/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f2b284e085d94b3059ddb20804714991

RANDOM SEED= 821835419

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1559952 kB
Buffers:         47848 kB
Cached:         258016 kB
SwapCached:          0 kB
Active:         190844 kB
Inactive:       215800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1559952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1944 kB
Writeback:           0 kB
Mapped:         129800 kB
Slab:            73964 kB
Committed_AS:  4674084 kB
PageTables:       2380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66319 MiB



End job on node17 on Sat Jan  6 11:38:18 UTC 2007