Trace number 212727

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 ESAC? (TO) 1800.18 1802.39

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.55	   
0.55	Abscon 109 (November, 2006)
0.55	   
0.56	   configuration
0.56	     name=esac.xml
0.62	   
0.62	   instance
0.62	     name=/tmp/evaluation/212727-1168223279/unknown.xml
0.65	   
0.65	   domains being loaded...
0.66	   
0.66	   variables being loaded...
0.78	     nbVariables=1200  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.78	       =>  wckTime=0.207  cpuTime=0.14  mem=8M869
0.78	   
0.78	   predicates being loaded...
0.78	   
0.78	   constraints being loaded...
1.33	     nbConstraints=3150  nbConvertedConstraints=600  nbConvertConstraintsChecks=52  nbExtensionStructures=1
1.33	     nbSharedExtensionStructures=599  nbConflictsStructures=7  nbSharedConflictsStructures=3143
1.33	     nbSharedBinaryRepresentations=2  nbEvaluationManagers=6  nbSharedEvaluationManagers=2544  maxDegree=17  maxArity=3
1.33	       =>  wckTime=0.761  cpuTime=0.59  mem=27M414
1.40	   
1.40	   solver IterativeSystematicSolver being built... 
1.66	       =>  wckTime=1.092  cpuTime=0.81  mem=34M151
2.09	   
2.09	   preprocessing
2.09	     nbConstraintChecks=9985  nbValidityChecks=2752  nbPropagations=5539  nbRevisions=9866  nbUselessRevisions=6672
2.09	     nbSingletonTests=1359  nbEffectiveSingletonTests=0  nbESACBranches=12  nbRemovedValues=0  detectedInconsistency=no
2.09	       =>  wckTime=0.428  cpuTime=0.4  mem=35M124
2.22	   
2.22	   search
2.22	     run=0  nbConstraintChecks=3039  nbValidityChecks=2671  nbPropagations=6699  nbRevisions=14035
2.22	     nbUselessRevisions=9632  nbAssignments=241  nbFailedAssignments=2  nbBacktracks=15  nbVisitedNodes=246
2.22	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
2.22	       =>  wckTime=0.56  cpuTime=0.51  mem=35M124
2.34	   
2.34	   search
2.34	     run=1  nbConstraintChecks=6533  nbValidityChecks=6407  nbPropagations=14845  nbRevisions=33436
2.34	     nbUselessRevisions=23106  nbAssignments=510  nbFailedAssignments=6  nbBacktracks=52  nbVisitedNodes=523
2.34	     nbRestartNogoods=1  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.35	       =>  wckTime=0.68  cpuTime=0.63  mem=35M124
2.49	   
2.49	   search
2.49	     run=2  nbConstraintChecks=10775  nbValidityChecks=11140  nbPropagations=25032  nbRevisions=59457
2.49	     nbUselessRevisions=41386  nbAssignments=1133  nbFailedAssignments=9  nbBacktracks=105  nbVisitedNodes=789
2.49	     nbRestartNogoods=3  mapSize=14  nbInferences=0  nbTooLargeKeys=0
2.49	       =>  wckTime=0.824  cpuTime=0.77  mem=35M124
2.61	   
2.61	   search
2.61	     run=3  nbConstraintChecks=13736  nbValidityChecks=15184  nbPropagations=36762  nbRevisions=90864
2.61	     nbUselessRevisions=63472  nbAssignments=1416  nbFailedAssignments=15  nbBacktracks=238  nbVisitedNodes=1083
2.61	     nbRestartNogoods=4  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.61	       =>  wckTime=0.949  cpuTime=0.9  mem=36M97
2.74	   
2.74	   search
2.74	     run=4  nbConstraintChecks=17237  nbValidityChecks=18888  nbPropagations=49900  nbRevisions=127170
2.74	     nbUselessRevisions=88967  nbAssignments=1704  nbFailedAssignments=21  nbBacktracks=301  nbVisitedNodes=1383
2.74	     nbRestartNogoods=5  mapSize=33  nbInferences=0  nbTooLargeKeys=0
2.74	       =>  wckTime=1.079  cpuTime=1.02  mem=36M97
2.91	   
2.91	   search
2.91	     run=5  nbConstraintChecks=23129  nbValidityChecks=26573  nbPropagations=66337  nbRevisions=173550
2.91	     nbUselessRevisions=121713  nbAssignments=2618  nbFailedAssignments=27  nbBacktracks=388  nbVisitedNodes=1639
2.91	     nbRestartNogoods=8  mapSize=41  nbInferences=0  nbTooLargeKeys=0
2.91	       =>  wckTime=1.241  cpuTime=1.17  mem=36M97
3.04	   
3.04	   search
3.04	     run=6  nbConstraintChecks=30592  nbValidityChecks=35966  nbPropagations=86383  nbRevisions=231901
3.04	     nbUselessRevisions=162567  nbAssignments=2939  nbFailedAssignments=40  nbBacktracks=551  nbVisitedNodes=1987
3.04	     nbRestartNogoods=10  mapSize=65  nbInferences=0  nbTooLargeKeys=0
3.04	       =>  wckTime=1.378  cpuTime=1.31  mem=36M97
3.21	   
3.21	   search
3.21	     run=7  nbConstraintChecks=39009  nbValidityChecks=47197  nbPropagations=110758  nbRevisions=305021
3.21	     nbUselessRevisions=213808  nbAssignments=3533  nbFailedAssignments=51  nbBacktracks=726  nbVisitedNodes=2343
3.21	     nbRestartNogoods=13  mapSize=89  nbInferences=0  nbTooLargeKeys=0
3.21	       =>  wckTime=1.55  cpuTime=1.47  mem=36M97
3.44	   
3.44	   search
3.44	     run=8  nbConstraintChecks=48475  nbValidityChecks=59223  nbPropagations=139288  nbRevisions=393502
3.44	     nbUselessRevisions=275880  nbAssignments=4015  nbFailedAssignments=64  nbBacktracks=1033  nbVisitedNodes=2856
3.44	     nbRestartNogoods=14  mapSize=119  nbInferences=0  nbTooLargeKeys=0
3.44	       =>  wckTime=1.774  cpuTime=1.7  mem=37M70
3.74	   
3.74	   search
3.74	     run=9  nbConstraintChecks=60765  nbValidityChecks=75413  nbPropagations=173354  nbRevisions=502454
3.74	     nbUselessRevisions=352390  nbAssignments=4618  nbFailedAssignments=83  nbBacktracks=1420  nbVisitedNodes=3498
3.74	     nbRestartNogoods=15  mapSize=155  nbInferences=0  nbTooLargeKeys=0
3.74	       =>  wckTime=2.072  cpuTime=1.99  mem=37M70
4.21	   
4.21	   search
4.22	     run=10  nbConstraintChecks=86830  nbValidityChecks=110656  nbPropagations=218836  nbRevisions=656333
4.22	     nbUselessRevisions=461477  nbAssignments=5721  nbFailedAssignments=115  nbBacktracks=2000  nbVisitedNodes=4400
4.22	     nbRestartNogoods=18  mapSize=220  nbInferences=0  nbTooLargeKeys=0
4.22	       =>  wckTime=2.551  cpuTime=2.44  mem=38M44
4.85	   
4.85	   search
4.85	     run=11  nbConstraintChecks=137579  nbValidityChecks=180278  nbPropagations=288126  nbRevisions=898843
4.85	     nbUselessRevisions=633265  nbAssignments=7169  nbFailedAssignments=195  nbBacktracks=2924  nbVisitedNodes=5683
4.85	     nbRestartNogoods=21  mapSize=357  nbInferences=0  nbTooLargeKeys=0
4.85	       =>  wckTime=3.183  cpuTime=3.07  mem=39M17
5.69	   
5.69	   search
5.69	     run=12  nbConstraintChecks=187410  nbValidityChecks=245141  nbPropagations=378670  nbRevisions=1223690
5.69	     nbUselessRevisions=863667  nbAssignments=8792  nbFailedAssignments=263  nbBacktracks=4295  nbVisitedNodes=7446
5.69	     nbRestartNogoods=24  mapSize=488  nbInferences=0  nbTooLargeKeys=0
5.69	       =>  wckTime=4.021  cpuTime=3.9  mem=39M990
6.82	   
6.82	   search
6.82	     run=13  nbConstraintChecks=267774  nbValidityChecks=349451  nbPropagations=505856  nbRevisions=1680546
6.82	     nbUselessRevisions=1185892  nbAssignments=11603  nbFailedAssignments=385  nbBacktracks=6284  nbVisitedNodes=9916
6.82	     nbRestartNogoods=33  mapSize=737  nbInferences=0  nbTooLargeKeys=0
6.82	       =>  wckTime=5.153  cpuTime=5.04  mem=41M936
7.98	   
7.98	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=43M883)
8.34	   
8.34	   search
8.34	     run=14  nbConstraintChecks=401019  nbValidityChecks=524329  nbPropagations=691110  nbRevisions=2358682
8.34	     nbUselessRevisions=1664010  nbAssignments=14892  nbFailedAssignments=622  nbBacktracks=9209  nbVisitedNodes=13626
8.34	     nbRestartNogoods=35
8.34	       =>  wckTime=6.679  cpuTime=6.56  mem=43M883
10.02	   
10.02	   search
10.02	     run=15  nbConstraintChecks=613019  nbValidityChecks=791009  nbPropagations=973663  nbRevisions=3380070
10.02	     nbUselessRevisions=2377422  nbAssignments=19948  nbFailedAssignments=929  nbBacktracks=13595  nbVisitedNodes=19060
10.02	     nbRestartNogoods=40
10.02	       =>  wckTime=8.36  cpuTime=8.24  mem=43M883
12.47	   
12.47	   search
12.47	     run=16  nbConstraintChecks=913409  nbValidityChecks=1187950  nbPropagations=1395113  nbRevisions=4914191
12.47	     nbUselessRevisions=3447592  nbAssignments=27173  nbFailedAssignments=1347  nbBacktracks=20177  nbVisitedNodes=27085
12.47	     nbRestartNogoods=47
12.47	       =>  wckTime=10.808  cpuTime=10.68  mem=43M883
16.19	   
16.19	   search
16.19	     run=17  nbConstraintChecks=1381487  nbValidityChecks=1785917  nbPropagations=2028519  nbRevisions=7224311
16.19	     nbUselessRevisions=5057282  nbAssignments=37810  nbFailedAssignments=2019  nbBacktracks=30042  nbVisitedNodes=39006
16.19	     nbRestartNogoods=52
16.19	       =>  wckTime=14.53  cpuTime=14.4  mem=43M883
21.93	   
21.93	   search
21.93	     run=18  nbConstraintChecks=2111155  nbValidityChecks=2723951  nbPropagations=2991392  nbRevisions=10757926
21.93	     nbUselessRevisions=7520131  nbAssignments=54005  nbFailedAssignments=3178  nbBacktracks=44825  nbVisitedNodes=57199
21.93	     nbRestartNogoods=57
21.93	       =>  wckTime=20.261  cpuTime=20.13  mem=43M883
30.15	   
30.15	   search
30.15	     run=19  nbConstraintChecks=3106194  nbValidityChecks=3985523  nbPropagations=4413666  nbRevisions=15923622
30.15	     nbUselessRevisions=11104855  nbAssignments=77865  nbFailedAssignments=4795  nbBacktracks=66997
30.15	     nbVisitedNodes=83980  nbRestartNogoods=63
30.15	       =>  wckTime=28.488  cpuTime=28.35  mem=43M883
42.63	   
42.63	   search
42.63	     run=20  nbConstraintChecks=4658740  nbValidityChecks=5966376  nbPropagations=6540696  nbRevisions=23664753
42.63	     nbUselessRevisions=16479047  nbAssignments=113548  nbFailedAssignments=7101  nbBacktracks=100255
42.63	     nbVisitedNodes=124202  nbRestartNogoods=67
42.63	       =>  wckTime=40.962  cpuTime=40.81  mem=43M883
61.20	   
61.20	   search
61.20	     run=21  nbConstraintChecks=6948462  nbValidityChecks=8867936  nbPropagations=9733040  nbRevisions=35189884
61.20	     nbUselessRevisions=24449841  nbAssignments=167119  nbFailedAssignments=10686  nbBacktracks=150145
61.20	     nbVisitedNodes=184886  nbRestartNogoods=71
61.20	       =>  wckTime=59.539  cpuTime=59.36  mem=43M883
92.10	   
92.10	   search
92.10	     run=22  nbConstraintChecks=11135688  nbValidityChecks=14458985  nbPropagations=14873939  nbRevisions=54047783
92.10	     nbUselessRevisions=37559164  nbAssignments=249289  nbFailedAssignments=17761  nbBacktracks=224976
92.10	     nbVisitedNodes=280181  nbRestartNogoods=79
92.10	       =>  wckTime=90.435  cpuTime=90.24  mem=43M883
136.41	   
136.41	   search
136.41	     run=23  nbConstraintChecks=16895323  nbValidityChecks=22298558  nbPropagations=22675057  nbRevisions=83214311
136.41	     nbUselessRevisions=57987564  nbAssignments=370442  nbFailedAssignments=26586  nbBacktracks=337208
136.41	     nbVisitedNodes=418609  nbRestartNogoods=86
136.41	       =>  wckTime=134.747  cpuTime=134.5  mem=43M883
201.03	   
201.03	   search
201.03	     run=24  nbConstraintChecks=24996976  nbValidityChecks=33192908  nbPropagations=34267829  nbRevisions=126638220
201.03	     nbUselessRevisions=88453654  nbAssignments=551541  nbFailedAssignments=39249  nbBacktracks=505551
201.03	     nbVisitedNodes=624639  nbRestartNogoods=93
201.03	       =>  wckTime=199.361  cpuTime=199.03  mem=43M883
299.89	   
299.89	   search
299.89	     run=25  nbConstraintChecks=37892204  nbValidityChecks=50256488  nbPropagations=51779791  nbRevisions=192326601
299.89	     nbUselessRevisions=134546787  nbAssignments=824039  nbFailedAssignments=59129  nbBacktracks=758068
299.89	     nbVisitedNodes=934444  nbRestartNogoods=99
299.89	       =>  wckTime=298.222  cpuTime=297.79  mem=43M883
445.48	   
445.48	   search
445.48	     run=26  nbConstraintChecks=56100916  nbValidityChecks=74356208  nbPropagations=77906462  nbRevisions=289423234
445.48	     nbUselessRevisions=202398100  nbAssignments=1231143  nbFailedAssignments=87366  nbBacktracks=1136856
445.48	     nbVisitedNodes=1397862  nbRestartNogoods=108
445.48	       =>  wckTime=443.819  cpuTime=443.25  mem=43M883
660.71	   
660.71	   search
660.71	     run=27  nbConstraintChecks=82861362  nbValidityChecks=112065978  nbPropagations=116398150  nbRevisions=436054550
660.71	     nbUselessRevisions=305998913  nbAssignments=1838115  nbFailedAssignments=126061  nbBacktracks=1705019
660.71	     nbVisitedNodes=2081336  nbRestartNogoods=113
660.71	       =>  wckTime=659.046  cpuTime=658.23  mem=43M883
976.17	   
976.17	   search
976.17	     run=28  nbConstraintChecks=121653719  nbValidityChecks=162262121  nbPropagations=172912105  nbRevisions=648120724
976.17	     nbUselessRevisions=454893338  nbAssignments=2752224  nbFailedAssignments=187819  nbBacktracks=2557257
976.17	     nbVisitedNodes=3113848  nbRestartNogoods=120
976.17	       =>  wckTime=974.506  cpuTime=973.34  mem=43M883
1450.11	   
1450.11	   search
1450.11	     run=29  nbConstraintChecks=178679726  nbValidityChecks=236170362  nbPropagations=256423927  nbRevisions=956964987
1450.11	     nbUselessRevisions=670403387  nbAssignments=4122608  nbFailedAssignments=279744  nbBacktracks=3835646
1450.11	     nbVisitedNodes=4660000  nbRestartNogoods=129
1450.11	       =>  wckTime=1448.444  cpuTime=1446.76  mem=43M883

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/node3/watcher-212727-1168223279 -o ROOT/results/node3/solver-212727-1168223279 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212727-1168223279/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: 2.01 2.43 2.99 4/94 12645
/proc/meminfo: memFree=1786016/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=18540 CPUtime=0
/proc/12644/stat : 12644 (runsolver) R 12642 12644 11869 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170723518 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12644/statm: 4635 279 244 17 0 2626 0

