Trace number 233537

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 AC? (TO) 1800.08 1814.86

General information on the benchmark

Nametaillard/
os-taillard-15/os-taillard-15-95-3.xml
MD5SUM70c6e1071e2d8fc4bc31e6131cae8760
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size899
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=mac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/233537-1168081376/unknown.xml
0.45	   
0.45	   domains being loaded...
0.49	   
0.49	   variables being loaded...
0.55	     nbVariables=225  nbDomainTypes=225  minDomainSize=801  maxDomainSize=899
0.55	       =>  wckTime=0.155  cpuTime=0.12  mem=12M764
0.55	   
0.55	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
4.64	   
4.64	   INFO : Stopping converting binary constraints (cpu=4.15, mem = 39M95)
5.16	     nbConstraints=3150  nbConvertedConstraints=22  nbConvertConstraintsChecks=16100258  nbExtensionStructures=22
5.16	     nbSharedExtensionStructures=0  nbConflictsStructures=22  nbSharedConflictsStructures=0
5.16	     nbSharedBinaryRepresentations=5723  nbEvaluationManagers=3128  nbSharedEvaluationManagers=0  maxDegree=28
5.16	     maxArity=2
5.16	       =>  wckTime=4.77  cpuTime=4.49  mem=27M324
5.25	   
5.25	   solver IterativeSystematicSolver being built... 
5.52	       =>  wckTime=5.132  cpuTime=4.67  mem=41M928
16.59	   
16.59	   preprocessing
16.59	     nbConstraintChecks=30219482  nbValidityChecks=209149  nbPropagations=225  nbRevisions=6256  nbUselessRevisions=6256
16.59	     nbRemovedValues=0  detectedInconsistency=no
16.59	       =>  wckTime=11.056  cpuTime=10.96  mem=41M928
33.59	   
33.59	   search
33.59	     run=0  nbConstraintChecks=29937630  nbValidityChecks=93444003  nbPropagations=5096  nbRevisions=130669
33.59	     nbUselessRevisions=119172  nbAssignments=255  nbFailedAssignments=231  nbBacktracks=10  nbVisitedNodes=497
33.59	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
33.59	       =>  wckTime=28.057  cpuTime=27.78  mem=42M903
52.68	   
52.68	   search
52.68	     run=1  nbConstraintChecks=66634797  nbValidityChecks=208706803  nbPropagations=16002  nbRevisions=413943
52.68	     nbUselessRevisions=375464  nbAssignments=575  nbFailedAssignments=524  nbBacktracks=25  nbVisitedNodes=1125
52.68	     nbRestartNogoods=10  mapSize=25  nbInferences=0  nbTooLargeKeys=0
52.68	       =>  wckTime=47.144  cpuTime=46.71  mem=43M874
67.25	   
67.25	   search
67.25	     run=2  nbConstraintChecks=94458257  nbValidityChecks=297926988  nbPropagations=31434  nbRevisions=816137
67.25	     nbUselessRevisions=737885  nbAssignments=934  nbFailedAssignments=846  nbBacktracks=47  nbVisitedNodes=1828
67.25	     nbRestartNogoods=44  mapSize=47  nbInferences=0  nbTooLargeKeys=0
67.25	       =>  wckTime=61.717  cpuTime=61.17  mem=44M845
85.54	   
85.54	   search
85.54	     run=3  nbConstraintChecks=129426277  nbValidityChecks=404719420  nbPropagations=54488  nbRevisions=1388653
85.54	     nbUselessRevisions=1255593  nbAssignments=1478  nbFailedAssignments=1320  nbBacktracks=80  nbVisitedNodes=2879
85.54	     nbRestartNogoods=47  mapSize=80  nbInferences=0  nbTooLargeKeys=0
85.54	       =>  wckTime=80.003  cpuTime=79.3  mem=45M816
137.96	   
137.96	   search
137.96	     run=4  nbConstraintChecks=202751845  nbValidityChecks=919894894  nbPropagations=109041  nbRevisions=2689619
137.96	     nbUselessRevisions=2431321  nbAssignments=4056  nbFailedAssignments=3828  nbBacktracks=130  nbVisitedNodes=8015
137.96	     nbRestartNogoods=58  mapSize=130  nbInferences=0  nbTooLargeKeys=0
137.96	       =>  wckTime=132.427  cpuTime=131.27  mem=46M907
211.43	   
211.43	   search
211.43	     run=5  nbConstraintChecks=304608770  nbValidityChecks=1656585306  nbPropagations=208435  nbRevisions=5026386
211.43	     nbUselessRevisions=4549306  nbAssignments=7615  nbFailedAssignments=7291  nbBacktracks=205  nbVisitedNodes=15112
211.43	     nbRestartNogoods=105  mapSize=205  nbInferences=0  nbTooLargeKeys=0
211.43	       =>  wckTime=205.896  cpuTime=204.14  mem=48M850
259.91	   
259.91	   search
259.91	     run=6  nbConstraintChecks=370027795  nbValidityChecks=2152682267  nbPropagations=335177  nbRevisions=8045499
259.91	     nbUselessRevisions=7290197  nbAssignments=9531  nbFailedAssignments=9074  nbBacktracks=318  nbVisitedNodes=18924
259.91	     nbRestartNogoods=180  mapSize=318  nbInferences=0  nbTooLargeKeys=0
259.91	       =>  wckTime=254.378  cpuTime=252.22  mem=51M930
405.66	   
405.66	   search
405.66	     run=7  nbConstraintChecks=545357813  nbValidityChecks=3679078246  nbPropagations=548209  nbRevisions=13108492
405.66	     nbUselessRevisions=11900622  nbAssignments=15245  nbFailedAssignments=14600  nbBacktracks=488  nbVisitedNodes=30334
405.66	     nbRestartNogoods=196  mapSize=488  nbInferences=0  nbTooLargeKeys=0
405.66	       =>  wckTime=400.126  cpuTime=396.78  mem=54M843
550.95	   
550.96	   search
550.96	     run=8  nbConstraintChecks=686831846  nbValidityChecks=5397552998  nbPropagations=852669  nbRevisions=20424672
550.96	     nbUselessRevisions=18579193  nbAssignments=21470  nbFailedAssignments=20558  nbBacktracks=744  nbVisitedNodes=42773
550.96	     nbRestartNogoods=216  mapSize=744  nbInferences=0  nbTooLargeKeys=0
550.96	       =>  wckTime=545.422  cpuTime=540.91  mem=60M850
783.55	   
783.55	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=67M254)
847.54	   
847.54	   search
847.54	     run=9  nbConstraintChecks=994530635  nbValidityChecks=8805580619  nbPropagations=1350714  nbRevisions=32286332
847.54	     nbUselessRevisions=29416258  nbAssignments=34176  nbFailedAssignments=32870  nbBacktracks=1128
847.54	     nbVisitedNodes=68175  nbRestartNogoods=249
847.54	       =>  wckTime=842.004  cpuTime=835.0  mem=67M254
1406.05	   
1406.05	   search
1406.05	     run=10  nbConstraintChecks=1591971714  nbValidityChecks=14938560787  nbPropagations=2171579  nbRevisions=52172380
1406.05	     nbUselessRevisions=47568019  nbAssignments=57318  nbFailedAssignments=55427  nbBacktracks=1704
1406.05	     nbVisitedNodes=114443  nbRestartNogoods=273
1406.05	       =>  wckTime=1400.52  cpuTime=1388.8  mem=67M254

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/node35/watcher-233537-1168081376 -o ROOT/results/node35/solver-233537-1168081376 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233537-1168081376/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: 0.59 0.60 1.18 5/80 14727
/proc/meminfo: memFree=1475376/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=18540 CPUtime=0
/proc/14726/stat : 14726 (runsolver) R 14724 14726 14076 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156532142 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14726/statm: 4635 279 244 17 0 2626 0

