Trace number 212728

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 AC? (TO) 1800.18 1815.24

General information on the benchmark

NamepseudoSeries/
primesDimacs/f600.xml
MD5SUMeaafb6d59875b3b88c054bc279abccfd
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints3150
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/212728-1168077209/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.51	     nbVariables=1200  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.51	       =>  wckTime=0.187  cpuTime=0.14  mem=8M869
0.51	   
0.51	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
1.09	     nbConstraints=3150  nbConvertedConstraints=600  nbConvertConstraintsChecks=52  nbExtensionStructures=1
1.09	     nbSharedExtensionStructures=599  nbConflictsStructures=7  nbSharedConflictsStructures=3143
1.09	     nbSharedBinaryRepresentations=2  nbEvaluationManagers=6  nbSharedEvaluationManagers=2544  maxDegree=17  maxArity=3
1.09	       =>  wckTime=0.773  cpuTime=0.62  mem=27M414
1.17	   
1.17	   solver IterativeSystematicSolver being built... 
1.45	       =>  wckTime=1.127  cpuTime=0.85  mem=34M116
1.48	   
1.48	   preprocessing
1.48	     nbConstraintChecks=0  nbPropagations=1200  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.48	     detectedInconsistency=no
1.48	       =>  wckTime=0.021  cpuTime=0.01  mem=34M116
1.66	   
1.66	   search
1.66	     run=0  nbConstraintChecks=2890  nbValidityChecks=531  nbPropagations=2090  nbRevisions=2981
1.66	     nbUselessRevisions=2100  nbAssignments=258  nbFailedAssignments=2  nbBacktracks=26  nbVisitedNodes=264
1.66	     nbRestartNogoods=0  mapSize=4  nbInferences=0  nbTooLargeKeys=0
1.66	       =>  wckTime=0.207  cpuTime=0.16  mem=35M89
1.84	   
1.84	   search
1.84	     run=1  nbConstraintChecks=7226  nbValidityChecks=3711  nbPropagations=5761  nbRevisions=11848
1.84	     nbUselessRevisions=8407  nbAssignments=587  nbFailedAssignments=7  nbBacktracks=123  nbVisitedNodes=603
1.84	     nbRestartNogoods=1  mapSize=12  nbInferences=0  nbTooLargeKeys=0
1.84	       =>  wckTime=0.382  cpuTime=0.32  mem=35M89
1.95	   
1.95	   search
1.95	     run=2  nbConstraintChecks=10130  nbValidityChecks=7012  nbPropagations=10807  nbRevisions=25622
1.95	     nbUselessRevisions=18204  nbAssignments=838  nbFailedAssignments=10  nbBacktracks=155  nbVisitedNodes=860
1.95	     nbRestartNogoods=3  mapSize=17  nbInferences=0  nbTooLargeKeys=0
1.95	       =>  wckTime=0.495  cpuTime=0.43  mem=35M89
2.07	   
2.07	   search
2.07	     run=3  nbConstraintChecks=13171  nbValidityChecks=10514  nbPropagations=17281  nbRevisions=44402
2.07	     nbUselessRevisions=31510  nbAssignments=1106  nbFailedAssignments=14  nbBacktracks=237  nbVisitedNodes=1136
2.07	     nbRestartNogoods=4  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.07	       =>  wckTime=0.615  cpuTime=0.55  mem=35M89
2.19	   
2.19	   search
2.19	     run=4  nbConstraintChecks=16772  nbValidityChecks=14517  nbPropagations=25342  nbRevisions=68779
2.19	     nbUselessRevisions=48743  nbAssignments=1374  nbFailedAssignments=23  nbBacktracks=290  nbVisitedNodes=1418
2.19	     nbRestartNogoods=5  mapSize=37  nbInferences=0  nbTooLargeKeys=0
2.19	       =>  wckTime=0.735  cpuTime=0.66  mem=35M89
2.36	   
2.36	   search
2.36	     run=5  nbConstraintChecks=21171  nbValidityChecks=19288  nbPropagations=35164  nbRevisions=99701
2.36	     nbUselessRevisions=70647  nbAssignments=1698  nbFailedAssignments=28  nbBacktracks=367  nbVisitedNodes=1754
2.36	     nbRestartNogoods=6  mapSize=48  nbInferences=0  nbTooLargeKeys=0
2.36	       =>  wckTime=0.911  cpuTime=0.81  mem=36M62
2.50	   
2.50	   search
2.50	     run=6  nbConstraintChecks=27163  nbValidityChecks=27171  nbPropagations=47814  nbRevisions=141119
2.50	     nbUselessRevisions=100036  nbAssignments=1991  nbFailedAssignments=37  nbBacktracks=486  nbVisitedNodes=2066
2.50	     nbRestartNogoods=7  mapSize=64  nbInferences=0  nbTooLargeKeys=0
2.50	       =>  wckTime=1.044  cpuTime=0.94  mem=36M62
2.71	   
2.71	   search
2.71	     run=7  nbConstraintChecks=36671  nbValidityChecks=39646  nbPropagations=64988  nbRevisions=198849
2.71	     nbUselessRevisions=140849  nbAssignments=2433  nbFailedAssignments=53  nbBacktracks=705  nbVisitedNodes=2542
2.71	     nbRestartNogoods=10  mapSize=95  nbInferences=0  nbTooLargeKeys=0
2.71	       =>  wckTime=1.259  cpuTime=1.16  mem=36M62
2.94	   
2.94	   search
2.94	     run=8  nbConstraintChecks=50024  nbValidityChecks=56060  nbPropagations=87825  nbRevisions=277849
2.94	     nbUselessRevisions=196690  nbAssignments=2886  nbFailedAssignments=68  nbBacktracks=983  nbVisitedNodes=3035
2.94	     nbRestartNogoods=13  mapSize=133  nbInferences=0  nbTooLargeKeys=0
2.94	       =>  wckTime=1.491  cpuTime=1.39  mem=37M35
3.21	   
3.22	   search
3.22	     run=9  nbConstraintChecks=63878  nbValidityChecks=73662  nbPropagations=116939  nbRevisions=379436
3.22	     nbUselessRevisions=268191  nbAssignments=3452  nbFailedAssignments=87  nbBacktracks=1400  nbVisitedNodes=3647
3.22	     nbRestartNogoods=15  mapSize=176  nbInferences=0  nbTooLargeKeys=0
3.22	       =>  wckTime=1.761  cpuTime=1.66  mem=37M35
3.70	   
3.70	   search
3.70	     run=10  nbConstraintChecks=95905  nbValidityChecks=117044  nbPropagations=160296  nbRevisions=536443
3.70	     nbUselessRevisions=379328  nbAssignments=4295  nbFailedAssignments=132  nbBacktracks=1976  nbVisitedNodes=4579
3.70	     nbRestartNogoods=18  mapSize=261  nbInferences=0  nbTooLargeKeys=0
3.70	       =>  wckTime=2.247  cpuTime=2.12  mem=38M9
4.25	   
4.25	   search
4.25	     run=11  nbConstraintChecks=130328  nbValidityChecks=162873  nbPropagations=219617  nbRevisions=751625
4.25	     nbUselessRevisions=530865  nbAssignments=5366  nbFailedAssignments=189  nbBacktracks=2844  nbVisitedNodes=5753
4.25	     nbRestartNogoods=22  mapSize=362  nbInferences=0  nbTooLargeKeys=0
4.25	       =>  wckTime=2.798  cpuTime=2.68  mem=38M982
5.04	   
5.04	   search
5.04	     run=12  nbConstraintChecks=175987  nbValidityChecks=222080  nbPropagations=299420  nbRevisions=1041751
5.04	     nbUselessRevisions=734562  nbAssignments=6921  nbFailedAssignments=276  nbBacktracks=4152  nbVisitedNodes=7469
5.04	     nbRestartNogoods=24  mapSize=517  nbInferences=0  nbTooLargeKeys=0
5.04	       =>  wckTime=3.589  cpuTime=3.45  mem=39M955
6.19	   
6.19	   search
6.19	     run=13  nbConstraintChecks=243242  nbValidityChecks=310075  nbPropagations=409233  nbRevisions=1444006
6.19	     nbUselessRevisions=1017015  nbAssignments=9127  nbFailedAssignments=386  nbBacktracks=6101  nbVisitedNodes=9887
6.19	     nbRestartNogoods=30  mapSize=726  nbInferences=0  nbTooLargeKeys=0
6.19	       =>  wckTime=4.735  cpuTime=4.59  mem=41M901
7.55	   
7.55	   INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=43M848)
7.75	   
7.75	   search
7.75	     run=14  nbConstraintChecks=359953  nbValidityChecks=453751  nbPropagations=572101  nbRevisions=2030955
7.75	     nbUselessRevisions=1424939  nbAssignments=12393  nbFailedAssignments=594  nbBacktracks=9051  nbVisitedNodes=13501
7.75	     nbRestartNogoods=33
7.75	       =>  wckTime=6.302  cpuTime=6.14  mem=43M848
9.42	   
9.42	   search
9.42	     run=15  nbConstraintChecks=534603  nbValidityChecks=673017  nbPropagations=812552  nbRevisions=2897870
9.42	     nbUselessRevisions=2025965  nbAssignments=17162  nbFailedAssignments=877  nbBacktracks=13448  nbVisitedNodes=18803
9.42	     nbRestartNogoods=38
9.42	       =>  wckTime=7.967  cpuTime=7.78  mem=43M848
11.88	   
11.88	   search
11.88	     run=16  nbConstraintChecks=788854  nbValidityChecks=995192  nbPropagations=1166386  nbRevisions=4177283
11.88	     nbUselessRevisions=2913505  nbAssignments=24230  nbFailedAssignments=1253  nbBacktracks=20045  nbVisitedNodes=26637
11.88	     nbRestartNogoods=43
11.88	       =>  wckTime=10.431  cpuTime=10.22  mem=43M848
16.24	   
16.24	   search
16.24	     run=17  nbConstraintChecks=1328882  nbValidityChecks=1707411  nbPropagations=1772096  nbRevisions=6377156
16.24	     nbUselessRevisions=4440746  nbAssignments=34956  nbFailedAssignments=2028  nbBacktracks=29907  nbVisitedNodes=39003
16.24	     nbRestartNogoods=47
16.24	       =>  wckTime=14.788  cpuTime=14.53  mem=43M848
22.44	   
22.44	   search
22.44	     run=18  nbConstraintChecks=2062440  nbValidityChecks=2706771  nbPropagations=2703607  nbRevisions=9860780
22.44	     nbUselessRevisions=6888160  nbAssignments=50991  nbFailedAssignments=3182  nbBacktracks=44693  nbVisitedNodes=57184
22.44	     nbRestartNogoods=52
22.44	       =>  wckTime=20.984  cpuTime=20.69  mem=43M848
32.62	   
32.62	   search
32.62	     run=19  nbConstraintChecks=3378352  nbValidityChecks=4365405  nbPropagations=4246547  nbRevisions=15501394
32.62	     nbUselessRevisions=10803186  nbAssignments=75247  nbFailedAssignments=5171  nbBacktracks=66879
32.62	     nbVisitedNodes=85472  nbRestartNogoods=59
32.62	       =>  wckTime=31.164  cpuTime=30.78  mem=43M848
47.20	   
47.20	   search
47.20	     run=20  nbConstraintChecks=5149911  nbValidityChecks=6666787  nbPropagations=6615726  nbRevisions=24129798
47.20	     nbUselessRevisions=16779870  nbAssignments=111635  nbFailedAssignments=8205  nbBacktracks=100134
47.20	     nbVisitedNodes=127601  nbRestartNogoods=65
47.20	       =>  wckTime=45.751  cpuTime=45.23  mem=43M848
69.24	   
69.24	   search
69.24	     run=21  nbConstraintChecks=7872179  nbValidityChecks=10244548  nbPropagations=10249623  nbRevisions=37406388
69.24	     nbUselessRevisions=25983894  nbAssignments=165778  nbFailedAssignments=12362  nbBacktracks=150034
69.24	     nbVisitedNodes=190167  nbRestartNogoods=70
69.24	       =>  wckTime=67.79  cpuTime=67.06  mem=43M848
102.43	   
102.43	   search
102.43	     run=22  nbConstraintChecks=11961741  nbValidityChecks=15779062  nbPropagations=15806962  nbRevisions=57938907
102.43	     nbUselessRevisions=40289203  nbAssignments=247584  nbFailedAssignments=19260  nbBacktracks=224866
102.43	     nbVisitedNodes=284729  nbRestartNogoods=79
102.43	       =>  wckTime=100.981  cpuTime=99.95  mem=43M848
149.80	   
149.80	   search
149.80	     run=23  nbConstraintChecks=17558463  nbValidityChecks=23309924  nbPropagations=23985188  nbRevisions=88298841
149.80	     nbUselessRevisions=61492215  nbAssignments=368557  nbFailedAssignments=27903  nbBacktracks=337097
149.80	     nbVisitedNodes=422526  nbRestartNogoods=86
149.80	       =>  wckTime=148.348  cpuTime=146.88  mem=43M848
219.19	   
219.19	   search
219.19	     run=24  nbConstraintChecks=25568378  nbValidityChecks=34411444  nbPropagations=35948957  nbRevisions=133252217
219.19	     nbUselessRevisions=93062588  nbAssignments=549795  nbFailedAssignments=40658  nbBacktracks=505474
219.19	     nbVisitedNodes=627664  nbRestartNogoods=97
219.19	       =>  wckTime=217.734  cpuTime=215.64  mem=43M848
322.68	   
322.68	   search
322.68	     run=25  nbConstraintChecks=37559038  nbValidityChecks=51336756  nbPropagations=53523472  nbRevisions=200294186
322.68	     nbUselessRevisions=140462016  nbAssignments=821986  nbFailedAssignments=60218  nbBacktracks=757998
322.68	     nbVisitedNodes=936818  nbRestartNogoods=107
322.68	       =>  wckTime=321.225  cpuTime=318.19  mem=43M848
475.63	   
475.63	   search
475.63	     run=26  nbConstraintChecks=54808358  nbValidityChecks=74394849  nbPropagations=79106263  nbRevisions=297513570
475.63	     nbUselessRevisions=209083674  nbAssignments=1228079  nbFailedAssignments=87414  nbBacktracks=1136793
475.63	     nbVisitedNodes=1394803  nbRestartNogoods=116
475.63	       =>  wckTime=474.177  cpuTime=469.64  mem=43M848
698.67	   
698.67	   search
698.67	     run=27  nbConstraintChecks=79351086  nbValidityChecks=106290929  nbPropagations=116182098  nbRevisions=436425583
698.67	     nbUselessRevisions=306548219  nbAssignments=1836073  nbFailedAssignments=127130  nbBacktracks=1704950
698.67	     nbVisitedNodes=2076822  nbRestartNogoods=128
698.67	       =>  wckTime=697.217  cpuTime=690.53  mem=43M848
1044.21	   
1044.21	   search
1044.21	     run=28  nbConstraintChecks=119269787  nbValidityChecks=159151158  nbPropagations=171742711  nbRevisions=644138280
1044.21	     nbUselessRevisions=452139795  nbAssignments=2751823  nbFailedAssignments=190495  nbBacktracks=2557233
1044.21	     nbVisitedNodes=3113519  nbRestartNogoods=142
1044.21	       =>  wckTime=1042.76  cpuTime=1032.92  mem=43M848
1558.03	   
1558.04	   search
1558.04	     run=29  nbConstraintChecks=178342177  nbValidityChecks=235920152  nbPropagations=254931110  nbRevisions=951984280
1558.04	     nbUselessRevisions=667024206  nbAssignments=4119358  nbFailedAssignments=279573  nbBacktracks=3835613
1558.04	     nbVisitedNodes=4655923  nbRestartNogoods=150
1558.04	       =>  wckTime=1556.582  cpuTime=1543.05  mem=43M848

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-212728-1168077209 -o ROOT/results/node4/solver-212728-1168077209 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212728-1168077209/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: 1.98 1.98 1.94 2/93 12589
/proc/meminfo: memFree=1078392/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=18540 CPUtime=0
/proc/12588/stat : 12588 (runsolver) R 12586 12588 12315 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156116466 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12588/statm: 4635 279 244 17 0 2626 0

