Trace number 233396

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.13 1805.09

General information on the benchmark

Nametaillard/
os-taillard-15/os-taillard-15-95-9.xml
MD5SUM6522e1f6a411174fd677fca5ba664b91
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 variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size888
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/233396-1168325814/unknown.xml
0.41	   
0.41	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.52	     nbVariables=225  nbDomainTypes=225  minDomainSize=790  maxDomainSize=888
0.52	       =>  wckTime=0.179  cpuTime=0.15  mem=11M779
0.52	   
0.52	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
205.49	   
205.49	   INFO : Stopping converting binary constraints (cpu=200.16, mem = 246M700)
205.78	     nbConstraints=3150  nbConvertedConstraints=1069  nbConvertConstraintsChecks=756026096  nbExtensionStructures=1069
205.78	     nbSharedExtensionStructures=0  nbConflictsStructures=1069  nbSharedConflictsStructures=0
205.78	     nbSharedBinaryRepresentations=535470  nbEvaluationManagers=2081  nbSharedEvaluationManagers=0  maxDegree=28
205.78	     maxArity=2
205.78	       =>  wckTime=205.432  cpuTime=200.37  mem=262M89
206.62	   
206.62	   solver IterativeSystematicSolver being built... 
206.90	       =>  wckTime=206.555  cpuTime=200.61  mem=266M16
253.59	   
253.59	   preprocessing
253.59	     nbConstraintChecks=114015717  nbValidityChecks=44305907  nbPropagations=5066  nbRevisions=80328
253.59	     nbUselessRevisions=75557  nbSingletonTests=257  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0
253.59	     detectedInconsistency=no
253.59	       =>  wckTime=46.677  cpuTime=46.07  mem=266M16
267.14	   
267.14	   search
267.14	     run=0  nbConstraintChecks=15963271  nbValidityChecks=127602529  nbPropagations=14632  nbRevisions=249223
267.14	     nbUselessRevisions=226026  nbAssignments=549  nbFailedAssignments=529  nbBacktracks=10  nbVisitedNodes=1089
267.14	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
267.14	       =>  wckTime=60.229  cpuTime=59.56  mem=266M985
273.80	   
273.80	   search
273.80	     run=1  nbConstraintChecks=47324235  nbValidityChecks=176192624  nbPropagations=34123  nbRevisions=583257
273.80	     nbUselessRevisions=521905  nbAssignments=882  nbFailedAssignments=834  nbBacktracks=25  nbVisitedNodes=1741
273.80	     nbRestartNogoods=10  mapSize=25  nbInferences=0  nbTooLargeKeys=0
273.80	       =>  wckTime=66.887  cpuTime=66.15  mem=267M947
294.17	   
294.17	   search
294.17	     run=2  nbConstraintChecks=101972381  nbValidityChecks=305272089  nbPropagations=65610  nbRevisions=1153129
294.17	     nbUselessRevisions=1022767  nbAssignments=1681  nbFailedAssignments=1570  nbBacktracks=47  nbVisitedNodes=3298
294.17	     nbRestartNogoods=12  mapSize=47  nbInferences=0  nbTooLargeKeys=0
294.17	       =>  wckTime=87.259  cpuTime=86.38  mem=268M909
305.60	   
305.60	   search
305.60	     run=3  nbConstraintChecks=118290106  nbValidityChecks=409483995  nbPropagations=105233  nbRevisions=1862449
305.60	     nbUselessRevisions=1648087  nbAssignments=2102  nbFailedAssignments=1945  nbBacktracks=80  nbVisitedNodes=4127
305.60	     nbRestartNogoods=34  mapSize=80  nbInferences=0  nbTooLargeKeys=0
305.60	       =>  wckTime=98.693  cpuTime=97.75  mem=269M871
369.55	   
369.55	   search
369.55	     run=4  nbConstraintChecks=223985457  nbValidityChecks=890815854  nbPropagations=179397  nbRevisions=3202916
369.55	     nbUselessRevisions=2831367  nbAssignments=4585  nbFailedAssignments=4365  nbBacktracks=130  nbVisitedNodes=9080
369.55	     nbRestartNogoods=41  mapSize=130  nbInferences=0  nbTooLargeKeys=0
369.55	       =>  wckTime=162.641  cpuTime=161.33  mem=270M256
427.71	   
427.71	   search
427.71	     run=5  nbConstraintChecks=306735715  nbValidityChecks=1390342350  nbPropagations=290868  nbRevisions=5210566
427.71	     nbUselessRevisions=4600911  nbAssignments=7243  nbFailedAssignments=6935  nbBacktracks=205  nbVisitedNodes=14383
427.71	     nbRestartNogoods=64  mapSize=205  nbInferences=0  nbTooLargeKeys=0
427.71	       =>  wckTime=220.802  cpuTime=219.14  mem=252M525
518.45	   
518.45	   search
518.45	     run=6  nbConstraintChecks=431540504  nbValidityChecks=2219968150  nbPropagations=461546  nbRevisions=8314592
518.45	     nbUselessRevisions=7321501  nbAssignments=12130  nbFailedAssignments=11698  nbBacktracks=318  nbVisitedNodes=24139
518.45	     nbRestartNogoods=91  mapSize=318  nbInferences=0  nbTooLargeKeys=0
518.45	       =>  wckTime=311.535  cpuTime=309.7  mem=254M27
624.68	   
624.68	   search
624.68	     run=7  nbConstraintChecks=582950288  nbValidityChecks=3227886575  nbPropagations=705058  nbRevisions=12781532
624.68	     nbUselessRevisions=11284355  nbAssignments=16038  nbFailedAssignments=13746  nbBacktracks=488  nbVisitedNodes=28586
624.68	     nbRestartNogoods=178  mapSize=488  nbInferences=0  nbTooLargeKeys=0
624.68	       =>  wckTime=417.764  cpuTime=415.81  mem=257M874
883.56	   
883.56	   search
883.56	     run=8  nbConstraintChecks=894309309  nbValidityChecks=5987334986  nbPropagations=1154678  nbRevisions=20913439
883.56	     nbUselessRevisions=18592477  nbAssignments=26341  nbFailedAssignments=20360  nbBacktracks=744  nbVisitedNodes=42334
883.56	     nbRestartNogoods=409  mapSize=743  nbInferences=0  nbTooLargeKeys=0
883.56	       =>  wckTime=676.647  cpuTime=674.44  mem=263M164
994.24	   
994.24	   INFO : Stopping hyperNogood (mapSize=1048, nbTooLargekeys=0, mem=269M126)
1020.70	   
1020.70	   search
1020.70	     run=9  nbConstraintChecks=1071813401  nbValidityChecks=7396979672  nbPropagations=1710185  nbRevisions=30945508
1020.70	     nbUselessRevisions=27595733  nbAssignments=32305  nbFailedAssignments=25398  nbBacktracks=1128
1020.70	     nbVisitedNodes=53188  nbRestartNogoods=485
1020.70	       =>  wckTime=813.79  cpuTime=811.44  mem=269M126
1171.71	   
1171.71	   search
1171.71	     run=10  nbConstraintChecks=1355523660  nbValidityChecks=8281354532  nbPropagations=2337429  nbRevisions=42199298
1171.71	     nbUselessRevisions=37603589  nbAssignments=39875  nbFailedAssignments=32178  nbBacktracks=1705
1171.71	     nbVisitedNodes=67870  nbRestartNogoods=548
1171.71	       =>  wckTime=964.799  cpuTime=962.29  mem=269M126
1549.34	   
1549.34	   search
1549.34	     run=11  nbConstraintChecks=2007237436  nbValidityChecks=10802097959  nbPropagations=3155550  nbRevisions=56895527
1549.34	     nbUselessRevisions=50457029  nbAssignments=60103  nbFailedAssignments=51475  nbBacktracks=2570
1549.34	     nbVisitedNodes=108105  nbRestartNogoods=624
1549.34	       =>  wckTime=1342.427  cpuTime=1339.54  mem=269M126

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/node35/watcher-233396-1168325814 -o ROOT/results/node35/solver-233396-1168325814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233396-1168325814/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.92 1.95 1.75 4/84 11055
/proc/meminfo: memFree=187256/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=18540 CPUtime=0
/proc/11054/stat : 11054 (runsolver) R 11052 11054 7847 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 180975021 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11054/statm: 4635 279 244 17 0 2626 0

