Trace number 233971

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.08 1803.8

General information on the benchmark

Nametaillard/
os-taillard-7/os-taillard-7-95-8.xml
MD5SUMbe7c75aa56bdb6eb789d736a14ca44d8
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.18997
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size430
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/233971-1168329515/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=49  nbDomainTypes=49  minDomainSize=341  maxDomainSize=430
0.43	       =>  wckTime=0.113  cpuTime=0.11  mem=7M880
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
12.28	     nbConstraints=294  nbConvertedConstraints=294  nbConvertConstraintsChecks=42441653  nbExtensionStructures=294
12.28	     nbSharedExtensionStructures=0  nbConflictsStructures=294  nbSharedConflictsStructures=0
12.28	     nbSharedBinaryRepresentations=74759  maxDegree=12  maxArity=2
12.28	       =>  wckTime=11.971  cpuTime=11.78  mem=37M212
12.37	   
12.37	   solver IterativeSystematicSolver being built... 
12.54	       =>  wckTime=12.229  cpuTime=11.91  mem=27M829
12.63	   
12.63	   preprocessing
12.63	     nbConstraintChecks=1505831  nbPropagations=879  nbRevisions=1692  nbUselessRevisions=741  nbSingletonTests=68
12.63	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
12.63	       =>  wckTime=0.081  cpuTime=0.06  mem=27M829
13.36	   
13.36	   search
13.36	     run=0  nbConstraintChecks=24012124  nbPropagations=4104  nbRevisions=26879  nbUselessRevisions=9276
13.36	     nbAssignments=941  nbFailedAssignments=929  nbBacktracks=10  nbVisitedNodes=1881  nbRestartNogoods=0  mapSize=10
13.36	     nbInferences=0  nbTooLargeKeys=0
13.36	       =>  wckTime=0.818  cpuTime=0.77  mem=27M829
14.50	   
14.50	   search
14.50	     run=1  nbConstraintChecks=65320746  nbPropagations=16560  nbRevisions=98587  nbUselessRevisions=33670
14.50	     nbAssignments=2458  nbFailedAssignments=2429  nbBacktracks=25  nbVisitedNodes=4913  nbRestartNogoods=10  mapSize=25
14.50	     nbInferences=0  nbTooLargeKeys=0
14.50	       =>  wckTime=1.954  cpuTime=1.87  mem=27M829
14.88	   
14.88	   search
14.88	     run=2  nbConstraintChecks=80725762  nbPropagations=32296  nbRevisions=189991  nbUselessRevisions=65099
14.88	     nbAssignments=3105  nbFailedAssignments=3052  nbBacktracks=47  nbVisitedNodes=6205  nbRestartNogoods=25  mapSize=47
14.88	     nbInferences=0  nbTooLargeKeys=0
14.88	       =>  wckTime=2.339  cpuTime=2.24  mem=27M829
15.95	   
15.95	   search
15.95	     run=3  nbConstraintChecks=125612001  nbPropagations=54656  nbRevisions=322880  nbUselessRevisions=110762
15.95	     nbAssignments=4631  nbFailedAssignments=4427  nbBacktracks=80  nbVisitedNodes=9023  nbRestartNogoods=76  mapSize=80
15.95	     nbInferences=0  nbTooLargeKeys=0
15.95	       =>  wckTime=3.403  cpuTime=3.29  mem=28M790
17.11	   
17.11	   search
17.11	     run=4  nbConstraintChecks=174763186  nbPropagations=85582  nbRevisions=513281  nbUselessRevisions=177004
17.11	     nbAssignments=6618  nbFailedAssignments=6362  nbBacktracks=130  nbVisitedNodes=12995  nbRestartNogoods=109
17.11	     mapSize=130  nbInferences=0  nbTooLargeKeys=0
17.11	       =>  wckTime=4.567  cpuTime=4.44  mem=28M790
22.89	   
22.89	   search
22.89	     run=5  nbConstraintChecks=417797416  nbPropagations=167256  nbRevisions=951138  nbUselessRevisions=332627
22.89	     nbAssignments=14383  nbFailedAssignments=13874  nbBacktracks=205  nbVisitedNodes=28171  nbRestartNogoods=203
22.89	     mapSize=205  nbInferences=0  nbTooLargeKeys=0
22.89	       =>  wckTime=10.348  cpuTime=10.17  mem=28M790
25.66	   
25.66	   search
25.66	     run=6  nbConstraintChecks=533750991  nbPropagations=269291  nbRevisions=1529818  nbUselessRevisions=537902
25.66	     nbAssignments=19314  nbFailedAssignments=18690  nbBacktracks=318  nbVisitedNodes=38031  nbRestartNogoods=278
25.66	     mapSize=318  nbInferences=0  nbTooLargeKeys=0
25.66	       =>  wckTime=13.111  cpuTime=12.9  mem=28M790
30.82	   
30.82	   search
30.82	     run=7  nbConstraintChecks=763084716  nbPropagations=423025  nbRevisions=2354489  nbUselessRevisions=828828
30.82	     nbAssignments=27070  nbFailedAssignments=26071  nbBacktracks=488  nbVisitedNodes=53135  nbRestartNogoods=362
30.82	     mapSize=488  nbInferences=0  nbTooLargeKeys=0
30.82	       =>  wckTime=18.275  cpuTime=18.02  mem=28M790
36.94	   
36.94	   search
36.94	     run=8  nbConstraintChecks=1050613080  nbPropagations=631748  nbRevisions=3473945  nbUselessRevisions=1225749
36.94	     nbAssignments=36419  nbFailedAssignments=35158  nbBacktracks=744  nbVisitedNodes=71821  nbRestartNogoods=453
36.94	     mapSize=744  nbInferences=0  nbTooLargeKeys=0
36.94	       =>  wckTime=24.395  cpuTime=24.09  mem=29M750
49.12	   
49.12	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=29M750)
50.78	   
50.78	   search
50.78	     run=9  nbConstraintChecks=1639483471  nbPropagations=974611  nbRevisions=5226405  nbUselessRevisions=1851820
50.78	     nbAssignments=55588  nbFailedAssignments=53941  nbBacktracks=1128  nbVisitedNodes=110157  nbRestartNogoods=465
50.78	       =>  wckTime=38.233  cpuTime=37.8  mem=29M750
64.12	   
64.12	   search
64.12	     run=10  nbConstraintChecks=2277004570  nbPropagations=1441894  nbRevisions=7632994  nbUselessRevisions=2715081
64.12	     nbAssignments=76008  nbFailedAssignments=73783  nbBacktracks=1704  nbVisitedNodes=150990  nbRestartNogoods=490
64.12	       =>  wckTime=51.572  cpuTime=51.0  mem=29M750
84.72	   
84.72	   search
84.72	     run=11  nbConstraintChecks=3217750544  nbPropagations=2079968  nbRevisions=10989123  nbUselessRevisions=3920102
84.72	     nbAssignments=106543  nbFailedAssignments=103452  nbBacktracks=2568  nbVisitedNodes=212052  nbRestartNogoods=503
84.72	       =>  wckTime=72.174  cpuTime=71.41  mem=29M750
122.32	   
122.32	   search
122.32	     run=12  nbConstraintChecks=4873176353  nbPropagations=3058757  nbRevisions=16072310  nbUselessRevisions=5745969
122.32	     nbAssignments=160692  nbFailedAssignments=156114  nbBacktracks=3865  nbVisitedNodes=319971  nbRestartNogoods=710
122.32	       =>  wckTime=109.771  cpuTime=108.66  mem=29M750
161.71	   
161.71	   search
161.71	     run=13  nbConstraintChecks=6702347907  nbPropagations=4381730  nbRevisions=23038928  nbUselessRevisions=8245484
161.71	     nbAssignments=221631  nbFailedAssignments=215105  nbBacktracks=5811  nbVisitedNodes=441840  nbRestartNogoods=739
161.71	       =>  wckTime=149.163  cpuTime=147.61  mem=29M750
231.18	   
231.18	   search
231.18	     run=14  nbConstraintChecks=9650887598  nbPropagations=6425045  nbRevisions=33418558  nbUselessRevisions=11979647
231.18	     nbAssignments=324235  nbFailedAssignments=314596  nbBacktracks=8730  nbVisitedNodes=646660  nbRestartNogoods=854
231.18	       =>  wckTime=218.638  cpuTime=216.74  mem=29M750
301.87	   
301.87	   search
301.87	     run=15  nbConstraintChecks=13405639896  nbPropagations=9196599  nbRevisions=47500868  nbUselessRevisions=17056211
301.87	     nbAssignments=438994  nbFailedAssignments=424975  nbBacktracks=13108  nbVisitedNodes=876124  nbRestartNogoods=889
301.87	       =>  wckTime=289.328  cpuTime=287.32  mem=29M750
405.21	   
405.21	   search
405.21	     run=16  nbConstraintChecks=18449644223  nbPropagations=12948033  nbRevisions=66537091  nbUselessRevisions=23888546
405.21	     nbAssignments=592614  nbFailedAssignments=572025  nbBacktracks=19676  nbVisitedNodes=1183303  nbRestartNogoods=1148
405.21	       =>  wckTime=392.668  cpuTime=390.56  mem=29M750
560.52	   
560.52	   search
560.52	     run=17  nbConstraintChecks=26291698715  nbPropagations=18497693  nbRevisions=93714010  nbUselessRevisions=33736836
560.52	     nbAssignments=826800  nbFailedAssignments=795998  nbBacktracks=29528  nbVisitedNodes=1650875  nbRestartNogoods=1391
560.52	       =>  wckTime=547.979  cpuTime=545.67  mem=29M750
784.72	   
784.72	   search
784.72	     run=18  nbConstraintChecks=36713812015  nbPropagations=26770430  nbRevisions=132325017  nbUselessRevisions=47554534
784.72	     nbAssignments=1164539  nbFailedAssignments=1118957  nbBacktracks=44306  nbVisitedNodes=2326285
784.72	     nbRestartNogoods=1431
784.72	       =>  wckTime=772.176  cpuTime=769.62  mem=29M750
1150.53	   
1150.53	   search
1150.53	     run=19  nbConstraintChecks=54133327626  nbPropagations=39348767  nbRevisions=190237633  nbUselessRevisions=68401746
1150.53	     nbAssignments=1738830  nbFailedAssignments=1670910  nbBacktracks=66474  nbVisitedNodes=3474405
1150.53	     nbRestartNogoods=1503
1150.53	       =>  wckTime=1137.987  cpuTime=1135.02  mem=29M750
1656.68	   
1656.68	   search
1656.68	     run=20  nbConstraintChecks=77634476055  nbPropagations=57917032  nbRevisions=273601706  nbUselessRevisions=98172772
1656.68	     nbAssignments=2508071  nbFailedAssignments=2406759  nbBacktracks=99726  nbVisitedNodes=5012430
1656.68	     nbRestartNogoods=1593
1656.68	       =>  wckTime=1644.135  cpuTime=1640.59  mem=29M750

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

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

