Trace number 232311

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.11 1800.89

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-0.xml
MD5SUMd218a1129bf7e99e8b8586f845179931
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark303.38
SatisfiableNO
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1580
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/232311-1168081250/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.54	     nbVariables=400  nbDomainTypes=400  minDomainSize=1482  maxDomainSize=1580
0.54	       =>  wckTime=0.231  cpuTime=0.17  mem=22M660
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
5.02	   
5.02	   INFO : Stopping converting binary constraints (cpu=4.57, mem = 23M18)
5.58	     nbConstraints=4180  nbConvertedConstraints=7  nbConvertConstraintsChecks=16737408  nbExtensionStructures=7
5.58	     nbSharedExtensionStructures=0  nbConflictsStructures=7  nbSharedConflictsStructures=0
5.58	     nbSharedBinaryRepresentations=292  nbEvaluationManagers=4173  nbSharedEvaluationManagers=0  maxDegree=21
5.58	     maxArity=2
5.58	       =>  wckTime=5.276  cpuTime=5.04  mem=52M567
5.71	   
5.71	   solver IterativeSystematicSolver being built... 
6.03	       =>  wckTime=5.721  cpuTime=5.26  mem=104M895
155.63	   
155.63	   preprocessing
155.63	     nbConstraintChecks=601960714  nbValidityChecks=14859400  nbPropagations=1021  nbRevisions=24450
155.63	     nbUselessRevisions=22967  nbRemovedValues=383211  detectedInconsistency=no
155.63	       =>  wckTime=149.575  cpuTime=149.39  mem=104M895
203.08	   
203.08	   search
203.08	     run=0  nbConstraintChecks=135188960  nbValidityChecks=62182045  nbPropagations=11576  nbRevisions=244470
203.08	     nbUselessRevisions=211800  nbAssignments=239  nbFailedAssignments=168  nbBacktracks=13  nbVisitedNodes=418
203.08	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=71
203.08	       =>  wckTime=197.025  cpuTime=196.8  mem=105M894
224.78	   
224.78	   search
224.78	     run=1  nbConstraintChecks=201047471  nbValidityChecks=90265125  nbPropagations=27187  nbRevisions=586248
224.78	     nbUselessRevisions=505128  nbAssignments=303  nbFailedAssignments=185  nbBacktracks=28  nbVisitedNodes=514
224.78	     nbRestartNogoods=38  mapSize=0  nbInferences=0  nbTooLargeKeys=118
224.78	       =>  wckTime=218.724  cpuTime=218.48  mem=105M894
244.77	   
244.77	   search
244.77	     run=2  nbConstraintChecks=260905488  nbValidityChecks=124928741  nbPropagations=47948  nbRevisions=1053549
244.77	     nbUselessRevisions=902525  nbAssignments=380  nbFailedAssignments=208  nbBacktracks=50  nbVisitedNodes=636
244.77	     nbRestartNogoods=55  mapSize=0  nbInferences=0  nbTooLargeKeys=172
244.77	       =>  wckTime=238.715  cpuTime=238.47  mem=105M894
331.44	   
331.44	   search
331.44	     run=3  nbConstraintChecks=480081689  nbValidityChecks=404683276  nbPropagations=107361  nbRevisions=2334557
331.44	     nbUselessRevisions=2000190  nbAssignments=1172  nbFailedAssignments=935  nbBacktracks=86  nbVisitedNodes=2175
331.44	     nbRestartNogoods=77  mapSize=0  nbInferences=0  nbTooLargeKeys=237
331.44	       =>  wckTime=325.384  cpuTime=325.1  mem=105M894
425.53	   
425.53	   search
425.53	     run=4  nbConstraintChecks=713935717  nbValidityChecks=640199495  nbPropagations=213448  nbRevisions=4663968
425.53	     nbUselessRevisions=3959001  nbAssignments=2106  nbFailedAssignments=1786  nbBacktracks=139  nbVisitedNodes=3983
425.53	     nbRestartNogoods=92  mapSize=0  nbInferences=0  nbTooLargeKeys=320
425.53	       =>  wckTime=419.475  cpuTime=419.13  mem=105M894
571.90	   
571.90	   search
571.90	     run=5  nbConstraintChecks=1096513289  nbValidityChecks=1115497875  nbPropagations=408713  nbRevisions=8831832
571.90	     nbUselessRevisions=7566509  nbAssignments=4971  nbFailedAssignments=4551  nbBacktracks=215  nbVisitedNodes=9657
571.90	     nbRestartNogoods=151  mapSize=0  nbInferences=0  nbTooLargeKeys=420
571.90	       =>  wckTime=565.84  cpuTime=565.45  mem=105M894
1382.47	   
1382.47	   search
1382.47	     run=6  nbConstraintChecks=3025252953  nbValidityChecks=3781443790  nbPropagations=868009  nbRevisions=19551063
1382.47	     nbUselessRevisions=16758361  nbAssignments=7456  nbFailedAssignments=6914  nbBacktracks=331  nbVisitedNodes=14591
1382.47	     nbRestartNogoods=215  mapSize=0  nbInferences=0  nbTooLargeKeys=542
1382.47	       =>  wckTime=1376.414  cpuTime=1375.74  mem=105M894

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

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