[startup+0.103496 s]
/proc/loadavg: 1.92 1.95 1.75 4/84 11055
/proc/meminfo: memFree=187256/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=912760 CPUtime=0.08
/proc/11054/stat : 11054 (java) S 11052 11054 7847 0 -1 0 2779 0 1 0 6 2 0 0 17 0 8 0 180975021 934666240 2525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228190 2525 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760

[startup+0.511542 s]
/proc/loadavg: 1.92 1.95 1.75 4/84 11055
/proc/meminfo: memFree=187256/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915328 CPUtime=0.48
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 6839 0 1 0 42 6 0 0 18 0 8 0 180975021 937295872 6578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154100677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228832 6578 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33363 s]
/proc/loadavg: 1.92 1.95 1.75 3/91 11062
/proc/meminfo: memFree=146752/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=1.3
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 12561 0 1 0 120 10 0 0 24 0 8 0 180975021 937607168 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228908 12299 2167 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 180975026 937607168 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 180975026 937607168 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.17
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 411 0 0 0 16 1 0 0 16 0 8 0 180975030 937607168 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.97982 s]
/proc/loadavg: 1.92 1.95 1.75 4/91 11062
/proc/meminfo: memFree=147264/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=2.93
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 13172 0 1 0 283 10 0 0 25 0 8 0 180975021 937607168 12909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228908 12909 2167 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 180975026 937607168 12909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 180975026 937607168 12909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 180975026 937607168 12909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 12909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.17
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 411 0 0 0 16 1 0 0 16 0 8 0 180975030 937607168 12909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 12909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 12909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632

