Trace number 234432

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.07 1800.82

General information on the benchmark

Nametaillard/
js-taillard-15/js-taillard-15-95-6.xml
MD5SUMf8daa743eb3103bd3c63db7310717804
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 benchmark20.25
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1173
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/234432-1168332355/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.48	     nbVariables=225  nbDomainTypes=225  minDomainSize=1075  maxDomainSize=1173
0.48	       =>  wckTime=0.165  cpuTime=0.13  mem=13M753
0.48	   
0.48	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
202.51	   
202.51	   INFO : Stopping converting binary constraints (cpu=200.07, mem = 257M268)
202.66	     nbConstraints=1785  nbConvertedConstraints=631  nbConvertConstraintsChecks=795517491  nbExtensionStructures=631
202.66	     nbSharedExtensionStructures=0  nbConflictsStructures=631  nbSharedConflictsStructures=0
202.66	     nbSharedBinaryRepresentations=335139  nbEvaluationManagers=1154  nbSharedEvaluationManagers=0  maxDegree=16
202.66	     maxArity=2
202.66	       =>  wckTime=202.34  cpuTime=200.16  mem=264M638
203.22	   
203.22	   solver IterativeSystematicSolver being built... 
203.42	       =>  wckTime=203.104  cpuTime=200.34  mem=273M914
287.80	   
287.80	   INFO : Stopping ESAC
287.80	   
287.80	   preprocessing
287.80	     nbConstraintChecks=320325184  nbValidityChecks=31588028  nbPropagations=9613  nbRevisions=123169
287.80	     nbUselessRevisions=103592  nbSingletonTests=178  nbEffectiveSingletonTests=19  nbESACBranches=15
287.80	     nbRemovedValues=161761  detectedInconsistency=no
287.80	       =>  wckTime=84.36  cpuTime=84.29  mem=273M914
293.83	   
293.83	   search
293.83	     run=0  nbConstraintChecks=20339556  nbValidityChecks=4410439  nbPropagations=11954  nbRevisions=149155
293.83	     nbUselessRevisions=125439  nbAssignments=99  nbFailedAssignments=52  nbBacktracks=12  nbVisitedNodes=158
293.83	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
293.83	       =>  wckTime=90.391  cpuTime=90.29  mem=276M470
307.93	   
307.93	   search
307.93	     run=1  nbConstraintChecks=67714269  nbValidityChecks=24966950  nbPropagations=32433  nbRevisions=405715
307.93	     nbUselessRevisions=335488  nbAssignments=623  nbFailedAssignments=518  nbBacktracks=28  nbVisitedNodes=1144
307.93	     nbRestartNogoods=6  mapSize=19  nbInferences=3  nbTooLargeKeys=0
307.93	       =>  wckTime=104.498  cpuTime=104.4  mem=277M410
353.44	   
353.44	   search
353.44	     run=2  nbConstraintChecks=218432421  nbValidityChecks=86547032  nbPropagations=76929  nbRevisions=1008161
353.44	     nbUselessRevisions=823326  nbAssignments=1135  nbFailedAssignments=992  nbBacktracks=50  nbVisitedNodes=2150
353.44	     nbRestartNogoods=8  mapSize=40  nbInferences=3  nbTooLargeKeys=0
353.44	       =>  wckTime=150.002  cpuTime=149.88  mem=278M209
460.14	   
460.14	   search
460.14	     run=3  nbConstraintChecks=617666240  nbValidityChecks=202597438  nbPropagations=158827  nbRevisions=2073933
460.14	     nbUselessRevisions=1704175  nbAssignments=2231  nbFailedAssignments=1680  nbBacktracks=83  nbVisitedNodes=3603
460.14	     nbRestartNogoods=62  mapSize=71  nbInferences=3  nbTooLargeKeys=0
460.14	       =>  wckTime=256.699  cpuTime=256.52  mem=279M629
558.14	   
558.14	   search
558.14	     run=4  nbConstraintChecks=990076424  nbValidityChecks=307392881  nbPropagations=275361  nbRevisions=3546475
558.14	     nbUselessRevisions=2937728  nbAssignments=2961  nbFailedAssignments=1867  nbBacktracks=133  nbVisitedNodes=4081
558.14	     nbRestartNogoods=98  mapSize=110  nbInferences=3  nbTooLargeKeys=0
558.14	       =>  wckTime=354.698  cpuTime=354.48  mem=281M624
734.77	   
734.77	   search
734.77	     run=5  nbConstraintChecks=1602359994  nbValidityChecks=492348619  nbPropagations=465699  nbRevisions=6004543
734.77	     nbUselessRevisions=4945441  nbAssignments=5047  nbFailedAssignments=3773  nbBacktracks=208  nbVisitedNodes=8046
734.77	     nbRestartNogoods=139  mapSize=180  nbInferences=3  nbTooLargeKeys=0
734.77	       =>  wckTime=531.335  cpuTime=531.05  mem=284M282
817.68	   
817.68	   search
817.68	     run=6  nbConstraintChecks=1880271240  nbValidityChecks=625312300  nbPropagations=714338  nbRevisions=9258038
817.68	     nbUselessRevisions=7612566  nbAssignments=6653  nbFailedAssignments=5244  nbBacktracks=321  nbVisitedNodes=11184
817.68	     nbRestartNogoods=143  mapSize=261  nbInferences=3  nbTooLargeKeys=0
817.68	       =>  wckTime=614.244  cpuTime=613.89  mem=266M897
1077.32	   
1077.32	   search
1077.32	     run=7  nbConstraintChecks=2762424901  nbValidityChecks=1033366681  nbPropagations=1134192  nbRevisions=14906545
1077.32	     nbUselessRevisions=12198351  nbAssignments=11354  nbFailedAssignments=8474  nbBacktracks=491  nbVisitedNodes=17992
1077.32	     nbRestartNogoods=195  mapSize=429  nbInferences=3  nbTooLargeKeys=0
1077.32	       =>  wckTime=873.88  cpuTime=873.34  mem=272M543
1744.63	   
1744.63	   search
1744.63	     run=8  nbConstraintChecks=5193924915  nbValidityChecks=1744251975  nbPropagations=1825038  nbRevisions=24202539
1744.63	     nbUselessRevisions=19670111  nbAssignments=17727  nbFailedAssignments=13481  nbBacktracks=747  nbVisitedNodes=28388
1744.63	     nbRestartNogoods=401  mapSize=576  nbInferences=4  nbTooLargeKeys=0
1744.63	       =>  wckTime=1541.194  cpuTime=1540.44  mem=280M563

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/node40/watcher-234432-1168332355 -o ROOT/results/node40/solver-234432-1168332355 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234432-1168332355/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.95 1.47 1.78 2/65 24435
/proc/meminfo: memFree=1678056/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=1452 CPUtime=0
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 94 0 0 0 0 0 0 0 20 0 1 0 181634841 1486848 66 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7723328 0 0 4096 0 0 0 0 17 1 0 0
/proc/24434/statm: 363 77 59 14 0 8 0

