Trace number 197994

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.05 1803.47

General information on the benchmark

NamegolombRuler/golombRulerArity4/
ruler-67-12-a4.xml
MD5SUMdcd392d9418262da47d36b69c9910317
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1473.75
SatisfiableNO
(Un)Satisfiability was proved
Number of variables12
Number of constraints1991
Maximum constraint arity4
Maximum domain size68
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1991
Global constraints used (with number of constraints)

Solver Data (download as text)

0.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=mac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/197994-1168071193/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.45	   variables being loaded...
0.48	     nbVariables=12  nbDomainTypes=1  minDomainSize=68  maxDomainSize=68
0.48	       =>  wckTime=0.097  cpuTime=0.09  mem=6M951
0.48	   
0.48	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
0.88	     nbConstraints=781  nbMergedConstraints=1210  nbConvertedConstraints=66  nbConvertConstraintsChecks=4624
0.88	     nbExtensionStructures=1  nbSharedExtensionStructures=65  nbConflictsStructures=1  nbSharedConflictsStructures=65
0.88	     nbUnbuiltConflictsStructures=2  nbSharedBinaryRepresentations=1  nbEvaluationManagers=2
0.88	     nbSharedEvaluationManagers=713  maxDegree=231  maxArity=4
0.88	       =>  wckTime=0.498  cpuTime=0.37  mem=21M579
0.92	   
0.92	   solver IterativeSystematicSolver being built... 
1.14	       =>  wckTime=0.762  cpuTime=0.55  mem=24M724
1.30	   
1.30	   preprocessing
1.31	     nbConstraintChecks=159956  nbValidityChecks=139551  nbPropagations=23  nbRevisions=3312  nbUselessRevisions=3180
1.31	     nbRemovedValues=132  detectedInconsistency=no
1.31	       =>  wckTime=0.16  cpuTime=0.14  mem=24M724
2.34	   
2.34	   search
2.34	     run=0  nbConstraintChecks=843900  nbValidityChecks=1104341  nbPropagations=344  nbRevisions=79972
2.34	     nbUselessRevisions=77079  nbAssignments=81  nbFailedAssignments=65  nbBacktracks=10  nbVisitedNodes=157
2.34	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.34	       =>  wckTime=1.197  cpuTime=1.15  mem=24M724
4.17	   
4.17	   search
4.17	     run=1  nbConstraintChecks=2357520  nbValidityChecks=3584203  nbPropagations=1166  nbRevisions=284888
4.17	     nbUselessRevisions=276810  nbAssignments=174  nbFailedAssignments=138  nbBacktracks=25  nbVisitedNodes=337
4.17	     nbRestartNogoods=26  mapSize=25  nbInferences=0  nbTooLargeKeys=0
4.17	       =>  wckTime=3.026  cpuTime=2.95  mem=24M724
6.05	   
6.05	   search
6.05	     run=2  nbConstraintChecks=3736492  nbValidityChecks=6746561  nbPropagations=2722  nbRevisions=676084
6.05	     nbUselessRevisions=658553  nbAssignments=310  nbFailedAssignments=246  nbBacktracks=47  nbVisitedNodes=603
6.05	     nbRestartNogoods=51  mapSize=47  nbInferences=0  nbTooLargeKeys=0
6.05	       =>  wckTime=4.908  cpuTime=4.81  mem=24M724
8.01	   
8.01	   search
8.01	     run=3  nbConstraintChecks=5085426  nbValidityChecks=10736829  nbPropagations=5100  nbRevisions=1285646
8.01	     nbUselessRevisions=1251461  nbAssignments=475  nbFailedAssignments=373  nbBacktracks=80  nbVisitedNodes=921
8.01	     nbRestartNogoods=70  mapSize=79  nbInferences=0  nbTooLargeKeys=0
8.01	       =>  wckTime=6.87  cpuTime=6.75  mem=24M724
10.95	   
10.95	   search
10.95	     run=4  nbConstraintChecks=7615596  nbValidityChecks=15352059  nbPropagations=8213  nbRevisions=2063565
10.95	     nbUselessRevisions=2010776  nbAssignments=589  nbFailedAssignments=436  nbBacktracks=130  nbVisitedNodes=1128
10.95	     nbRestartNogoods=95  mapSize=126  nbInferences=0  nbTooLargeKeys=0
10.95	       =>  wckTime=9.804  cpuTime=9.65  mem=24M724
16.21	   
16.21	   search
16.21	     run=5  nbConstraintChecks=12137614  nbValidityChecks=22844870  nbPropagations=12525  nbRevisions=3136467
16.21	     nbUselessRevisions=3060793  nbAssignments=775  nbFailedAssignments=544  nbBacktracks=206  nbVisitedNodes=1479
16.21	     nbRestartNogoods=97  mapSize=197  nbInferences=0  nbTooLargeKeys=0
16.21	       =>  wckTime=15.07  cpuTime=14.86  mem=24M724
23.54	   
23.54	   search
23.54	     run=6  nbConstraintChecks=18227291  nbValidityChecks=34000871  nbPropagations=18638  nbRevisions=4684769
23.54	     nbUselessRevisions=4574775  nbAssignments=1116  nbFailedAssignments=770  nbBacktracks=319  nbVisitedNodes=2120
23.54	     nbRestartNogoods=107  mapSize=294  nbInferences=0  nbTooLargeKeys=0
23.54	       =>  wckTime=22.4  cpuTime=22.13  mem=24M724
35.17	   
35.17	   search
35.17	     run=7  nbConstraintChecks=27264758  nbValidityChecks=54025989  nbPropagations=28306  nbRevisions=7189968
35.17	     nbUselessRevisions=7016244  nbAssignments=1824  nbFailedAssignments=1304  nbBacktracks=490  nbVisitedNodes=3471
35.17	     nbRestartNogoods=125  mapSize=438  nbInferences=0  nbTooLargeKeys=0
35.17	       =>  wckTime=34.024  cpuTime=33.63  mem=25M700
52.60	   
52.60	   search
52.60	     run=8  nbConstraintChecks=40201999  nbValidityChecks=86928387  nbPropagations=44589  nbRevisions=11507581
52.60	     nbUselessRevisions=11204836  nbAssignments=3185  nbFailedAssignments=2403  nbBacktracks=746  nbVisitedNodes=6091
52.60	     nbRestartNogoods=146  mapSize=641  nbInferences=0  nbTooLargeKeys=0
52.60	       =>  wckTime=51.458  cpuTime=50.89  mem=25M700
76.07	   
76.07	   search
76.07	     run=9  nbConstraintChecks=57206744  nbValidityChecks=132378468  nbPropagations=70833  nbRevisions=18540510
76.07	     nbUselessRevisions=18009444  nbAssignments=5250  nbFailedAssignments=4081  nbBacktracks=1130  nbVisitedNodes=10074
76.07	     nbRestartNogoods=175  mapSize=946  nbInferences=0  nbTooLargeKeys=0
76.07	       =>  wckTime=74.923  cpuTime=74.14  mem=25M700
79.88	   
79.88	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=25M700)
109.94	   
109.94	   search
109.94	     run=10  nbConstraintChecks=82827566  nbValidityChecks=190525647  nbPropagations=110305  nbRevisions=29134893
109.94	     nbUselessRevisions=28256493  nbAssignments=7977  nbFailedAssignments=6226  nbBacktracks=1706  nbVisitedNodes=15332
109.94	     nbRestartNogoods=202
109.94	       =>  wckTime=108.799  cpuTime=107.7  mem=25M700
143.95	   
143.95	   search
143.95	     run=11  nbConstraintChecks=108942816  nbValidityChecks=238079611  nbPropagations=169309  nbRevisions=44120519
143.95	     nbUselessRevisions=42794959  nbAssignments=11711  nbFailedAssignments=9090  nbBacktracks=2570  nbVisitedNodes=22606
143.95	     nbRestartNogoods=215
143.95	       =>  wckTime=142.809  cpuTime=141.4  mem=25M700
178.82	   
178.82	   search
178.82	     run=12  nbConstraintChecks=135702219  nbValidityChecks=287488874  nbPropagations=245859  nbRevisions=63919575
178.82	     nbUselessRevisions=62002600  nbAssignments=14897  nbFailedAssignments=10973  nbBacktracks=3868
178.82	     nbVisitedNodes=28675  nbRestartNogoods=234
178.82	       =>  wckTime=177.68  cpuTime=176.09  mem=25M700
210.48	   
210.48	   search
210.48	     run=13  nbConstraintChecks=160011725  nbValidityChecks=332900386  nbPropagations=347475  nbRevisions=90026670
210.48	     nbUselessRevisions=87380846  nbAssignments=19900  nbFailedAssignments=14026  nbBacktracks=5814
210.48	     nbVisitedNodes=38155  nbRestartNogoods=249
210.48	       =>  wckTime=209.339  cpuTime=207.72  mem=25M700
279.17	   
279.17	   search
279.17	     run=14  nbConstraintChecks=214418604  nbValidityChecks=439634318  nbPropagations=499284  nbRevisions=127995524
279.17	     nbUselessRevisions=124274752  nbAssignments=30418  nbFailedAssignments=21620  nbBacktracks=8733
279.17	     nbVisitedNodes=58516  nbRestartNogoods=264
279.17	       =>  wckTime=278.024  cpuTime=276.34  mem=25M700
403.91	   
403.91	   search
403.91	     run=15  nbConstraintChecks=310569760  nbValidityChecks=641338932  nbPropagations=742338  nbRevisions=188809914
403.91	     nbUselessRevisions=183522680  nbAssignments=46676  nbFailedAssignments=33495  nbBacktracks=13111
403.91	     nbVisitedNodes=90344  nbRestartNogoods=279
403.91	       =>  wckTime=402.768  cpuTime=400.93  mem=25M700
534.34	   
534.34	   search
534.34	     run=16  nbConstraintChecks=415039872  nbValidityChecks=834216702  nbPropagations=1075296  nbRevisions=270829867
534.34	     nbUselessRevisions=263223904  nbAssignments=65550  nbFailedAssignments=45795  nbBacktracks=19679
534.34	     nbVisitedNodes=126433  nbRestartNogoods=302
534.34	       =>  wckTime=533.198  cpuTime=531.23  mem=25M700
855.99	   
855.99	   search
855.99	     run=17  nbConstraintChecks=669623168  nbValidityChecks=1336997691  nbPropagations=1640426  nbRevisions=409741603
855.99	     nbUselessRevisions=398713152  nbAssignments=107461  nbFailedAssignments=77847  nbBacktracks=29533
855.99	     nbVisitedNodes=208342  nbRestartNogoods=324
855.99	       =>  wckTime=854.845  cpuTime=852.53  mem=25M700
1255.53	   
1255.53	   search
1255.53	     run=18  nbConstraintChecks=968255847  nbValidityChecks=1985658319  nbPropagations=2518593  nbRevisions=628521952
1255.53	     nbUselessRevisions=612385910  nbAssignments=159193  nbFailedAssignments=114796  nbBacktracks=44311
1255.53	     nbVisitedNodes=310659  nbRestartNogoods=341
1255.53	       =>  wckTime=1254.388  cpuTime=1251.63  mem=25M700
1775.88	   
1775.88	   search
1775.88	     run=19  nbConstraintChecks=1380297103  nbValidityChecks=2768865762  nbPropagations=3774541  nbRevisions=940737272
1775.88	     nbUselessRevisions=917069836  nbAssignments=225706  nbFailedAssignments=159136  nbBacktracks=66479
1775.88	     nbVisitedNodes=438169  nbRestartNogoods=370
1775.88	       =>  wckTime=1774.74  cpuTime=1771.36  mem=25M700

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/node15/watcher-197994-1168071193 -o ROOT/results/node15/solver-197994-1168071193 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197994-1168071193/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
/proc/loadavg: 1.78 1.95 1.98 5/93 12829
/proc/meminfo: memFree=1033504/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=18540 CPUtime=0
/proc/12828/stat : 12828 (runsolver) R 12826 12374 12374 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 155514573 18984960 277 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 240469977247 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12828/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.107288 s]
/proc/loadavg: 1.78 1.95 1.98 5/93 12829
/proc/meminfo: memFree=1033504/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=907676 CPUtime=0.03
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 2228 0 1 0 2 1 0 0 16 0 4 0 155514573 929460224 1975 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072897342 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 226919 1975 1118 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.515356 s]
/proc/loadavg: 1.78 1.95 1.98 5/93 12829
/proc/meminfo: memFree=1033504/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915328 CPUtime=0.42
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 6159 0 1 0 39 3 0 0 18 0 8 0 155514573 937295872 5898 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072924443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228832 5898 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.3385 s]
/proc/loadavg: 1.78 1.95 1.98 3/100 12836
/proc/meminfo: memFree=1001512/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1.25
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11179 0 1 0 116 9 0 0 23 0 8 0 155514573 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073772613 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10917 2529 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.24
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 460 0 0 0 24 0 0 0 15 0 8 0 155514587 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915760