[startup+6.1832 s]
/proc/loadavg: 1.93 1.95 1.76 3/91 11062
/proc/meminfo: memFree=139776/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=6.11
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 14388 0 1 0 600 11 0 0 25 0 8 0 180975021 937607168 14125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228908 14125 2167 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 14125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 180975026 937607168 14125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 180975026 937607168 14125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 14125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.17
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 412 0 0 0 16 1 0 0 16 0 8 0 180975030 937607168 14125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 14125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 14125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915632

[startup+12.656 s]
/proc/loadavg: 1.93 1.95 1.76 3/91 11062
/proc/meminfo: memFree=111688/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=12.52
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 21247 0 1 0 1236 16 0 0 25 0 8 0 180975021 937607168 20983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228908 20983 2178 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=0.18
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 4648 0 0 0 15 3 0 0 18 0 8 0 180975026 937607168 20983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 180975026 937607168 20983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 20983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 20983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.18
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 413 0 0 0 17 1 0 0 17 0 8 0 180975030 937607168 20983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 20983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 20983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915632

[startup+25.5095 s]
/proc/loadavg: 1.95 1.96 1.76 3/91 11062
/proc/meminfo: memFree=111752/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=25.26
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 21255 0 1 0 2510 16 0 0 25 0 8 0 180975021 937607168 20991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228908 20991 2178 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=0.18
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 4648 0 0 0 15 3 0 0 16 0 8 0 180975026 937607168 20991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 180975026 937607168 20991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 20991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 20991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.19
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 420 0 0 0 18 1 0 0 16 0 8 0 180975030 937607168 20991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 20991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 20991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915632

[startup+51.1365 s]
/proc/loadavg: 2.04 1.97 1.77 3/91 11062
/proc/meminfo: memFree=75272/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=50.65
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 30371 0 1 0 5042 23 0 0 25 0 8 0 180975021 937607168 30105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228908 30105 2179 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=0.53
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 13752 0 0 0 45 8 0 0 16 0 8 0 180975026 937607168 30105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 180975026 937607168 30105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 30105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 30105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.2
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 429 0 0 0 19 1 0 0 16 0 8 0 180975030 937607168 30105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 30105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 30105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915632

[startup+102.4 s]
/proc/loadavg: 2.01 1.97 1.78 3/91 11062
/proc/meminfo: memFree=34824/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=101.43
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 40456 0 1 0 10113 30 0 0 25 0 8 0 180975021 937607168 40188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11054/statm: 228908 40188 2179 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=1.11
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 23831 0 0 0 98 13 0 0 16 0 8 0 180975026 937607168 40188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 180975026 937607168 40188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 40188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 40188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.21
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 433 0 0 0 20 1 0 0 16 0 8 0 180975030 937607168 40188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 40188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 40188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915632

[startup+162.478 s]
/proc/loadavg: 2.06 1.99 1.80 3/91 11062
/proc/meminfo: memFree=16520/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=160.95
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 59956 0 1 0 16049 46 0 0 25 0 8 0 180975021 937607168 59685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.2 s]
/proc/loadavg: 2.07 2.02 1.92 3/87 11390
/proc/meminfo: memFree=437272/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=1478.54
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 79988 0 1 0 147779 75 0 0 25 0 8 0 180975021 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11054/statm: 228908 79682 2548 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=3.76
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 62797 0 0 0 341 35 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.41
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 535 0 0 0 39 2 0 0 16 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.54
Current children cumulated vsize (KiB) 915632

