Trace number 211005

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.15 1800.81

General information on the benchmark

NamepseudoSeries/uclid/
ooo-rf10.xml
MD5SUM887da96a383da5f1de3ba83f9210652c
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 benchmark44.3533
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables18069
Number of constraints52474
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension52474
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/211005-1168075382/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.75	     nbVariables=18069  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.75	       =>  wckTime=0.431  cpuTime=0.32  mem=36M371
0.75	   
0.75	   predicates being loaded...
0.76	   
0.76	   constraints being loaded...
4.96	   
4.96	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 47M880)
5.74	     nbConstraints=51320  nbMergedConstraints=1154  nbSingletonDomainVariables=1  nbConvertedConstraints=17972
5.74	     nbConvertConstraintsChecks=40  nbExtensionStructures=2  nbSharedExtensionStructures=17970  nbConflictsStructures=6
5.74	     nbSharedConflictsStructures=34688  nbSharedBinaryRepresentations=5  nbEvaluationManagers=37
5.74	     nbSharedEvaluationManagers=33311  maxDegree=212  maxArity=11
5.74	       =>  wckTime=5.424  cpuTime=4.41  mem=99M631
6.06	   
6.06	   solver IterativeSystematicSolver being built... 
7.31	       =>  wckTime=6.993  cpuTime=5.39  mem=139M843
7.55	   
7.55	   preprocessing
7.55	     nbConstraintChecks=66909  nbValidityChecks=32262  nbPropagations=18097  nbRevisions=37495  nbUselessRevisions=37467
7.55	     nbRemovedValues=28  detectedInconsistency=no
7.55	       =>  wckTime=0.212  cpuTime=0.18  mem=140M861
12.96	   
12.96	   search
12.96	     run=0  nbConstraintChecks=140856  nbValidityChecks=107937  nbPropagations=49551  nbRevisions=204943
12.96	     nbUselessRevisions=173393  nbAssignments=151  nbFailedAssignments=4  nbBacktracks=12  nbVisitedNodes=160
12.96	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
12.96	       =>  wckTime=5.633  cpuTime=5.56  mem=142M898
44.95	   
44.95	   search
44.95	     run=1  nbConstraintChecks=214657  nbValidityChecks=201218  nbPropagations=116110  nbRevisions=513335
44.95	     nbUselessRevisions=433279  nbAssignments=829  nbFailedAssignments=10  nbBacktracks=73  nbVisitedNodes=848
44.95	     nbRestartNogoods=1  mapSize=14  nbInferences=0  nbTooLargeKeys=0
44.95	       =>  wckTime=37.618  cpuTime=37.46  mem=105M463
76.85	   
76.85	   search
76.85	     run=2  nbConstraintChecks=275081  nbValidityChecks=292357  nbPropagations=198938  nbRevisions=920733
76.85	     nbUselessRevisions=775970  nbAssignments=1505  nbFailedAssignments=14  nbBacktracks=135  nbVisitedNodes=1532
76.85	     nbRestartNogoods=4  mapSize=21  nbInferences=0  nbTooLargeKeys=0
76.85	       =>  wckTime=69.522  cpuTime=69.34  mem=108M517
108.90	   
108.90	   search
108.90	     run=3  nbConstraintChecks=335913  nbValidityChecks=383548  nbPropagations=298112  nbRevisions=1427467
108.90	     nbUselessRevisions=1201712  nbAssignments=2185  nbFailedAssignments=19  nbBacktracks=199  nbVisitedNodes=2221
108.90	     nbRestartNogoods=5  mapSize=29  nbInferences=0  nbTooLargeKeys=0
108.90	       =>  wckTime=101.573  cpuTime=101.37  mem=111M572
140.31	   
140.31	   search
140.31	     run=4  nbConstraintChecks=412074  nbValidityChecks=484021  nbPropagations=415283  nbRevisions=2047214
140.31	     nbUselessRevisions=1722435  nbAssignments=2853  nbFailedAssignments=25  nbBacktracks=254  nbVisitedNodes=2907
140.31	     nbRestartNogoods=6  mapSize=46  nbInferences=0  nbTooLargeKeys=0
140.31	       =>  wckTime=132.981  cpuTime=132.77  mem=115M646
171.27	   
171.27	   search
171.27	     run=5  nbConstraintChecks=533008  nbValidityChecks=618727  nbPropagations=554104  nbRevisions=2811849
171.27	     nbUselessRevisions=2366165  nbAssignments=3534  nbFailedAssignments=54  nbBacktracks=335  nbVisitedNodes=3649
171.27	     nbRestartNogoods=7  mapSize=105  nbInferences=0  nbTooLargeKeys=0
171.27	       =>  wckTime=163.94  cpuTime=163.71  mem=118M700
200.88	   
200.88	   search
200.88	     run=6  nbConstraintChecks=598952  nbValidityChecks=695568  nbPropagations=711140  nbRevisions=3676312
200.88	     nbUselessRevisions=3091517  nbAssignments=4176  nbFailedAssignments=66  nbBacktracks=454  nbVisitedNodes=4309
200.88	     nbRestartNogoods=9  mapSize=120  nbInferences=0  nbTooLargeKeys=0
200.88	       =>  wckTime=193.554  cpuTime=193.31  mem=122M774
227.74	   
227.74	   search
227.74	     run=7  nbConstraintChecks=671022  nbValidityChecks=771924  nbPropagations=886687  nbRevisions=4642105
227.74	     nbUselessRevisions=3899638  nbAssignments=4773  nbFailedAssignments=84  nbBacktracks=635  nbVisitedNodes=4935
227.74	     nbRestartNogoods=12  mapSize=147  nbInferences=0  nbTooLargeKeys=0
227.74	       =>  wckTime=220.41  cpuTime=220.16  mem=125M828
259.15	   
259.15	   search
259.15	     run=8  nbConstraintChecks=740746  nbValidityChecks=848533  nbPropagations=1080743  nbRevisions=5708897
259.15	     nbUselessRevisions=4790162  nbAssignments=5463  nbFailedAssignments=107  nbBacktracks=905  nbVisitedNodes=5658
259.15	     nbRestartNogoods=14  mapSize=176  nbInferences=0  nbTooLargeKeys=0
259.15	       =>  wckTime=251.819  cpuTime=251.56  mem=128M883
288.54	   
288.54	   search
288.54	     run=9  nbConstraintChecks=849513  nbValidityChecks=951682  nbPropagations=1300464  nbRevisions=6921536
288.54	     nbUselessRevisions=5800460  nbAssignments=6134  nbFailedAssignments=151  nbBacktracks=1298  nbVisitedNodes=6421
288.54	     nbRestartNogoods=18  mapSize=267  nbInferences=0  nbTooLargeKeys=0
288.54	       =>  wckTime=281.207  cpuTime=280.93  mem=132M957
335.50	   
335.50	   search
335.50	     run=10  nbConstraintChecks=1267889  nbValidityChecks=1430316  nbPropagations=1636408  nbRevisions=8806378
335.50	     nbUselessRevisions=7363854  nbAssignments=7176  nbFailedAssignments=216  nbBacktracks=1883  nbVisitedNodes=7589
335.50	     nbRestartNogoods=19  mapSize=388  nbInferences=0  nbTooLargeKeys=0
335.50	       =>  wckTime=328.169  cpuTime=327.88  mem=138M48
399.30	   
399.30	   search
399.30	     run=11  nbConstraintChecks=1516747  nbValidityChecks=1710027  nbPropagations=2022626  nbRevisions=11001597
399.30	     nbUselessRevisions=9186827  nbAssignments=8497  nbFailedAssignments=265  nbBacktracks=2763  nbVisitedNodes=9008
399.30	     nbRestartNogoods=24  mapSize=483  nbInferences=0  nbTooLargeKeys=0
399.30	       =>  wckTime=391.969  cpuTime=391.66  mem=143M140
474.00	   
474.00	   search
474.00	     run=12  nbConstraintChecks=1771733  nbValidityChecks=2034338  nbPropagations=2466674  nbRevisions=13550202
474.00	     nbUselessRevisions=11303146  nbAssignments=10055  nbFailedAssignments=337  nbBacktracks=4060  nbVisitedNodes=10720
474.00	     nbRestartNogoods=27  mapSize=635  nbInferences=0  nbTooLargeKeys=0
474.00	       =>  wckTime=466.667  cpuTime=466.33  mem=150M268
530.23	   
530.23	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=116M560)
539.03	   
539.04	   search
539.04	     run=13  nbConstraintChecks=3174303  nbValidityChecks=3449865  nbPropagations=3236865  nbRevisions=18137323
539.04	     nbUselessRevisions=15098521  nbAssignments=12429  nbFailedAssignments=553  nbBacktracks=6018  nbVisitedNodes=13573
539.04	     nbRestartNogoods=29
539.04	       =>  wckTime=531.705  cpuTime=531.29  mem=116M560
580.30	   
580.30	   search
580.30	     run=14  nbConstraintChecks=8131954  nbValidityChecks=7936444  nbPropagations=5210913  nbRevisions=29653557
580.30	     nbUselessRevisions=24494838  nbAssignments=15907  nbFailedAssignments=1039  nbBacktracks=8938  nbVisitedNodes=17901
580.30	     nbRestartNogoods=33
580.30	       =>  wckTime=572.973  cpuTime=572.54  mem=116M560
625.49	   
625.49	   search
625.49	     run=15  nbConstraintChecks=9944380  nbValidityChecks=9553465  nbPropagations=7581872  nbRevisions=43524638
625.49	     nbUselessRevisions=35820010  nbAssignments=20957  nbFailedAssignments=1501  nbBacktracks=13320
625.49	     nbVisitedNodes=23771  nbRestartNogoods=40
625.49	       =>  wckTime=618.162  cpuTime=617.71  mem=116M560
694.48	   
694.48	   search
694.48	     run=16  nbConstraintChecks=13119808  nbValidityChecks=13902523  nbPropagations=10911656  nbRevisions=62956430
694.48	     nbUselessRevisions=51706443  nbAssignments=28327  nbFailedAssignments=2145  nbBacktracks=19911
694.48	     nbVisitedNodes=32693  nbRestartNogoods=48
694.48	       =>  wckTime=687.154  cpuTime=686.68  mem=116M560
804.74	   
804.74	   search
804.74	     run=17  nbConstraintChecks=22731965  nbValidityChecks=22533807  nbPropagations=16589149  nbRevisions=95156182
804.74	     nbUselessRevisions=77807685  nbAssignments=39006  nbFailedAssignments=2879  nbBacktracks=29802
804.74	     nbVisitedNodes=44835  nbRestartNogoods=56
804.74	       =>  wckTime=797.41  cpuTime=796.9  mem=116M560
979.33	   
979.33	   search
979.33	     run=18  nbConstraintChecks=40332673  nbValidityChecks=38309882  nbPropagations=26545041  nbRevisions=150222771
979.33	     nbUselessRevisions=122166692  nbAssignments=55213  nbFailedAssignments=4102  nbBacktracks=44583
979.33	     nbVisitedNodes=63917  nbRestartNogoods=62
979.33	       =>  wckTime=971.996  cpuTime=971.42  mem=116M560
1175.05	   
1175.05	   search
1175.05	     run=19  nbConstraintChecks=43598572  nbValidityChecks=42318162  nbPropagations=37366206  nbRevisions=210563513
1175.05	     nbUselessRevisions=170910624  nbAssignments=78466  nbFailedAssignments=4984  nbBacktracks=66761
1175.05	     nbVisitedNodes=89036  nbRestartNogoods=74
1175.05	       =>  wckTime=1167.725  cpuTime=1167.08  mem=116M560
1470.11	   
1470.11	   search
1470.11	     run=20  nbConstraintChecks=49307979  nbValidityChecks=49719538  nbPropagations=49773088  nbRevisions=280622207
1470.11	     nbUselessRevisions=227731449  nbAssignments=113243  nbFailedAssignments=6350  nbBacktracks=100060
1470.11	     nbVisitedNodes=126802  nbRestartNogoods=78
1470.11	       =>  wckTime=1462.782  cpuTime=1462.03  mem=116M560

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

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