[startup+0.106897 s]
/proc/loadavg: 2.01 2.43 2.99 4/94 12645
/proc/meminfo: memFree=1786016/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=9912 CPUtime=0
/proc/12644/stat : 12644 (java) D 12642 12644 11869 0 -1 0 640 0 7 0 0 0 0 0 18 0 1 0 170723518 10149888 422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10929159 0 0 0 7368 18446744071563479169 0 0 17 1 0 0
/proc/12644/statm: 2478 422 342 14 0 1140 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9912

[startup+0.514957 s]
/proc/loadavg: 2.01 2.43 2.99 4/94 12645
/proc/meminfo: memFree=1786016/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915148 CPUtime=0.27
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 4724 0 35 0 22 5 0 0 18 0 8 0 170723518 937111552 4504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228787 4504 1938 14 0 215275 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 915148

[startup+1.33809 s]
/proc/loadavg: 2.01 2.42 2.98 3/101 12652
/proc/meminfo: memFree=1742824/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915624 CPUtime=1.06
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 11379 0 45 0 84 22 0 0 21 0 8 0 170723518 937598976 11160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228906 11160 2180 14 0 215376 0
[pid=12644/tid=12646] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12646/stat : 12646 (java) R 12642 12644 11869 0 -1 64 9 0 0 0 0 0 0 0 16 0 8 0 170723533 937598976 11160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134566 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 170723533 937598976 11160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 170723533 937598976 11160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937598976 11161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915624 CPUtime=0.18
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 423 0 0 0 18 0 0 0 15 0 8 0 170723537 937598976 11161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937598976 11161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915624 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937598976 11161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 915624

