Trace number 233209

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.17 1800.7

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-8.xml
MD5SUM87e975250304f30a19a45e921aa11a00
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1256
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.33	   instance
0.33	     name=/tmp/evaluation/233209-1168081342/unknown.xml
0.36	   
0.36	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.52	     nbVariables=400  nbDomainTypes=400  minDomainSize=1158  maxDomainSize=1256
0.52	       =>  wckTime=0.225  cpuTime=0.16  mem=19M660
0.52	   
0.52	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
4.59	   
4.59	   INFO : Stopping converting binary constraints (cpu=4.17, mem = 36M702)
5.72	     nbConstraints=7600  nbConvertedConstraints=10  nbConvertConstraintsChecks=14365615  nbExtensionStructures=10
5.72	     nbSharedExtensionStructures=0  nbConflictsStructures=10  nbSharedConflictsStructures=0
5.72	     nbSharedBinaryRepresentations=1733  nbEvaluationManagers=7590  nbSharedEvaluationManagers=0  maxDegree=38
5.72	     maxArity=2
5.73	       =>  wckTime=5.428  cpuTime=5.11  mem=54M313
5.87	   
5.87	   solver IterativeSystematicSolver being built... 
6.31	       =>  wckTime=6.01  cpuTime=5.38  mem=121M713
38.41	   
38.41	   preprocessing
38.41	     nbConstraintChecks=83735302  nbValidityChecks=525293  nbPropagations=400  nbRevisions=15180
38.41	     nbUselessRevisions=15180  nbRemovedValues=0  detectedInconsistency=no
38.41	       =>  wckTime=32.079  cpuTime=32.04  mem=121M713
104.09	   
104.09	   search
104.09	     run=0  nbConstraintChecks=111946178  nbValidityChecks=326701804  nbPropagations=11660  nbRevisions=394904
104.09	     nbUselessRevisions=371390  nbAssignments=620  nbFailedAssignments=540  nbBacktracks=10  nbVisitedNodes=1171
104.09	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=63
104.10	       =>  wckTime=97.764  cpuTime=97.65  mem=124M777
168.46	   
168.46	   search
168.46	     run=1  nbConstraintChecks=264936323  nbValidityChecks=446654082  nbPropagations=28978  nbRevisions=950798
168.46	     nbUselessRevisions=886693  nbAssignments=1163  nbFailedAssignments=918  nbBacktracks=25  nbVisitedNodes=2107
168.46	     nbRestartNogoods=10  mapSize=15  nbInferences=0  nbTooLargeKeys=118
168.46	       =>  wckTime=162.131  cpuTime=161.99  mem=128M930
203.13	   
203.13	   search
203.13	     run=2  nbConstraintChecks=321611813  nbValidityChecks=691675918  nbPropagations=53178  nbRevisions=1745608
203.13	     nbUselessRevisions=1627692  nbAssignments=1502  nbFailedAssignments=1201  nbBacktracks=47  nbVisitedNodes=2751
203.13	     nbRestartNogoods=36  mapSize=15  nbInferences=0  nbTooLargeKeys=157
203.13	       =>  wckTime=196.799  cpuTime=196.64  mem=129M932
304.06	   
304.06	   search
304.06	     run=3  nbConstraintChecks=421397662  nbValidityChecks=1915433399  nbPropagations=112769  nbRevisions=3764731
304.06	     nbUselessRevisions=3513839  nbAssignments=3668  nbFailedAssignments=3300  nbBacktracks=80  nbVisitedNodes=7049
304.06	     nbRestartNogoods=38  mapSize=15  nbInferences=0  nbTooLargeKeys=204
304.06	       =>  wckTime=297.729  cpuTime=297.53  mem=129M979
358.93	   
358.93	   search
358.93	     run=4  nbConstraintChecks=543524780  nbValidityChecks=2049701844  nbPropagations=179223  nbRevisions=5974615
358.93	     nbUselessRevisions=5579779  nbAssignments=4079  nbFailedAssignments=3465  nbBacktracks=130  nbVisitedNodes=7667
358.93	     nbRestartNogoods=71  mapSize=64  nbInferences=0  nbTooLargeKeys=254
358.93	       =>  wckTime=352.598  cpuTime=352.38  mem=137M270
455.03	   
455.03	   search
455.03	     run=5  nbConstraintChecks=633296445  nbValidityChecks=3145524562  nbPropagations=273826  nbRevisions=9183834
455.03	     nbUselessRevisions=8583747  nbAssignments=5568  nbFailedAssignments=4862  nbBacktracks=205  nbVisitedNodes=10628
455.03	     nbRestartNogoods=72  mapSize=68  nbInferences=0  nbTooLargeKeys=325
455.03	       =>  wckTime=448.703  cpuTime=448.47  mem=138M271
692.58	   
692.58	   search
692.58	     run=6  nbConstraintChecks=820198888  nbValidityChecks=6115925633  nbPropagations=446025  nbRevisions=15079789
692.58	     nbUselessRevisions=14118960  nbAssignments=9429  nbFailedAssignments=8592  nbBacktracks=318  nbVisitedNodes=18332
692.58	     nbRestartNogoods=83  mapSize=68  nbInferences=0  nbTooLargeKeys=439
692.58	       =>  wckTime=686.256  cpuTime=685.95  mem=138M407
1061.73	   
1061.73	   search
1061.73	     run=7  nbConstraintChecks=1127808468  nbValidityChecks=10582865098  nbPropagations=736252  nbRevisions=25075400
1061.73	     nbUselessRevisions=23491548  nbAssignments=16256  nbFailedAssignments=15232  nbBacktracks=488  nbVisitedNodes=31968
1061.73	     nbRestartNogoods=144  mapSize=82  nbInferences=0  nbTooLargeKeys=595
1061.73	       =>  wckTime=1055.402  cpuTime=1055.0  mem=140M410
1566.54	   
1566.54	   search
1566.54	     run=8  nbConstraintChecks=1565992572  nbValidityChecks=16547984876  nbPropagations=1181629  nbRevisions=40462408
1566.54	     nbUselessRevisions=37904092  nbAssignments=25173  nbFailedAssignments=23878  nbBacktracks=744  nbVisitedNodes=49787
1566.54	     nbRestartNogoods=184  mapSize=105  nbInferences=0  nbTooLargeKeys=828
1566.54	       =>  wckTime=1560.211  cpuTime=1559.69  mem=141M86

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

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