[startup+0.103121 s]
/proc/loadavg: 1.98 1.98 1.94 2/93 12589
/proc/meminfo: memFree=1078392/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=913068 CPUtime=0.08
/proc/12588/stat : 12588 (java) S 12586 12588 12315 0 -1 0 2859 0 1 0 7 1 0 0 17 0 8 0 156116466 934981632 2605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228267 2605 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.511161 s]
/proc/loadavg: 1.98 1.98 1.94 2/93 12589
/proc/meminfo: memFree=1078392/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915328 CPUtime=0.49
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 6495 0 1 0 44 5 0 0 18 0 8 0 156116466 937295872 6234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228832 6234 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33624 s]
/proc/loadavg: 1.98 1.98 1.94 4/100 12596
/proc/meminfo: memFree=1042112/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=1.3
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 12485 0 1 0 108 22 0 0 24 0 8 0 156116466 937684992 12222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 12222 2504 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 12222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 12222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 12222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 12222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.23
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 447 0 0 0 22 1 0 0 16 0 8 0 156116474 937684992 12222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 12222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 12222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915708

[startup+2.9824 s]
/proc/loadavg: 1.98 1.98 1.94 3/100 12596
/proc/meminfo: memFree=1033920/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=2.93
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 14094 0 1 0 270 23 0 0 25 0 8 0 156116466 937684992 13829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 13829 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 17 0 8 0 156116470 937684992 13829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 13829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 13829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 13829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.33
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 494 0 0 0 32 1 0 0 15 0 8 0 156116474 937684992 13829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 13829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 13829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915708

