Trace number 235512

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.09 1804.39

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-6.xml
MD5SUM376c4d5b9e80417bbb3a28982bb1287e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark24.3523
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size585
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/235512-1168338130/unknown.xml
0.38	   
0.38	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.45	     nbVariables=100  nbDomainTypes=100  minDomainSize=487  maxDomainSize=585
0.45	       =>  wckTime=0.133  cpuTime=0.1  mem=8M843
0.45	   
0.45	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
71.14	     nbConstraints=900  nbConvertedConstraints=900  nbConvertConstraintsChecks=256984764  nbExtensionStructures=900
71.14	     nbSharedExtensionStructures=0  nbConflictsStructures=900  nbSharedConflictsStructures=0
71.14	     nbSharedBinaryRepresentations=357080  maxDegree=18  maxArity=2
71.14	       =>  wckTime=70.821  cpuTime=69.34  mem=109M824
71.41	   
71.41	   solver IterativeSystematicSolver being built... 
71.58	       =>  wckTime=71.261  cpuTime=69.49  mem=99M156
71.80	   
71.80	   preprocessing
71.80	     nbConstraintChecks=3731334  nbPropagations=1788  nbRevisions=2736  nbUselessRevisions=997  nbSingletonTests=111
71.80	     nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
71.80	       =>  wckTime=0.21  cpuTime=0.19  mem=99M156
72.41	   
72.41	   search
72.41	     run=0  nbConstraintChecks=7869434  nbPropagations=3859  nbRevisions=13380  nbUselessRevisions=5066
72.41	     nbAssignments=272  nbFailedAssignments=247  nbBacktracks=10  nbVisitedNodes=529  nbRestartNogoods=0  mapSize=10
72.41	     nbInferences=0  nbTooLargeKeys=0
72.41	       =>  wckTime=0.821  cpuTime=0.78  mem=100M131
73.99	   
73.99	   search
73.99	     run=1  nbConstraintChecks=24634228  nbPropagations=25954  nbRevisions=69515  nbUselessRevisions=28367
73.99	     nbAssignments=1422  nbFailedAssignments=713  nbBacktracks=25  nbVisitedNodes=1497  nbRestartNogoods=44  mapSize=25
73.99	     nbInferences=0  nbTooLargeKeys=0
73.99	       =>  wckTime=2.407  cpuTime=2.34  mem=100M131
75.15	   
75.15	   search
75.15	     run=2  nbConstraintChecks=59846610  nbPropagations=57473  nbRevisions=164074  nbUselessRevisions=68835
75.15	     nbAssignments=2207  nbFailedAssignments=1469  nbBacktracks=47  nbVisitedNodes=3059  nbRestartNogoods=59  mapSize=47
75.15	     nbInferences=0  nbTooLargeKeys=0
75.15	       =>  wckTime=3.563  cpuTime=3.47  mem=100M131
76.20	   
76.20	   search
76.20	     run=3  nbConstraintChecks=73045246  nbPropagations=100387  nbRevisions=293302  nbUselessRevisions=123046
76.20	     nbAssignments=3129  nbFailedAssignments=2213  nbBacktracks=80  nbVisitedNodes=4614  nbRestartNogoods=100
76.20	     mapSize=79  nbInferences=0  nbTooLargeKeys=0
76.20	       =>  wckTime=4.612  cpuTime=4.5  mem=100M131
77.48	   
77.48	   search
77.48	     run=4  nbConstraintChecks=112130447  nbPropagations=152305  nbRevisions=461647  nbUselessRevisions=194205
77.48	     nbAssignments=4257  nbFailedAssignments=3268  nbBacktracks=130  nbVisitedNodes=6826  nbRestartNogoods=110
77.48	     mapSize=129  nbInferences=0  nbTooLargeKeys=0
77.48	       =>  wckTime=5.895  cpuTime=5.77  mem=100M131
79.37	   
79.37	   search
79.37	     run=5  nbConstraintChecks=139605909  nbPropagations=222680  nbRevisions=709269  nbUselessRevisions=299813
79.37	     nbAssignments=5938  nbFailedAssignments=4869  nbBacktracks=205  nbVisitedNodes=10174  nbRestartNogoods=127
79.37	     mapSize=204  nbInferences=0  nbTooLargeKeys=0
79.37	       =>  wckTime=7.789  cpuTime=7.64  mem=101M74
82.78	   
82.78	   search
82.78	     run=6  nbConstraintChecks=228334456  nbPropagations=323787  nbRevisions=1056199  nbUselessRevisions=447236
82.78	     nbAssignments=8729  nbFailedAssignments=6984  nbBacktracks=318  nbVisitedNodes=14610  nbRestartNogoods=260
82.78	     mapSize=315  nbInferences=0  nbTooLargeKeys=0
82.78	       =>  wckTime=11.197  cpuTime=11.01  mem=101M74
89.81	   
89.81	   search
89.81	     run=7  nbConstraintChecks=418384078  nbPropagations=485780  nbRevisions=1636478  nbUselessRevisions=703231
89.81	     nbAssignments=14612  nbFailedAssignments=12558  nbBacktracks=488  nbVisitedNodes=26099  nbRestartNogoods=313
89.81	     mapSize=485  nbInferences=0  nbTooLargeKeys=0
89.81	       =>  wckTime=18.229  cpuTime=17.98  mem=102M16
97.17	   
97.18	   search
97.18	     run=8  nbConstraintChecks=525266157  nbPropagations=703230  nbRevisions=2502642  nbUselessRevisions=1093350
97.18	     nbAssignments=22900  nbFailedAssignments=20586  nbBacktracks=744  nbVisitedNodes=42665  nbRestartNogoods=336
97.18	     mapSize=741  nbInferences=0  nbTooLargeKeys=0
97.18	       =>  wckTime=25.59  cpuTime=25.25  mem=103M901
103.76	   
103.76	   INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=104M843)
104.50	   
104.50	   search
104.50	     run=9  nbConstraintChecks=739278254  nbPropagations=981445  nbRevisions=3619477  nbUselessRevisions=1595364
104.50	     nbAssignments=29835  nbFailedAssignments=27133  nbBacktracks=1128  nbVisitedNodes=56491  nbRestartNogoods=347
104.50	       =>  wckTime=32.916  cpuTime=32.49  mem=104M843
116.93	   
116.93	   search
116.93	     run=10  nbConstraintChecks=1067771845  nbPropagations=1351958  nbRevisions=5123975  nbUselessRevisions=2257373
116.93	     nbAssignments=41261  nbFailedAssignments=37882  nbBacktracks=1704  nbVisitedNodes=79091  nbRestartNogoods=474
116.93	       =>  wckTime=45.348  cpuTime=44.79  mem=104M843
138.54	   
138.54	   search
138.54	     run=11  nbConstraintChecks=1357219664  nbPropagations=1902584  nbRevisions=7408994  nbUselessRevisions=3252452
138.54	     nbAssignments=62457  nbFailedAssignments=57448  nbBacktracks=2568  nbVisitedNodes=119912  nbRestartNogoods=782
138.54	       =>  wckTime=66.956  cpuTime=66.19  mem=104M843
162.95	   
162.95	   search
162.95	     run=12  nbConstraintChecks=1814263649  nbPropagations=2669329  nbRevisions=10524492  nbUselessRevisions=4604301
162.95	     nbAssignments=85849  nbFailedAssignments=78691  nbBacktracks=3865  nbVisitedNodes=164961  nbRestartNogoods=1123
162.95	       =>  wckTime=91.366  cpuTime=90.38  mem=104M843
208.05	   
208.05	   search
208.05	     run=13  nbConstraintChecks=2982416774  nbPropagations=3784946  nbRevisions=15129077  nbUselessRevisions=6601014
208.05	     nbAssignments=127693  nbFailedAssignments=118157  nbBacktracks=5811  nbVisitedNodes=247714  nbRestartNogoods=1256
208.05	       =>  wckTime=136.463  cpuTime=135.05  mem=104M843
271.07	   
271.07	   search
271.07	     run=14  nbConstraintChecks=4562156861  nbPropagations=5357915  nbRevisions=21849536  nbUselessRevisions=9549819
271.07	     nbAssignments=192296  nbFailedAssignments=179339  nbBacktracks=8730  nbVisitedNodes=375864  nbRestartNogoods=1599
271.07	       =>  wckTime=199.489  cpuTime=197.58  mem=104M843
359.80	   
359.80	   search
359.80	     run=15  nbConstraintChecks=5813871143  nbPropagations=7631993  nbRevisions=31820178  nbUselessRevisions=13976629
359.80	     nbAssignments=286583  nbFailedAssignments=268601  nbBacktracks=13108  nbVisitedNodes=563071  nbRestartNogoods=1986
359.80	       =>  wckTime=288.215  cpuTime=285.81  mem=104M843
464.26	   
464.26	   search
464.26	     run=16  nbConstraintChecks=8322909865  nbPropagations=10799749  nbRevisions=45555256  nbUselessRevisions=20016606
464.26	     nbAssignments=398168  nbFailedAssignments=373118  nbBacktracks=19676  nbVisitedNodes=785087  nbRestartNogoods=2142
464.26	       =>  wckTime=392.672  cpuTime=389.71  mem=104M843
659.40	   
659.41	   search
659.41	     run=17  nbConstraintChecks=13575779836  nbPropagations=15446730  nbRevisions=66310201  nbUselessRevisions=29187029
659.41	     nbAssignments=613202  nbFailedAssignments=577217  nbBacktracks=29529  nbVisitedNodes=1212855  nbRestartNogoods=2565
659.41	       =>  wckTime=587.82  cpuTime=584.48  mem=104M843
857.98	   
857.98	   search
857.98	     run=18  nbConstraintChecks=16713144269  nbPropagations=22113587  nbRevisions=95559866  nbUselessRevisions=42002912
857.98	     nbAssignments=859514  nbFailedAssignments=808707  nbBacktracks=44307  nbVisitedNodes=1705038  nbRestartNogoods=2688
857.98	       =>  wckTime=786.395  cpuTime=783.0  mem=104M843
1197.52	   
1197.52	   search
1197.52	     run=19  nbConstraintChecks=24538729883  nbPropagations=31899416  nbRevisions=138242399  nbUselessRevisions=60688891
1197.52	     nbAssignments=1240454  nbFailedAssignments=1167474  nbBacktracks=66475  nbVisitedNodes=2466202
1197.52	     nbRestartNogoods=2709
1197.52	       =>  wckTime=1125.932  cpuTime=1122.44  mem=104M843

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/node20/watcher-235512-1168338130 -o ROOT/results/node20/solver-235512-1168338130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235512-1168338130/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.18 2.33 2.14 4/97 12004
/proc/meminfo: memFree=838128/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=18540 CPUtime=0
/proc/12003/stat : 12003 (runsolver) R 12001 12003 11139 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 182207512 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12003/statm: 4635 279 244 17 0 2626 0