[startup+2.98778 s]
/proc/loadavg: 1.78 1.95 1.98 3/100 12836
/proc/meminfo: memFree=999464/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=2.88
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11202 0 1 0 279 9 0 0 25 0 8 0 155514573 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073943524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10938 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.25
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 465 0 0 0 25 0 0 0 15 0 8 0 155514587 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915760

[startup+6.27635 s]
/proc/loadavg: 1.80 1.95 1.98 3/100 12836
/proc/meminfo: memFree=999400/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=6.13
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11218 0 1 0 604 9 0 0 25 0 8 0 155514573 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073947234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10951 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 17 0 8 0 155514583 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.26
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 469 0 0 0 26 0 0 0 15 0 8 0 155514587 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915760

[startup+12.7715 s]
/proc/loadavg: 1.81 1.95 1.98 3/100 12836
/proc/meminfo: memFree=999336/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=12.57
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11236 0 1 0 1248 9 0 0 25 0 8 0 155514573 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073772519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10966 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.27
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 475 0 0 0 27 0 0 0 16 0 8 0 155514587 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915760

[startup+25.6267 s]
/proc/loadavg: 1.85 1.96 1.98 3/100 12836
/proc/meminfo: memFree=999336/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=25.31
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11256 0 1 0 2521 10 0 0 25 0 8 0 155514573 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073773311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10982 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.28
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 479 0 0 0 28 0 0 0 16 0 8 0 155514587 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915760