[startup+2.98636 s]
/proc/loadavg: 2.01 2.42 2.98 3/101 12652
/proc/meminfo: memFree=1730920/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=2.7
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 13939 0 45 0 246 24 0 0 25 0 8 0 170723518 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 13719 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.31
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 497 0 0 0 30 1 0 0 15 0 8 0 170723537 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 13719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 915708

[startup+6.27089 s]
/proc/loadavg: 2.01 2.41 2.98 3/101 12652
/proc/meminfo: memFree=1725800/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=5.96
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15190 0 45 0 571 25 0 0 25 0 8 0 170723518 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 14968 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 170723537 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 14968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 915708

[startup+12.7569 s]
/proc/loadavg: 2.01 2.41 2.97 3/101 12652
/proc/meminfo: memFree=1722216/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=12.45
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15862 0 45 0 1219 26 0 0 25 0 8 0 170723518 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15638 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 506 0 0 0 32 1 0 0 16 0 8 0 170723537 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 915708

[startup+25.597 s]
/proc/loadavg: 2.01 2.39 2.96 3/101 12652
/proc/meminfo: memFree=1722472/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=25.28
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15869 0 45 0 2502 26 0 0 25 0 8 0 170723518 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812618 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15645 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 32 1 0 0 17 0 8 0 170723537 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915708

