Trace number 233859

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.06 1810.02

General information on the benchmark

Nametaillard/
os-taillard-7/os-taillard-7-95-2.xml
MD5SUM570f4f3187c9b9f5121439d9a96fe2a4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.099984
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size441
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/233859-1168328649/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.44	     nbVariables=49  nbDomainTypes=49  minDomainSize=348  maxDomainSize=441
0.44	       =>  wckTime=0.115  cpuTime=0.1  mem=7M878
0.44	   
0.44	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
13.01	     nbConstraints=294  nbConvertedConstraints=294  nbConvertConstraintsChecks=43700270  nbExtensionStructures=294
13.01	     nbSharedExtensionStructures=0  nbConflictsStructures=294  nbSharedConflictsStructures=0
13.01	     nbSharedBinaryRepresentations=76684  maxDegree=12  maxArity=2
13.01	       =>  wckTime=12.691  cpuTime=12.52  mem=37M211
13.15	   
13.15	   solver IterativeSystematicSolver being built... 
13.33	       =>  wckTime=13.006  cpuTime=12.67  mem=27M919
13.41	   
13.41	   preprocessing
13.41	     nbConstraintChecks=1313102  nbPropagations=799  nbRevisions=1198  nbUselessRevisions=361  nbSingletonTests=60
13.41	     nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=0  detectedInconsistency=no
13.41	       =>  wckTime=0.083  cpuTime=0.06  mem=27M919
13.58	   
13.58	   search
13.58	     run=0  nbConstraintChecks=2583908  nbPropagations=1504  nbRevisions=4014  nbUselessRevisions=1104
13.58	     nbAssignments=112  nbFailedAssignments=99  nbBacktracks=10  nbVisitedNodes=222  nbRestartNogoods=0  mapSize=10
13.58	     nbInferences=0  nbTooLargeKeys=0
13.58	       =>  wckTime=0.245  cpuTime=0.21  mem=27M919
14.42	   
14.42	   search
14.42	     run=1  nbConstraintChecks=35538981  nbPropagations=11344  nbRevisions=36683  nbUselessRevisions=11550
14.42	     nbAssignments=1276  nbFailedAssignments=951  nbBacktracks=25  nbVisitedNodes=1959  nbRestartNogoods=52  mapSize=25
14.42	     nbInferences=0  nbTooLargeKeys=0
14.43	       =>  wckTime=1.094  cpuTime=1.04  mem=27M919
14.63	   
14.63	   search
14.63	     run=2  nbConstraintChecks=43530190  nbPropagations=22423  nbRevisions=75969  nbUselessRevisions=23911
14.63	     nbAssignments=1539  nbFailedAssignments=1189  nbBacktracks=47  nbVisitedNodes=2482  nbRestartNogoods=67  mapSize=47
14.63	     nbInferences=0  nbTooLargeKeys=0
14.63	       =>  wckTime=1.3  cpuTime=1.23  mem=28M880
15.33	   
15.33	   search
15.33	     run=3  nbConstraintChecks=71103968  nbPropagations=40857  nbRevisions=139134  nbUselessRevisions=43614
15.33	     nbAssignments=2522  nbFailedAssignments=1765  nbBacktracks=80  nbVisitedNodes=3703  nbRestartNogoods=184
15.33	     mapSize=80  nbInferences=0  nbTooLargeKeys=0
15.33	       =>  wckTime=1.998  cpuTime=1.91  mem=28M880
16.74	   
16.74	   search
16.74	     run=4  nbConstraintChecks=127303575  nbPropagations=69770  nbRevisions=262318  nbUselessRevisions=83464
16.75	     nbAssignments=4964  nbFailedAssignments=4136  nbBacktracks=130  nbVisitedNodes=8548  nbRestartNogoods=223
16.75	     mapSize=130  nbInferences=0  nbTooLargeKeys=0
16.75	       =>  wckTime=3.413  cpuTime=3.32  mem=28M880
19.34	   
19.34	   search
19.34	     run=5  nbConstraintChecks=230458392  nbPropagations=121624  nbRevisions=488559  nbUselessRevisions=157400
19.34	     nbAssignments=8918  nbFailedAssignments=7788  nbBacktracks=205  nbVisitedNodes=16005  nbRestartNogoods=305
19.34	     mapSize=205  nbInferences=0  nbTooLargeKeys=0
19.34	       =>  wckTime=6.012  cpuTime=5.9  mem=28M880
20.43	   
20.43	   search
20.43	     run=6  nbConstraintChecks=285435675  nbPropagations=184268  nbRevisions=762030  nbUselessRevisions=246024
20.43	     nbAssignments=10598  nbFailedAssignments=9352  nbBacktracks=318  nbVisitedNodes=19362  nbRestartNogoods=333
20.43	     mapSize=318  nbInferences=0  nbTooLargeKeys=0
20.43	       =>  wckTime=7.097  cpuTime=6.98  mem=28M880
23.58	   
23.58	   search
23.58	     run=7  nbConstraintChecks=427062280  nbPropagations=274378  nbRevisions=1169055  nbUselessRevisions=379435
23.58	     nbAssignments=15551  nbFailedAssignments=14132  nbBacktracks=488  nbVisitedNodes=29265  nbRestartNogoods=338
23.58	     mapSize=488  nbInferences=0  nbTooLargeKeys=0
23.58	       =>  wckTime=10.254  cpuTime=10.12  mem=28M880
26.60	   
26.60	   search
26.60	     run=8  nbConstraintChecks=570640390  nbPropagations=387303  nbRevisions=1698716  nbUselessRevisions=552586
26.60	     nbAssignments=20306  nbFailedAssignments=18628  nbBacktracks=744  nbVisitedNodes=38772  nbRestartNogoods=364
26.60	     mapSize=744  nbInferences=0  nbTooLargeKeys=0
26.60	       =>  wckTime=13.269  cpuTime=13.12  mem=29M840
30.92	   
30.92	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=30M801)
31.72	   
31.72	   search
31.72	     run=9  nbConstraintChecks=804017736  nbPropagations=548854  nbRevisions=2463149  nbUselessRevisions=801324
31.72	     nbAssignments=28863  nbFailedAssignments=26566  nbBacktracks=1128  nbVisitedNodes=55419  nbRestartNogoods=543
31.72	       =>  wckTime=18.385  cpuTime=18.22  mem=30M801
42.22	   
42.22	   search
42.22	     run=10  nbConstraintChecks=1296414255  nbPropagations=817611  nbRevisions=3683162  nbUselessRevisions=1197847
42.22	     nbAssignments=44923  nbFailedAssignments=41785  nbBacktracks=1704  nbVisitedNodes=87012  nbRestartNogoods=628
42.22	       =>  wckTime=28.891  cpuTime=28.68  mem=30M801
53.39	   
53.39	   search
53.39	     run=11  nbConstraintChecks=1806382218  nbPropagations=1214449  nbRevisions=5444201  nbUselessRevisions=1774374
53.39	     nbAssignments=63109  nbFailedAssignments=59104  nbBacktracks=2568  nbVisitedNodes=123368  nbRestartNogoods=659
53.39	       =>  wckTime=40.056  cpuTime=39.79  mem=30M801
67.81	   
67.81	   search
67.81	     run=12  nbConstraintChecks=2507915459  nbPropagations=1753164  nbRevisions=7888612  nbUselessRevisions=2573679
67.81	     nbAssignments=87991  nbFailedAssignments=82533  nbBacktracks=3865  nbVisitedNodes=172804  nbRestartNogoods=813
67.81	       =>  wckTime=54.477  cpuTime=54.12  mem=30M801
91.17	   
91.17	   search
91.17	     run=13  nbConstraintChecks=3611563365  nbPropagations=2562012  nbRevisions=11435167  nbUselessRevisions=3738088
91.17	     nbAssignments=124759  nbFailedAssignments=117121  nbBacktracks=5811  nbVisitedNodes=245851  nbRestartNogoods=913
91.17	       =>  wckTime=77.841  cpuTime=77.35  mem=30M801
151.40	   
151.40	   search
151.40	     run=14  nbConstraintChecks=6476664655  nbPropagations=4016191  nbRevisions=17646823  nbUselessRevisions=5775888
151.40	     nbAssignments=219578  nbFailedAssignments=209018  nbBacktracks=8730  nbVisitedNodes=435479  nbRestartNogoods=1010
151.40	       =>  wckTime=138.068  cpuTime=137.24  mem=30M801
205.15	   
205.15	   search
205.15	     run=15  nbConstraintChecks=8903285631  nbPropagations=6079466  nbRevisions=26430324  nbUselessRevisions=8651256
205.15	     nbAssignments=305919  nbFailedAssignments=290818  nbBacktracks=13108  nbVisitedNodes=607806  nbRestartNogoods=1152
205.15	       =>  wckTime=191.82  cpuTime=190.7  mem=30M801
264.28	   
264.28	   search
264.28	     run=16  nbConstraintChecks=11787323336  nbPropagations=8870936  nbRevisions=38090773  nbUselessRevisions=12454360
264.28	     nbAssignments=399526  nbFailedAssignments=377854  nbBacktracks=19676  nbVisitedNodes=794906  nbRestartNogoods=1278
264.29	       =>  wckTime=250.955  cpuTime=249.52  mem=30M801
449.51	   
449.51	   search
449.51	     run=17  nbConstraintChecks=20732863744  nbPropagations=13463571  nbRevisions=57758421  nbUselessRevisions=18956246
449.51	     nbAssignments=688505  nbFailedAssignments=656978  nbBacktracks=29528  nbVisitedNodes=1372796  nbRestartNogoods=1443
449.51	       =>  wckTime=436.176  cpuTime=433.73  mem=30M801
608.21	   
608.21	   search
608.21	     run=18  nbConstraintChecks=28513486013  nbPropagations=19863437  nbRevisions=85022828  nbUselessRevisions=27973676
608.21	     nbAssignments=937156  nbFailedAssignments=890849  nbBacktracks=44306  nbVisitedNodes=1869854  nbRestartNogoods=1528
608.21	       =>  wckTime=594.881  cpuTime=591.56  mem=30M801
852.45	   
852.45	   search
852.45	     run=19  nbConstraintChecks=40296672636  nbPropagations=28508330  nbRevisions=124366834  nbUselessRevisions=41112720
852.45	     nbAssignments=1373744  nbFailedAssignments=1305070  nbBacktracks=66474  nbVisitedNodes=2741938
852.45	     nbRestartNogoods=1713
852.45	       =>  wckTime=839.118  cpuTime=834.46  mem=30M801
1373.51	   
1373.51	   search
1373.51	     run=20  nbConstraintChecks=64164976435  nbPropagations=42564475  nbRevisions=187133738  nbUselessRevisions=62238569
1373.51	     nbAssignments=2136414  nbFailedAssignments=2034486  nbBacktracks=99726  nbVisitedNodes=4266785
1373.51	     nbRestartNogoods=1905
1373.51	       =>  wckTime=1360.184  cpuTime=1352.6  mem=30M801

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/node4/watcher-233859-1168328649 -o ROOT/results/node4/solver-233859-1168328649 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233859-1168328649/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.90 2.05 2.01 4/94 28012
/proc/meminfo: memFree=595440/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=18540 CPUtime=0
/proc/28011/stat : 28011 (runsolver) R 28009 28011 27873 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181260433 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28011/statm: 4635 279 244 17 0 2626 0

