Trace number 235574

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 1802.89

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-0.xml
MD5SUMb72a3bf0b00e09f12949ace974f0d3db
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 benchmark247.97
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size611
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
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/235574-1168338560/unknown.xml
0.39	   
0.39	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.46	     nbVariables=100  nbDomainTypes=100  minDomainSize=516  maxDomainSize=611
0.46	       =>  wckTime=0.134  cpuTime=0.11  mem=8M841
0.46	   
0.46	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
77.41	     nbConstraints=900  nbConvertedConstraints=900  nbConvertConstraintsChecks=280380754  nbExtensionStructures=900
77.41	     nbSharedExtensionStructures=0  nbConflictsStructures=900  nbSharedConflictsStructures=0
77.41	     nbSharedBinaryRepresentations=368277  maxDegree=18  maxArity=2
77.41	       =>  wckTime=77.091  cpuTime=75.18  mem=102M66
77.69	   
77.69	   solver IterativeSystematicSolver being built... 
77.86	       =>  wckTime=77.541  cpuTime=75.33  mem=111M568
78.18	   
78.18	   preprocessing
78.18	     nbConstraintChecks=4169670  nbPropagations=1928  nbRevisions=2687  nbUselessRevisions=784  nbSingletonTests=114
78.18	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
78.18	       =>  wckTime=0.307  cpuTime=0.27  mem=111M568
79.55	   
79.56	   search
79.56	     run=0  nbConstraintChecks=15867104  nbPropagations=7796  nbRevisions=28993  nbUselessRevisions=11740
79.56	     nbAssignments=520  nbFailedAssignments=496  nbBacktracks=10  nbVisitedNodes=1027  nbRestartNogoods=0  mapSize=10
79.56	     nbInferences=0  nbTooLargeKeys=0
79.56	       =>  wckTime=1.685  cpuTime=1.62  mem=111M568
80.35	   
80.35	   search
80.35	     run=1  nbConstraintChecks=26162599  nbPropagations=18013  nbRevisions=77361  nbUselessRevisions=32774
80.35	     nbAssignments=1224  nbFailedAssignments=1178  nbBacktracks=25  nbVisitedNodes=2428  nbRestartNogoods=10  mapSize=25
80.35	     nbInferences=0  nbTooLargeKeys=0
80.35	       =>  wckTime=2.48  cpuTime=2.4  mem=112M508
83.29	   
83.29	   search
83.29	     run=2  nbConstraintChecks=54468313  nbPropagations=49492  nbRevisions=199834  nbUselessRevisions=83639
83.29	     nbAssignments=3228  nbFailedAssignments=3152  nbBacktracks=47  nbVisitedNodes=6428  nbRestartNogoods=25  mapSize=47
83.29	     nbInferences=0  nbTooLargeKeys=0
83.29	       =>  wckTime=5.42  cpuTime=5.3  mem=112M508
86.86	   
86.86	   search
86.86	     run=3  nbConstraintChecks=83942560  nbPropagations=112600  nbRevisions=381004  nbUselessRevisions=152391
86.86	     nbAssignments=5328  nbFailedAssignments=3827  nbBacktracks=80  nbVisitedNodes=7850  nbRestartNogoods=198
86.86	     mapSize=80  nbInferences=0  nbTooLargeKeys=0
86.86	       =>  wckTime=8.989  cpuTime=8.82  mem=112M508
92.25	   
92.25	   search
92.25	     run=4  nbConstraintChecks=129012693  nbPropagations=210653  nbRevisions=678242  nbUselessRevisions=272282
92.25	     nbAssignments=8537  nbFailedAssignments=6387  nbBacktracks=130  nbVisitedNodes=13074  nbRestartNogoods=258
92.25	     mapSize=130  nbInferences=0  nbTooLargeKeys=0
92.25	       =>  wckTime=14.377  cpuTime=14.16  mem=112M508
96.14	   
96.14	   search
96.14	     run=5  nbConstraintChecks=173700316  nbPropagations=336992  nbRevisions=1049448  nbUselessRevisions=417422
96.14	     nbAssignments=11167  nbFailedAssignments=7817  nbBacktracks=205  nbVisitedNodes=16064  nbRestartNogoods=389
96.14	     mapSize=205  nbInferences=0  nbTooLargeKeys=0
96.14	       =>  wckTime=18.272  cpuTime=18.05  mem=113M448
101.75	   
101.75	   search
101.75	     run=6  nbConstraintChecks=229419599  nbPropagations=502816  nbRevisions=1564918  nbUselessRevisions=628329
101.75	     nbAssignments=15666  nbFailedAssignments=11406  nbBacktracks=318  nbVisitedNodes=23472  nbRestartNogoods=511
101.75	     mapSize=318  nbInferences=0  nbTooLargeKeys=0
101.75	       =>  wckTime=23.882  cpuTime=23.66  mem=113M448
104.43	   
104.43	   search
104.43	     run=7  nbConstraintChecks=257876290  nbPropagations=688870  nbRevisions=2159297  nbUselessRevisions=873851
104.43	     nbAssignments=17930  nbFailedAssignments=13495  nbBacktracks=488  nbVisitedNodes=27977  nbRestartNogoods=565
104.43	     mapSize=488  nbInferences=0  nbTooLargeKeys=0
104.43	       =>  wckTime=26.562  cpuTime=26.34  mem=114M388
123.61	   
123.61	   search
123.61	     run=8  nbConstraintChecks=423208873  nbPropagations=1014644  nbRevisions=3285394  nbUselessRevisions=1365859
123.61	     nbAssignments=32000  nbFailedAssignments=27104  nbBacktracks=744  nbVisitedNodes=55706  nbRestartNogoods=631
123.61	     mapSize=744  nbInferences=0  nbTooLargeKeys=0
123.61	       =>  wckTime=45.739  cpuTime=45.5  mem=116M268
134.65	   
134.65	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=117M208)
136.30	   
136.30	   search
136.30	     run=9  nbConstraintChecks=558465499  nbPropagations=1414071  nbRevisions=4718595  nbUselessRevisions=1994957
136.30	     nbAssignments=41158  nbFailedAssignments=35382  nbBacktracks=1128  nbVisitedNodes=73029  nbRestartNogoods=722
136.30	       =>  wckTime=58.429  cpuTime=58.18  mem=117M208
153.61	   
153.61	   search
153.61	     run=10  nbConstraintChecks=728974569  nbPropagations=1927518  nbRevisions=6563902  nbUselessRevisions=2793887
153.61	     nbAssignments=51766  nbFailedAssignments=45174  nbBacktracks=1704  nbVisitedNodes=93752  nbRestartNogoods=832
153.61	       =>  wckTime=75.743  cpuTime=75.46  mem=117M208
172.03	   
172.03	   search
172.03	     run=11  nbConstraintChecks=917558361  nbPropagations=2593169  nbRevisions=8906559  nbUselessRevisions=3793884
172.03	     nbAssignments=66520  nbFailedAssignments=57269  nbBacktracks=2570  nbVisitedNodes=119557  nbRestartNogoods=1186
172.03	       =>  wckTime=94.156  cpuTime=93.85  mem=117M208
223.20	   
223.20	   search
223.20	     run=12  nbConstraintChecks=1424176811  nbPropagations=3611029  nbRevisions=12662796  nbUselessRevisions=5434287
223.20	     nbAssignments=107033  nbFailedAssignments=96480  nbBacktracks=3867  nbVisitedNodes=200543  nbRestartNogoods=1300
223.20	       =>  wckTime=145.329  cpuTime=144.97  mem=117M208
280.85	   
280.85	   search
280.85	     run=13  nbConstraintChecks=2030773457  nbPropagations=5029937  nbRevisions=18058645  nbUselessRevisions=7822828
280.85	     nbAssignments=154685  nbFailedAssignments=142181  nbBacktracks=5813  nbVisitedNodes=295733  nbRestartNogoods=1378
280.85	       =>  wckTime=202.976  cpuTime=202.54  mem=117M208
330.56	   
330.56	   search
330.56	     run=14  nbConstraintChecks=2565502431  nbPropagations=6779888  nbRevisions=24692395  nbUselessRevisions=10708390
330.56	     nbAssignments=187797  nbFailedAssignments=171910  nbBacktracks=8732  nbVisitedNodes=360529  nbRestartNogoods=1489
330.56	       =>  wckTime=252.692  cpuTime=252.21  mem=118M148
445.52	   
445.52	   search
445.52	     run=15  nbConstraintChecks=3916772407  nbPropagations=9230431  nbRevisions=34217964  nbUselessRevisions=14826045
445.52	     nbAssignments=274139  nbFailedAssignments=253593  nbBacktracks=13110  nbVisitedNodes=532227  nbRestartNogoods=1613
445.52	       =>  wckTime=367.655  cpuTime=367.03  mem=118M148
580.83	   
580.83	   search
580.83	     run=16  nbConstraintChecks=5401932833  nbPropagations=12579191  nbRevisions=47056671  nbUselessRevisions=20309049
580.83	     nbAssignments=365525  nbFailedAssignments=338014  nbBacktracks=19678  nbVisitedNodes=713490  nbRestartNogoods=1839
580.83	       =>  wckTime=502.956  cpuTime=502.18  mem=118M148
882.02	   
882.02	   search
882.02	     run=17  nbConstraintChecks=7541597992  nbPropagations=18328043  nbRevisions=68117536  nbUselessRevisions=29597891
882.02	     nbAssignments=555815  nbFailedAssignments=518447  nbBacktracks=29530  nbVisitedNodes=1093934  nbRestartNogoods=1942
882.02	       =>  wckTime=804.153  cpuTime=803.04  mem=118M148
1188.53	   
1188.53	   search
1188.53	     run=18  nbConstraintChecks=11680816865  nbPropagations=25998965  nbRevisions=97921750  nbUselessRevisions=42710145
1188.53	     nbAssignments=838012  nbFailedAssignments=785861  nbBacktracks=44308  nbVisitedNodes=1657340  nbRestartNogoods=1975
1188.53	       =>  wckTime=1110.664  cpuTime=1109.19  mem=118M148
1674.99	   
1674.99	   search
1674.99	     run=19  nbConstraintChecks=17905032236  nbPropagations=36365768  nbRevisions=140412149  nbUselessRevisions=61541797
1674.99	     nbAssignments=1248322  nbFailedAssignments=1173368  nbBacktracks=66476  nbVisitedNodes=2475531
1674.99	     nbRestartNogoods=2380
1674.99	       =>  wckTime=1597.117  cpuTime=1595.12  mem=118M148

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/node12/watcher-235574-1168338560 -o ROOT/results/node12/solver-235574-1168338560 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235574-1168338560/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.92 1.98 1.99 5/94 5514
/proc/meminfo: memFree=1505424/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=1784 CPUtime=0
/proc/5513/stat : 5513 (java) D 5511 5513 2547 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 182251018 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/5513/statm: 446 158 123 14 0 91 0