[startup+0.102871 s]
/proc/loadavg: 0.59 0.60 1.18 5/80 14727
/proc/meminfo: memFree=1475376/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=913228 CPUtime=0.07
/proc/14726/stat : 14726 (java) D 14724 14726 14076 0 -1 0 2920 0 1 0 5 2 0 0 25 0 8 0 156532142 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228

[startup+0.510921 s]
/proc/loadavg: 0.59 0.60 1.18 5/80 14727
/proc/meminfo: memFree=1475376/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915328 CPUtime=0.39
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 6118 0 1 0 35 4 0 0 19 0 8 0 156532142 937295872 5857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228832 5857 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328

[startup+1.33401 s]
/proc/loadavg: 0.59 0.60 1.18 3/87 14734
/proc/meminfo: memFree=1434872/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915632 CPUtime=1.2
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 12571 0 1 0 113 7 0 0 25 0 8 0 156532142 937607168 12309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228908 12309 2167 14 0 215378 0
[pid=14726/tid=14728] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 156532146 937607168 12309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 10 0 0 0 0 0 0 0 23 0 8 0 156532147 937607168 12309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 4 0 0 0 0 0 0 0 24 0 8 0 156532147 937607168 12309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937607168 12309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915632 CPUtime=0.14
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 411 0 0 0 14 0 0 0 15 0 8 0 156532150 937607168 12309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937607168 12309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532150 937607168 12309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915632