[startup+0.109758 s]
/proc/loadavg: 1.90 2.05 2.01 4/94 28012
/proc/meminfo: memFree=595440/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=914988 CPUtime=0.09
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 3002 0 1 0 7 2 0 0 18 0 8 0 181260433 936947712 2748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11657104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28011/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.5178 s]
/proc/loadavg: 1.90 2.05 2.01 4/94 28012
/proc/meminfo: memFree=595440/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915328 CPUtime=0.5
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 6570 0 1 0 45 5 0 0 19 0 8 0 181260433 937295872 6309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072928567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28011/statm: 228832 6309 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33987 s]
/proc/loadavg: 1.90 2.05 2.01 3/101 28019
/proc/meminfo: memFree=576056/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=1.32
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 7302 0 1 0 126 6 0 0 25 0 8 0 181260433 937431040 7040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28011/statm: 228865 7040 2167 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 7040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181260438 937431040 7040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181260438 937431040 7040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 7040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.1
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 181260441 937431040 7040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 7040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 7040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460

[startup+2.98903 s]
/proc/loadavg: 1.91 2.05 2.01 3/101 28019
/proc/meminfo: memFree=573560/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=2.96
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 8245 0 1 0 290 6 0 0 25 0 8 0 181260433 937431040 7983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28011/statm: 228865 7983 2167 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 7983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181260438 937431040 7983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181260438 937431040 7983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 7983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.1
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 181260441 937431040 7983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 7983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 7983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460

