Trace number 233458

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 ESACSAT 380.946 384.268

DiagnosticValue
CHECKS343846615
NODES6601

General information on the benchmark

Nametaillard/os-taillard-15/
os-taillard-15-100-5.xml
MD5SUMd426cad722d5bc2bb5dc5b0719d02128
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.288956
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size959
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.43	   
0.43	Abscon 109 (November, 2006)
0.43	   
0.43	   configuration
0.43	     name=esac.xml
0.47	   
0.47	   instance
0.47	     name=/tmp/evaluation/233458-1168326341/unknown.xml
0.50	   
0.50	   domains being loaded...
0.55	   
0.55	   variables being loaded...
0.62	     nbVariables=225  nbDomainTypes=225  minDomainSize=861  maxDomainSize=959
0.62	       =>  wckTime=0.181  cpuTime=0.15  mem=12M769
0.62	   
0.62	   predicates being loaded...
0.62	   
0.62	   constraints being loaded...
204.96	   
204.96	   INFO : Stopping converting binary constraints (cpu=200.06, mem = 247M681)
205.23	     nbConstraints=3150  nbConvertedConstraints=955  nbConvertConstraintsChecks=793058760  nbExtensionStructures=955
205.23	     nbSharedExtensionStructures=0  nbConflictsStructures=955  nbSharedConflictsStructures=0
205.23	     nbSharedBinaryRepresentations=537009  nbEvaluationManagers=2195  nbSharedEvaluationManagers=0  maxDegree=28
205.23	     maxArity=2
205.23	       =>  wckTime=204.792  cpuTime=200.26  mem=263M874
205.85	   
205.85	   solver IterativeSystematicSolver being built... 
206.09	       =>  wckTime=205.651  cpuTime=200.46  mem=272M681
243.50	   
243.50	   preprocessing
243.50	     nbConstraintChecks=96338870  nbValidityChecks=39673773  nbPropagations=4314  nbRevisions=70215
243.50	     nbUselessRevisions=66246  nbSingletonTests=231  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0
243.50	     detectedInconsistency=no
243.50	       =>  wckTime=37.403  cpuTime=36.68  mem=272M681
256.01	   
256.01	   search
256.01	     run=0  nbConstraintChecks=37608400  nbValidityChecks=42802132  nbPropagations=8514  nbRevisions=150249
256.01	     nbUselessRevisions=135322  nbAssignments=330  nbFailedAssignments=268  nbBacktracks=10  nbVisitedNodes=609
256.01	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
256.01	       =>  wckTime=49.909  cpuTime=49.11  mem=275M599
276.53	   
276.53	   search
276.53	     run=1  nbConstraintChecks=86039435  nbValidityChecks=91614031  nbPropagations=23149  nbRevisions=401729
276.53	     nbUselessRevisions=356653  nbAssignments=830  nbFailedAssignments=588  nbBacktracks=25  nbVisitedNodes=1386
276.53	     nbRestartNogoods=11  mapSize=25  nbInferences=0  nbTooLargeKeys=0
276.53	       =>  wckTime=70.426  cpuTime=69.45  mem=256M470
289.39	   
289.39	   search
289.39	     run=2  nbConstraintChecks=118856986  nbValidityChecks=116180952  nbPropagations=42083  nbRevisions=714727
289.39	     nbUselessRevisions=630665  nbAssignments=1249  nbFailedAssignments=865  nbBacktracks=47  nbVisitedNodes=2104
289.39	     nbRestartNogoods=18  mapSize=47  nbInferences=0  nbTooLargeKeys=0
289.39	       =>  wckTime=83.288  cpuTime=82.25  mem=259M351
374.19	   
374.19	   search
374.19	     run=3  nbConstraintChecks=222995788  nbValidityChecks=992185458  nbPropagations=152345  nbRevisions=2539100
374.19	     nbUselessRevisions=2319523  nbAssignments=6372  nbFailedAssignments=1089  nbBacktracks=80  nbVisitedNodes=2700
374.19	     nbRestartNogoods=47  mapSize=80  nbInferences=0  nbTooLargeKeys=0
374.19	       =>  wckTime=168.086  cpuTime=166.62  mem=261M272
384.19	   
384.19	   search
384.19	     run=4  nbConstraintChecks=247507745  nbValidityChecks=1015235575  nbPropagations=265768  nbRevisions=4408344
384.19	     nbUselessRevisions=4050007  nbAssignments=6601  nbFailedAssignments=1093  nbBacktracks=80  nbVisitedNodes=2933
384.19	     nbRestartNogoods=79  mapSize=80  nbInferences=0  nbTooLargeKeys=0
384.19	       =>  wckTime=178.092  cpuTime=176.57  mem=264M304
384.20	   
384.20	   global
384.20	     nbConstraintChecks=343846615  nbValidityChecks=1054909348  nbPropagations=270082  nbRevisions=4478559
384.20	     nbUselessRevisions=4116253  nbRestartNogoods=79  solvingWckTime=178.095  solvingCpuTime=176.57  expiredTime=no
384.20	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=377.09
384.20	       =>  wckTime=383.758  cpuTime=377.04  mem=264M304
384.20	   
384.20	s SATISFIABLE
384.20	v 760 253 57 441 68 213 549 932 220 0 70 134 38 301 861 15 57 168 258 194 0 483 246 823 93 725 896 638 220 374 639 42 852 216 0 932 738 692 807 301 573 141 473 97 402 273 192 134 168 289 213 87 486 387 831 639 0 301 550 415 785 555 493 825 877 709 207 634 433 742 208 86 171 0 353 196 645 871 369 454 545 329 736 436 818 288 88 0 188 591 235 779 836 493 933 806 669 32 172 592 405 738 109 0 307 608 164 0 88 109 274 235 213 581 775 690 498 379 465 818 32 779 549 0 158 21 690 606 267 400 486 850 213 295 251 426 860 182 797 70 319 818 0 169 662 606 251 515 681 385 508 209 240 70 307 465 72 682 590 880 400 0 186 160 824 515 638 580 946 319 194 363 274 847 0 97 370 775 715 441 387 758 531 449 264 885 669 356 329 74 192 860 592 48 0 295 0 709 172 861 563 727 196 483 192 89 682 648 387 405 888 339 0 436 267 289 48 742 555 807 580 385 171 661 852 
384.20	d NODES 6601
384.20	d CHECKS 343846615
384.20	   
384.20	   totalWckTime=383.846  totalCpuTime=377.09

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node24/watcher-233458-1168326341 -o ROOT/results/node24/solver-233458-1168326341 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233458-1168326341/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: 2.71 2.59 2.32 4/94 24168
/proc/meminfo: memFree=1332392/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=18540 CPUtime=0
/proc/24167/stat : 24167 (runsolver) R 24165 24167 23842 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181029330 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24167/statm: 4635 279 244 17 0 2626 0

