Trace number 198099

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.04 1805.29

General information on the benchmark

NamegolombRuler/golombRulerArity4/
ruler-70-13-a4.xml
MD5SUM8550458df6e804e35921814f1d43a5d8
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 variables13
Number of constraints2795
Maximum constraint arity4
Maximum domain size71
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2795
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/198099-1168071211/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=13  nbDomainTypes=1  minDomainSize=71  maxDomainSize=71
0.40	       =>  wckTime=0.092  cpuTime=0.08  mem=6M951
0.40	   
0.40	   predicates being loaded...
0.40	   
0.40	   constraints being loaded...
0.84	     nbConstraints=1079  nbMergedConstraints=1716  nbConvertedConstraints=78  nbConvertConstraintsChecks=5041
0.84	     nbExtensionStructures=1  nbSharedExtensionStructures=77  nbConflictsStructures=1  nbSharedConflictsStructures=77
0.84	     nbUnbuiltConflictsStructures=2  nbSharedBinaryRepresentations=1  nbEvaluationManagers=2
0.84	     nbSharedEvaluationManagers=999  maxDegree=298  maxArity=4
0.84	       =>  wckTime=0.53  cpuTime=0.4  mem=27M447
0.89	   
0.89	   solver IterativeSystematicSolver being built... 
1.10	       =>  wckTime=0.795  cpuTime=0.58  mem=29M638
1.30	   
1.30	   preprocessing
1.30	     nbConstraintChecks=216123  nbValidityChecks=191480  nbPropagations=25  nbRevisions=4320  nbUselessRevisions=4164
1.30	     nbRemovedValues=156  detectedInconsistency=no
1.30	       =>  wckTime=0.192  cpuTime=0.17  mem=29M638
3.20	   
3.20	   search
3.20	     run=0  nbConstraintChecks=1523017  nbValidityChecks=3297344  nbPropagations=443  nbRevisions=156388
3.20	     nbUselessRevisions=151984  nbAssignments=87  nbFailedAssignments=72  nbBacktracks=10  nbVisitedNodes=170
3.20	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
3.20	       =>  wckTime=2.094  cpuTime=2.06  mem=29M638
5.60	   
5.60	   search
5.60	     run=1  nbConstraintChecks=3668276  nbValidityChecks=6717763  nbPropagations=1346  nbRevisions=465821
5.60	     nbUselessRevisions=455276  nbAssignments=152  nbFailedAssignments=117  nbBacktracks=25  nbVisitedNodes=288
5.60	     nbRestartNogoods=18  mapSize=22  nbInferences=0  nbTooLargeKeys=0
5.60	       =>  wckTime=4.495  cpuTime=4.45  mem=29M638
8.56	   
8.56	   search
8.56	     run=2  nbConstraintChecks=5957098  nbValidityChecks=12521644  nbPropagations=3114  nbRevisions=1090247
8.56	     nbUselessRevisions=1069034  nbAssignments=285  nbFailedAssignments=224  nbBacktracks=47  nbVisitedNodes=549
8.56	     nbRestartNogoods=39  mapSize=43  nbInferences=0  nbTooLargeKeys=0
8.56	       =>  wckTime=7.456  cpuTime=7.4  mem=29M638
11.05	   
11.05	   search
11.05	     run=3  nbConstraintChecks=7784399  nbValidityChecks=17640690  nbPropagations=5746  nbRevisions=2012623
11.05	     nbUselessRevisions=1975062  nbAssignments=444  nbFailedAssignments=344  nbBacktracks=80  nbVisitedNodes=853
11.05	     nbRestartNogoods=61  mapSize=73  nbInferences=0  nbTooLargeKeys=0
11.05	       =>  wckTime=9.942  cpuTime=9.86  mem=29M638
16.32	   
16.32	   search
16.32	     run=4  nbConstraintChecks=11430806  nbValidityChecks=27599523  nbPropagations=11047  nbRevisions=3814421
16.32	     nbUselessRevisions=3746591  nbAssignments=851  nbFailedAssignments=695  nbBacktracks=130  nbVisitedNodes=1649
16.32	     nbRestartNogoods=90  mapSize=121  nbInferences=0  nbTooLargeKeys=0
16.32	       =>  wckTime=15.214  cpuTime=15.12  mem=29M638
22.28	   
22.28	   search
22.28	     run=5  nbConstraintChecks=16961674  nbValidityChecks=37656704  nbPropagations=17514  nbRevisions=5954083
22.28	     nbUselessRevisions=5852705  nbAssignments=1019  nbFailedAssignments=786  nbBacktracks=206  nbVisitedNodes=1952
22.28	     nbRestartNogoods=119  mapSize=188  nbInferences=0  nbTooLargeKeys=0
22.28	       =>  wckTime=21.178  cpuTime=21.08  mem=29M638
32.93	   
32.93	   search
32.93	     run=6  nbConstraintChecks=26497092  nbValidityChecks=55159341  nbPropagations=26053  nbRevisions=8770031
32.93	     nbUselessRevisions=8624468  nbAssignments=1347  nbFailedAssignments=999  nbBacktracks=319  nbVisitedNodes=2570
32.93	     nbRestartNogoods=122  mapSize=291  nbInferences=0  nbTooLargeKeys=0
32.93	       =>  wckTime=31.822  cpuTime=31.71  mem=29M638
48.81	   
48.81	   search
48.81	     run=7  nbConstraintChecks=39443913  nbValidityChecks=86417095  nbPropagations=38592  nbRevisions=13009025
48.81	     nbUselessRevisions=12786063  nbAssignments=2031  nbFailedAssignments=1510  nbBacktracks=490  nbVisitedNodes=3875
48.81	     nbRestartNogoods=134  mapSize=432  nbInferences=0  nbTooLargeKeys=0
48.81	       =>  wckTime=47.71  cpuTime=47.57  mem=29M638
75.32	   
75.32	   search
75.32	     run=8  nbConstraintChecks=59792011  nbValidityChecks=144266405  nbPropagations=59305  nbRevisions=20223783
75.32	     nbUselessRevisions=19842652  nbAssignments=3469  nbFailedAssignments=2686  nbBacktracks=746  nbVisitedNodes=6656
75.32	     nbRestartNogoods=147  mapSize=642  nbInferences=0  nbTooLargeKeys=0
75.32	       =>  wckTime=74.215  cpuTime=74.03  mem=30M611
109.96	   
109.96	   search
109.96	     run=9  nbConstraintChecks=84975024  nbValidityChecks=223673636  nbPropagations=92568  nbRevisions=32037294
109.96	     nbUselessRevisions=31372291  nbAssignments=5657  nbFailedAssignments=4488  nbBacktracks=1130  nbVisitedNodes=10887
109.96	     nbRestartNogoods=177  mapSize=933  nbInferences=0  nbTooLargeKeys=0
109.96	       =>  wckTime=108.858  cpuTime=108.64  mem=30M611
120.51	   
120.51	   INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=30M611)
153.69	   
153.69	   search
153.69	     run=10  nbConstraintChecks=116093962  nbValidityChecks=320427780  nbPropagations=143440  nbRevisions=50350805
153.69	     nbUselessRevisions=49229107  nbAssignments=8746  nbFailedAssignments=6995  nbBacktracks=1706  nbVisitedNodes=16905
153.69	     nbRestartNogoods=196
153.69	       =>  wckTime=152.585  cpuTime=152.31  mem=30M611
200.65	   
200.65	   search
200.65	     run=11  nbConstraintChecks=152918820  nbValidityChecks=396998064  nbPropagations=211405  nbRevisions=75261107
200.65	     nbUselessRevisions=73545275  nbAssignments=11598  nbFailedAssignments=8978  nbBacktracks=2571  nbVisitedNodes=22460
200.65	     nbRestartNogoods=218
200.65	       =>  wckTime=199.544  cpuTime=199.22  mem=30M611
256.45	   
256.45	   search
256.45	     run=12  nbConstraintChecks=195452792  nbValidityChecks=482170935  nbPropagations=305566  nbRevisions=109868876
256.45	     nbUselessRevisions=107383840  nbAssignments=16139  nbFailedAssignments=12217  nbBacktracks=3868
256.45	     nbVisitedNodes=31319  nbRestartNogoods=232
256.45	       =>  wckTime=255.344  cpuTime=254.97  mem=30M611
388.66	   
388.66	   search
388.66	     run=13  nbConstraintChecks=302847963  nbValidityChecks=693874013  nbPropagations=441645  nbRevisions=160460666
388.66	     nbUselessRevisions=156773152  nbAssignments=23635  nbFailedAssignments=17761  nbBacktracks=5815
388.66	     nbVisitedNodes=45808  nbRestartNogoods=271
388.66	       =>  wckTime=387.559  cpuTime=387.05  mem=30M611
624.68	   
624.68	   search
624.68	     run=14  nbConstraintChecks=505012469  nbValidityChecks=1054046914  nbPropagations=634569  nbRevisions=232198393
624.68	     nbUselessRevisions=226793647  nbAssignments=34089  nbFailedAssignments=25294  nbBacktracks=8734
624.68	     nbVisitedNodes=66162  nbRestartNogoods=291
624.68	       =>  wckTime=623.573  cpuTime=622.84  mem=30M611
850.01	   
850.01	   search
850.01	     run=15  nbConstraintChecks=696866220  nbValidityChecks=1374930217  nbPropagations=892836  nbRevisions=327081153
850.01	     nbUselessRevisions=319539051  nbAssignments=45768  nbFailedAssignments=32592  nbBacktracks=13112
850.01	     nbVisitedNodes=88283  nbRestartNogoods=302
850.01	       =>  wckTime=848.905  cpuTime=847.94  mem=30M611
1137.28	   
1137.28	   search
1137.28	     run=16  nbConstraintChecks=934217639  nbValidityChecks=1774969963  nbPropagations=1246959  nbRevisions=456178093
1137.28	     nbUselessRevisions=445869572  nbAssignments=62347  nbFailedAssignments=42599  nbBacktracks=19680
1137.28	     nbVisitedNodes=119827  nbRestartNogoods=318
1137.28	       =>  wckTime=1136.174  cpuTime=1134.45  mem=30M611
1494.77	   
1494.77	   search
1494.77	     run=17  nbConstraintChecks=1217895421  nbValidityChecks=2267590519  nbPropagations=1748063  nbRevisions=636716556
1494.77	     nbUselessRevisions=622807909  nbAssignments=87326  nbFailedAssignments=57720  nbBacktracks=29532
1494.77	     nbVisitedNodes=167685  nbRestartNogoods=321
1494.77	       =>  wckTime=1493.669  cpuTime=1490.01  mem=30M611

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

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