[startup+0.103104 s]
/proc/loadavg: 2.18 2.33 2.14 4/97 12004
/proc/meminfo: memFree=838128/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=914852 CPUtime=0.08
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 2932 0 1 0 6 2 0 0 19 0 8 0 182207512 936808448 2678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8086492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228713 2678 1403 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852

[startup+0.511154 s]
/proc/loadavg: 2.18 2.33 2.14 4/97 12004
/proc/meminfo: memFree=838128/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915328 CPUtime=0.48
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 6744 0 1 0 44 4 0 0 18 0 8 0 182207512 937295872 6483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228832 6483 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33225 s]
/proc/loadavg: 2.18 2.33 2.14 3/104 12011
/proc/meminfo: memFree=810296/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=1.29
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 8385 0 1 0 124 5 0 0 25 0 8 0 182207512 937418752 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228862 8123 2167 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 182207516 937418752 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182207517 937418752 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 182207517 937418752 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.15
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 358 0 0 0 14 1 0 0 16 0 8 0 182207520 937418752 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448

[startup+2.98144 s]
/proc/loadavg: 2.18 2.33 2.14 3/104 12011
/proc/meminfo: memFree=806008/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=2.93
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 9128 0 1 0 287 6 0 0 25 0 8 0 182207512 937418752 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228862 8865 2167 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 182207516 937418752 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182207517 937418752 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 182207517 937418752 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.16
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 358 0 0 0 15 1 0 0 16 0 8 0 182207520 937418752 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 8865 18446744073709551615 134512640 134570532 4294956480 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) 915448