/proc/loadavg: 0.00 0.25 0.93 3/87 24877
/proc/meminfo: memFree=1248280/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=292 CPUtime=0
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 156520946 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 1 0 0
/proc/24876/statm: 73 37 29 14 0 5 0

[startup+0.104415 s]
/proc/loadavg: 0.00 0.25 0.93 3/87 24877
/proc/meminfo: memFree=1248280/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=914988 CPUtime=0.08
/proc/24876/stat : 24876 (java) D 24874 24876 24670 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 156520946 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512492 s]
/proc/loadavg: 0.00 0.25 0.93 3/87 24877
/proc/meminfo: memFree=1248280/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915328 CPUtime=0.48
/proc/24876/stat : 24876 (java) S 24874 24876 24670 0 -1 0 9049 0 1 0 43 5 0 0 17 0 8 0 156520946 937295872 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24876/statm: 228832 8788 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33364 s]
/proc/loadavg: 0.00 0.25 0.93 2/94 24884
/proc/meminfo: memFree=1192032/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=1.31
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 16410 0 1 0 121 10 0 0 18 0 8 0 156520946 937607168 16149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 16149 2167 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 156520950 937607168 16149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156520950 937607168 16149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156520951 937607168 16149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 16149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.15
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 401 0 0 0 15 0 0 0 16 0 8 0 156520954 937607168 16149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 16149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 16149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632

[startup+2.98195 s]
/proc/loadavg: 0.08 0.26 0.93 2/94 24922
/proc/meminfo: memFree=1173536/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=2.94
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 21025 0 1 0 282 12 0 0 24 0 8 0 156520946 937607168 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788668 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 20761 2178 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.04
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 4439 0 0 0 3 1 0 0 17 0 8 0 156520950 937607168 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156520950 937607168 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.15
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 156520954 937607168 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632

[startup+6.26957 s]
/proc/loadavg: 0.08 0.26 0.93 2/94 24925
/proc/meminfo: memFree=1173352/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=6.21
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33331 0 1 0 604 17 0 0 18 0 8 0 156520946 937607168 33064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029973 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24876/statm: 228908 33064 2533 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.22
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16250 0 0 0 16 6 0 0 16 0 8 0 156520950 937607168 33064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.26
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 469 0 0 0 25 1 0 0 16 0 8 0 156520954 937607168 33064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915632

[startup+12.7478 s]
/proc/loadavg: 0.22 0.29 0.93 2/94 24934
/proc/meminfo: memFree=1125672/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=12.68
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33336 0 1 0 1251 17 0 0 25 0 8 0 156520946 937607168 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33066 2533 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.22
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16250 0 0 0 16 6 0 0 16 0 8 0 156520950 937607168 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.26
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 473 0 0 0 25 1 0 0 16 0 8 0 156520954 937607168 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915632

[startup+25.6002 s]
/proc/loadavg: 0.34 0.31 0.93 2/94 24971
/proc/meminfo: memFree=1125480/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=25.5
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33343 0 1 0 2532 18 0 0 25 0 8 0 156520946 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33070 2533 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.22
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16250 0 0 0 16 6 0 0 16 0 8 0 156520950 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.27
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 479 0 0 0 26 1 0 0 15 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915632

[startup+51.204 s]
/proc/loadavg: 0.56 0.36 0.93 2/94 25059
/proc/meminfo: memFree=1123800/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=51.06
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33343 0 1 0 5088 18 0 0 25 0 8 0 156520946 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33070 2533 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.22
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16250 0 0 0 16 6 0 0 16 0 8 0 156520950 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.27
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 479 0 0 0 26 1 0 0 15 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915632

[startup+102.493 s]
/proc/loadavg: 0.81 0.46 0.93 2/88 25148
/proc/meminfo: memFree=1126696/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=102.3
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33343 0 1 0 10211 19 0 0 25 0 8 0 156520946 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33070 2533 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.22
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16250 0 0 0 16 6 0 0 16 0 8 0 156520950 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.27
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 479 0 0 0 26 1 0 0 15 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915632

