Trace number 233319

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-6.xml
MD5SUM4323238ba4bd95d86b69074f31564b40
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 size1284
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/233319-1168081352/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.53	     nbVariables=400  nbDomainTypes=400  minDomainSize=1186  maxDomainSize=1284
0.53	       =>  wckTime=0.226  cpuTime=0.17  mem=20M612
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
4.63	   
4.63	   INFO : Stopping converting binary constraints (cpu=4.18, mem = 37M713)
5.76	     nbConstraints=7600  nbConvertedConstraints=10  nbConvertConstraintsChecks=14974388  nbExtensionStructures=10
5.76	     nbSharedExtensionStructures=0  nbConflictsStructures=10  nbSharedConflictsStructures=0
5.76	     nbSharedBinaryRepresentations=1459  nbEvaluationManagers=7590  nbSharedEvaluationManagers=0  maxDegree=38
5.76	     maxArity=2
5.76	       =>  wckTime=5.448  cpuTime=5.09  mem=55M880
5.90	   
5.90	   solver IterativeSystematicSolver being built... 
6.37	       =>  wckTime=6.057  cpuTime=5.37  mem=124M866
38.13	   
38.13	   preprocessing
38.13	     nbConstraintChecks=85985534  nbValidityChecks=529713  nbPropagations=400  nbRevisions=15180
38.13	     nbUselessRevisions=15180  nbRemovedValues=0  detectedInconsistency=no
38.13	       =>  wckTime=31.744  cpuTime=31.43  mem=124M866
88.21	   
88.21	   search
88.21	     run=0  nbConstraintChecks=99020428  nbValidityChecks=167672386  nbPropagations=4921  nbRevisions=175043
88.21	     nbUselessRevisions=162973  nbAssignments=281  nbFailedAssignments=232  nbBacktracks=10  nbVisitedNodes=524
88.21	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=32
88.21	       =>  wckTime=81.825  cpuTime=81.03  mem=128M173
127.33	   
127.33	   search
127.33	     run=1  nbConstraintChecks=182940258  nbValidityChecks=341123094  nbPropagations=14889  nbRevisions=527367
127.33	     nbUselessRevisions=489731  nbAssignments=521  nbFailedAssignments=402  nbBacktracks=25  nbVisitedNodes=949
127.33	     nbRestartNogoods=45  mapSize=0  nbInferences=0  nbTooLargeKeys=85
127.33	       =>  wckTime=120.942  cpuTime=119.79  mem=128M173
162.55	   
162.55	   search
162.55	     run=2  nbConstraintChecks=243478994  nbValidityChecks=598315073  nbPropagations=31888  nbRevisions=1124912
162.55	     nbUselessRevisions=1042479  nbAssignments=904  nbFailedAssignments=723  nbBacktracks=47  nbVisitedNodes=1675
162.55	     nbRestartNogoods=47  mapSize=0  nbInferences=0  nbTooLargeKeys=128
162.55	       =>  wckTime=156.164  cpuTime=154.69  mem=129M177
213.83	   
213.83	   search
213.83	     run=3  nbConstraintChecks=364223268  nbValidityChecks=739144152  nbPropagations=54801  nbRevisions=1883073
213.83	     nbUselessRevisions=1724917  nbAssignments=1714  nbFailedAssignments=1400  nbBacktracks=80  nbVisitedNodes=3195
213.83	     nbRestartNogoods=54  mapSize=33  nbInferences=0  nbTooLargeKeys=186
213.83	       =>  wckTime=207.439  cpuTime=205.46  mem=131M585
300.92	   
300.92	   search
300.92	     run=4  nbConstraintChecks=554203166  nbValidityChecks=985854054  nbPropagations=95451  nbRevisions=3118029
300.92	     nbUselessRevisions=2830409  nbAssignments=2865  nbFailedAssignments=2298  nbBacktracks=130  nbVisitedNodes=5287
300.92	     nbRestartNogoods=64  mapSize=81  nbInferences=0  nbTooLargeKeys=244
300.92	       =>  wckTime=294.532  cpuTime=292.04  mem=138M826
478.58	   
478.58	   search
478.58	     run=5  nbConstraintChecks=784008495  nbValidityChecks=2608123382  nbPropagations=174224  nbRevisions=5775304
478.58	     nbUselessRevisions=5237954  nbAssignments=5452  nbFailedAssignments=4789  nbBacktracks=205  nbVisitedNodes=10440
478.58	     nbRestartNogoods=85  mapSize=81  nbInferences=0  nbTooLargeKeys=320
478.58	       =>  wckTime=472.196  cpuTime=468.87  mem=139M830
601.61	   
601.61	   search
601.61	     run=6  nbConstraintChecks=945021864  nbValidityChecks=3703741066  nbPropagations=279471  nbRevisions=9395946
601.61	     nbUselessRevisions=8531935  nbAssignments=6929  nbFailedAssignments=6132  nbBacktracks=318  nbVisitedNodes=13373
601.61	     nbRestartNogoods=124  mapSize=81  nbInferences=0  nbTooLargeKeys=435
601.61	       =>  wckTime=595.222  cpuTime=591.32  mem=140M834
833.66	   
833.66	   search
833.66	     run=7  nbConstraintChecks=1258096024  nbValidityChecks=5689626527  nbPropagations=431922  nbRevisions=14751317
833.66	     nbUselessRevisions=13417818  nbAssignments=9451  nbFailedAssignments=8464  nbBacktracks=488  nbVisitedNodes=18397
833.66	     nbRestartNogoods=136  mapSize=87  nbInferences=0  nbTooLargeKeys=600
833.66	       =>  wckTime=827.271  cpuTime=822.28  mem=141M839
1750.15	   
1750.15	   search
1750.15	     run=8  nbConstraintChecks=2551800770  nbValidityChecks=13049805422  nbPropagations=760605  nbRevisions=26543988
1750.15	     nbUselessRevisions=24177955  nbAssignments=19235  nbFailedAssignments=17974  nbBacktracks=744  nbVisitedNodes=37947
1750.15	     nbRestartNogoods=158  mapSize=87  nbInferences=0  nbTooLargeKeys=856
1750.15	       =>  wckTime=1743.76  cpuTime=1734.48  mem=141M839

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/node24/watcher-233319-1168081352 -o ROOT/results/node24/solver-233319-1168081352 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233319-1168081352/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.15 1.61 1.78 5/93 18171
/proc/meminfo: memFree=1589808/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=18540 CPUtime=0
/proc/18170/stat : 18170 (runsolver) R 18168 18170 17462 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156531121 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18170/statm: 4635 279 244 17 0 2626 0

