Trace number 197974

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.1 1800.77

General information on the benchmark

NamegolombRuler/golombRulerArity4/
ruler-67-11-a4.xml
MD5SUMc6e220e6af1aeef3c7ef15ce910420b7
Bench CategoryN-ARY-INT (n-ary 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 variables11
Number of constraints1375
Maximum constraint arity4
Maximum domain size68
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1375
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/197974-1168071191/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=11  nbDomainTypes=1  minDomainSize=68  maxDomainSize=68
0.38	       =>  wckTime=0.09  cpuTime=0.08  mem=6M951
0.38	   
0.38	   predicates being loaded...
0.39	   
0.39	   constraints being loaded...
0.69	     nbConstraints=550  nbMergedConstraints=825  nbConvertedConstraints=55  nbConvertConstraintsChecks=4624
0.69	     nbExtensionStructures=1  nbSharedExtensionStructures=54  nbConflictsStructures=1  nbSharedConflictsStructures=54
0.69	     nbUnbuiltConflictsStructures=2  nbSharedBinaryRepresentations=1  nbEvaluationManagers=2
0.69	     nbSharedEvaluationManagers=493  maxDegree=175  maxArity=4
0.69	       =>  wckTime=0.401  cpuTime=0.29  mem=17M678
0.73	   
0.73	   solver IterativeSystematicSolver being built... 
0.93	       =>  wckTime=0.633  cpuTime=0.45  mem=21M560
1.05	   
1.05	   preprocessing
1.05	     nbConstraintChecks=121400  nbValidityChecks=103817  nbPropagations=21  nbRevisions=2475  nbUselessRevisions=2365
1.05	     nbRemovedValues=110  detectedInconsistency=no
1.05	       =>  wckTime=0.119  cpuTime=0.09  mem=21M560
1.63	   
1.63	   search
1.63	     run=0  nbConstraintChecks=527597  nbValidityChecks=648121  nbPropagations=259  nbRevisions=40630
1.63	     nbUselessRevisions=38783  nbAssignments=65  nbFailedAssignments=49  nbBacktracks=10  nbVisitedNodes=125
1.63	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.702  cpuTime=0.66  mem=21M560
3.11	   
3.11	   search
3.11	     run=1  nbConstraintChecks=1905750  nbValidityChecks=2874870  nbPropagations=1037  nbRevisions=183055
3.11	     nbUselessRevisions=177193  nbAssignments=179  nbFailedAssignments=141  nbBacktracks=27  nbVisitedNodes=347
3.11	     nbRestartNogoods=24  mapSize=26  nbInferences=0  nbTooLargeKeys=0
3.11	       =>  wckTime=2.179  cpuTime=2.12  mem=21M560
3.77	   
3.77	   search
3.77	     run=2  nbConstraintChecks=2448397  nbValidityChecks=4183079  nbPropagations=2289  nbRevisions=394089
3.77	     nbUselessRevisions=381980  nbAssignments=280  nbFailedAssignments=214  nbBacktracks=49  nbVisitedNodes=538
3.77	     nbRestartNogoods=48  mapSize=47  nbInferences=0  nbTooLargeKeys=0
3.77	       =>  wckTime=2.842  cpuTime=2.78  mem=21M560
4.88	   
4.88	   search
4.88	     run=3  nbConstraintChecks=3316560  nbValidityChecks=6683703  nbPropagations=4424  nbRevisions=749309
4.88	     nbUselessRevisions=725781  nbAssignments=476  nbFailedAssignments=370  nbBacktracks=82  nbVisitedNodes=914
4.88	     nbRestartNogoods=64  mapSize=72  nbInferences=0  nbTooLargeKeys=0
4.88	       =>  wckTime=3.95  cpuTime=3.87  mem=21M560
6.06	   
6.06	   search
6.06	     run=4  nbConstraintChecks=4308883  nbValidityChecks=8806030  nbPropagations=7400  nbRevisions=1244193
6.06	     nbUselessRevisions=1204652  nbAssignments=656  nbFailedAssignments=494  nbBacktracks=132  nbVisitedNodes=1262
6.06	     nbRestartNogoods=93  mapSize=120  nbInferences=0  nbTooLargeKeys=0
6.06	       =>  wckTime=5.132  cpuTime=5.04  mem=21M560
8.11	   
8.11	   search
8.11	     run=5  nbConstraintChecks=5904206  nbValidityChecks=13550056  nbPropagations=12088  nbRevisions=2027960
8.11	     nbUselessRevisions=1962638  nbAssignments=998  nbFailedAssignments=756  nbBacktracks=208  nbVisitedNodes=1923
8.11	     nbRestartNogoods=124  mapSize=187  nbInferences=0  nbTooLargeKeys=0
8.11	       =>  wckTime=7.182  cpuTime=7.07  mem=21M560
10.87	   
10.87	   search
10.87	     run=6  nbConstraintChecks=8040116  nbValidityChecks=20198014  nbPropagations=19069  nbRevisions=3226841
10.87	     nbUselessRevisions=3123833  nbAssignments=1492  nbFailedAssignments=1133  nbBacktracks=321  nbVisitedNodes=2886
10.87	     nbRestartNogoods=142  mapSize=293  nbInferences=0  nbTooLargeKeys=0
10.87	       =>  wckTime=9.942  cpuTime=9.82  mem=21M560
13.70	   
13.70	   search
13.70	     run=7  nbConstraintChecks=10268150  nbValidityChecks=25959104  nbPropagations=28530  nbRevisions=4864645
13.70	     nbUselessRevisions=4710810  nbAssignments=2054  nbFailedAssignments=1520  nbBacktracks=491  nbVisitedNodes=3958
13.70	     nbRestartNogoods=152  mapSize=448  nbInferences=0  nbTooLargeKeys=0
13.70	       =>  wckTime=12.77  cpuTime=12.61  mem=21M560
20.86	   
20.86	   search
20.86	     run=8  nbConstraintChecks=16294020  nbValidityChecks=38284871  nbPropagations=42531  nbRevisions=7326178
20.86	     nbUselessRevisions=7093491  nbAssignments=3167  nbFailedAssignments=2370  nbBacktracks=748  nbVisitedNodes=6117
20.86	     nbRestartNogoods=188  mapSize=685  nbInferences=0  nbTooLargeKeys=0
20.86	       =>  wckTime=19.931  cpuTime=19.74  mem=21M560
28.91	   
28.91	   search
28.91	     run=9  nbConstraintChecks=22862350  nbValidityChecks=51812764  nbPropagations=61780  nbRevisions=10732490
28.91	     nbUselessRevisions=10391528  nbAssignments=4292  nbFailedAssignments=3107  nbBacktracks=1132  nbVisitedNodes=8248
28.91	     nbRestartNogoods=222  mapSize=1026  nbInferences=0  nbTooLargeKeys=0
28.91	       =>  wckTime=27.985  cpuTime=27.8  mem=21M560
29.47	   
29.47	   INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=21M560)
34.48	   
34.48	   search
34.48	     run=10  nbConstraintChecks=27134316  nbValidityChecks=59971091  nbPropagations=87853  nbRevisions=15186167
34.48	     nbUselessRevisions=14694505  nbAssignments=5951  nbFailedAssignments=4184  nbBacktracks=1708  nbVisitedNodes=11402
34.48	     nbRestartNogoods=239
34.48	       =>  wckTime=33.553  cpuTime=33.36  mem=21M560
47.36	   
47.36	   search
47.36	     run=11  nbConstraintChecks=36798640  nbValidityChecks=84877882  nbPropagations=127089  nbRevisions=21874481
47.36	     nbUselessRevisions=21160281  nbAssignments=8776  nbFailedAssignments=6139  nbBacktracks=2574  nbVisitedNodes=16884
47.36	     nbRestartNogoods=277
47.36	       =>  wckTime=46.436  cpuTime=46.19  mem=21M560
73.34	   
73.34	   search
73.34	     run=12  nbConstraintChecks=56766596  nbValidityChecks=131140883  nbPropagations=192975  nbRevisions=32836674
73.34	     nbUselessRevisions=31757410  nbAssignments=14854  nbFailedAssignments=10914  nbBacktracks=3871
73.34	     nbVisitedNodes=28834  nbRestartNogoods=311
73.34	       =>  wckTime=72.415  cpuTime=72.13  mem=21M560
110.10	   
110.10	   search
110.10	     run=13  nbConstraintChecks=84624257  nbValidityChecks=193582400  nbPropagations=301702  nbRevisions=50609539
110.10	     nbUselessRevisions=48944415  nbAssignments=24821  nbFailedAssignments=18929  nbBacktracks=5817
110.10	     nbVisitedNodes=48438  nbRestartNogoods=338
110.10	       =>  wckTime=109.173  cpuTime=108.87  mem=21M560
163.22	   
163.22	   search
163.22	     run=14  nbConstraintChecks=123519845  nbValidityChecks=297463221  nbPropagations=467891  nbRevisions=78017424
163.22	     nbUselessRevisions=75434286  nbAssignments=38647  nbFailedAssignments=29831  nbBacktracks=8736
163.22	     nbVisitedNodes=75365  nbRestartNogoods=366
163.22	       =>  wckTime=162.292  cpuTime=161.98  mem=21M560
236.90	   
236.90	   search
236.90	     run=15  nbConstraintChecks=177593538  nbValidityChecks=434883181  nbPropagations=713989  nbRevisions=118995759
236.90	     nbUselessRevisions=115037802  nbAssignments=57044  nbFailedAssignments=43848  nbBacktracks=13114
236.90	     nbVisitedNodes=111304  nbRestartNogoods=384
236.90	       =>  wckTime=235.973  cpuTime=235.64  mem=21M560
311.27	   
311.27	   search
311.27	     run=16  nbConstraintChecks=235981804  nbValidityChecks=548526850  nbPropagations=1049192  nbRevisions=174733622
311.27	     nbUselessRevisions=168895614  nbAssignments=78269  nbFailedAssignments=58500  nbBacktracks=19682
311.27	     nbVisitedNodes=152545  nbRestartNogoods=391
311.27	       =>  wckTime=310.343  cpuTime=309.99  mem=21M560
419.39	   
419.39	   search
419.39	     run=17  nbConstraintChecks=319751293  nbValidityChecks=713090517  nbPropagations=1530299  nbRevisions=255039198
419.39	     nbUselessRevisions=246582821  nbAssignments=110287  nbFailedAssignments=80661  nbBacktracks=29534
419.39	     nbVisitedNodes=214751  nbRestartNogoods=420
419.39	       =>  wckTime=418.465  cpuTime=418.08  mem=21M560
619.22	   
619.22	   search
619.22	     run=18  nbConstraintChecks=472158435  nbValidityChecks=1031709236  nbPropagations=2257966  nbRevisions=377924220
619.22	     nbUselessRevisions=365597701  nbAssignments=161743  nbFailedAssignments=117334  nbBacktracks=44312
619.22	     nbVisitedNodes=315603  nbRestartNogoods=441
619.22	       =>  wckTime=618.292  cpuTime=617.85  mem=21M560
877.91	   
877.91	   search
877.91	     run=19  nbConstraintChecks=670826722  nbValidityChecks=1421211984  nbPropagations=3328250  nbRevisions=559892392
877.91	     nbUselessRevisions=541995991  nbAssignments=238084  nbFailedAssignments=171502  nbBacktracks=66480
877.91	     nbVisitedNodes=465103  nbRestartNogoods=465
877.91	       =>  wckTime=876.98  cpuTime=876.47  mem=21M560
1261.56	   
1261.56	   search
1261.56	     run=20  nbConstraintChecks=964541679  nbValidityChecks=2005938831  nbPropagations=4859476  nbRevisions=818778740
1261.56	     nbUselessRevisions=792888492  nbAssignments=342579  nbFailedAssignments=242740  nbBacktracks=99732
1261.56	     nbVisitedNodes=666764  nbRestartNogoods=495
1261.56	       =>  wckTime=1260.629  cpuTime=1260.01  mem=21M560

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/node18/watcher-197974-1168071191 -o ROOT/results/node18/solver-197974-1168071191 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197974-1168071191/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.67 1.89 1.88 3/93 20689
/proc/meminfo: memFree=954208/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=18540 CPUtime=0
/proc/20688/stat : 20688 (runsolver) R 20686 20688 20082 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155514141 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20688/statm: 4635 279 244 17 0 2626 0

