Trace number 234410

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.14 1802.16

General information on the benchmark

Nametaillard/js-taillard-15/
js-taillard-15-105-7.xml
MD5SUM441962ff57cd2d684c3aeacfd384595f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.07
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/234410-1168081546/unknown.xml
0.36	   
0.36	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.47	     nbVariables=225  nbDomainTypes=225  minDomainSize=1184  maxDomainSize=1282
0.47	       =>  wckTime=0.161  cpuTime=0.12  mem=14M736
0.47	   
0.47	   predicates being loaded...
0.47	   
0.47	   constraints being loaded...
4.67	   
4.68	   INFO : Stopping converting binary constraints (cpu=4.3, mem = 31M446)
4.96	     nbConstraints=1785  nbConvertedConstraints=11  nbConvertConstraintsChecks=16991952  nbExtensionStructures=11
4.96	     nbSharedExtensionStructures=0  nbConflictsStructures=11  nbSharedConflictsStructures=0
4.96	     nbSharedBinaryRepresentations=3098  nbEvaluationManagers=1774  nbSharedEvaluationManagers=0  maxDegree=16
4.96	     maxArity=2
4.96	       =>  wckTime=4.656  cpuTime=4.49  mem=44M124
5.05	   
5.05	   solver IterativeSystematicSolver being built... 
5.26	       =>  wckTime=4.959  cpuTime=4.65  mem=56M943
57.57	   
57.57	   preprocessing
57.57	     nbConstraintChecks=223465087  nbValidityChecks=4651844  nbPropagations=519  nbRevisions=9464
57.57	     nbUselessRevisions=8666  nbRemovedValues=159628  detectedInconsistency=no
57.57	       =>  wckTime=52.289  cpuTime=52.21  mem=56M943
79.48	   
79.48	   search
79.48	     run=0  nbConstraintChecks=70519455  nbValidityChecks=25137818  nbPropagations=7805  nbRevisions=106435
79.48	     nbUselessRevisions=91244  nbAssignments=282  nbFailedAssignments=201  nbBacktracks=10  nbVisitedNodes=494
79.48	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
79.48	       =>  wckTime=74.199  cpuTime=74.08  mem=60M0
91.91	   
91.91	   search
91.91	     run=1  nbConstraintChecks=112223968  nbValidityChecks=39269110  nbPropagations=20187  nbRevisions=274754
91.91	     nbUselessRevisions=229358  nbAssignments=714  nbFailedAssignments=574  nbBacktracks=27  nbVisitedNodes=1306
91.91	     nbRestartNogoods=135  mapSize=17  nbInferences=0  nbTooLargeKeys=0
91.91	       =>  wckTime=86.635  cpuTime=86.49  mem=61M89
130.91	   
130.91	   search
130.91	     run=2  nbConstraintChecks=244072195  nbValidityChecks=96824345  nbPropagations=50167  nbRevisions=719513
130.91	     nbUselessRevisions=600225  nbAssignments=1029  nbFailedAssignments=829  nbBacktracks=49  nbVisitedNodes=1895
130.91	     nbRestartNogoods=167  mapSize=38  nbInferences=3  nbTooLargeKeys=0
130.91	       =>  wckTime=125.626  cpuTime=125.4  mem=42M104
292.05	   
292.05	   search
292.05	     run=3  nbConstraintChecks=753880708  nbValidityChecks=342269593  nbPropagations=160014  nbRevisions=2428262
292.05	     nbUselessRevisions=2009510  nbAssignments=2108  nbFailedAssignments=1842  nbBacktracks=82  nbVisitedNodes=4016
292.05	     nbRestartNogoods=182  mapSize=67  nbInferences=5  nbTooLargeKeys=0
292.05	       =>  wckTime=286.768  cpuTime=286.32  mem=43M971
310.36	   
310.36	   search
310.36	     run=4  nbConstraintChecks=809332772  nbValidityChecks=388670022  nbPropagations=285496  nbRevisions=4350020
310.36	     nbUselessRevisions=3601206  nbAssignments=2426  nbFailedAssignments=2064  nbBacktracks=132  nbVisitedNodes=4566
310.36	     nbRestartNogoods=189  mapSize=87  nbInferences=5  nbTooLargeKeys=0
310.36	       =>  wckTime=305.079  cpuTime=304.62  mem=47M460
356.72	   
356.72	   search
356.72	     run=5  nbConstraintChecks=952873528  nbValidityChecks=485649259  nbPropagations=444206  nbRevisions=6767137
356.72	     nbUselessRevisions=5603312  nbAssignments=3315  nbFailedAssignments=2849  nbBacktracks=207  nbVisitedNodes=6291
356.72	     nbRestartNogoods=231  mapSize=155  nbInferences=5  nbTooLargeKeys=0
356.72	       =>  wckTime=351.441  cpuTime=350.93  mem=50M9
391.29	   
391.29	   search
391.29	     run=6  nbConstraintChecks=1065019925  nbValidityChecks=541319494  nbPropagations=616147  nbRevisions=9407496
391.29	     nbUselessRevisions=7785130  nbAssignments=3710  nbFailedAssignments=3109  nbBacktracks=320  nbVisitedNodes=7058
391.29	     nbRestartNogoods=302  mapSize=268  nbInferences=5  nbTooLargeKeys=0
391.29	       =>  wckTime=386.013  cpuTime=385.46  mem=54M735
438.30	   
438.35	   search
438.35	     run=7  nbConstraintChecks=1205992758  nbValidityChecks=646237421  nbPropagations=857053  nbRevisions=12993027
438.35	     nbUselessRevisions=10772312  nbAssignments=6624  nbFailedAssignments=5808  nbBacktracks=495  nbVisitedNodes=12802
438.35	     nbRestartNogoods=336  mapSize=408  nbInferences=6  nbTooLargeKeys=0
438.35	       =>  wckTime=433.021  cpuTime=432.41  mem=60M644
993.15	   
993.15	   search
993.15	     run=8  nbConstraintChecks=2952702686  nbValidityChecks=1578270152  nbPropagations=1361057  nbRevisions=20568965
993.15	     nbUselessRevisions=16973104  nbAssignments=13814  nbFailedAssignments=12700  nbBacktracks=751  nbVisitedNodes=27035
993.15	     nbRestartNogoods=419  mapSize=610  nbInferences=6  nbTooLargeKeys=0
993.15	       =>  wckTime=987.874  cpuTime=986.62  mem=70M459
1340.03	   
1340.03	   search
1340.03	     run=9  nbConstraintChecks=3950215126  nbValidityChecks=2242950435  nbPropagations=2154391  nbRevisions=32408277
1340.03	     nbUselessRevisions=26699615  nbAssignments=21578  nbFailedAssignments=20033  nbBacktracks=1135
1340.03	     nbVisitedNodes=42320  nbRestartNogoods=455  mapSize=857  nbInferences=6  nbTooLargeKeys=0
1340.03	       =>  wckTime=1334.753  cpuTime=1333.13  mem=82M116
1616.81	   
1616.81	   INFO : Stopping hyperNogood (mapSize=1248, nbTooLargekeys=0, mem=76M805)

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/node23/watcher-234410-1168081546 -o ROOT/results/node23/solver-234410-1168081546 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234410-1168081546/unknown.xml 

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