[startup+0.103826 s]
/proc/loadavg: 1.15 1.61 1.78 5/93 18171
/proc/meminfo: memFree=1589808/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=913236 CPUtime=0.07
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 2921 0 1 0 6 1 0 0 24 0 8 0 156531121 935153664 2667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073418163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913236

[startup+0.515872 s]
/proc/loadavg: 1.15 1.61 1.78 5/93 18171
/proc/meminfo: memFree=1589808/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915328 CPUtime=0.48
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 8594 0 1 0 43 5 0 0 25 0 8 0 156531121 937295872 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228832 8333 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34495 s]
/proc/loadavg: 1.15 1.61 1.78 3/100 18178
/proc/meminfo: memFree=1519032/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=1.3
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 20045 0 1 0 119 11 0 0 25 0 8 0 156531121 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228908 19783 2178 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.04
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 3452 0 0 0 3 1 0 0 16 0 8 0 156531126 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.15
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 402 0 0 0 14 1 0 0 16 0 8 0 156531129 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.98313 s]
/proc/loadavg: 1.15 1.61 1.78 3/100 18178
/proc/meminfo: memFree=1518968/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=2.93
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 20050 0 1 0 282 11 0 0 25 0 8 0 156531121 937607168 19787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228908 19787 2178 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.04
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 3452 0 0 0 3 1 0 0 16 0 8 0 156531126 937607168 19787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 19787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 19787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 19787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.15
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 405 0 0 0 14 1 0 0 16 0 8 0 156531129 937607168 19787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 19787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 19787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632

[startup+6.26549 s]
/proc/loadavg: 1.22 1.61 1.79 3/100 18178
/proc/meminfo: memFree=1503296/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=6.19
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42136 0 1 0 599 20 0 0 25 0 8 0 156531121 937607168 41868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228908 41868 2498 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25127 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.23
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 455 0 0 0 22 1 0 0 16 0 8 0 156531129 937607168 41868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915632

[startup+12.7562 s]
/proc/loadavg: 1.41 1.64 1.79 3/100 18178
/proc/meminfo: memFree=1431680/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=12.61
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42220 0 1 0 1241 20 0 0 25 0 8 0 156531121 937607168 41948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228908 41948 2533 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25127 0 0 0 33 8 0 0 17 0 8 0 156531126 937607168 41948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.27
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 479 0 0 0 25 2 0 0 16 0 8 0 156531129 937607168 41948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915632

[startup+25.6036 s]
/proc/loadavg: 1.50 1.65 1.79 3/100 18178
/proc/meminfo: memFree=1431744/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=25.36
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42223 0 1 0 2516 20 0 0 25 0 8 0 156531121 937607168 41949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228908 41949 2533 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25127 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.27
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 481 0 0 0 25 2 0 0 15 0 8 0 156531129 937607168 41949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915632

[startup+51.3053 s]
/proc/loadavg: 1.87 1.73 1.82 3/100 18178
/proc/meminfo: memFree=1431808/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=50.81
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42235 0 1 0 5061 20 0 0 25 0 8 0 156531121 937607168 41957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228908 41957 2534 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25127 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.28
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 487 0 0 0 26 2 0 0 17 0 8 0 156531129 937607168 41957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915632

[startup+102.543 s]
/proc/loadavg: 1.94 1.77 1.82 3/100 18178
/proc/meminfo: memFree=1431744/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=101.6
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42258 0 1 0 10139 21 0 0 25 0 8 0 156531121 937607168 41971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18170/statm: 228908 41971 2537 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25128 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.3
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 500 0 0 0 28 2 0 0 16 0 8 0 156531129 937607168 41971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915632