/proc/loadavg: 0.72 0.93 1.03 3/83 19131
/proc/meminfo: memFree=1361928/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=1784 CPUtime=0
/proc/19130/stat : 19130 (java) D 19127 19130 19024 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 155515837 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19130/statm: 446 136 102 14 0 91 0

[startup+0.107367 s]
/proc/loadavg: 0.72 0.93 1.03 3/83 19131
/proc/meminfo: memFree=1361928/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=914988 CPUtime=0.08
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 2987 0 1 0 6 2 0 0 22 0 8 0 155515837 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515406 s]
/proc/loadavg: 0.72 0.93 1.03 3/83 19131
/proc/meminfo: memFree=1361928/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915328 CPUtime=0.48
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 6454 0 1 0 44 4 0 0 25 0 8 0 155515837 937295872 6193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228832 6193 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33649 s]
/proc/loadavg: 0.90 0.97 1.04 3/100 19148
/proc/meminfo: memFree=1296256/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1.31
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12380 0 1 0 119 12 0 0 25 0 8 0 155515837 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073950261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12118 2529 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.23
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 462 0 0 0 23 0 0 0 15 0 8 0 155515845 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12118 18446744073709551615 134512640 134570532 4294956480 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) 915764

[startup+2.97363 s]
/proc/loadavg: 0.90 0.97 1.04 3/100 19148
/proc/meminfo: memFree=1295680/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=2.94
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12393 0 1 0 282 12 0 0 25 0 8 0 155515837 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073962611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12129 2530 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 310 0 0 0 3 0 0 0 17 0 8 0 155515841 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.25
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 466 0 0 0 24 1 0 0 15 0 8 0 155515845 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915764