[startup+6.28284 s]
/proc/loadavg: 2.16 2.32 2.14 3/104 12011
/proc/meminfo: memFree=789752/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=6.2
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 10776 0 1 0 613 7 0 0 25 0 8 0 182207512 937418752 10513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228862 10513 2167 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182207516 937418752 10513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182207517 937418752 10513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 182207517 937418752 10513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 10513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.16
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 360 0 0 0 15 1 0 0 16 0 8 0 182207520 937418752 10513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 10513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 10513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915448

[startup+12.7646 s]
/proc/loadavg: 2.15 2.32 2.14 3/104 12011
/proc/meminfo: memFree=756224/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=12.62
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 13954 0 1 0 1253 9 0 0 25 0 8 0 182207512 937418752 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228862 13691 2168 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182207516 937418752 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182207517 937418752 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 182207517 937418752 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.18
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 372 0 0 0 17 1 0 0 16 0 8 0 182207520 937418752 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 13691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 13691 18446744073709551615 134512640 134570532 4294956480 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) 915448

[startup+25.6172 s]
/proc/loadavg: 2.19 2.32 2.14 3/104 12011
/proc/meminfo: memFree=681280/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=25.36
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 23878 0 1 0 2521 15 0 0 25 0 8 0 182207512 937418752 23613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228862 23613 2179 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.29
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 7318 0 0 0 26 3 0 0 16 0 8 0 182207516 937418752 23613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 23613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 23613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 23613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.18
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 182207520 937418752 23613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 23613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 23613 18446744073709551615 134512640 134570532 4294956480 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) 915448