[startup+6.26171 s]
/proc/loadavg: 1.98 1.98 1.94 3/100 12596
/proc/meminfo: memFree=1028800/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=6.18
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15317 0 1 0 594 24 0 0 25 0 8 0 156116466 937684992 15050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15050 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 501 0 0 0 34 1 0 0 15 0 8 0 156116474 937684992 15050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915708

[startup+12.7563 s]
/proc/loadavg: 1.98 1.98 1.94 3/100 12596
/proc/meminfo: memFree=1026112/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=12.62
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15763 0 1 0 1237 25 0 0 25 0 8 0 156116466 937684992 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15494 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 501 0 0 0 34 1 0 0 15 0 8 0 156116474 937684992 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915708

[startup+25.6206 s]
/proc/loadavg: 1.98 1.98 1.94 3/100 12596
/proc/meminfo: memFree=1026112/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=25.36
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15770 0 1 0 2511 25 0 0 25 0 8 0 156116466 937684992 15501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15501 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 17 0 8 0 156116474 937684992 15501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915708

[startup+51.255 s]
/proc/loadavg: 1.99 1.98 1.94 5/100 12596
/proc/meminfo: memFree=1026176/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=50.76
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15776 0 1 0 5051 25 0 0 25 0 8 0 156116466 937684992 15507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15507 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 17 0 8 0 156116474 937684992 15507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915708