[startup+0.106742 s]
/proc/loadavg: 1.92 1.98 1.99 5/94 5514
/proc/meminfo: memFree=1505424/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=913236 CPUtime=0.08
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 2919 0 1 0 6 2 0 0 17 0 8 0 182251018 935153664 2665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10126707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5513/statm: 228309 2665 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.518818 s]
/proc/loadavg: 1.92 1.98 1.99 5/94 5514
/proc/meminfo: memFree=1505424/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915328 CPUtime=0.49
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 6756 0 1 0 44 5 0 0 18 0 8 0 182251018 937295872 6495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5513/statm: 228832 6495 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33996 s]
/proc/loadavg: 1.92 1.98 1.99 3/101 5521
/proc/meminfo: memFree=1481752/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=1.3
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 8389 0 1 0 123 7 0 0 25 0 8 0 182251018 937418752 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5513/statm: 228862 8127 2167 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 182251022 937418752 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 182251023 937418752 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 182251023 937418752 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.14
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 358 0 0 0 14 0 0 0 16 0 8 0 182251027 937418752 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915448

[startup+2.97725 s]
/proc/loadavg: 1.92 1.98 1.99 3/101 5521
/proc/meminfo: memFree=1479576/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=2.92
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 9139 0 1 0 285 7 0 0 25 0 8 0 182251018 937418752 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5513/statm: 228862 8876 2167 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182251022 937418752 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 182251023 937418752 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 182251023 937418752 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.14
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 358 0 0 0 14 0 0 0 16 0 8 0 182251027 937418752 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915448