/proc/loadavg: 1.93 2.01 2.04 3/93 31143
/proc/meminfo: memFree=1586800/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=18540 CPUtime=0
/proc/31142/stat : 31142 (runsolver) R 31140 31142 31004 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 181346554 18984960 280 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31142/statm: 4635 280 244 17 0 2626 0

[startup+0.110508 s]
/proc/loadavg: 1.93 2.01 2.04 3/93 31143
/proc/meminfo: memFree=1586800/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=914988 CPUtime=0.09
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 3056 0 1 0 7 2 0 0 17 0 8 0 181346554 936947712 2802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154009435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228747 2802 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.521076 s]
/proc/loadavg: 1.93 2.01 2.04 3/93 31143
/proc/meminfo: memFree=1586800/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915328 CPUtime=0.5
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 6663 0 1 0 46 4 0 0 17 0 8 0 181346554 937295872 6402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228832 6402 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34275 s]
/proc/loadavg: 1.93 2.01 2.04 3/100 31150
/proc/meminfo: memFree=1567224/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=1.31
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 7360 0 1 0 127 4 0 0 24 0 8 0 181346554 937431040 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073647323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228865 7098 2167 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181346558 937431040 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181346558 937431040 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181346558 937431040 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.1
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 181346562 937431040 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.98007 s]
/proc/loadavg: 1.94 2.01 2.04 3/100 31150
/proc/meminfo: memFree=1564664/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=2.94
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 8316 0 1 0 289 5 0 0 25 0 8 0 181346554 937431040 8054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228865 8054 2167 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 8054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181346558 937431040 8054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181346558 937431040 8054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 8054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.1
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 181346562 937431040 8054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 8054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 8054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.27873 s]
/proc/loadavg: 1.94 2.01 2.04 3/100 31150
/proc/meminfo: memFree=1556600/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=6.21
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 10208 0 1 0 615 6 0 0 25 0 8 0 181346554 937431040 9946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228865 9946 2168 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 9946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181346558 937431040 9946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181346558 937431040 9946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 9946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.12
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 181346562 937431040 9946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 9946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 9946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460