[startup+0.10769 s]
/proc/loadavg: 1.67 1.89 1.88 3/93 20689
/proc/meminfo: memFree=954208/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=914988 CPUtime=0.08
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 3072 0 1 0 7 1 0 0 22 0 8 0 155514141 936947712 2818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942882 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20688/statm: 228747 2818 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515729 s]
/proc/loadavg: 1.67 1.89 1.88 3/93 20689
/proc/meminfo: memFree=954208/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915328 CPUtime=0.49
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 6614 0 1 0 46 3 0 0 25 0 8 0 155514141 937295872 6353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20688/statm: 228832 6353 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33781 s]
/proc/loadavg: 1.67 1.89 1.88 3/100 20696
/proc/meminfo: memFree=921768/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=1.31
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10269 0 1 0 123 8 0 0 25 0 8 0 155514141 937484288 10007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20688/statm: 228878 10007 2529 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.21
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 404 0 0 0 20 1 0 0 15 0 8 0 155514149 937484288 10007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915512

[startup+2.99097 s]
/proc/loadavg: 1.70 1.89 1.88 3/100 20696
/proc/meminfo: memFree=919464/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=2.95
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10293 0 1 0 287 8 0 0 25 0 8 0 155514141 937484288 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20688/statm: 228878 10029 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 17 0 8 0 155514145 937484288 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.23
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 410 0 0 0 22 1 0 0 15 0 8 0 155514149 937484288 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915512