/proc/loadavg: 1.56 1.90 1.80 5/70 15506
/proc/meminfo: memFree=1629760/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=18540 CPUtime=0
/proc/15505/stat : 15505 (runsolver) R 15503 15505 15083 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155938490 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15505/statm: 4635 279 244 17 0 2626 0

[startup+0.104254 s]
/proc/loadavg: 1.56 1.90 1.80 5/70 15506
/proc/meminfo: memFree=1629760/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=914988 CPUtime=0.08
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 2953 0 1 0 6 2 0 0 17 0 8 0 155938490 936947712 2699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228747 2699 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516334 s]
/proc/loadavg: 1.56 1.90 1.80 5/70 15506
/proc/meminfo: memFree=1629760/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=915328 CPUtime=0.49
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 6553 0 1 0 44 5 0 0 18 0 8 0 155938490 937295872 6292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073539750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228832 6293 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34049 s]
/proc/loadavg: 1.67 1.92 1.81 3/87 15523
/proc/meminfo: memFree=1508472/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=915616 CPUtime=1.32
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 18630 0 1 0 120 12 0 0 24 0 8 0 155938490 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073542754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228904 18368 2158 14 0 215374 0
[pid=15505/tid=15511] ppid=15503 vsize=915616 CPUtime=0.08
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 2086 0 0 0 8 0 0 0 17 0 8 0 155938495 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=915616 CPUtime=0.16
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 414 0 0 0 16 0 0 0 16 0 8 0 155938499 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915616