[startup+0.103159 s]
/proc/loadavg: 0.95 1.47 1.78 2/65 24435
/proc/meminfo: memFree=1678056/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=914988 CPUtime=0.08
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 2995 0 1 0 6 2 0 0 22 0 8 0 181634841 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24434/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511216 s]
/proc/loadavg: 0.95 1.47 1.78 2/65 24435
/proc/meminfo: memFree=1678056/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915328 CPUtime=0.46
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 7818 0 1 0 41 5 0 0 16 0 8 0 181634841 937295872 7557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24434/statm: 228832 7557 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33331 s]
/proc/loadavg: 0.95 1.47 1.78 2/72 24442
/proc/meminfo: memFree=1644336/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=1.28
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 10769 0 1 0 120 8 0 0 18 0 8 0 181634841 937607168 10508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 10508 2167 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181634845 937607168 10508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181634846 937607168 10508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 181634846 937607168 10508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 10508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.15
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 410 0 0 0 14 1 0 0 16 0 8 0 181634849 937607168 10508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 10508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 10508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915632

[startup+2.98153 s]
/proc/loadavg: 0.95 1.47 1.78 2/72 24442
/proc/meminfo: memFree=1642800/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=2.93
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 11514 0 1 0 284 9 0 0 25 0 8 0 181634841 937607168 11251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 11251 2167 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 181634845 937607168 11251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181634846 937607168 11251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 181634846 937607168 11251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 11251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.15
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 411 0 0 0 14 1 0 0 16 0 8 0 181634849 937607168 11251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 11251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 11251 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.25795 s]
/proc/loadavg: 0.95 1.46 1.78 2/72 24442
/proc/meminfo: memFree=1637424/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=6.2
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 12687 0 1 0 611 9 0 0 25 0 8 0 181634841 937607168 12423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 12423 2167 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181634845 937607168 12423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181634846 937607168 12423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 181634846 937607168 12423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 12423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.15
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 411 0 0 0 14 1 0 0 16 0 8 0 181634849 937607168 12423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 12423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 12423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915632