[startup+6.18933 s]
/proc/loadavg: 1.91 2.05 2.01 3/101 28019
/proc/meminfo: memFree=565816/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=6.14
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 9980 0 1 0 607 7 0 0 25 0 8 0 181260433 937431040 9718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073643744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28011/statm: 228865 9718 2167 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 9718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181260438 937431040 9718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181260438 937431040 9718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 9718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.12
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 181260441 937431040 9718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 9718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 9718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460

[startup+12.671 s]
/proc/loadavg: 1.92 2.05 2.01 3/101 28019
/proc/meminfo: memFree=551288/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=12.59
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 13471 0 1 0 1249 10 0 0 25 0 8 0 181260433 937431040 13208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28011/statm: 228865 13208 2168 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 13208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181260438 937431040 13208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181260438 937431040 13208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 13208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.13
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 181260441 937431040 13208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 13208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 13208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460

[startup+25.5252 s]
/proc/loadavg: 1.93 2.04 2.01 3/101 28019
/proc/meminfo: memFree=535736/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=25.38
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17630 0 1 0 2523 15 0 0 25 0 8 0 181260433 937431040 17363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28011/statm: 228865 17363 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.26
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 397 0 0 0 25 1 0 0 15 0 8 0 181260441 937431040 17363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915460

[startup+51.1667 s]
/proc/loadavg: 2.08 2.07 2.01 3/101 28091
/proc/meminfo: memFree=1070080/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=50.93
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17637 0 1 0 5077 16 0 0 25 0 8 0 181260433 937431040 17369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17369 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 181260441 937431040 17369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915460