[startup+2.98621 s]
/proc/loadavg: 0.59 0.60 1.18 3/87 14734
/proc/meminfo: memFree=1432760/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915632 CPUtime=2.84
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 13300 0 1 0 277 7 0 0 25 0 8 0 156532142 937607168 13037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228908 13037 2167 14 0 215378 0
[pid=14726/tid=14728] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 156532146 937607168 13037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 10 0 0 0 0 0 0 0 23 0 8 0 156532147 937607168 13037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 4 0 0 0 0 0 0 0 24 0 8 0 156532147 937607168 13037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937607168 13037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915632 CPUtime=0.14
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 411 0 0 0 14 0 0 0 16 0 8 0 156532150 937607168 13037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937607168 13037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915632 CPUtime=0
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532150 937607168 13037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915632

[startup+6.2726 s]
/proc/loadavg: 0.71 0.62 1.19 3/87 14734
/proc/meminfo: memFree=1372664/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=6.11
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28377 0 1 0 596 15 0 0 25 0 8 0 156532142 937693184 28111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28111 2533 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11281 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.25
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 476 0 0 0 24 1 0 0 15 0 8 0 156532150 937693184 28111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532150 937693184 28111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915716

[startup+12.7564 s]
/proc/loadavg: 0.81 0.64 1.19 3/87 14734
/proc/meminfo: memFree=1372664/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=12.54
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28387 0 1 0 1239 15 0 0 25 0 8 0 156532142 937693184 28117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28117 2533 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11281 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.26
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 486 0 0 0 25 1 0 0 16 0 8 0 156532150 937693184 28117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532150 937693184 28117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915716

[startup+25.5889 s]
/proc/loadavg: 1.07 0.71 1.20 3/87 14734
/proc/meminfo: memFree=1372664/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=25.28
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28403 0 1 0 2513 15 0 0 25 0 8 0 156532142 937693184 28127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28127 2534 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11281 0 0 0 16 4 0 0 17 0 8 0 156532146 937693184 28127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.28
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 495 0 0 0 27 1 0 0 15 0 8 0 156532150 937693184 28127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532150 937693184 28127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915716

[startup+51.1959 s]
/proc/loadavg: 1.39 0.81 1.22 3/87 14734
/proc/meminfo: memFree=1372664/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=50.66
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28422 0 1 0 5051 15 0 0 25 0 8 0 156532142 937693184 28140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28140 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.29
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 505 0 0 0 28 1 0 0 15 0 8 0 156532150 937693184 28140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532150 937693184 28140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915716

[startup+102.415 s]
/proc/loadavg: 1.73 0.99 1.26 3/87 14734
/proc/meminfo: memFree=1372664/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=101.47
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28443 0 1 0 10132 15 0 0 25 0 8 0 156532142 937693184 28152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074115935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28152 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.32
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 525 0 0 0 31 1 0 0 15 0 8 0 156532150 937693184 28152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532150 937693184 28152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915716

[startup+162.478 s]
/proc/loadavg: 1.90 1.17 1.30 3/87 14734
/proc/meminfo: memFree=1372664/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=161.06
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28445 0 1 0 16090 16 0 0 25 0 8 0 156532142 937693184 28153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1412.12
Current children cumulated vsize (KiB) 915716

