Trace number 233724

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.12 1815.45

General information on the benchmark

Nametaillard/os-taillard-7/
os-taillard-7-100-5.xml
MD5SUMfea7c0438b40f105de0c49b8e3358493
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 benchmark8.98
SatisfiableYES
(Un)Satisfiability was proved
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size451
Number of constraints which are defined in extension0
Number of constraints which are defined in intension294
Global constraints used (with number of constraints)

Solver Data (download as text)

0.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=esac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/233724-1168327568/unknown.xml
0.43	   
0.43	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.48	     nbVariables=49  nbDomainTypes=49  minDomainSize=355  maxDomainSize=451
0.48	       =>  wckTime=0.117  cpuTime=0.1  mem=7M879
0.48	   
0.48	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
13.52	     nbConstraints=294  nbConvertedConstraints=294  nbConvertConstraintsChecks=45669524  nbExtensionStructures=294
13.52	     nbSharedExtensionStructures=0  nbConflictsStructures=294  nbSharedConflictsStructures=0
13.52	     nbSharedBinaryRepresentations=83243  maxDegree=12  maxArity=2
13.52	       =>  wckTime=13.153  cpuTime=12.94  mem=37M868
13.63	   
13.63	   solver IterativeSystematicSolver being built... 
13.80	       =>  wckTime=13.434  cpuTime=13.08  mem=28M195
13.87	   
13.87	   preprocessing
13.87	     nbConstraintChecks=1143816  nbPropagations=646  nbRevisions=1370  nbUselessRevisions=695  nbSingletonTests=52
13.87	     nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
13.87	       =>  wckTime=0.069  cpuTime=0.05  mem=28M195
14.14	   
14.14	   search
14.14	     run=0  nbConstraintChecks=7491227  nbPropagations=2429  nbRevisions=12910  nbUselessRevisions=6400
14.14	     nbAssignments=270  nbFailedAssignments=246  nbBacktracks=11  nbVisitedNodes=527  nbRestartNogoods=0  mapSize=10
14.14	     nbInferences=0  nbTooLargeKeys=0
14.14	       =>  wckTime=0.337  cpuTime=0.29  mem=28M195
14.41	   
14.41	   search
14.41	     run=1  nbConstraintChecks=16339525  nbPropagations=8600  nbRevisions=45337  nbUselessRevisions=23071
14.41	     nbAssignments=804  nbFailedAssignments=691  nbBacktracks=26  nbVisitedNodes=1457  nbRestartNogoods=6  mapSize=21
14.41	     nbInferences=0  nbTooLargeKeys=0
14.41	       =>  wckTime=0.604  cpuTime=0.55  mem=28M195
14.89	   
14.89	   search
14.89	     run=2  nbConstraintChecks=33639859  nbPropagations=19330  nbRevisions=107970  nbUselessRevisions=54741
14.89	     nbAssignments=1490  nbFailedAssignments=1338  nbBacktracks=48  nbVisitedNodes=2809  nbRestartNogoods=7  mapSize=41
14.89	     nbInferences=0  nbTooLargeKeys=0
14.89	       =>  wckTime=1.086  cpuTime=1.02  mem=29M147
16.29	   
16.29	   search
16.29	     run=3  nbConstraintChecks=82688361  nbPropagations=53379  nbRevisions=243960  nbUselessRevisions=123194
16.29	     nbAssignments=3638  nbFailedAssignments=1777  nbBacktracks=81  nbVisitedNodes=3760  nbRestartNogoods=81  mapSize=74
16.29	     nbInferences=0  nbTooLargeKeys=0
16.29	       =>  wckTime=2.487  cpuTime=2.38  mem=29M147
16.91	   
16.91	   search
16.91	     run=4  nbConstraintChecks=104478295  nbPropagations=98760  nbRevisions=414223  nbUselessRevisions=207294
16.91	     nbAssignments=5010  nbFailedAssignments=2553  nbBacktracks=131  nbVisitedNodes=5420  nbRestartNogoods=190
16.91	     mapSize=120  nbInferences=0  nbTooLargeKeys=0
16.91	       =>  wckTime=3.108  cpuTime=2.99  mem=29M147
18.95	   
18.95	   search
18.95	     run=5  nbConstraintChecks=180738394  nbPropagations=178027  nbRevisions=690864  nbUselessRevisions=341403
18.95	     nbAssignments=8157  nbFailedAssignments=3977  nbBacktracks=206  nbVisitedNodes=8423  nbRestartNogoods=301
18.95	     mapSize=194  nbInferences=0  nbTooLargeKeys=0
18.95	       =>  wckTime=5.142  cpuTime=5.0  mem=29M147
20.41	   
20.41	   search
20.41	     run=6  nbConstraintChecks=249960839  nbPropagations=278766  nbRevisions=1085950  nbUselessRevisions=540782
20.41	     nbAssignments=12283  nbFailedAssignments=7977  nbBacktracks=319  nbVisitedNodes=16659  nbRestartNogoods=302
20.41	     mapSize=306  nbInferences=0  nbTooLargeKeys=0
20.41	       =>  wckTime=6.602  cpuTime=6.45  mem=29M147
22.66	   
22.66	   search
22.66	     run=7  nbConstraintChecks=357046399  nbPropagations=413941  nbRevisions=1682621  nbUselessRevisions=861715
22.66	     nbAssignments=16147  nbFailedAssignments=11341  nbBacktracks=489  nbVisitedNodes=23708  nbRestartNogoods=362
22.66	     mapSize=464  nbInferences=0  nbTooLargeKeys=0
22.66	       =>  wckTime=8.854  cpuTime=8.68  mem=30M100
26.53	   
26.54	   search
26.54	     run=8  nbConstraintChecks=555927306  nbPropagations=601388  nbRevisions=2528964  nbUselessRevisions=1309341
26.54	     nbAssignments=22368  nbFailedAssignments=16647  nbBacktracks=745  nbVisitedNodes=34802  nbRestartNogoods=436
26.54	     mapSize=707  nbInferences=0  nbTooLargeKeys=0
26.54	       =>  wckTime=12.73  cpuTime=12.52  mem=30M100
30.22	   
30.22	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=31M52)
30.51	   
30.51	   search
30.51	     run=9  nbConstraintChecks=741832800  nbPropagations=839716  nbRevisions=3622299  nbUselessRevisions=1877020
30.51	     nbAssignments=32151  nbFailedAssignments=25738  nbBacktracks=1129  nbVisitedNodes=53690  nbRestartNogoods=520
30.51	       =>  wckTime=16.706  cpuTime=16.46  mem=31M52
38.93	   
38.93	   search
38.93	     run=10  nbConstraintChecks=1075246029  nbPropagations=1182619  nbRevisions=5246536  nbUselessRevisions=2681113
38.93	     nbAssignments=51562  nbFailedAssignments=43996  nbBacktracks=1705  nbVisitedNodes=91337  nbRestartNogoods=615
38.93	       =>  wckTime=25.127  cpuTime=24.79  mem=31M52
52.30	   
52.30	   search
52.30	     run=11  nbConstraintChecks=1764383623  nbPropagations=1716260  nbRevisions=8188885  nbUselessRevisions=4282265
52.30	     nbAssignments=72254  nbFailedAssignments=63809  nbBacktracks=2569  nbVisitedNodes=132555  nbRestartNogoods=646
52.30	       =>  wckTime=38.491  cpuTime=38.04  mem=31M52
54.85	   
54.85	   search
54.85	     run=12  nbConstraintChecks=1877146814  nbPropagations=2306845  nbRevisions=11466102  nbUselessRevisions=6110156
54.85	     nbAssignments=78142  nbFailedAssignments=68074  nbBacktracks=3869  nbVisitedNodes=143419  nbRestartNogoods=678
54.85	       =>  wckTime=41.042  cpuTime=40.57  mem=31M52
69.03	   
69.03	   search
69.03	     run=13  nbConstraintChecks=2454348644  nbPropagations=3143021  nbRevisions=16429831  nbUselessRevisions=8904213
69.03	     nbAssignments=112418  nbFailedAssignments=100262  nbBacktracks=5816  nbVisitedNodes=211306  nbRestartNogoods=698
69.03	       =>  wckTime=55.223  cpuTime=54.62  mem=31M52
83.37	   
83.37	   search
83.37	     run=14  nbConstraintChecks=3133765350  nbPropagations=4280124  nbRevisions=22823046  nbUselessRevisions=12615015
83.37	     nbAssignments=148696  nbFailedAssignments=132115  nbBacktracks=8735  nbVisitedNodes=280323  nbRestartNogoods=810
83.37	       =>  wckTime=69.563  cpuTime=68.83  mem=31M52
142.91	   
142.91	   search
142.91	     run=15  nbConstraintChecks=5608864283  nbPropagations=6177757  nbRevisions=32595482  nbUselessRevisions=17604080
142.91	     nbAssignments=252936  nbFailedAssignments=231752  nbBacktracks=13113  nbVisitedNodes=488208  nbRestartNogoods=938
142.91	       =>  wckTime=129.104  cpuTime=127.83  mem=31M52
197.91	   
197.91	   search
197.91	     run=16  nbConstraintChecks=7783172705  nbPropagations=9030966  nbRevisions=46835911  nbUselessRevisions=25083604
197.91	     nbAssignments=426855  nbFailedAssignments=399093  nbBacktracks=19681  nbVisitedNodes=835435  nbRestartNogoods=1120
197.91	       =>  wckTime=184.11  cpuTime=182.34  mem=31M52
276.90	   
276.90	   search
276.90	     run=17  nbConstraintChecks=11892543954  nbPropagations=12774148  nbRevisions=64864796  nbUselessRevisions=34005044
276.90	     nbAssignments=548352  nbFailedAssignments=509444  nbBacktracks=29533  nbVisitedNodes=1075504  nbRestartNogoods=1432
276.90	       =>  wckTime=263.1  cpuTime=260.61  mem=31M52
440.99	   
440.99	   search
440.99	     run=18  nbConstraintChecks=18999107161  nbPropagations=18498481  nbRevisions=96953465  nbUselessRevisions=50730659
440.99	     nbAssignments=840267  nbFailedAssignments=786519  nbBacktracks=44311  nbVisitedNodes=1657600  nbRestartNogoods=1541
440.99	       =>  wckTime=427.183  cpuTime=423.21  mem=31M52
609.07	   
609.07	   search
609.07	     run=19  nbConstraintChecks=25792875529  nbPropagations=26914864  nbRevisions=147314937  nbUselessRevisions=78354474
609.07	     nbAssignments=1160809  nbFailedAssignments=1084358  nbBacktracks=66479  nbVisitedNodes=2293612
609.07	     nbRestartNogoods=1780
609.07	       =>  wckTime=595.268  cpuTime=589.76  mem=31M52
910.01	   
910.01	   search
910.01	     run=20  nbConstraintChecks=39065965787  nbPropagations=38976285  nbRevisions=224131089
910.01	     nbUselessRevisions=120214176  nbAssignments=1668059  nbFailedAssignments=1557867  nbBacktracks=99732
910.01	     nbVisitedNodes=3301400  nbRestartNogoods=1902
910.01	       =>  wckTime=896.204  cpuTime=887.96  mem=31M52
1305.59	   
1305.59	   search
1305.59	     run=21  nbConstraintChecks=57600448952  nbPropagations=57458878  nbRevisions=337188274
1305.59	     nbUselessRevisions=184122629  nbAssignments=2561719  nbFailedAssignments=2400601  nbBacktracks=149610
1305.59	     nbVisitedNodes=5079318  nbRestartNogoods=2140
1305.59	       =>  wckTime=1291.786  cpuTime=1279.94  mem=31M52

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

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