[startup+102.445 s]
/proc/loadavg: 2.09 2.07 2.01 3/101 28091
/proc/meminfo: memFree=907904/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=101.91
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 10175 16 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17370 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915460

[startup+162.468 s]
/proc/loadavg: 2.03 2.06 2.01 3/101 28091
/proc/meminfo: memFree=769856/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=161.59
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 16143 16 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.06 s]
/proc/loadavg: 2.27 2.25 2.15 3/101 28289
/proc/meminfo: memFree=410816/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=1474.88
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 147454 34 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820512 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17370 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.88
Current children cumulated vsize (KiB) 915460

[startup+1543.08 s]
/proc/loadavg: 2.19 2.23 2.15 4/101 28289
/proc/meminfo: memFree=404352/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=1534.59
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 153425 34 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17370 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.59
Current children cumulated vsize (KiB) 915460

[startup+1603.11 s]
/proc/loadavg: 2.20 2.23 2.16 3/101 28289
/proc/meminfo: memFree=397952/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=1594.27
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 159393 34 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17370 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.27
Current children cumulated vsize (KiB) 915460

[startup+1663.14 s]
/proc/loadavg: 2.20 2.21 2.15 3/101 28289
/proc/meminfo: memFree=392320/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=1653.98
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 165363 35 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835327 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17370 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.98
Current children cumulated vsize (KiB) 915460

[startup+1723.16 s]
/proc/loadavg: 2.16 2.20 2.15 3/101 28289
/proc/meminfo: memFree=386368/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=1713.68
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 171333 35 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834314 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17370 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.68
Current children cumulated vsize (KiB) 915460

[startup+1783.2 s]
/proc/loadavg: 2.29 2.22 2.16 3/101 28289
/proc/meminfo: memFree=380160/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=1773.37
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 177301 36 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17370 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.37
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.97 s]
/proc/loadavg: 2.19 2.20 2.16 4/101 28289
/proc/meminfo: memFree=377536/2055920 swapFree=4182144/4192956
[pid=28011] ppid=28009 vsize=915460 CPUtime=1800.01
/proc/28011/stat : 28011 (java) R 28009 28011 27873 0 -1 0 17640 0 1 0 179965 36 0 0 25 0 8 0 181260433 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28011/statm: 228865 17370 2543 14 0 215335 0
[pid=28011/tid=28013] ppid=28009 vsize=915460 CPUtime=0.11
/proc/28011/task/28013/stat : 28013 (java) S 28009 28011 27873 0 -1 64 3485 0 0 0 9 2 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28014] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28014/stat : 28014 (java) S 28009 28011 27873 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28015] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28015/stat : 28015 (java) S 28009 28011 27873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181260438 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28016] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28016/stat : 28016 (java) S 28009 28011 27873 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28017] ppid=28009 vsize=915460 CPUtime=0.27
/proc/28011/task/28017/stat : 28017 (java) S 28009 28011 27873 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28011/tid=28018] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28018/stat : 28018 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28011/tid=28019] ppid=28009 vsize=915460 CPUtime=0
/proc/28011/task/28019/stat : 28019 (java) S 28009 28011 27873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181260441 937431040 17370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1810.02
CPU time (s): 1800.06
CPU user time (s): 1799.69
CPU system time (s): 0.372943
CPU usage (%): 99.4498
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.372943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17657
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= 37774
involuntary context switches= 66379

runsolver used 2.18767 s user time and 5.8861 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue Jan  9 07:44:09 UTC 2007


IDJOB= 233859
IDBENCH= 6642
FILE ID= node4/233859-1168328649

PBS_JOBID= 3503037

Free space on /tmp= 66527 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  570f4f3187c9b9f5121439d9a96fe2a4

RANDOM SEED= 169021555

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.223
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.223
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:        595856 kB
Buffers:         90524 kB
Cached:         532728 kB
SwapCached:       2552 kB
Active:        1071992 kB
Inactive:       323228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        595856 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            2036 kB
Writeback:           0 kB
Mapped:         790404 kB
Slab:            47992 kB
Committed_AS:  6175864 kB
PageTables:       3952 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= 66370 MiB



End job on node4 on Tue Jan  9 08:14:19 UTC 2007