[startup+1484.09 s]
/proc/loadavg: 2.00 1.97 1.80 3/87 14736
/proc/meminfo: memFree=1345464/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=1471.67
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28452 0 1 0 147146 21 0 0 25 0 8 0 156532142 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035085 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28158 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.33
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 531 0 0 0 32 1 0 0 16 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0.03
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.67
Current children cumulated vsize (KiB) 915716

[startup+1544.17 s]
/proc/loadavg: 2.00 1.97 1.81 3/87 14736
/proc/meminfo: memFree=1345464/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=1531.24
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28452 0 1 0 153103 21 0 0 25 0 8 0 156532142 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28158 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.33
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 531 0 0 0 32 1 0 0 16 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0.03
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.24
Current children cumulated vsize (KiB) 915716

[startup+1604.23 s]
/proc/loadavg: 2.00 1.97 1.82 3/87 14736
/proc/meminfo: memFree=1345464/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=1590.82
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28452 0 1 0 159060 22 0 0 25 0 8 0 156532142 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28158 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.33
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 531 0 0 0 32 1 0 0 16 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0.03
/proc/14726/task/14734/stat : 14734 (java) R 14724 14726 14076 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.82
Current children cumulated vsize (KiB) 915716

[startup+1664.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/87 14736
/proc/meminfo: memFree=1345464/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=1650.36
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28452 0 1 0 165014 22 0 0 25 0 8 0 156532142 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074115932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28158 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.33
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 531 0 0 0 32 1 0 0 16 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0.03
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.36
Current children cumulated vsize (KiB) 915716

[startup+1724.36 s]
/proc/loadavg: 2.04 1.99 1.84 3/87 14736
/proc/meminfo: memFree=1345400/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=1709.93
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28452 0 1 0 170971 22 0 0 25 0 8 0 156532142 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14726/statm: 228929 28158 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.33
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 531 0 0 0 32 1 0 0 16 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0.04
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.93
Current children cumulated vsize (KiB) 915716

[startup+1784.42 s]
/proc/loadavg: 1.72 1.91 1.82 2/75 14794
/proc/meminfo: memFree=1513752/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=1769.68
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28452 0 1 0 176940 28 0 0 25 0 8 0 156532142 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14726/statm: 228929 28158 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.33
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 531 0 0 0 32 1 0 0 16 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0.04
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.68
Current children cumulated vsize (KiB) 915716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.82 s]
/proc/loadavg: 1.43 1.82 1.79 2/75 14839
/proc/meminfo: memFree=1523792/2055920 swapFree=4192812/4192956
[pid=14726] ppid=14724 vsize=915716 CPUtime=1800.04
/proc/14726/stat : 14726 (java) R 14724 14726 14076 0 -1 0 28452 0 1 0 179976 28 0 0 25 0 8 0 156532142 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14726/statm: 228929 28158 2538 14 0 215399 0
[pid=14726/tid=14728] ppid=14724 vsize=915716 CPUtime=0.2
/proc/14726/task/14728/stat : 14728 (java) S 14724 14726 14076 0 -1 64 11282 0 0 0 16 4 0 0 16 0 8 0 156532146 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14076 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532147 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=915716 CPUtime=0.33
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14076 0 -1 64 531 0 0 0 32 1 0 0 16 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=915716 CPUtime=0
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14076 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=915716 CPUtime=0.04
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14076 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 156532150 937693184 28158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915716

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

Child status: 143
Real time (s): 1814.86
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.302953
CPU usage (%): 99.1856
Max. virtual memory (cumulated for all children) (KiB): 915772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.302953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28467
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= 38297
involuntary context switches= 77047

runsolver used 2.00669 s user time and 4.6303 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan  6 11:03:00 UTC 2007


IDJOB= 233537
IDBENCH= 6615
FILE ID= node35/233537-1168081376

PBS_JOBID= 3476111

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  70c6e1071e2d8fc4bc31e6131cae8760

RANDOM SEED= 612495607

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1476048 kB
Buffers:         28496 kB
Cached:         298924 kB
SwapCached:          0 kB
Active:         239188 kB
Inactive:       264296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1476048 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2120 kB
Writeback:           0 kB
Mapped:         196292 kB
Slab:            61428 kB
Committed_AS:  3888536 kB
PageTables:       2132 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 node35 on Sat Jan  6 11:33:22 UTC 2007