[startup+2.97881 s]
/proc/loadavg: 1.67 1.92 1.81 3/87 15523
/proc/meminfo: memFree=1482040/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=915744 CPUtime=2.96
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 24473 0 1 0 277 19 0 0 25 0 8 0 155938490 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228936 24206 2178 14 0 215406 0
[pid=15505/tid=15511] ppid=15503 vsize=915744 CPUtime=0.38
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 7851 0 0 0 36 2 0 0 16 0 8 0 155938495 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=915744 CPUtime=0.19
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 426 0 0 0 19 0 0 0 16 0 8 0 155938499 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915744

[startup+6.27946 s]
/proc/loadavg: 1.78 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1430264/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=915744 CPUtime=6.25
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 41013 0 1 0 498 127 0 0 25 0 8 0 155938490 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228936 40688 2490 14 0 215406 0
[pid=15505/tid=15511] ppid=15503 vsize=915744 CPUtime=1.13
/proc/15505/task/15511/stat : 15511 (java) R 15503 15505 15083 0 -1 64 24008 0 0 0 105 8 0 0 16 0 8 0 155938495 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=915744 CPUtime=0.25
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 463 0 0 0 25 0 0 0 15 0 8 0 155938499 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915744

[startup+12.7577 s]
/proc/loadavg: 1.80 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1399672/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=12.73
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 43629 0 1 0 1143 130 0 0 25 0 8 0 155938490 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074363160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 43299 2530 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.28
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 26308 0 0 0 119 9 0 0 17 0 8 0 155938495 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.41
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 685 0 0 0 40 1 0 0 15 0 8 0 155938499 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916328