[startup+6.17394 s]
/proc/loadavg: 0.90 0.97 1.04 3/100 19148
/proc/meminfo: memFree=1295360/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=6.14
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12411 0 1 0 602 12 0 0 25 0 8 0 155515837 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073959730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12144 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 17 0 8 0 155515841 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.25
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 469 0 0 0 24 1 0 0 16 0 8 0 155515845 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915764

[startup+12.6455 s]
/proc/loadavg: 1.07 1.00 1.05 2/88 19148
/proc/meminfo: memFree=1323232/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=12.59
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12430 0 1 0 1247 12 0 0 25 0 8 0 155515837 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073950273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12160 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 17 0 8 0 155515841 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.27
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 476 0 0 0 26 1 0 0 15 0 8 0 155515845 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915764

[startup+25.5097 s]
/proc/loadavg: 1.06 1.00 1.05 2/88 19159
/proc/meminfo: memFree=1324840/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=25.44
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12451 0 1 0 2532 12 0 0 25 0 8 0 155515837 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771757 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12177 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.28
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 482 0 0 0 27 1 0 0 16 0 8 0 155515845 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915764

[startup+51.1161 s]
/proc/loadavg: 1.38 1.08 1.07 3/100 19204
/proc/meminfo: memFree=1277896/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=51.03
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12481 0 1 0 5090 13 0 0 25 0 8 0 155515837 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12204 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.3
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 494 0 0 0 29 1 0 0 15 0 8 0 155515845 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915764