[startup+12.758 s]
/proc/loadavg: 1.95 2.01 2.04 3/100 31150
/proc/meminfo: memFree=1527816/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=12.63
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17499 0 1 0 1253 10 0 0 25 0 8 0 181346554 937431040 17235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228865 17235 2541 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.19
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 375 0 0 0 19 0 0 0 15 0 8 0 181346562 937431040 17235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460

[startup+25.624 s]
/proc/loadavg: 1.96 2.01 2.04 3/100 31150
/proc/meminfo: memFree=1527560/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=25.36
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17526 0 1 0 2526 10 0 0 25 0 8 0 181346554 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228865 17258 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.25
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 181346562 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17258 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) 915460

[startup+51.2337 s]
/proc/loadavg: 1.97 2.01 2.03 3/100 31150
/proc/meminfo: memFree=1527624/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=50.73
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17526 0 1 0 5063 10 0 0 25 0 8 0 181346554 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228865 17258 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.25
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 181346562 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915460

[startup+102.451 s]
/proc/loadavg: 1.99 2.00 2.03 3/100 31150
/proc/meminfo: memFree=1527688/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=101.48
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17530 0 1 0 10137 11 0 0 25 0 8 0 181346554 937431040 17262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31142/statm: 228865 17262 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.26
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181346562 937431040 17262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) R 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915460