[startup+6.29029 s]
/proc/loadavg: 1.70 1.89 1.88 3/100 20696
/proc/meminfo: memFree=906280/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=6.24
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10321 0 1 0 615 9 0 0 25 0 8 0 155514141 937484288 10054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20688/statm: 228878 10054 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 17 0 8 0 155514145 937484288 10054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.25
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 417 0 0 0 24 1 0 0 15 0 8 0 155514149 937484288 10054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915512

[startup+12.7779 s]
/proc/loadavg: 1.75 1.90 1.89 3/100 20696
/proc/meminfo: memFree=884328/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=12.7
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10356 0 1 0 1261 9 0 0 25 0 8 0 155514141 937484288 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928269 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20688/statm: 228878 10086 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.27
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 432 0 0 0 26 1 0 0 15 0 8 0 155514149 937484288 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915512

[startup+25.6131 s]
/proc/loadavg: 1.63 1.87 1.88 2/88 20704
/proc/meminfo: memFree=1046920/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=25.5
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10387 0 1 0 2541 9 0 0 25 0 8 0 155514141 937484288 10116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10116 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.27
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 434 0 0 0 26 1 0 0 15 0 8 0 155514149 937484288 10116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915512

[startup+51.3096 s]
/proc/loadavg: 1.49 1.81 1.86 2/88 20761
/proc/meminfo: memFree=1142600/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=51.13
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10409 0 1 0 5104 9 0 0 25 0 8 0 155514141 937484288 10137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10137 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915512