[startup+6.27785 s]
/proc/loadavg: 1.93 1.98 1.99 3/101 5521
/proc/meminfo: memFree=1473432/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=6.19
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 10731 0 1 0 611 8 0 0 25 0 8 0 182251018 937418752 10468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5513/statm: 228862 10468 2167 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182251022 937418752 10468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 182251023 937418752 10468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 182251023 937418752 10468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 10468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.14
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 360 0 0 0 14 0 0 0 16 0 8 0 182251027 937418752 10468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 10468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 10468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915448

[startup+12.755 s]
/proc/loadavg: 1.93 1.98 1.99 3/101 5521
/proc/meminfo: memFree=1460696/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=12.61
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 13670 0 1 0 1252 9 0 0 25 0 8 0 182251018 937418752 13407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5513/statm: 228862 13407 2168 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182251022 937418752 13407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 182251023 937418752 13407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 182251023 937418752 13407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 13407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.16
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 372 0 0 0 16 0 0 0 16 0 8 0 182251027 937418752 13407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 13407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 13407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915448

[startup+25.6183 s]
/proc/loadavg: 1.95 1.98 1.99 3/101 5521
/proc/meminfo: memFree=1422808/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=25.36
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 23027 0 1 0 2522 14 0 0 25 0 8 0 182251018 937418752 22762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5513/statm: 228862 22762 2179 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=0.23
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 6469 0 0 0 22 1 0 0 16 0 8 0 182251022 937418752 22762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 22762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 22762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 22762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.16
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 372 0 0 0 16 0 0 0 16 0 8 0 182251027 937418752 22762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 22762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 22762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915448