[startup+51.1992 s]
/proc/loadavg: 2.00 2.35 2.93 3/101 12652
/proc/meminfo: memFree=1722536/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=50.84
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15875 0 45 0 5058 26 0 0 25 0 8 0 170723518 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074106549 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15651 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 32 1 0 0 17 0 8 0 170723537 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915708

[startup+102.405 s]
/proc/loadavg: 2.00 2.30 2.88 3/101 12652
/proc/meminfo: memFree=1722536/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=101.99
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15881 0 45 0 10173 26 0 0 25 0 8 0 170723518 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15657 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.33
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 32 1 0 0 17 0 8 0 170723537 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915708

[startup+162.483 s]
/proc/loadavg: 2.00 2.24 2.82 3/101 12652
/proc/meminfo: memFree=1722472/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=162.01
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15884 0 45 0 16175 26 0 0 25 0 8 0 170723518 937684992 15660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073927703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.79 s]
/proc/loadavg: 2.00 2.00 2.17 3/94 12780
/proc/meminfo: memFree=1782048/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1481.91
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 148156 35 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074075629 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 915708

[startup+1543.85 s]
/proc/loadavg: 2.00 2.00 2.16 3/94 12780
/proc/meminfo: memFree=1782048/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1541.89
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 154154 35 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074124448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) R 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 915708