[startup+102.6 s]
/proc/loadavg: 1.60 1.78 1.84 3/100 20842
/proc/meminfo: memFree=1067872/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=102.39
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10412 0 1 0 10229 10 0 0 25 0 8 0 155514141 937484288 10140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10140 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915512

[startup+162.641 s]
/proc/loadavg: 1.85 1.82 1.85 3/100 20842
/proc/meminfo: memFree=1045280/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=162.41
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10414 0 1 0 16231 10 0 0 25 0 8 0 155514141 937484288 10142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1422.74
Current children cumulated vsize (KiB) 915512

[startup+1483.35 s]
/proc/loadavg: 2.00 2.01 1.93 3/100 20844
/proc/meminfo: memFree=820200/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=1482.75
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10433 0 1 0 148256 19 0 0 25 0 8 0 155514141 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10161 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.75
Current children cumulated vsize (KiB) 915512

[startup+1543.37 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 20844
/proc/meminfo: memFree=820136/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=1542.76
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10433 0 1 0 154256 20 0 0 25 0 8 0 155514141 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10161 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.76
Current children cumulated vsize (KiB) 915512

[startup+1603.39 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 20844
/proc/meminfo: memFree=820136/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=1602.76
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10433 0 1 0 160256 20 0 0 25 0 8 0 155514141 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10161 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.76
Current children cumulated vsize (KiB) 915512

[startup+1663.42 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 20844
/proc/meminfo: memFree=820136/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=1662.77
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10433 0 1 0 166256 21 0 0 25 0 8 0 155514141 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073922701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10161 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.77
Current children cumulated vsize (KiB) 915512

[startup+1723.44 s]
/proc/loadavg: 2.08 2.02 1.93 3/100 20844
/proc/meminfo: memFree=820136/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=1722.78
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10433 0 1 0 172257 21 0 0 25 0 8 0 155514141 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10161 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.78
Current children cumulated vsize (KiB) 915512

[startup+1783.46 s]
/proc/loadavg: 2.03 2.01 1.93 3/100 20844
/proc/meminfo: memFree=820136/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=1782.78
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10433 0 1 0 178257 21 0 0 25 0 8 0 155514141 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10161 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.78
Current children cumulated vsize (KiB) 915512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.73 s]
/proc/loadavg: 2.02 2.01 1.93 3/100 20844
/proc/meminfo: memFree=820136/2055920 swapFree=4192812/4192956
[pid=20688] ppid=20686 vsize=915512 CPUtime=1800.05
/proc/20688/stat : 20688 (java) R 20686 20688 20082 0 -1 0 10433 0 1 0 179983 22 0 0 25 0 8 0 155514141 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937140 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20688/statm: 228878 10161 2533 14 0 215348 0
[pid=20688/tid=20690] ppid=20686 vsize=915512 CPUtime=0.03
/proc/20688/task/20690/stat : 20690 (java) S 20686 20688 20082 0 -1 64 213 0 0 0 3 0 0 0 16 0 8 0 155514145 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20691] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20691/stat : 20691 (java) S 20686 20688 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20692] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20692/stat : 20692 (java) S 20686 20688 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514146 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20693] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20693/stat : 20693 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20694] ppid=20686 vsize=915512 CPUtime=0.29
/proc/20688/task/20694/stat : 20694 (java) S 20686 20688 20082 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20695] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20695/stat : 20695 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155514149 937484288 10161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20688/tid=20696] ppid=20686 vsize=915512 CPUtime=0
/proc/20688/task/20696/stat : 20696 (java) S 20686 20688 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155514149 937484288 10161 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) 915512

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

Child status: 143
Real time (s): 1800.77
CPU time (s): 1800.1
CPU user time (s): 1799.87
CPU system time (s): 0.226965
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 915512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10451
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= 37729
involuntary context switches= 51795

runsolver used 1.9757 s user time and 4.88426 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Jan  6 08:13:13 UTC 2007


IDJOB= 197974
IDBENCH= 3526
FILE ID= node18/197974-1168071191

PBS_JOBID= 3475705

Free space on /tmp= 66193 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-67-11-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197974-1168071191/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-197974-1168071191 -o ROOT/results/node18/solver-197974-1168071191 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197974-1168071191/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c6e220e6af1aeef3c7ef15ce910420b7

RANDOM SEED= 424417983

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.231
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.231
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:        954752 kB
Buffers:         68800 kB
Cached:         749580 kB
SwapCached:          0 kB
Active:         617284 kB
Inactive:       384616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        954752 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           97924 kB
Writeback:           0 kB
Mapped:         211704 kB
Slab:            83748 kB
Committed_AS:  4746496 kB
PageTables:       2356 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= 66285 MiB



End job on node18 on Sat Jan  6 08:43:15 UTC 2007