[startup+51.2319 s]
/proc/loadavg: 1.96 1.98 1.99 3/101 5521
/proc/meminfo: memFree=1383384/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=50.74
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 32879 0 1 0 5054 20 0 0 25 0 8 0 182251018 937418752 32612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5513/statm: 228862 32612 2179 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=0.66
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 16313 0 0 0 60 6 0 0 16 0 8 0 182251022 937418752 32612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 32612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 32612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 32612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.17
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 378 0 0 0 17 0 0 0 16 0 8 0 182251027 937418752 32612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 32612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 32612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915448

[startup+102.464 s]
/proc/loadavg: 1.98 1.98 1.99 3/93 5750
/proc/meminfo: memFree=1464152/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=101.6
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43205 0 1 0 10131 29 0 0 25 0 8 0 182251018 937418752 42927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5513/statm: 228862 42927 2546 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=1.32
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 26122 0 0 0 122 10 0 0 16 0 8 0 182251022 937418752 42927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 42927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.31
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 446 0 0 0 30 1 0 0 16 0 8 0 182251027 937418752 42927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 42927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 42927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915448

[startup+162.516 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 5750
/proc/meminfo: memFree=1464280/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=161.59
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43209 0 1 0 16130 29 0 0 25 0 8 0 182251018 937418752 42931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.3
Current children cumulated vsize (KiB) 915448

[startup+1483.72 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 5750
/proc/meminfo: memFree=1464152/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=1481.3
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43211 0 1 0 148097 33 0 0 25 0 8 0 182251018 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5513/statm: 228862 42932 2546 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=1.32
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 26122 0 0 0 122 10 0 0 16 0 8 0 182251022 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.32
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 451 0 0 0 31 1 0 0 17 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.3
Current children cumulated vsize (KiB) 915448

[startup+1543.76 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 5750
/proc/meminfo: memFree=1464216/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=1541.27
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43211 0 1 0 154094 33 0 0 25 0 8 0 182251018 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972274 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5513/statm: 228862 42932 2546 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=1.32
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 26122 0 0 0 122 10 0 0 16 0 8 0 182251022 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.32
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 451 0 0 0 31 1 0 0 17 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.27
Current children cumulated vsize (KiB) 915448

[startup+1603.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 5750
/proc/meminfo: memFree=1464152/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=1601.25
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43211 0 1 0 160092 33 0 0 25 0 8 0 182251018 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972181 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5513/statm: 228862 42932 2546 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=1.32
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 26122 0 0 0 122 10 0 0 16 0 8 0 182251022 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.32
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 451 0 0 0 31 1 0 0 17 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.25
Current children cumulated vsize (KiB) 915448

[startup+1663.87 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 5750
/proc/meminfo: memFree=1464152/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=1661.25
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43211 0 1 0 166092 33 0 0 25 0 8 0 182251018 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5513/statm: 228862 42932 2546 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=1.32
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 26122 0 0 0 122 10 0 0 16 0 8 0 182251022 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.32
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 451 0 0 0 31 1 0 0 17 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.25
Current children cumulated vsize (KiB) 915448

[startup+1723.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 5750
/proc/meminfo: memFree=1464088/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=1721.24
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43211 0 1 0 172091 33 0 0 25 0 8 0 182251018 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5513/statm: 228862 42932 2546 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=1.32
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 26122 0 0 0 122 10 0 0 16 0 8 0 182251022 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.32
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 451 0 0 0 31 1 0 0 17 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.24
Current children cumulated vsize (KiB) 915448

[startup+1784 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 5750
/proc/meminfo: memFree=1464152/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=1781.24
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43211 0 1 0 178090 34 0 0 25 0 8 0 182251018 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5513/statm: 228862 42932 2546 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=1.32
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 26122 0 0 0 122 10 0 0 16 0 8 0 182251022 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.32
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 451 0 0 0 31 1 0 0 17 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.24
Current children cumulated vsize (KiB) 915448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 5750
/proc/meminfo: memFree=1464152/2055920 swapFree=4160348/4192956
[pid=5513] ppid=5511 vsize=915448 CPUtime=1800.05
/proc/5513/stat : 5513 (java) R 5511 5513 2547 0 -1 0 43211 0 1 0 179971 34 0 0 25 0 8 0 182251018 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5513/statm: 228862 42932 2546 14 0 215332 0
[pid=5513/tid=5515] ppid=5511 vsize=915448 CPUtime=1.32
/proc/5513/task/5515/stat : 5515 (java) S 5511 5513 2547 0 -1 64 26122 0 0 0 122 10 0 0 16 0 8 0 182251022 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5516] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5516/stat : 5516 (java) S 5511 5513 2547 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5517] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5517/stat : 5517 (java) S 5511 5513 2547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182251023 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5518] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5518/stat : 5518 (java) S 5511 5513 2547 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5519] ppid=5511 vsize=915448 CPUtime=0.32
/proc/5513/task/5519/stat : 5519 (java) S 5511 5513 2547 0 -1 64 451 0 0 0 31 1 0 0 17 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5513/tid=5520] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5520/stat : 5520 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 182251027 937418752 42932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5513/tid=5521] ppid=5511 vsize=915448 CPUtime=0
/proc/5513/task/5521/stat : 5521 (java) S 5511 5513 2547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182251027 937418752 42932 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) 915448

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

Child status: 143
Real time (s): 1802.89
CPU time (s): 1800.12
CPU user time (s): 1799.75
CPU system time (s): 0.368943
CPU usage (%): 99.8467
Max. virtual memory (cumulated for all children) (KiB): 915448

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

runsolver used 2.41763 s user time and 5.58615 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue Jan  9 10:29:20 UTC 2007


IDJOB= 235574
IDBENCH= 6778
FILE ID= node12/235574-1168338560

PBS_JOBID= 3503106

Free space on /tmp= 66562 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b72a3bf0b00e09f12949ace974f0d3db

RANDOM SEED= 288339302

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.265
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.265
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:       1505904 kB
Buffers:         80388 kB
Cached:         244664 kB
SwapCached:       4816 kB
Active:         293848 kB
Inactive:       195204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1505904 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            1792 kB
Writeback:           0 kB
Mapped:         181488 kB
Slab:            45412 kB
Committed_AS:  5546840 kB
PageTables:       2408 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= 66559 MiB



End job on node12 on Tue Jan  9 10:59:23 UTC 2007