[startup+162.641 s]
/proc/loadavg: 1.98 1.81 1.83 3/100 18178
/proc/meminfo: memFree=1431744/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=161.14
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42264 0 1 0 16093 21 0 0 25 0 8 0 156531121 937607168 41973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1484.24 s]
/proc/loadavg: 2.08 2.03 1.94 3/100 18586
/proc/meminfo: memFree=1485048/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=1476.21
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42289 0 1 0 147588 33 0 0 25 0 8 0 156531121 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074124638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18170/statm: 228908 41988 2538 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25128 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.34
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 521 0 0 0 32 2 0 0 17 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.21
Current children cumulated vsize (KiB) 915632

[startup+1544.31 s]
/proc/loadavg: 2.03 2.02 1.94 3/100 18586
/proc/meminfo: memFree=1484984/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=1536.01
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42289 0 1 0 153567 34 0 0 25 0 8 0 156531121 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074124657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18170/statm: 228908 41988 2538 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25128 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.34
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 521 0 0 0 32 2 0 0 17 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.01
Current children cumulated vsize (KiB) 915632

[startup+1604.39 s]
/proc/loadavg: 2.01 2.02 1.94 3/100 18586
/proc/meminfo: memFree=1484920/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=1595.8
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42289 0 1 0 159546 34 0 0 25 0 8 0 156531121 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074124680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18170/statm: 228908 41988 2538 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25128 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.34
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 521 0 0 0 32 2 0 0 17 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.8
Current children cumulated vsize (KiB) 915632

[startup+1664.47 s]
/proc/loadavg: 2.00 2.01 1.94 3/100 18586
/proc/meminfo: memFree=1484856/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=1655.61
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42289 0 1 0 165526 35 0 0 25 0 8 0 156531121 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18170/statm: 228908 41988 2538 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25128 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.34
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 521 0 0 0 32 2 0 0 17 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.61
Current children cumulated vsize (KiB) 915632

[startup+1724.55 s]
/proc/loadavg: 2.04 2.02 1.94 3/100 18586
/proc/meminfo: memFree=1454840/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=1715.4
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42289 0 1 0 171505 35 0 0 25 0 8 0 156531121 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18170/statm: 228908 41988 2538 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25128 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.34
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 521 0 0 0 32 2 0 0 17 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.4
Current children cumulated vsize (KiB) 915632

[startup+1784.63 s]
/proc/loadavg: 2.01 2.02 1.94 3/100 18586
/proc/meminfo: memFree=1454776/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=1775.19
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42289 0 1 0 177484 35 0 0 25 0 8 0 156531121 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074040650 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18170/statm: 228908 41988 2538 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25128 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.34
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 521 0 0 0 32 2 0 0 17 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.19
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.63 s]
/proc/loadavg: 2.01 2.01 1.94 3/100 18586
/proc/meminfo: memFree=1454712/2055920 swapFree=4192812/4192956
[pid=18170] ppid=18168 vsize=915632 CPUtime=1800.08
/proc/18170/stat : 18170 (java) R 18168 18170 17462 0 -1 0 42289 0 1 0 179973 35 0 0 25 0 8 0 156531121 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18170/statm: 228908 41988 2538 14 0 215378 0
[pid=18170/tid=18172] ppid=18168 vsize=915632 CPUtime=0.41
/proc/18170/task/18172/stat : 18172 (java) S 18168 18170 17462 0 -1 64 25128 0 0 0 33 8 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18173] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18173/stat : 18173 (java) S 18168 18170 17462 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18174/stat : 18174 (java) S 18168 18170 17462 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531126 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18175] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18175/stat : 18175 (java) S 18168 18170 17462 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18176] ppid=18168 vsize=915632 CPUtime=0.34
/proc/18170/task/18176/stat : 18176 (java) S 18168 18170 17462 0 -1 64 521 0 0 0 32 2 0 0 17 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18170/tid=18177] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18177/stat : 18177 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156531129 937607168 41988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18170/tid=18178] ppid=18168 vsize=915632 CPUtime=0
/proc/18170/task/18178/stat : 18178 (java) S 18168 18170 17462 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531129 937607168 41988 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): 1809.68
CPU time (s): 1800.14
CPU user time (s): 1799.75
CPU system time (s): 0.386941
CPU usage (%): 99.4729
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.386941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42305
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= 38253
involuntary context switches= 66948

runsolver used 2.09668 s user time and 5.83711 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Jan  6 11:02:35 UTC 2007


IDJOB= 233319
IDBENCH= 6593
FILE ID= node24/233319-1168081352

PBS_JOBID= 3476091

Free space on /tmp= 66457 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4323238ba4bd95d86b69074f31564b40

RANDOM SEED= 914794483

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:       1590288 kB
Buffers:         25992 kB
Cached:         126872 kB
SwapCached:          0 kB
Active:         315704 kB
Inactive:        81440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1590288 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2812 kB
Writeback:           0 kB
Mapped:         273392 kB
Slab:            52672 kB
Committed_AS:  3761292 kB
PageTables:       2764 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= 66463 MiB



End job on node24 on Sat Jan  6 11:32:56 UTC 2007