/proc/loadavg: 1.93 2.05 2.03 4/87 11452
/proc/meminfo: memFree=1096224/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=89776 CPUtime=0
/proc/11451/stat : 11451 (java) D 11449 11451 8465 0 -1 0 1273 0 1 0 0 0 0 0 17 0 1 0 161371412 91930624 1022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/11451/statm: 22444 1022 811 14 0 10027 0

[startup+0.102758 s]
/proc/loadavg: 1.93 2.05 2.03 4/87 11452
/proc/meminfo: memFree=1096224/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=907676 CPUtime=0.04
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 2334 0 1 0 3 1 0 0 16 0 4 0 161371412 929460224 2081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944772 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 226919 2081 1166 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676

[startup+0.510801 s]
/proc/loadavg: 1.93 2.05 2.03 4/87 11452
/proc/meminfo: memFree=1096224/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915328 CPUtime=0.43
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 6286 0 1 0 40 3 0 0 18 0 8 0 161371412 937295872 6025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228832 6025 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.33289 s]
/proc/loadavg: 1.93 2.05 2.03 3/94 11459
/proc/meminfo: memFree=1077032/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=1.25
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 7269 0 1 0 121 4 0 0 25 0 8 0 161371412 937431040 7007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 7007 2167 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 161371420 937431040 7007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 161371421 937431040 7007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161371421 937431040 7007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 7007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.11
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 323 0 0 0 11 0 0 0 16 0 8 0 161371424 937431040 7007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 7007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 7007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915460