[startup+51.2362 s]
/proc/loadavg: 2.12 2.29 2.13 3/104 12011
/proc/meminfo: memFree=620544/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=50.74
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 33393 0 1 0 5054 20 0 0 25 0 8 0 182207512 937418752 33126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228862 33126 2179 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.66
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 16827 0 0 0 59 7 0 0 16 0 8 0 182207516 937418752 33126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 33126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 33126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 33126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.19
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 377 0 0 0 18 1 0 0 16 0 8 0 182207520 937418752 33126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 33126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 33126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915448

[startup+102.482 s]
/proc/loadavg: 2.05 2.24 2.12 4/104 12011
/proc/meminfo: memFree=596160/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=101.48
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40328 0 1 0 10123 25 0 0 25 0 8 0 182207512 937418752 40051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12003/statm: 228862 40051 2546 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.9
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 23245 0 0 0 81 9 0 0 16 0 8 0 182207516 937418752 40051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 40051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.32
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 182207520 937418752 40051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 40051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 40051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915448

[startup+162.519 s]
/proc/loadavg: 2.37 2.30 2.15 3/104 12011
/proc/meminfo: memFree=596096/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=160.95
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40331 0 1 0 16069 26 0 0 25 0 8 0 182207512 937418752 40054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1419.03
Current children cumulated vsize (KiB) 915448

[startup+1483.21 s]
/proc/loadavg: 1.00 1.05 1.44 2/85 12099
/proc/meminfo: memFree=1333416/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=1479.05
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40333 0 1 0 147875 30 0 0 25 0 8 0 182207512 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979901 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12003/statm: 228862 40055 2546 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.9
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 23245 0 0 0 81 9 0 0 16 0 8 0 182207516 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.33
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 449 0 0 0 32 1 0 0 16 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.05
Current children cumulated vsize (KiB) 915448

[startup+1543.24 s]
/proc/loadavg: 1.00 1.04 1.41 2/85 12099
/proc/meminfo: memFree=1333416/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=1539.07
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40333 0 1 0 153876 31 0 0 25 0 8 0 182207512 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12003/statm: 228862 40055 2546 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.9
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 23245 0 0 0 81 9 0 0 16 0 8 0 182207516 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.33
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 449 0 0 0 32 1 0 0 16 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.07
Current children cumulated vsize (KiB) 915448

[startup+1603.26 s]
/proc/loadavg: 1.00 1.03 1.38 2/85 12099
/proc/meminfo: memFree=1333288/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=1599.07
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40333 0 1 0 159876 31 0 0 25 0 8 0 182207512 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12003/statm: 228862 40055 2546 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.9
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 23245 0 0 0 81 9 0 0 16 0 8 0 182207516 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.33
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 449 0 0 0 32 1 0 0 16 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.07
Current children cumulated vsize (KiB) 915448