[startup+1603.93 s]
/proc/loadavg: 2.00 2.00 2.15 3/95 12781
/proc/meminfo: memFree=1781912/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1601.92
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 160156 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074073593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 915708

[startup+1663.99 s]
/proc/loadavg: 2.00 2.00 2.14 3/95 12781
/proc/meminfo: memFree=1781784/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1661.92
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 166156 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074100022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 915708

[startup+1724.05 s]
/proc/loadavg: 2.00 2.00 2.13 3/95 12781
/proc/meminfo: memFree=1781720/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1721.91
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 172155 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074062261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 915708

[startup+1784.11 s]
/proc/loadavg: 2.00 2.00 2.12 3/95 12781
/proc/meminfo: memFree=1781656/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1781.91
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 178155 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074075579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 915708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.31 s]
/proc/loadavg: 2.00 2.00 2.11 3/95 12781
/proc/meminfo: memFree=1781592/2055920 swapFree=4192812/4192956
[pid=12644] ppid=12642 vsize=915708 CPUtime=1800.1
/proc/12644/stat : 12644 (java) R 12642 12644 11869 0 -1 0 15903 0 45 0 179974 36 0 0 25 0 8 0 170723518 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074073598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12644/statm: 228927 15679 2544 14 0 215397 0
[pid=12644/tid=12646] ppid=12642 vsize=915708 CPUtime=0.05
/proc/12644/task/12646/stat : 12646 (java) S 12642 12644 11869 0 -1 64 689 0 0 0 5 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12647] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12647/stat : 12647 (java) S 12642 12644 11869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12648] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12648/stat : 12648 (java) S 12642 12644 11869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170723533 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12649] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12649/stat : 12649 (java) S 12642 12644 11869 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12650] ppid=12642 vsize=915708 CPUtime=0.34
/proc/12644/task/12650/stat : 12650 (java) S 12642 12644 11869 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12644/tid=12651] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12651/stat : 12651 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12644/tid=12652] ppid=12642 vsize=915708 CPUtime=0
/proc/12644/task/12652/stat : 12652 (java) S 12642 12644 11869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170723537 937684992 15679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915708

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