[startup+102.328 s]
/proc/loadavg: 1.77 1.23 1.12 3/100 19204
/proc/meminfo: memFree=1227720/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=102.18
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12510 0 1 0 10204 14 0 0 25 0 8 0 155515837 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12232 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.3
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 495 0 0 0 29 1 0 0 16 0 8 0 155515845 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 915764

[startup+162.382 s]
/proc/loadavg: 1.91 1.37 1.18 3/100 19204
/proc/meminfo: memFree=1210952/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=162.18
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12529 0 1 0 16204 14 0 0 25 0 8 0 155515837 937742336 12250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939558 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1420.26
Current children cumulated vsize (KiB) 915764

[startup+1483.5 s]
/proc/loadavg: 2.03 2.01 1.79 3/100 19206
/proc/meminfo: memFree=1066248/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1479.98
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12546 0 1 0 147980 18 0 0 25 0 8 0 155515837 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073950295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12267 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.98
Current children cumulated vsize (KiB) 915764

[startup+1543.55 s]
/proc/loadavg: 2.06 2.02 1.80 3/100 19206
/proc/meminfo: memFree=1066184/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1539.7
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 153952 18 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.7
Current children cumulated vsize (KiB) 915764

[startup+1603.6 s]
/proc/loadavg: 2.09 2.03 1.82 3/100 19206
/proc/meminfo: memFree=1066184/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1599.42
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 159924 18 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073962611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.42
Current children cumulated vsize (KiB) 915764

[startup+1663.65 s]
/proc/loadavg: 2.03 2.02 1.83 3/100 19206
/proc/meminfo: memFree=1066184/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1659.15
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 165897 18 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.15
Current children cumulated vsize (KiB) 915764

[startup+1723.7 s]
/proc/loadavg: 2.01 2.02 1.83 3/100 19206
/proc/meminfo: memFree=1066184/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1718.87
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 171868 19 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.87
Current children cumulated vsize (KiB) 915764

[startup+1783.75 s]
/proc/loadavg: 2.00 2.01 1.84 3/100 19206
/proc/meminfo: memFree=1066120/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1778.6
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 177841 19 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.6
Current children cumulated vsize (KiB) 915764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.25 s]
/proc/loadavg: 2.00 2.01 1.84 3/100 19206
/proc/meminfo: memFree=1066120/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1800
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 179981 19 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915764

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

Child status: 143
Real time (s): 1805.29
CPU time (s): 1800.04
CPU user time (s): 1799.84
CPU system time (s): 0.200969
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.200969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12567
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= 37933
involuntary context switches= 49352

runsolver used 2.09468 s user time and 5.8861 s system time

The end

Launcher Data (download as text)

Begin job on node26 on Sat Jan  6 08:13:34 UTC 2007


IDJOB= 198099
IDBENCH= 3534
FILE ID= node26/198099-1168071211

PBS_JOBID= 3475953

Free space on /tmp= 66536 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8550458df6e804e35921814f1d43a5d8

RANDOM SEED= 997103616

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.236
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.236
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:       1362888 kB
Buffers:         41748 kB
Cached:         512384 kB
SwapCached:          0 kB
Active:         115412 kB
Inactive:       502892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1362888 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4032 kB
Writeback:           0 kB
Mapped:          83136 kB
Slab:            59892 kB
Committed_AS:  2705908 kB
PageTables:       2112 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= 66536 MiB



End job on node26 on Sat Jan  6 08:43:42 UTC 2007