[startup+102.515 s]
/proc/loadavg: 2.04 2.00 1.94 3/100 12596
/proc/meminfo: memFree=1026176/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=101.55
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15782 0 1 0 10130 25 0 0 25 0 8 0 156116466 937684992 15513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15513 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 17 0 8 0 156116474 937684992 15513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915708

[startup+162.532 s]
/proc/loadavg: 2.01 2.00 1.94 3/100 12596
/proc/meminfo: memFree=1026176/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=161.03
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15786 0 1 0 16077 26 0 0 25 0 8 0 156116466 937684992 15517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 1410.07
Current children cumulated vsize (KiB) 915708

[startup+1482.92 s]
/proc/loadavg: 2.11 2.03 1.98 3/100 12796
/proc/meminfo: memFree=1025664/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=1469.82
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15803 0 1 0 146945 37 0 0 25 0 8 0 156116466 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074030003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15534 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 156116474 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.82
Current children cumulated vsize (KiB) 915708

[startup+1542.94 s]
/proc/loadavg: 2.04 2.02 1.98 3/100 12796
/proc/meminfo: memFree=1025664/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=1529.56
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15803 0 1 0 152918 38 0 0 25 0 8 0 156116466 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15534 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 156116474 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.56
Current children cumulated vsize (KiB) 915708