[startup+51.2581 s]
/proc/loadavg: 1.90 1.96 1.98 3/100 12836
/proc/meminfo: memFree=999272/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=50.71
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11288 0 1 0 5061 10 0 0 25 0 8 0 155514573 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073771390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 11011 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.3
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 491 0 0 0 30 0 0 0 16 0 8 0 155514587 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915760

[startup+102.518 s]
/proc/loadavg: 1.96 1.96 1.98 3/100 12836
/proc/meminfo: memFree=999144/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=101.49
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11321 0 1 0 10139 10 0 0 25 0 8 0 155514573 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073947191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 11042 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 495 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915760

[startup+162.615 s]
/proc/loadavg: 1.93 1.96 1.98 2/88 12892
/proc/meminfo: memFree=1027200/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=161.05
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11326 0 1 0 16093 12 0 0 25 0 8 0 155514573 937738240 11047 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073771356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1420.85
Current children cumulated vsize (KiB) 915760

[startup+1483.91 s]
/proc/loadavg: 1.96 1.92 1.95 3/100 13724
/proc/meminfo: memFree=994032/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1480.85
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 148055 30 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073771431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.85
Current children cumulated vsize (KiB) 915760

[startup+1543.97 s]
/proc/loadavg: 1.98 1.93 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1540.86
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 154056 30 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073771366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.86
Current children cumulated vsize (KiB) 915760