[startup+12.7378 s]
/proc/loadavg: 0.95 1.45 1.78 2/72 24442
/proc/meminfo: memFree=1627504/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=12.68
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 15058 0 1 0 1258 10 0 0 25 0 8 0 181634841 937607168 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 14794 2167 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181634845 937607168 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181634846 937607168 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 181634846 937607168 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.15
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 412 0 0 0 14 1 0 0 16 0 8 0 181634849 937607168 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915632

[startup+25.5644 s]
/proc/loadavg: 0.96 1.43 1.76 2/72 24442
/proc/meminfo: memFree=1595824/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=25.5
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 22919 0 1 0 2537 13 0 0 25 0 8 0 181634841 937607168 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 22654 2178 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=0.15
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 6320 0 0 0 14 1 0 0 16 0 8 0 181634845 937607168 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.15
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 413 0 0 0 14 1 0 0 16 0 8 0 181634849 937607168 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915632

[startup+51.2438 s]
/proc/loadavg: 0.98 1.40 1.74 2/72 24442
/proc/meminfo: memFree=1555312/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=51.16
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 33035 0 1 0 5099 17 0 0 25 0 8 0 181634841 937607168 32769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 32769 2179 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=0.45
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 16418 0 0 0 40 5 0 0 16 0 8 0 181634845 937607168 32769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 32769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 32769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 32769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.17
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 429 0 0 0 16 1 0 0 16 0 8 0 181634849 937607168 32769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 32769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 32769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915632

[startup+102.496 s]
/proc/loadavg: 0.99 1.33 1.70 2/72 24442
/proc/meminfo: memFree=1512240/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=102.39
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 43797 0 1 0 10215 24 0 0 25 0 8 0 181634841 937607168 43529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 43529 2179 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=0.84
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 27178 0 0 0 74 10 0 0 16 0 8 0 181634845 937607168 43529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 43529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 43529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 43529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.17
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 429 0 0 0 16 1 0 0 16 0 8 0 181634849 937607168 43529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 43529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 43529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915632

[startup+162.583 s]
/proc/loadavg: 0.99 1.27 1.65 2/72 24442
/proc/meminfo: memFree=1438768/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=162.45
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 62127 0 1 0 16213 32 0 0 25 0 8 0 181634841 937607168 61856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/72 24640
/proc/meminfo: memFree=1355376/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=1483.64
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 83290 0 1 0 148321 43 0 0 25 0 8 0 181634841 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074026017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 82978 2548 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=2.5
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 66097 0 0 0 225 25 0 0 16 0 8 0 181634845 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.35
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 533 0 0 0 34 1 0 0 16 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.64
Current children cumulated vsize (KiB) 915632