[startup+1543.2 s]
/proc/loadavg: 2.10 2.03 1.93 3/87 11390
/proc/meminfo: memFree=437272/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=1538.49
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 79988 0 1 0 153774 75 0 0 25 0 8 0 180975021 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11054/statm: 228908 79682 2548 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=3.76
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 62797 0 0 0 341 35 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.41
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 535 0 0 0 39 2 0 0 16 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.49
Current children cumulated vsize (KiB) 915632

[startup+1603.2 s]
/proc/loadavg: 2.03 2.02 1.93 3/87 11390
/proc/meminfo: memFree=437272/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=1598.44
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 79988 0 1 0 159769 75 0 0 25 0 8 0 180975021 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11054/statm: 228908 79682 2548 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=3.76
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 62797 0 0 0 341 35 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.41
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 535 0 0 0 39 2 0 0 16 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.44
Current children cumulated vsize (KiB) 915632

[startup+1663.2 s]
/proc/loadavg: 2.01 2.02 1.93 3/87 11390
/proc/meminfo: memFree=437208/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=1658.37
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 79988 0 1 0 165762 75 0 0 25 0 8 0 180975021 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11054/statm: 228908 79682 2548 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=3.76
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 62797 0 0 0 341 35 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.41
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 535 0 0 0 39 2 0 0 16 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.37
Current children cumulated vsize (KiB) 915632

[startup+1723.21 s]
/proc/loadavg: 2.00 2.01 1.93 3/87 11390
/proc/meminfo: memFree=437208/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=1718.31
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 79988 0 1 0 171756 75 0 0 25 0 8 0 180975021 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11054/statm: 228908 79682 2548 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=3.76
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 62797 0 0 0 341 35 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.41
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 535 0 0 0 39 2 0 0 16 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.31
Current children cumulated vsize (KiB) 915632

[startup+1783.21 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 11390
/proc/meminfo: memFree=437144/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=1778.27
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 79988 0 1 0 177752 75 0 0 25 0 8 0 180975021 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074059878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11054/statm: 228908 79682 2548 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=3.76
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 62797 0 0 0 341 35 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.41
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 535 0 0 0 39 2 0 0 16 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.27
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.03 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 11390
/proc/meminfo: memFree=437144/2055920 swapFree=4184712/4192956
[pid=11054] ppid=11052 vsize=915632 CPUtime=1800.06
/proc/11054/stat : 11054 (java) R 11052 11054 7847 0 -1 0 79988 0 1 0 179931 75 0 0 25 0 8 0 180975021 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11054/statm: 228908 79682 2548 14 0 215378 0
[pid=11054/tid=11056] ppid=11052 vsize=915632 CPUtime=3.76
/proc/11054/task/11056/stat : 11056 (java) S 11052 11054 7847 0 -1 64 62797 0 0 0 341 35 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11057] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11057/stat : 11057 (java) S 11052 11054 7847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11058] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11058/stat : 11058 (java) S 11052 11054 7847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180975026 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11059] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11059/stat : 11059 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11060] ppid=11052 vsize=915632 CPUtime=0.41
/proc/11054/task/11060/stat : 11060 (java) S 11052 11054 7847 0 -1 64 535 0 0 0 39 2 0 0 16 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11054/tid=11061] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11061/stat : 11061 (java) S 11052 11054 7847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11054/tid=11062] ppid=11052 vsize=915632 CPUtime=0
/proc/11054/task/11062/stat : 11062 (java) S 11052 11054 7847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180975030 937607168 79682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915632

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

Child status: 143
Real time (s): 1805.09
CPU time (s): 1800.13
CPU user time (s): 1799.33
CPU system time (s): 0.803877
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.803877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80005
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= 38214
involuntary context switches= 24782

runsolver used 2.33564 s user time and 5.76412 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Tue Jan  9 06:56:54 UTC 2007


IDJOB= 233396
IDBENCH= 6605
FILE ID= node35/233396-1168325814

PBS_JOBID= 3502922

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6522e1f6a411174fd677fca5ba664b91

RANDOM SEED= 390495118

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.234
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.234
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:        187736 kB
Buffers:         12788 kB
Cached:        1049136 kB
SwapCached:       2140 kB
Active:        1236360 kB
Inactive:       575528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        187736 kB
SwapTotal:     4192956 kB
SwapFree:      4184712 kB
Dirty:            2076 kB
Writeback:           0 kB
Mapped:         767232 kB
Slab:            40216 kB
Committed_AS:  4754056 kB
PageTables:       3304 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= 66559 MiB



End job on node35 on Tue Jan  9 07:26:59 UTC 2007