[startup+2.98008 s]
/proc/loadavg: 1.93 2.05 2.03 3/94 11459
/proc/meminfo: memFree=1074472/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=2.88
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 8191 0 1 0 283 5 0 0 25 0 8 0 161371412 937431040 7929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 7929 2167 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 161371420 937431040 7929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 161371421 937431040 7929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161371421 937431040 7929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 7929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.11
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 161371424 937431040 7929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 7929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 7929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915460

[startup+6.18144 s]
/proc/loadavg: 1.93 2.04 2.03 4/94 11459
/proc/meminfo: memFree=1066856/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=6.06
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 9940 0 1 0 600 6 0 0 25 0 8 0 161371412 937431040 9678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 9678 2167 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 161371420 937431040 9678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 161371421 937431040 9678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161371421 937431040 9678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 9678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.12
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 161371424 937431040 9678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 9678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 9678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915460

[startup+12.6582 s]
/proc/loadavg: 1.94 2.04 2.03 3/94 11459
/proc/meminfo: memFree=1052392/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=12.47
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 13380 0 1 0 1239 8 0 0 25 0 8 0 161371412 937431040 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 13117 2168 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 161371420 937431040 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 161371421 937431040 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161371421 937431040 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.13
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 161371424 937431040 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915460

[startup+25.5116 s]
/proc/loadavg: 1.95 2.04 2.03 3/94 11459
/proc/meminfo: memFree=1035752/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=25.21
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17831 0 1 0 2510 11 0 0 25 0 8 0 161371412 937431040 17564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 17564 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.27
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 400 0 0 0 26 1 0 0 16 0 8 0 161371424 937431040 17564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915460