[startup+25.6302 s]
/proc/loadavg: 1.83 1.94 1.82 4/87 15523
/proc/meminfo: memFree=1399864/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=25.6
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 43638 0 1 0 2430 130 0 0 25 0 8 0 155938490 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074336611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 43305 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.29
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 26308 0 0 0 120 9 0 0 16 0 8 0 155938495 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.41
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 687 0 0 0 40 1 0 0 17 0 8 0 155938499 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 916328

[startup+51.2502 s]
/proc/loadavg: 1.89 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1396728/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=51.19
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 44443 0 1 0 4989 130 0 0 25 0 8 0 155938490 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 44107 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.34
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 27106 0 0 0 125 9 0 0 16 0 8 0 155938495 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.42
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 692 0 0 0 41 1 0 0 16 0 8 0 155938499 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 916328

[startup+102.484 s]
/proc/loadavg: 1.95 1.95 1.83 3/87 15523
/proc/meminfo: memFree=1390968/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=102.42
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 44452 0 1 0 10111 131 0 0 25 0 8 0 155938490 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074335726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 44114 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.34
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 27106 0 0 0 125 9 0 0 16 0 8 0 155938495 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.44
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 701 0 0 0 43 1 0 0 15 0 8 0 155938499 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 916328

[startup+162.551 s]
/proc/loadavg: 1.98 1.95 1.83 3/87 15523
/proc/meminfo: memFree=1390904/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=162.46
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 44455 0 1 0 16115 131 0 0 25 0 8 0 155938490 938319872 44115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074335726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.67
Current children cumulated vsize (KiB) 916328