/proc/loadavg: 1.89 1.79 1.75 4/93 22370
/proc/meminfo: memFree=1479200/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=18540 CPUtime=0
/proc/22369/stat : 22369 (runsolver) R 22367 22369 21744 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156549067 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22369/statm: 4635 279 244 17 0 2626 0

[startup+0.107828 s]
/proc/loadavg: 1.89 1.79 1.75 4/93 22370
/proc/meminfo: memFree=1479200/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=914988 CPUtime=0.09
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 2979 0 1 0 7 2 0 0 20 0 8 0 156549067 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515907 s]
/proc/loadavg: 1.89 1.79 1.75 4/93 22370
/proc/meminfo: memFree=1479200/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915328 CPUtime=0.49
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 8121 0 1 0 44 5 0 0 22 0 8 0 156549067 937295872 7860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228832 7860 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33707 s]
/proc/loadavg: 1.89 1.79 1.75 3/100 22377
/proc/meminfo: memFree=1444712/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915632 CPUtime=1.3
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 10945 0 1 0 124 6 0 0 25 0 8 0 156549067 937607168 10683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228908 10683 2167 14 0 215378 0
[pid=22369/tid=22371] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156549072 937607168 10683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 156549072 937607168 10683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156549072 937607168 10683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937607168 10683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915632 CPUtime=0.14
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 410 0 0 0 14 0 0 0 15 0 8 0 156549076 937607168 10683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937607168 10683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937607168 10683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.98539 s]
/proc/loadavg: 1.89 1.79 1.75 3/100 22377
/proc/meminfo: memFree=1442984/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915632 CPUtime=2.96
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 11624 0 1 0 289 7 0 0 25 0 8 0 156549067 937607168 11361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228908 11361 2167 14 0 215378 0
[pid=22369/tid=22371] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156549072 937607168 11361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 156549072 937607168 11361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156549072 937607168 11361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937607168 11361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915632 CPUtime=0.15
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 156549076 937607168 11361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937607168 11361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915632 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937607168 11361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915632