[startup+1544.39 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 24640
/proc/meminfo: memFree=1355312/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=1543.7
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 83290 0 1 0 154327 43 0 0 25 0 8 0 181634841 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 82978 2548 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=2.5
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 66097 0 0 0 225 25 0 0 16 0 8 0 181634845 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.35
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 533 0 0 0 34 1 0 0 16 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.7
Current children cumulated vsize (KiB) 915632

[startup+1604.47 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 24640
/proc/meminfo: memFree=1355376/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=1603.78
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 83290 0 1 0 160335 43 0 0 25 0 8 0 181634841 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 82978 2548 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=2.5
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 66097 0 0 0 225 25 0 0 16 0 8 0 181634845 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.35
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 533 0 0 0 34 1 0 0 16 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.78
Current children cumulated vsize (KiB) 915632

[startup+1664.56 s]
/proc/loadavg: 1.00 1.00 1.10 2/72 24640
/proc/meminfo: memFree=1355312/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=1663.84
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 83290 0 1 0 166341 43 0 0 25 0 8 0 181634841 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 82978 2548 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=2.5
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 66097 0 0 0 225 25 0 0 16 0 8 0 181634845 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.35
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 533 0 0 0 34 1 0 0 16 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 82978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.84
Current children cumulated vsize (KiB) 915632

[startup+1724.64 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 24640
/proc/meminfo: memFree=1355312/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=1723.9
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 83291 0 1 0 172347 43 0 0 25 0 8 0 181634841 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 82979 2548 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=2.5
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 66097 0 0 0 225 25 0 0 16 0 8 0 181634845 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.35
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 534 0 0 0 34 1 0 0 16 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.9
Current children cumulated vsize (KiB) 915632

[startup+1784.73 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 24640
/proc/meminfo: memFree=1355312/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=1783.98
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 83291 0 1 0 178354 44 0 0 25 0 8 0 181634841 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 82979 2548 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=2.5
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 66097 0 0 0 225 25 0 0 16 0 8 0 181634845 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.35
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 534 0 0 0 34 1 0 0 16 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.98
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.75 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 24640
/proc/meminfo: memFree=1355312/2055920 swapFree=4192812/4192956
[pid=24434] ppid=24432 vsize=915632 CPUtime=1800
/proc/24434/stat : 24434 (java) R 24432 24434 21767 0 -1 0 83291 0 1 0 179956 44 0 0 25 0 8 0 181634841 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24434/statm: 228908 82979 2548 14 0 215378 0
[pid=24434/tid=24436] ppid=24432 vsize=915632 CPUtime=2.5
/proc/24434/task/24436/stat : 24436 (java) S 24432 24434 21767 0 -1 64 66097 0 0 0 225 25 0 0 16 0 8 0 181634845 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24437] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24437/stat : 24437 (java) S 24432 24434 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24438] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24438/stat : 24438 (java) S 24432 24434 21767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181634846 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24439] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24439/stat : 24439 (java) S 24432 24434 21767 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=915632 CPUtime=0.35
/proc/24434/task/24440/stat : 24440 (java) S 24432 24434 21767 0 -1 64 534 0 0 0 34 1 0 0 16 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24441] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24441/stat : 24441 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24434/tid=24442] ppid=24432 vsize=915632 CPUtime=0
/proc/24434/task/24442/stat : 24442 (java) S 24432 24434 21767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181634849 937607168 82979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915632

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

Child status: 143
Real time (s): 1800.82
CPU time (s): 1800.07
CPU user time (s): 1799.58
CPU system time (s): 0.492925
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.492925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83309
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= 37894
involuntary context switches= 35466

runsolver used 1.75373 s user time and 4.6323 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue Jan  9 08:45:55 UTC 2007


IDJOB= 234432
IDBENCH= 6687
FILE ID= node40/234432-1168332355

PBS_JOBID= 3503242

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f8daa743eb3103bd3c63db7310717804

RANDOM SEED= 888301107

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.239
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.239
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:       1678536 kB
Buffers:         40364 kB
Cached:         242720 kB
SwapCached:          0 kB
Active:          74680 kB
Inactive:       224656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1678536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1896 kB
Writeback:           0 kB
Mapped:          26388 kB
Slab:            64152 kB
Committed_AS:  3982708 kB
PageTables:       1412 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= 66553 MiB



End job on node40 on Tue Jan  9 09:15:56 UTC 2007