[startup+1484.29 s]
/proc/loadavg: 2.01 2.03 1.94 3/87 15523
/proc/meminfo: memFree=1319480/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1483.73
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 148240 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.73
Current children cumulated vsize (KiB) 916328

[startup+1544.37 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 15523
/proc/meminfo: memFree=1307128/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1543.79
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 154246 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074355371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.79
Current children cumulated vsize (KiB) 916328

[startup+1604.46 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 15523
/proc/meminfo: memFree=1307128/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1603.86
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 160253 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.86
Current children cumulated vsize (KiB) 916328

[startup+1664.54 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 15523
/proc/meminfo: memFree=1307064/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1663.92
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 166259 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.92
Current children cumulated vsize (KiB) 916328

[startup+1724.62 s]
/proc/loadavg: 2.12 2.04 1.95 3/87 15523
/proc/meminfo: memFree=1307000/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1723.98
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 172265 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074227491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.98
Current children cumulated vsize (KiB) 916328

[startup+1784.7 s]
/proc/loadavg: 2.04 2.03 1.95 3/87 15523
/proc/meminfo: memFree=1306936/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1784.05
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 178271 134 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.05
Current children cumulated vsize (KiB) 916328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.75 s]
/proc/loadavg: 2.03 2.02 1.95 3/87 15523
/proc/meminfo: memFree=1306936/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1800.09
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 179875 134 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 916328

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

Child status: 143
Real time (s): 1800.81
CPU time (s): 1800.15
CPU user time (s): 1798.78
CPU system time (s): 1.37179
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 916328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.37179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45957
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= 38383
involuntary context switches= 40433

runsolver used 2.10368 s user time and 5.20921 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Sat Jan  6 09:23:04 UTC 2007


IDJOB= 211005
IDBENCH= 4661
FILE ID= node38/211005-1168075382

PBS_JOBID= 3476003

Free space on /tmp= 66506 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211005-1168075382/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-211005-1168075382 -o ROOT/results/node38/solver-211005-1168075382 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211005-1168075382/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  887da96a383da5f1de3ba83f9210652c

RANDOM SEED= 625792402

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.267
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.267
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:       1630576 kB
Buffers:         25756 kB
Cached:         307376 kB
SwapCached:          0 kB
Active:          81636 kB
Inactive:       272656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1630576 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11704 kB
Writeback:           0 kB
Mapped:          31328 kB
Slab:            56692 kB
Committed_AS:  3100332 kB
PageTables:       1692 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= 66506 MiB



End job on node38 on Sat Jan  6 09:53:09 UTC 2007