[startup+6.27602 s]
/proc/loadavg: 1.90 1.79 1.75 3/100 22377
/proc/meminfo: memFree=1412968/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=6.24
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 19102 0 1 0 614 10 0 0 25 0 8 0 156549067 937713664 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 18837 2529 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.08
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 3313 0 0 0 7 1 0 0 17 0 8 0 156549072 937713664 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.26
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 476 0 0 0 25 1 0 0 15 0 8 0 156549076 937713664 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915736

[startup+12.7623 s]
/proc/loadavg: 1.90 1.79 1.75 3/100 22377
/proc/meminfo: memFree=1411752/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=12.71
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 19109 0 1 0 1261 10 0 0 25 0 8 0 156549067 937713664 18840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 18840 2529 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.08
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 3313 0 0 0 7 1 0 0 16 0 8 0 156549072 937713664 18840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 18840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 18840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 18840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.26
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 482 0 0 0 25 1 0 0 16 0 8 0 156549076 937713664 18840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 18840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 18840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915736

[startup+25.6228 s]
/proc/loadavg: 1.92 1.80 1.75 3/100 22377
/proc/meminfo: memFree=1411496/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=25.57
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 19116 0 1 0 2547 10 0 0 25 0 8 0 156549067 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 18844 2529 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.08
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 3313 0 0 0 7 1 0 0 16 0 8 0 156549072 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.27
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 488 0 0 0 26 1 0 0 16 0 8 0 156549076 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915736

[startup+51.2397 s]
/proc/loadavg: 1.95 1.82 1.76 3/100 22377
/proc/meminfo: memFree=1386152/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=51.15
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 19116 0 1 0 5105 10 0 0 25 0 8 0 156549067 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 18844 2529 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.08
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 3313 0 0 0 7 1 0 0 16 0 8 0 156549072 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.27
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 488 0 0 0 26 1 0 0 16 0 8 0 156549076 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 18844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915736

[startup+102.48 s]
/proc/loadavg: 1.98 1.84 1.77 3/100 22377
/proc/meminfo: memFree=1381096/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=102.33
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 26986 0 1 0 10219 14 0 0 25 0 8 0 156549067 937713664 26697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 26697 2538 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.12
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 9846 0 0 0 9 3 0 0 16 0 8 0 156549072 937713664 26697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 26697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 26697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 26697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.3
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 512 0 0 0 29 1 0 0 16 0 8 0 156549076 937713664 26697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 26697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 26697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915736

[startup+162.488 s]
/proc/loadavg: 1.99 1.87 1.78 3/100 22377
/proc/meminfo: memFree=1354792/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=162.28
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 26992 0 1 0 16214 14 0 0 25 0 8 0 156549067 937713664 26700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 915736