/proc/loadavg: 0.25 0.49 0.99 4/87 15767
/proc/meminfo: memFree=1605472/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=1784 CPUtime=0
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 191 0 0 0 0 0 0 0 19 0 1 0 156529489 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15766/statm: 447 158 123 14 0 92 0

[startup+0.107132 s]
/proc/loadavg: 0.25 0.49 0.99 4/87 15767
/proc/meminfo: memFree=1605472/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=914988 CPUtime=0.09
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 3076 0 1 0 8 1 0 0 16 0 8 0 156529489 936947712 2822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.519174 s]
/proc/loadavg: 0.25 0.49 0.99 4/87 15767
/proc/meminfo: memFree=1605472/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915328 CPUtime=0.5
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 8953 0 1 0 45 5 0 0 16 0 8 0 156529489 937295872 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228832 8696 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34525 s]
/proc/loadavg: 0.25 0.49 0.99 2/94 15774
/proc/meminfo: memFree=1534952/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=1.32
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 19983 0 1 0 122 10 0 0 17 0 8 0 156529489 937607168 19721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 19721 2178 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.04
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 3390 0 0 0 3 1 0 0 16 0 8 0 156529493 937607168 19721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 19721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 19721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 19721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.13
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 156529496 937607168 19721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 19721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 19721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915632

[startup+2.98243 s]
/proc/loadavg: 0.25 0.49 0.99 3/94 15776
/proc/meminfo: memFree=1534824/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=2.95
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 19988 0 1 0 285 10 0 0 18 0 8 0 156529489 937607168 19725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 19725 2178 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.04
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 3390 0 0 0 3 1 0 0 16 0 8 0 156529493 937607168 19725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 19725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 19725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 19725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.14
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 405 0 0 0 14 0 0 0 16 0 8 0 156529496 937607168 19725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 19725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 19725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632

[startup+6.26478 s]
/proc/loadavg: 0.31 0.50 0.99 3/94 15778
/proc/meminfo: memFree=1519336/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=6.23
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 41957 0 1 0 604 19 0 0 17 0 8 0 156529489 937607168 41688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152174912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15766/statm: 228908 41688 2520 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24911 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.22
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 459 0 0 0 21 1 0 0 16 0 8 0 156529496 937607168 41688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915632

[startup+12.7494 s]
/proc/loadavg: 0.36 0.51 0.99 2/88 15799
/proc/meminfo: memFree=1450776/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=12.7
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42006 0 1 0 1250 20 0 0 17 0 8 0 156529489 937607168 41732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41732 2533 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24911 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.25
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 480 0 0 0 24 1 0 0 15 0 8 0 156529496 937607168 41732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915632

[startup+25.5968 s]
/proc/loadavg: 0.50 0.53 0.99 2/88 15799
/proc/meminfo: memFree=1450848/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=25.55
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42009 0 1 0 2535 20 0 0 25 0 8 0 156529489 937607168 41733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41733 2533 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24911 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.25
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 482 0 0 0 24 1 0 0 15 0 8 0 156529496 937607168 41733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915632

[startup+51.2835 s]
/proc/loadavg: 0.67 0.57 0.99 2/88 15804
/proc/meminfo: memFree=1450784/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=51.21
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42020 0 1 0 5101 20 0 0 25 0 8 0 156529489 937607168 41740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41740 2534 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24911 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.27
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 487 0 0 0 25 2 0 0 16 0 8 0 156529496 937607168 41740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915632

[startup+102.58 s]
/proc/loadavg: 1.46 0.80 1.05 3/100 15846
/proc/meminfo: memFree=1412224/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=102.48
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42037 0 1 0 10227 21 0 0 25 0 8 0 156529489 937607168 41749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41749 2534 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24911 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.29
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 499 0 0 0 27 2 0 0 16 0 8 0 156529496 937607168 41749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915632