[startup+1663.28 s]
/proc/loadavg: 1.00 1.02 1.36 2/85 12099
/proc/meminfo: memFree=1333288/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=1659.05
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40333 0 1 0 165874 31 0 0 25 0 8 0 182207512 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12003/statm: 228862 40055 2546 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.9
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 23245 0 0 0 81 9 0 0 16 0 8 0 182207516 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.33
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 449 0 0 0 32 1 0 0 16 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.05
Current children cumulated vsize (KiB) 915448

[startup+1723.31 s]
/proc/loadavg: 1.00 1.02 1.33 2/85 12099
/proc/meminfo: memFree=1333224/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=1719.06
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40333 0 1 0 171874 32 0 0 25 0 8 0 182207512 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12003/statm: 228862 40055 2546 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.9
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 23245 0 0 0 81 9 0 0 16 0 8 0 182207516 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.33
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 449 0 0 0 32 1 0 0 16 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.06
Current children cumulated vsize (KiB) 915448

[startup+1783.34 s]
/proc/loadavg: 1.00 1.01 1.31 2/85 12099
/proc/meminfo: memFree=1333160/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=1779.05
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40333 0 1 0 177873 32 0 0 25 0 8 0 182207512 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12003/statm: 228862 40055 2546 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.9
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 23245 0 0 0 81 9 0 0 16 0 8 0 182207516 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.33
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 449 0 0 0 32 1 0 0 16 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.05
Current children cumulated vsize (KiB) 915448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.3 s]
/proc/loadavg: 1.08 1.03 1.30 2/85 12099
/proc/meminfo: memFree=1333160/2055920 swapFree=4170204/4192956
[pid=12003] ppid=12001 vsize=915448 CPUtime=1800.01
/proc/12003/stat : 12003 (java) R 12001 12003 11139 0 -1 0 40333 0 1 0 179969 32 0 0 25 0 8 0 182207512 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971838 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12003/statm: 228862 40055 2546 14 0 215332 0
[pid=12003/tid=12005] ppid=12001 vsize=915448 CPUtime=0.9
/proc/12003/task/12005/stat : 12005 (java) S 12001 12003 11139 0 -1 64 23245 0 0 0 81 9 0 0 16 0 8 0 182207516 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12006] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12006/stat : 12006 (java) S 12001 12003 11139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12007] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12007/stat : 12007 (java) S 12001 12003 11139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182207517 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12008] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12008/stat : 12008 (java) S 12001 12003 11139 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12009] ppid=12001 vsize=915448 CPUtime=0.33
/proc/12003/task/12009/stat : 12009 (java) S 12001 12003 11139 0 -1 64 449 0 0 0 32 1 0 0 16 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12003/tid=12010] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12010/stat : 12010 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12003/tid=12011] ppid=12001 vsize=915448 CPUtime=0
/proc/12003/task/12011/stat : 12011 (java) S 12001 12003 11139 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182207520 937418752 40055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915448

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

Child status: 143
Real time (s): 1804.39
CPU time (s): 1800.09
CPU user time (s): 1799.74
CPU system time (s): 0.349946
CPU usage (%): 99.7618
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.349946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40349
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= 37907
involuntary context switches= 52061

runsolver used 1.75373 s user time and 5.17521 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue Jan  9 10:22:10 UTC 2007


IDJOB= 235512
IDBENCH= 6775
FILE ID= node20/235512-1168338130

PBS_JOBID= 3503357

Free space on /tmp= 66554 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-95-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235512-1168338130/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-235512-1168338130 -o ROOT/results/node20/solver-235512-1168338130 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235512-1168338130/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  376c4d5b9e80417bbb3a28982bb1287e

RANDOM SEED= 50134176

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.216
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.216
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:        838608 kB
Buffers:         24064 kB
Cached:         471156 kB
SwapCached:       2880 kB
Active:         708444 kB
Inactive:       453736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        838608 kB
SwapTotal:     4192956 kB
SwapFree:      4170204 kB
Dirty:            1796 kB
Writeback:           0 kB
Mapped:         692688 kB
Slab:            38404 kB
Committed_AS:  4681276 kB
PageTables:       3676 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= 66557 MiB



End job on node20 on Tue Jan  9 10:52:14 UTC 2007