[startup+51.1395 s]
/proc/loadavg: 1.97 2.04 2.02 3/94 11459
/proc/meminfo: memFree=1035816/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=50.6
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 5049 11 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 915460

[startup+102.382 s]
/proc/loadavg: 2.06 2.04 2.02 3/94 11459
/proc/meminfo: memFree=1035752/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=101.38
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 10126 12 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 915460

[startup+162.462 s]
/proc/loadavg: 2.02 2.03 2.02 3/94 11459
/proc/meminfo: memFree=1035816/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=160.92
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 16079 13 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1410.48
Current children cumulated vsize (KiB) 915460

[startup+1483.49 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 11459
/proc/meminfo: memFree=1035696/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=1469.93
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 146969 24 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.93
Current children cumulated vsize (KiB) 915460

[startup+1543.59 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 11459
/proc/meminfo: memFree=1035696/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=1529.48
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 152923 25 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.48
Current children cumulated vsize (KiB) 915460

[startup+1603.59 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 11459
/proc/meminfo: memFree=1035696/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=1588.94
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 158869 25 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.94
Current children cumulated vsize (KiB) 915460

[startup+1663.59 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 11459
/proc/meminfo: memFree=1035696/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=1648.4
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 164814 26 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.4
Current children cumulated vsize (KiB) 915460

[startup+1723.66 s]
/proc/loadavg: 1.81 1.94 1.98 3/94 12778
/proc/meminfo: memFree=1080112/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=1708.42
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 170812 30 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.42
Current children cumulated vsize (KiB) 915460

[startup+1783.72 s]
/proc/loadavg: 1.93 1.95 1.98 3/94 12778
/proc/meminfo: memFree=1080368/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=1768.41
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 176811 30 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842134 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.41
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.38 s]
/proc/loadavg: 2.04 1.97 1.98 3/94 12778
/proc/meminfo: memFree=1080368/2055920 swapFree=4192812/4192956
[pid=11451] ppid=11449 vsize=915460 CPUtime=1800.05
/proc/11451/stat : 11451 (java) R 11449 11451 8465 0 -1 0 17835 0 1 0 179975 30 0 0 25 0 8 0 161371412 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11451/statm: 228865 17568 2542 14 0 215335 0
[pid=11451/tid=11453] ppid=11449 vsize=915460 CPUtime=0.09
/proc/11451/task/11453/stat : 11453 (java) S 11449 11451 8465 0 -1 64 3528 0 0 0 8 1 0 0 16 0 8 0 161371420 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11454] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11454/stat : 11454 (java) S 11449 11451 8465 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11455] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11455/stat : 11455 (java) S 11449 11451 8465 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161371421 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11456] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11456/stat : 11456 (java) S 11449 11451 8465 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11457] ppid=11449 vsize=915460 CPUtime=0.28
/proc/11451/task/11457/stat : 11457 (java) S 11449 11451 8465 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11458] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11458/stat : 11458 (java) S 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11451/tid=11459] ppid=11449 vsize=915460 CPUtime=0
/proc/11451/task/11459/stat : 11459 (java) R 11449 11451 8465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161371424 937431040 17568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1815.45
CPU time (s): 1800.12
CPU user time (s): 1799.81
CPU system time (s): 0.316951
CPU usage (%): 99.1558
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17853
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= 37974
involuntary context switches= 75329

runsolver used 2.23266 s user time and 5.80812 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Tue Jan  9 07:26:09 UTC 2007


IDJOB= 233724
IDBENCH= 6629
FILE ID= node5/233724-1168327568

PBS_JOBID= 3502696

Free space on /tmp= 66541 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fea7c0438b40f105de0c49b8e3358493

RANDOM SEED= 31734983

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.240
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.240
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:       1096640 kB
Buffers:         83708 kB
Cached:         729300 kB
SwapCached:          0 kB
Active:         435044 kB
Inactive:       457856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1096640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1712 kB
Writeback:           0 kB
Mapped:         100024 kB
Slab:            51152 kB
Committed_AS:  4537216 kB
PageTables:       2220 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= 66556 MiB



End job on node5 on Tue Jan  9 07:56:26 UTC 2007