[startup+0.10323 s]
/proc/loadavg: 2.71 2.59 2.32 4/94 24168
/proc/meminfo: memFree=1332392/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=47976 CPUtime=0
/proc/24167/stat : 24167 (java) D 24165 24167 23842 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 181029330 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/24167/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976

[startup+0.511275 s]
/proc/loadavg: 2.71 2.59 2.32 4/94 24168
/proc/meminfo: memFree=1332392/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915328 CPUtime=0.38
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 5828 0 2 0 34 4 0 0 18 0 8 0 181029330 937295872 5568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153984993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228832 5568 2102 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328

[startup+1.33436 s]
/proc/loadavg: 2.71 2.59 2.32 4/101 24175
/proc/meminfo: memFree=1285744/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=1.2
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 12596 0 2 0 111 9 0 0 23 0 8 0 181029330 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 12335 2167 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181029345 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181029345 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181029345 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.15
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 181029349 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915632

[startup+2.98754 s]
/proc/loadavg: 2.71 2.59 2.32 3/101 24175
/proc/meminfo: memFree=1278320/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=2.85
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 13288 0 2 0 275 10 0 0 25 0 8 0 181029330 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 13026 2167 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181029345 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181029345 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181029345 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.15
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181029349 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915632

[startup+6.27489 s]
/proc/loadavg: 2.74 2.60 2.32 3/101 24175
/proc/meminfo: memFree=1268280/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=6.12
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 14476 0 2 0 602 10 0 0 25 0 8 0 181029330 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 14214 2167 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181029345 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181029345 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.16
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 411 0 0 0 16 0 0 0 17 0 8 0 181029349 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915632

[startup+12.7656 s]
/proc/loadavg: 2.68 2.58 2.32 3/101 24175
/proc/meminfo: memFree=1225920/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=12.58
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 20867 0 2 0 1245 13 0 0 25 0 8 0 181029330 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 20604 2178 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0.11
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 4273 0 0 0 10 1 0 0 18 0 8 0 181029345 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.16
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 181029349 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915632