Child status: 143
Real time (s): 1802.39
CPU time (s): 1800.18
CPU user time (s): 1799.8
CPU system time (s): 0.379942
CPU usage (%): 99.8774
Max. virtual memory (cumulated for all children) (KiB): 915708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15921
page faults= 45
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38093
involuntary context switches= 49158

runsolver used 2.38664 s user time and 5.60615 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Mon Jan  8 02:27:59 UTC 2007


IDJOB= 212727
IDBENCH= 4793
FILE ID= node3/212727-1168223279

PBS_JOBID= 3480669

Free space on /tmp= 66549 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 esac.xml 1 XSax /tmp/evaluation/212727-1168223279/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-212727-1168223279 -o ROOT/results/node3/solver-212727-1168223279 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212727-1168223279/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  eaafb6d59875b3b88c054bc279abccfd

RANDOM SEED= 519430493

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.279
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.279
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:       1786624 kB
Buffers:         35180 kB
Cached:          41660 kB
SwapCached:          0 kB
Active:         173392 kB
Inactive:        36988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786624 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2876 kB
Writeback:           0 kB
Mapped:         161272 kB
Slab:            43656 kB
Committed_AS:  5256452 kB
PageTables:       2296 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= 66551 MiB



End job on node3 on Mon Jan  8 02:58:01 UTC 2007