[startup+162.523 s]
/proc/loadavg: 1.99 2.00 2.02 3/106 31232
/proc/meminfo: memFree=1526336/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=160.92
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17532 0 1 0 16080 12 0 0 25 0 8 0 181346554 937431040 17264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.81 s]
/proc/loadavg: 2.07 2.03 2.00 3/93 31387
/proc/meminfo: memFree=1445184/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=1479.45
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17535 0 1 0 147922 23 0 0 25 0 8 0 181346554 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820025 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31142/statm: 228865 17265 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.26
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.45
Current children cumulated vsize (KiB) 915460

[startup+1542.82 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 31387
/proc/meminfo: memFree=1445184/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=1539.36
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17535 0 1 0 153913 23 0 0 25 0 8 0 181346554 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31142/statm: 228865 17265 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.26
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.36
Current children cumulated vsize (KiB) 915460

[startup+1602.83 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 31387
/proc/meminfo: memFree=1445184/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=1599.31
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17535 0 1 0 159908 23 0 0 25 0 8 0 181346554 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31142/statm: 228865 17265 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.26
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.31
Current children cumulated vsize (KiB) 915460

[startup+1662.84 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 31387
/proc/meminfo: memFree=1445184/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=1659.27
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17536 0 1 0 165904 23 0 0 25 0 8 0 181346554 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31142/statm: 228865 17265 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.26
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.27
Current children cumulated vsize (KiB) 915460

[startup+1722.85 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 31387
/proc/meminfo: memFree=1445184/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=1719.19
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17536 0 1 0 171896 23 0 0 25 0 8 0 181346554 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31142/statm: 228865 17265 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.26
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.19
Current children cumulated vsize (KiB) 915460

[startup+1782.86 s]
/proc/loadavg: 2.04 2.02 2.00 3/93 31387
/proc/meminfo: memFree=1445120/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=1779.15
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17536 0 1 0 177892 23 0 0 25 0 8 0 181346554 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31142/statm: 228865 17265 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.26
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.15
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.76 s]
/proc/loadavg: 2.11 2.03 2.01 4/93 31387
/proc/meminfo: memFree=1445184/2055920 swapFree=4192812/4192956
[pid=31142] ppid=31140 vsize=915460 CPUtime=1800.05
/proc/31142/stat : 31142 (java) R 31140 31142 31004 0 -1 0 17536 0 1 0 179981 24 0 0 25 0 8 0 181346554 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835651 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31142/statm: 228865 17265 2542 14 0 215335 0
[pid=31142/tid=31144] ppid=31140 vsize=915460 CPUtime=0.07
/proc/31142/task/31144/stat : 31144 (java) S 31140 31142 31004 0 -1 64 3458 0 0 0 6 1 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31145] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31145/stat : 31145 (java) S 31140 31142 31004 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31146] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31146/stat : 31146 (java) S 31140 31142 31004 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181346558 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31147] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31147/stat : 31147 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31148] ppid=31140 vsize=915460 CPUtime=0.26
/proc/31142/task/31148/stat : 31148 (java) S 31140 31142 31004 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31142/tid=31149] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31149/stat : 31149 (java) S 31140 31142 31004 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31142/tid=31150] ppid=31140 vsize=915460 CPUtime=0
/proc/31142/task/31150/stat : 31150 (java) S 31140 31142 31004 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181346562 937431040 17265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1803.8
CPU time (s): 1800.08
CPU user time (s): 1799.83
CPU system time (s): 0.253961
CPU usage (%): 99.7941
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17553
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= 37553
involuntary context switches= 52980

runsolver used 2.38864 s user time and 5.61715 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue Jan  9 07:58:35 UTC 2007


IDJOB= 233971
IDBENCH= 6650
FILE ID= node11/233971-1168329515

PBS_JOBID= 3503046

Free space on /tmp= 66550 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  be7c75aa56bdb6eb789d736a14ca44d8

RANDOM SEED= 564310853

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.261
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	: 5931.00
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.261
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:       1587280 kB
Buffers:         72280 kB
Cached:         213252 kB
SwapCached:          0 kB
Active:         225020 kB
Inactive:       178364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1587280 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2044 kB
Writeback:           0 kB
Mapped:         146868 kB
Slab:            49828 kB
Committed_AS:  6712872 kB
PageTables:       2540 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= 66551 MiB



End job on node11 on Tue Jan  9 08:28:39 UTC 2007