[startup+25.609 s]
/proc/loadavg: 2.67 2.59 2.33 4/101 24175
/proc/meminfo: memFree=1187904/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=25.37
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 20870 0 2 0 2523 14 0 0 25 0 8 0 181029330 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 20607 2178 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0.11
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 4273 0 0 0 10 1 0 0 16 0 8 0 181029345 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.16
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 414 0 0 0 16 0 0 0 17 0 8 0 181029349 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915632

[startup+51.2358 s]
/proc/loadavg: 2.78 2.62 2.34 3/101 24175
/proc/meminfo: memFree=1058560/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=50.86
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 31390 0 2 0 5068 18 0 0 25 0 8 0 181029330 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 31125 2179 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0.52
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 14773 0 0 0 47 5 0 0 16 0 8 0 181029345 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.18
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 429 0 0 0 18 0 0 0 16 0 8 0 181029349 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915632

[startup+102.481 s]
/proc/loadavg: 2.74 2.63 2.36 4/101 24175
/proc/meminfo: memFree=866752/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=101.87
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 40936 0 2 0 10162 25 0 0 25 0 8 0 181029330 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 40670 2179 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0.99
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 24317 0 0 0 90 9 0 0 16 0 8 0 181029345 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.18
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 430 0 0 0 18 0 0 0 16 0 8 0 181029349 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915632

[startup+162.498 s]
/proc/loadavg: 2.41 2.57 2.36 3/104 24297
/proc/meminfo: memFree=1370600/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=161.53
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 59816 0 2 0 16115 38 0 0 25 0 8 0 181029330 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 59547 2179 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=1.75
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 43189 0 0 0 156 19 0 0 16 0 8 0 181029345 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.19
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 435 0 0 0 19 0 0 0 17 0 8 0 181029349 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 915632

[startup+222.503 s]
/proc/loadavg: 2.76 2.66 2.40 3/104 24297
/proc/meminfo: memFree=685800/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=220.28
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 77117 0 2 0 21981 47 0 0 25 0 8 0 181029330 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24167/statm: 228908 76836 2545 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=3.11
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 59992 0 0 0 286 25 0 0 16 0 8 0 181029345 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.29
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 491 0 0 0 28 1 0 0 15 0 8 0 181029349 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.28
Current children cumulated vsize (KiB) 915632

[startup+282.529 s]
/proc/loadavg: 2.39 2.58 2.38 3/104 24297
/proc/meminfo: memFree=664872/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=279.69
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 80917 0 2 0 27919 50 0 0 25 0 8 0 181029330 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 80626 2548 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=3.19
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 63763 0 0 0 292 27 0 0 16 0 8 0 181029345 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181029345 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.32
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 510 0 0 0 31 1 0 0 15 0 8 0 181029349 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (KiB) 915632

[startup+342.58 s]
/proc/loadavg: 2.14 2.47 2.36 3/104 24297
/proc/meminfo: memFree=664744/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=339.45
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 80933 0 2 0 33895 50 0 0 25 0 8 0 181029330 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 80634 2548 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=3.19
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 63763 0 0 0 292 27 0 0 16 0 8 0 181029345 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181029345 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.34
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 522 0 0 0 33 1 0 0 16 0 8 0 181029349 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 384.268
CPU time (s): 380.946
CPU user time (s): 380.376
CPU system time (s): 0.569913
CPU usage (%): 99.1356
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 380.376
system time used= 0.569913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80949
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9387
involuntary context switches= 16869

runsolver used 0.450931 s user time and 1.26381 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue Jan  9 07:05:41 UTC 2007


IDJOB= 233458
IDBENCH= 6609
FILE ID= node24/233458-1168326341

PBS_JOBID= 3502998

Free space on /tmp= 66473 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d426cad722d5bc2bb5dc5b0719d02128

RANDOM SEED= 504940749

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1332808 kB
Buffers:          8016 kB
Cached:         223456 kB
SwapCached:          0 kB
Active:         510668 kB
Inactive:       162072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1332808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2096 kB
Writeback:           0 kB
Mapped:         469028 kB
Slab:            34208 kB
Committed_AS:  4611508 kB
PageTables:       3212 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= 66474 MiB



End job on node24 on Tue Jan  9 07:12:05 UTC 2007