[startup+1483.88 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 22379
/proc/meminfo: memFree=1277864/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=1482.19
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 35637 0 1 0 148198 21 0 0 25 0 8 0 156549067 937713664 35334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 35334 2538 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.18
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 18457 0 0 0 11 7 0 0 16 0 8 0 156549072 937713664 35334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 35334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.33
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 535 0 0 0 32 1 0 0 15 0 8 0 156549076 937713664 35334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 35334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 35334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 915736

[startup+1543.97 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 22379
/proc/meminfo: memFree=1277800/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=1542.2
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 35640 0 1 0 154199 21 0 0 25 0 8 0 156549067 937713664 35336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 35336 2538 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.18
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 18457 0 0 0 11 7 0 0 16 0 8 0 156549072 937713664 35336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 35336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.34
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 537 0 0 0 33 1 0 0 16 0 8 0 156549076 937713664 35336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 35336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 35336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 915736

[startup+1604.07 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 22379
/proc/meminfo: memFree=1277736/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=1602.25
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 35641 0 1 0 160204 21 0 0 25 0 8 0 156549067 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 35337 2538 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.18
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 18457 0 0 0 11 7 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.34
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 538 0 0 0 33 1 0 0 16 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 915736

[startup+1664.17 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 22379
/proc/meminfo: memFree=1277672/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=1662.29
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 35641 0 1 0 166208 21 0 0 25 0 8 0 156549067 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 35337 2538 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.18
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 18457 0 0 0 11 7 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.34
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 538 0 0 0 33 1 0 0 16 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 915736

[startup+1724.27 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 22379
/proc/meminfo: memFree=1277608/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=1722.29
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 35641 0 1 0 172208 21 0 0 25 0 8 0 156549067 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 35337 2538 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.18
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 18457 0 0 0 11 7 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.34
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 538 0 0 0 33 1 0 0 16 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 915736

[startup+1784.32 s]
/proc/loadavg: 1.43 1.84 1.86 3/88 22390
/proc/meminfo: memFree=1417560/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=1782.3
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 35641 0 1 0 178208 22 0 0 25 0 8 0 156549067 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 35337 2538 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.18
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 18457 0 0 0 11 7 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.34
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 538 0 0 0 33 1 0 0 16 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 915736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.1 s]
/proc/loadavg: 1.34 1.80 1.85 2/88 22392
/proc/meminfo: memFree=1417304/2055920 swapFree=4192812/4192956
[pid=22369] ppid=22367 vsize=915736 CPUtime=1800.09
/proc/22369/stat : 22369 (java) R 22367 22369 21744 0 -1 0 35641 0 1 0 179987 22 0 0 25 0 8 0 156549067 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22369/statm: 228934 35337 2538 14 0 215404 0
[pid=22369/tid=22371] ppid=22367 vsize=915736 CPUtime=0.18
/proc/22369/task/22371/stat : 22371 (java) S 22367 22369 21744 0 -1 64 18457 0 0 0 11 7 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 21744 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156549072 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 21744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156549075 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22367 vsize=915736 CPUtime=0.34
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 21744 0 -1 64 538 0 0 0 33 1 0 0 16 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=915736 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 21744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156549076 937713664 35337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915736

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

Child status: 143
Real time (s): 1802.16
CPU time (s): 1800.14
CPU user time (s): 1799.9
CPU system time (s): 0.243962
CPU usage (%): 99.8879
Max. virtual memory (cumulated for all children) (KiB): 915736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35659
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= 38148
involuntary context switches= 67593

runsolver used 2.08368 s user time and 5.85311 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan  6 11:05:47 UTC 2007


IDJOB= 234410
IDBENCH= 6686
FILE ID= node23/234410-1168081546

PBS_JOBID= 3476092

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-105-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234410-1168081546/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-234410-1168081546 -o ROOT/results/node23/solver-234410-1168081546 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234410-1168081546/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  441962ff57cd2d684c3aeacfd384595f

RANDOM SEED= 989959663

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.265
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.265
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:       1479616 kB
Buffers:         44848 kB
Cached:         324664 kB
SwapCached:          0 kB
Active:         202432 kB
Inactive:       296740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1479616 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2048 kB
Writeback:           0 kB
Mapped:         158672 kB
Slab:            61696 kB
Committed_AS:  3807696 kB
PageTables:       2468 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= 66550 MiB



End job on node23 on Sat Jan  6 11:36:04 UTC 2007