[startup+162.607 s]
/proc/loadavg: 1.87 1.05 1.11 3/100 15846
/proc/meminfo: memFree=1412224/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=162.5
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42048 0 1 0 16228 22 0 0 25 0 8 0 156529489 937607168 41757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1422.82
Current children cumulated vsize (KiB) 915632

[startup+1483.29 s]
/proc/loadavg: 2.00 1.97 1.76 3/100 15848
/proc/meminfo: memFree=1412096/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=1482.84
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42074 0 1 0 148249 35 0 0 25 0 8 0 156529489 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41772 2538 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24912 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.32
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 525 0 0 0 30 2 0 0 17 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.84
Current children cumulated vsize (KiB) 915632

[startup+1543.33 s]
/proc/loadavg: 2.08 2.00 1.78 3/100 15848
/proc/meminfo: memFree=1412096/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=1542.86
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42074 0 1 0 154251 35 0 0 25 0 8 0 156529489 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41772 2538 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24912 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.32
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 525 0 0 0 30 2 0 0 17 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.86
Current children cumulated vsize (KiB) 915632

[startup+1603.36 s]
/proc/loadavg: 2.03 2.00 1.79 3/100 15848
/proc/meminfo: memFree=1412096/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=1602.88
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42074 0 1 0 160253 35 0 0 25 0 8 0 156529489 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074039752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41772 2538 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24912 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.32
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 525 0 0 0 30 2 0 0 17 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.88
Current children cumulated vsize (KiB) 915632

[startup+1663.4 s]
/proc/loadavg: 2.01 2.00 1.80 3/100 15848
/proc/meminfo: memFree=1412160/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=1662.89
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42074 0 1 0 166253 36 0 0 25 0 8 0 156529489 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074126155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41772 2538 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24912 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.32
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 525 0 0 0 30 2 0 0 17 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.89
Current children cumulated vsize (KiB) 915632

[startup+1723.43 s]
/proc/loadavg: 2.00 2.00 1.81 3/100 15848
/proc/meminfo: memFree=1412160/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=1722.92
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42074 0 1 0 172255 37 0 0 25 0 8 0 156529489 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41772 2538 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24912 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.32
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 525 0 0 0 30 2 0 0 17 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.92
Current children cumulated vsize (KiB) 915632

[startup+1783.46 s]
/proc/loadavg: 2.07 2.02 1.83 3/100 15848
/proc/meminfo: memFree=1412160/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=1782.92
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42074 0 1 0 178255 37 0 0 25 0 8 0 156529489 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41772 2538 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24912 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.32
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 525 0 0 0 30 2 0 0 17 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.62 s]
/proc/loadavg: 2.05 2.01 1.83 3/100 15848
/proc/meminfo: memFree=1412160/2055920 swapFree=4192812/4192956
[pid=15766] ppid=15764 vsize=915632 CPUtime=1800.08
/proc/15766/stat : 15766 (java) R 15764 15766 15673 0 -1 0 42074 0 1 0 179971 37 0 0 25 0 8 0 156529489 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15766/statm: 228908 41772 2538 14 0 215378 0
[pid=15766/tid=15768] ppid=15764 vsize=915632 CPUtime=0.4
/proc/15766/task/15768/stat : 15768 (java) S 15764 15766 15673 0 -1 64 24912 0 0 0 31 9 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15769] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15769/stat : 15769 (java) S 15764 15766 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15770] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15770/stat : 15770 (java) S 15764 15766 15673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529493 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15771] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15771/stat : 15771 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15772] ppid=15764 vsize=915632 CPUtime=0.32
/proc/15766/task/15772/stat : 15772 (java) S 15764 15766 15673 0 -1 64 525 0 0 0 30 2 0 0 17 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15766/tid=15773] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15773/stat : 15773 (java) S 15764 15766 15673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15766/tid=15774] ppid=15764 vsize=915632 CPUtime=0
/proc/15766/task/15774/stat : 15774 (java) S 15764 15766 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156529496 937607168 41772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915632

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

Child status: 143
Real time (s): 1800.7
CPU time (s): 1800.17
CPU user time (s): 1799.77
CPU system time (s): 0.405938
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.405938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42089
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= 37687
involuntary context switches= 63347

runsolver used 1.86772 s user time and 4.76828 s system time

The end

Launcher Data (download as text)

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


IDJOB= 233209
IDBENCH= 6587
FILE ID= node17/233209-1168081342

PBS_JOBID= 3476226

Free space on /tmp= 66318 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  87e975250304f30a19a45e921aa11a00

RANDOM SEED= 229277340

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1605952 kB
Buffers:         47632 kB
Cached:         254424 kB
SwapCached:          0 kB
Active:         148232 kB
Inactive:       212288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1605952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4612 kB
Writeback:           0 kB
Mapped:          77900 kB
Slab:            74160 kB
Committed_AS:  3842096 kB
PageTables:       2320 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= 66318 MiB



End job on node17 on Sat Jan  6 11:32:29 UTC 2007