[startup+162.534 s]
/proc/loadavg: 1.41 0.68 0.97 3/100 25193
/proc/meminfo: memFree=1020856/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=162.31
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33354 0 1 0 16211 20 0 0 25 0 8 0 156520946 937607168 33078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.17 s]
/proc/loadavg: 2.00 2.00 1.74 3/100 25195
/proc/meminfo: memFree=1020864/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=1483.49
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33405 0 1 0 148318 31 0 0 25 0 8 0 156520946 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33105 2537 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.23
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16251 0 0 0 17 6 0 0 16 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.33
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.49
Current children cumulated vsize (KiB) 915632

[startup+1544.25 s]
/proc/loadavg: 2.08 2.03 1.76 3/100 25195
/proc/meminfo: memFree=1020864/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=1543.56
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33405 0 1 0 154324 32 0 0 25 0 8 0 156520946 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33105 2537 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.23
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16251 0 0 0 17 6 0 0 16 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.33
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.56
Current children cumulated vsize (KiB) 915632

[startup+1604.33 s]
/proc/loadavg: 2.03 2.02 1.77 3/100 25195
/proc/meminfo: memFree=1020864/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=1603.61
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33405 0 1 0 160329 32 0 0 25 0 8 0 156520946 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074040777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33105 2537 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.23
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16251 0 0 0 17 6 0 0 16 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.33
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.61
Current children cumulated vsize (KiB) 915632

[startup+1664.4 s]
/proc/loadavg: 2.01 2.02 1.78 3/100 25195
/proc/meminfo: memFree=1020864/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=1663.67
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33405 0 1 0 166334 33 0 0 25 0 8 0 156520946 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33105 2537 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.23
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16251 0 0 0 17 6 0 0 16 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.33
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.67
Current children cumulated vsize (KiB) 915632

[startup+1724.48 s]
/proc/loadavg: 2.10 2.04 1.80 3/100 25195
/proc/meminfo: memFree=1020864/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=1723.72
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33405 0 1 0 172339 33 0 0 25 0 8 0 156520946 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043575 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33105 2537 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.23
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16251 0 0 0 17 6 0 0 16 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.33
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.72
Current children cumulated vsize (KiB) 915632

[startup+1784.55 s]
/proc/loadavg: 2.03 2.03 1.82 3/100 25195
/proc/meminfo: memFree=1020800/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=1783.77
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33405 0 1 0 178344 33 0 0 25 0 8 0 156520946 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33105 2537 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.23
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16251 0 0 0 17 6 0 0 16 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.33
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1783.77
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 2.03 2.03 1.82 3/100 25195
/proc/meminfo: memFree=1020800/2055920 swapFree=4171232/4192956
[pid=24876] ppid=24874 vsize=915632 CPUtime=1800.03
/proc/24876/stat : 24876 (java) R 24874 24876 24670 0 -1 0 33405 0 1 0 179969 34 0 0 25 0 8 0 156520946 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24876/statm: 228908 33105 2537 14 0 215378 0
[pid=24876/tid=24878] ppid=24874 vsize=915632 CPUtime=0.23
/proc/24876/task/24878/stat : 24878 (java) S 24874 24876 24670 0 -1 64 16251 0 0 0 17 6 0 0 16 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24879] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24879/stat : 24879 (java) S 24874 24876 24670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156520950 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24880] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24880/stat : 24880 (java) S 24874 24876 24670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156520951 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24881] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24881/stat : 24881 (java) S 24874 24876 24670 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24882] ppid=24874 vsize=915632 CPUtime=0.33
/proc/24876/task/24882/stat : 24882 (java) S 24874 24876 24670 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24876/tid=24883] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24883/stat : 24883 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24876/tid=24884] ppid=24874 vsize=915632 CPUtime=0
/proc/24876/task/24884/stat : 24884 (java) S 24874 24876 24670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156520954 937607168 33105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915632

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

Child status: 143
Real time (s): 1800.89
CPU time (s): 1800.11
CPU user time (s): 1799.75
CPU system time (s): 0.361944
CPU usage (%): 99.9568
Max. virtual memory (cumulated for all children) (KiB): 915632

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

runsolver used 2.34564 s user time and 5.50416 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 11:00:57 UTC 2007


IDJOB= 232311
IDBENCH= 6512
FILE ID= node19/232311-1168081250

PBS_JOBID= 3476204

Free space on /tmp= 66311 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d218a1129bf7e99e8b8586f845179931

RANDOM SEED= 608044436

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.260
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.260
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:       1250104 kB
Buffers:         70584 kB
Cached:         599516 kB
SwapCached:      10036 kB
Active:         291600 kB
Inactive:       413904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1250104 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            2340 kB
Writeback:           0 kB
Mapped:          44648 kB
Slab:            85280 kB
Committed_AS:  3624068 kB
PageTables:       2208 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= 66309 MiB



End job on node19 on Sat Jan  6 11:31:04 UTC 2007