[startup+1602.96 s]
/proc/loadavg: 2.01 2.02 1.98 3/100 12796
/proc/meminfo: memFree=1025728/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=1589.29
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15806 0 1 0 158891 38 0 0 25 0 8 0 156116466 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15537 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.29
Current children cumulated vsize (KiB) 915708

[startup+1662.98 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 12796
/proc/meminfo: memFree=1025728/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=1649.04
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15806 0 1 0 164865 39 0 0 25 0 8 0 156116466 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15537 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.04
Current children cumulated vsize (KiB) 915708

[startup+1723 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 12796
/proc/meminfo: memFree=1025792/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=1708.78
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15806 0 1 0 170839 39 0 0 25 0 8 0 156116466 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12588/statm: 228927 15537 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.78
Current children cumulated vsize (KiB) 915708

[startup+1783.08 s]
/proc/loadavg: 1.96 1.99 1.97 3/100 12854
/proc/meminfo: memFree=964160/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=1768.33
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15806 0 1 0 176792 41 0 0 25 0 8 0 156116466 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074054506 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12588/statm: 228927 15537 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.33
Current children cumulated vsize (KiB) 915708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.16 s]
/proc/loadavg: 2.03 2.00 1.98 3/100 12854
/proc/meminfo: memFree=964224/2055920 swapFree=4191880/4192956
[pid=12588] ppid=12586 vsize=915708 CPUtime=1800.09
/proc/12588/stat : 12588 (java) R 12586 12588 12315 0 -1 0 15806 0 1 0 179968 41 0 0 25 0 8 0 156116466 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12588/statm: 228927 15537 2533 14 0 215397 0
[pid=12588/tid=12590] ppid=12586 vsize=915708 CPUtime=0.05
/proc/12588/task/12590/stat : 12590 (java) S 12586 12588 12315 0 -1 64 690 0 0 0 5 0 0 0 16 0 8 0 156116470 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12591] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12591/stat : 12591 (java) S 12586 12588 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12592] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12592/stat : 12592 (java) S 12586 12588 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156116471 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12593] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12593/stat : 12593 (java) S 12586 12588 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12594] ppid=12586 vsize=915708 CPUtime=0.35
/proc/12588/task/12594/stat : 12594 (java) S 12586 12588 12315 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12595] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12595/stat : 12595 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12588/tid=12596] ppid=12586 vsize=915708 CPUtime=0
/proc/12588/task/12596/stat : 12596 (java) S 12586 12588 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156116474 937684992 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915708

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1815.24
CPU time (s): 1800.18
CPU user time (s): 1799.75
CPU system time (s): 0.428934
CPU usage (%): 99.1703
Max. virtual memory (cumulated for all children) (KiB): 915808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.428934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15823
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= 38209
involuntary context switches= 78869

runsolver used 2.44863 s user time and 5.2722 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 09:53:29 UTC 2007


IDJOB= 212728
IDBENCH= 4793
FILE ID= node4/212728-1168077209

PBS_JOBID= 3475805

Free space on /tmp= 66306 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/f600.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212728-1168077209/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-212728-1168077209 -o ROOT/results/node4/solver-212728-1168077209 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212728-1168077209/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  eaafb6d59875b3b88c054bc279abccfd

RANDOM SEED= 109811851

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.223
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.223
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:       1078936 kB
Buffers:         73920 kB
Cached:         677688 kB
SwapCached:        268 kB
Active:         509800 kB
Inactive:       371068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1078936 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2184 kB
Writeback:           0 kB
Mapped:         157648 kB
Slab:            80644 kB
Committed_AS:  4557648 kB
PageTables:       2604 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= 66302 MiB



End job on node4 on Sat Jan  6 10:23:44 UTC 2007