[startup+1604.03 s]
/proc/loadavg: 1.99 1.94 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1600.83
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 160053 30 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073944976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.83
Current children cumulated vsize (KiB) 915760

[startup+1664.09 s]
/proc/loadavg: 1.99 1.95 1.95 3/100 13724
/proc/meminfo: memFree=994032/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1660.81
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 166051 30 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073945093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.81
Current children cumulated vsize (KiB) 915760

[startup+1724.14 s]
/proc/loadavg: 1.99 1.95 1.95 3/100 13724
/proc/meminfo: memFree=994032/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1720.82
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 172051 31 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073947292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.82
Current children cumulated vsize (KiB) 915760

[startup+1784.2 s]
/proc/loadavg: 2.04 1.97 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1780.79
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11349 0 1 0 178048 31 0 0 25 0 8 0 155514573 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073942617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11070 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.79
Current children cumulated vsize (KiB) 915760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.44 s]
/proc/loadavg: 2.03 1.97 1.95 3/100 13724
/proc/meminfo: memFree=993904/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1800.02
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11349 0 1 0 179971 31 0 0 25 0 8 0 155514573 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073944092 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11070 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915760

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

Child status: 143
Real time (s): 1803.47
CPU time (s): 1800.05
CPU user time (s): 1799.73
CPU system time (s): 0.319951
CPU usage (%): 99.8108
Max. virtual memory (cumulated for all children) (KiB): 915760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11366
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= 37831
involuntary context switches= 43908

runsolver used 2.21666 s user time and 5.73913 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan  6 08:13:15 UTC 2007


IDJOB= 197994
IDBENCH= 3527
FILE ID= node15/197994-1168071193

PBS_JOBID= 3475673

Free space on /tmp= 66283 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dcd392d9418262da47d36b69c9910317

RANDOM SEED= 337236386

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.276
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.276
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:       1033984 kB
Buffers:         85024 kB
Cached:         768456 kB
SwapCached:       7128 kB
Active:         361696 kB
Inactive:       556960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1033984 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            2036 kB
Writeback:           0 kB
Mapped:          83808 kB
Slab:            87900 kB
Committed_AS:  4894284 kB
PageTables:       2496 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= 66283 MiB



End job on node15 on Sat Jan  6 08:43:21 UTC 2007