Trace number 210926

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.1 1808.11

General information on the benchmark

NamepseudoSeries/uclid/
dlx1c-ucl.xml
MD5SUM2223c05bcff693a714e1d3bc9eac2823
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 benchmark8.6
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables6392
Number of constraints18057
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18057
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210926-1168075374/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.58	     nbVariables=6392  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.58	       =>  wckTime=0.287  cpuTime=0.21  mem=17M615
0.58	   
0.58	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
2.93	     nbConstraints=17382  nbMergedConstraints=675  nbSingletonDomainVariables=4  nbConvertedConstraints=11423
2.93	     nbConvertConstraintsChecks=22577  nbExtensionStructures=5  nbSharedExtensionStructures=11418
2.93	     nbConflictsStructures=37  nbSharedConflictsStructures=17345  nbSharedBinaryRepresentations=12
2.93	     nbEvaluationManagers=32  nbSharedEvaluationManagers=5927  maxDegree=92  maxArity=11
2.93	       =>  wckTime=2.633  cpuTime=2.25  mem=60M637
3.09	   
3.09	   solver IterativeSystematicSolver being built... 
3.59	       =>  wckTime=3.297  cpuTime=2.65  mem=59M176
3.65	   
3.65	   preprocessing
3.65	     nbConstraintChecks=0  nbPropagations=6392  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.65	     detectedInconsistency=no
3.65	       =>  wckTime=0.042  cpuTime=0.03  mem=59M176
7.10	   
7.10	   search
7.10	     run=0  nbConstraintChecks=45972  nbValidityChecks=33357  nbPropagations=11427  nbRevisions=42297
7.10	     nbUselessRevisions=37322  nbAssignments=290  nbFailedAssignments=3  nbBacktracks=21  nbVisitedNodes=295
7.10	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
7.10	       =>  wckTime=3.5  cpuTime=3.45  mem=61M193
10.49	   
10.49	   search
10.49	     run=1  nbConstraintChecks=75502  nbValidityChecks=72251  nbPropagations=27936  nbRevisions=126221
10.49	     nbUselessRevisions=111260  nbAssignments=583  nbFailedAssignments=4  nbBacktracks=48  nbVisitedNodes=590
10.49	     nbRestartNogoods=3  mapSize=2  nbInferences=0  nbTooLargeKeys=0
10.49	       =>  wckTime=6.889  cpuTime=6.83  mem=61M193
14.13	   
14.13	   search
14.13	     run=2  nbConstraintChecks=105357  nbValidityChecks=111545  nbPropagations=49574  nbRevisions=252278
14.13	     nbUselessRevisions=222257  nbAssignments=898  nbFailedAssignments=6  nbBacktracks=127  nbVisitedNodes=909
14.13	     nbRestartNogoods=4  mapSize=5  nbInferences=0  nbTooLargeKeys=0
14.13	       =>  wckTime=10.525  cpuTime=10.46  mem=62M201
17.75	   
17.75	   search
17.75	     run=3  nbConstraintChecks=135335  nbValidityChecks=150888  nbPropagations=76381  nbRevisions=420623
17.75	     nbUselessRevisions=370428  nbAssignments=1213  nbFailedAssignments=8  nbBacktracks=175  nbVisitedNodes=1228
17.75	     nbRestartNogoods=5  mapSize=8  nbInferences=0  nbTooLargeKeys=0
17.75	       =>  wckTime=14.146  cpuTime=14.07  mem=63M209
21.39	   
21.39	   search
21.39	     run=4  nbConstraintChecks=165264  nbValidityChecks=190358  nbPropagations=108332  nbRevisions=631211
21.39	     nbUselessRevisions=555753  nbAssignments=1528  nbFailedAssignments=10  nbBacktracks=279  nbVisitedNodes=1547
21.39	     nbRestartNogoods=6  mapSize=11  nbInferences=0  nbTooLargeKeys=0
21.39	       =>  wckTime=17.783  cpuTime=17.69  mem=64M218
25.61	   
25.61	   search
25.61	     run=5  nbConstraintChecks=196061  nbValidityChecks=230286  nbPropagations=145618  nbRevisions=885364
25.61	     nbUselessRevisions=779332  nbAssignments=1893  nbFailedAssignments=14  nbBacktracks=406  nbVisitedNodes=1920
25.61	     nbRestartNogoods=7  mapSize=18  nbInferences=0  nbTooLargeKeys=0
25.61	       =>  wckTime=22.008  cpuTime=21.91  mem=65M226
29.85	   
29.85	   search
29.85	     run=6  nbConstraintChecks=227027  nbValidityChecks=270450  nbPropagations=188258  nbRevisions=1183224
29.85	     nbUselessRevisions=1041288  nbAssignments=2258  nbFailedAssignments=18  nbBacktracks=559  nbVisitedNodes=2293
29.85	     nbRestartNogoods=8  mapSize=25  nbInferences=0  nbTooLargeKeys=0
29.85	       =>  wckTime=26.249  cpuTime=26.15  mem=66M234
35.05	   
35.05	   search
35.05	     run=7  nbConstraintChecks=259289  nbValidityChecks=311158  nbPropagations=236499  nbRevisions=1526392
35.05	     nbUselessRevisions=1342945  nbAssignments=2704  nbFailedAssignments=24  nbBacktracks=734  nbVisitedNodes=2751
35.05	     nbRestartNogoods=9  mapSize=35  nbInferences=0  nbTooLargeKeys=0
35.05	       =>  wckTime=31.447  cpuTime=31.35  mem=67M242
47.63	   
47.64	   search
47.64	     run=8  nbConstraintChecks=353400  nbValidityChecks=388986  nbPropagations=296335  nbRevisions=1962555
47.64	     nbUselessRevisions=1725317  nbAssignments=3658  nbFailedAssignments=34  nbBacktracks=1031  nbVisitedNodes=3745
47.64	     nbRestartNogoods=11  mapSize=71  nbInferences=0  nbTooLargeKeys=0
47.64	       =>  wckTime=44.034  cpuTime=43.9  mem=68M251
59.75	   
59.75	   search
59.75	     run=9  nbConstraintChecks=393660  nbValidityChecks=432008  nbPropagations=363013  nbRevisions=2450064
59.75	     nbUselessRevisions=2152168  nbAssignments=4572  nbFailedAssignments=37  nbBacktracks=1607  nbVisitedNodes=4668
59.75	     nbRestartNogoods=15  mapSize=78  nbInferences=1  nbTooLargeKeys=0
59.75	       =>  wckTime=56.15  cpuTime=56.0  mem=68M251
78.76	   
78.76	   search
78.76	     run=10  nbConstraintChecks=453932  nbValidityChecks=498431  nbPropagations=439398  nbRevisions=3013754
78.76	     nbUselessRevisions=2645497  nbAssignments=5972  nbFailedAssignments=41  nbBacktracks=2582  nbVisitedNodes=6171
78.76	     nbRestartNogoods=17  mapSize=179  nbInferences=88  nbTooLargeKeys=0
78.76	       =>  wckTime=75.156  cpuTime=75.0  mem=70M267
97.43	   
97.43	   search
97.43	     run=11  nbConstraintChecks=537400  nbValidityChecks=591532  nbPropagations=528153  nbRevisions=3681477
97.43	     nbUselessRevisions=3230839  nbAssignments=7341  nbFailedAssignments=43  nbBacktracks=3452  nbVisitedNodes=7738
97.43	     nbRestartNogoods=19  mapSize=373  nbInferences=278  nbTooLargeKeys=0
97.43	       =>  wckTime=93.829  cpuTime=93.63  mem=71M276
122.05	   
122.06	   search
122.06	     run=12  nbConstraintChecks=612904  nbValidityChecks=671828  nbPropagations=628568  nbRevisions=4443853
122.06	     nbUselessRevisions=3899322  nbAssignments=9142  nbFailedAssignments=47  nbBacktracks=4786  nbVisitedNodes=9681
122.06	     nbRestartNogoods=23  mapSize=513  nbInferences=405  nbTooLargeKeys=0
122.06	       =>  wckTime=118.454  cpuTime=118.25  mem=73M292
159.51	   
159.51	   search
159.51	     run=13  nbConstraintChecks=747004  nbValidityChecks=806485  nbPropagations=749365  nbRevisions=5368779
159.51	     nbUselessRevisions=4710300  nbAssignments=11838  nbFailedAssignments=60  nbBacktracks=6843  nbVisitedNodes=12696
159.51	     nbRestartNogoods=25  mapSize=828  nbInferences=697  nbTooLargeKeys=0
159.51	       =>  wckTime=155.909  cpuTime=155.67  mem=75M309
209.71	   
209.71	   search
209.71	     run=14  nbConstraintChecks=856859  nbValidityChecks=915601  nbPropagations=887607  nbRevisions=6426803
209.71	     nbUselessRevisions=5636849  nbAssignments=15439  nbFailedAssignments=76  nbBacktracks=9818  nbVisitedNodes=16570
209.71	     nbRestartNogoods=29  mapSize=1096  nbInferences=928  nbTooLargeKeys=0
209.71	       =>  wckTime=206.113  cpuTime=205.82  mem=78M334
283.53	   
283.53	   search
283.54	     run=15  nbConstraintChecks=1012824  nbValidityChecks=1081196  nbPropagations=1048344  nbRevisions=7672870
283.54	     nbUselessRevisions=6729251  nbAssignments=20674  nbFailedAssignments=96  nbBacktracks=14254  nbVisitedNodes=22310
283.54	     nbRestartNogoods=34  mapSize=1598  nbInferences=1374  nbTooLargeKeys=0
283.54	       =>  wckTime=279.934  cpuTime=279.51  mem=38M194
403.16	   
403.17	   search
403.17	     run=16  nbConstraintChecks=1467044  nbValidityChecks=1522060  nbPropagations=1275722  nbRevisions=9464851
403.17	     nbUselessRevisions=8302350  nbAssignments=28958  nbFailedAssignments=145  nbBacktracks=20823  nbVisitedNodes=32035
403.17	     nbRestartNogoods=37  mapSize=3035  nbInferences=2696  nbTooLargeKeys=0
403.17	       =>  wckTime=399.564  cpuTime=399.04  mem=44M244
546.22	   
546.22	   search
546.22	     run=17  nbConstraintChecks=3197045  nbValidityChecks=2471814  nbPropagations=1778137  nbRevisions=13112237
546.22	     nbUselessRevisions=11438583  nbAssignments=40029  nbFailedAssignments=848  nbBacktracks=30675  nbVisitedNodes=45009
546.22	     nbRestartNogoods=41  mapSize=4926  nbInferences=3008  nbTooLargeKeys=0
546.22	       =>  wckTime=542.621  cpuTime=541.01  mem=57M352
751.96	   
751.96	   search
751.96	     run=18  nbConstraintChecks=9208405  nbValidityChecks=6849188  nbPropagations=2874860  nbRevisions=21878218
751.96	     nbUselessRevisions=19063625  nbAssignments=56491  nbFailedAssignments=2444  nbBacktracks=45468
751.96	     nbVisitedNodes=65747  nbRestartNogoods=52  mapSize=9198  nbInferences=3008  nbTooLargeKeys=0
751.96	       =>  wckTime=748.362  cpuTime=744.87  mem=81M552
1064.70	   
1064.70	   search
1064.70	     run=19  nbConstraintChecks=19898687  nbValidityChecks=14830451  nbPropagations=4950152  nbRevisions=39853358
1064.70	     nbUselessRevisions=34834907  nbAssignments=80905  nbFailedAssignments=4513  nbBacktracks=67643
1064.70	     nbVisitedNodes=95163  nbRestartNogoods=55  mapSize=14189  nbInferences=3060  nbTooLargeKeys=0
1064.70	       =>  wckTime=1061.096  cpuTime=1054.7  mem=83M872
1530.44	   
1530.50	   search
1530.50	     run=20  nbConstraintChecks=29470111  nbValidityChecks=21196782  nbPropagations=8138850  nbRevisions=66945380
1530.50	     nbUselessRevisions=58502132  nbAssignments=117467  nbFailedAssignments=7677  nbBacktracks=100901
1530.50	     nbVisitedNodes=138794  nbRestartNogoods=66  mapSize=21237  nbInferences=3101  nbTooLargeKeys=0
1530.50	       =>  wckTime=1526.842  cpuTime=1518.87  mem=72M421

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/node5/watcher-210926-1168075374 -o ROOT/results/node5/solver-210926-1168075374 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210926-1168075374/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.86 1.99 1.95 4/93 6985
/proc/meminfo: memFree=1204608/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=172 CPUtime=0
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 136152085 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 0 0 0
/proc/6984/statm: 43 24 18 14 0 3 0

[startup+0.10725 s]
/proc/loadavg: 1.86 1.99 1.95 4/93 6985
/proc/meminfo: memFree=1204608/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=914988 CPUtime=0.09
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 3058 0 1 0 7 2 0 0 24 0 8 0 136152085 936947712 2804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228747 2805 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515295 s]
/proc/loadavg: 1.86 1.99 1.95 4/93 6985
/proc/meminfo: memFree=1204608/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915328 CPUtime=0.5
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 6643 0 1 0 45 5 0 0 25 0 8 0 136152085 937295872 6382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228832 6382 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33639 s]
/proc/loadavg: 1.86 1.99 1.95 3/100 6992
/proc/meminfo: memFree=1142664/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915624 CPUtime=1.32
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 19256 0 1 0 120 12 0 0 25 0 8 0 136152085 937598976 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228906 18996 2158 14 0 215376 0
[pid=6984/tid=6986] ppid=6982 vsize=915624 CPUtime=0.1
/proc/6984/task/6986/stat : 6986 (java) R 6982 6984 6917 0 -1 64 2714 0 0 0 9 1 0 0 16 0 8 0 136152089 937598976 18998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915624 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937598976 19000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915624 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937598976 19002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915624 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937598976 19004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915624 CPUtime=0.15
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 136152092 937598976 19007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915624 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937598976 19009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915624 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937598976 19011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915624

[startup+2.97558 s]
/proc/loadavg: 1.86 1.99 1.95 3/100 6992
/proc/meminfo: memFree=1134088/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915976 CPUtime=2.95
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 21437 0 1 0 217 78 0 0 25 0 8 0 136152085 937959424 21171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228994 21171 2181 14 0 215464 0
[pid=6984/tid=6986] ppid=6982 vsize=915976 CPUtime=0.24
/proc/6984/task/6986/stat : 6986 (java) R 6982 6984 6917 0 -1 64 4785 0 0 0 23 1 0 0 16 0 8 0 136152089 937959424 21171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915976 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937959424 21171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915976 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937959424 21171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915976 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937959424 21171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915976 CPUtime=0.21
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 450 0 0 0 20 1 0 0 15 0 8 0 136152092 937959424 21171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915976 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937959424 21171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915976 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937959424 21171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915976

[startup+6.18394 s]
/proc/loadavg: 1.87 1.99 1.95 3/100 6992
/proc/meminfo: memFree=1109832/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=6.16
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 26347 0 1 0 534 82 0 0 25 0 8 0 136152085 937848832 26063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074228220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 26063 2527 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.39
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 9191 0 0 0 35 4 0 0 17 0 8 0 136152089 937848832 26063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 26063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 26063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 26063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.34
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 527 0 0 0 33 1 0 0 15 0 8 0 136152092 937848832 26063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 26063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 26063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915868

[startup+12.6597 s]
/proc/loadavg: 1.88 1.99 1.95 3/100 6992
/proc/meminfo: memFree=1109832/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=12.63
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 26359 0 1 0 1181 82 0 0 25 0 8 0 136152085 937848832 26072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074227246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 26072 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.39
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 9191 0 0 0 35 4 0 0 16 0 8 0 136152089 937848832 26072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 26072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 26072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 26072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.35
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 136152092 937848832 26072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 26072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 26072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915868

[startup+25.5331 s]
/proc/loadavg: 1.91 1.99 1.95 3/100 6992
/proc/meminfo: memFree=1109960/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=25.49
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 26373 0 1 0 2467 82 0 0 25 0 8 0 136152085 937848832 26082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074197972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 26082 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.39
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 9191 0 0 0 35 4 0 0 16 0 8 0 136152089 937848832 26082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 26082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 26082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 26082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.38
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 543 0 0 0 36 2 0 0 16 0 8 0 136152092 937848832 26082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 26082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 26082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915868

[startup+51.17 s]
/proc/loadavg: 1.94 1.99 1.95 3/100 6992
/proc/meminfo: memFree=1110088/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=51.09
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 26375 0 1 0 5027 82 0 0 25 0 8 0 136152085 937848832 26083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074227246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 26083 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.39
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 9191 0 0 0 35 4 0 0 16 0 8 0 136152089 937848832 26083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 26083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 26083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 26083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.38
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 544 0 0 0 36 2 0 0 16 0 8 0 136152092 937848832 26083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 26083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 26083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915868

[startup+102.435 s]
/proc/loadavg: 1.97 1.99 1.95 3/100 6992
/proc/meminfo: memFree=1110088/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=102.31
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 26382 0 1 0 10148 83 0 0 25 0 8 0 136152085 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074176402 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 26088 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.39
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 9191 0 0 0 35 4 0 0 16 0 8 0 136152089 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.4
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 550 0 0 0 38 2 0 0 16 0 8 0 136152092 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915868

[startup+162.452 s]
/proc/loadavg: 2.02 2.00 1.95 3/100 6992
/proc/meminfo: memFree=1110088/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=162.28
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 26382 0 1 0 16145 83 0 0 25 0 8 0 136152085 937848832 26088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074227246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1415.19
Current children cumulated vsize (KiB) 915868

[startup+1482.88 s]
/proc/loadavg: 2.14 2.05 1.98 3/100 7196
/proc/meminfo: memFree=411216/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=1475.21
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 33061 0 1 0 147423 98 0 0 25 0 8 0 136152085 937848832 32763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074176473 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 32763 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.51
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 15864 0 0 0 45 6 0 0 16 0 8 0 136152089 937848832 32763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 32763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 32763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 32763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.4
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 136152092 937848832 32763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 32763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 32763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.21
Current children cumulated vsize (KiB) 915868

[startup+1542.95 s]
/proc/loadavg: 2.12 2.07 1.99 3/90 7204
/proc/meminfo: memFree=1166240/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=1535.21
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 35714 0 1 0 153421 100 0 0 25 0 8 0 136152085 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074227246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 35415 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.55
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 18516 0 0 0 48 7 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.4
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.21
Current children cumulated vsize (KiB) 915868

[startup+1602.95 s]
/proc/loadavg: 2.04 2.05 1.99 3/90 7204
/proc/meminfo: memFree=1087264/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=1595.17
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 35714 0 1 0 159417 100 0 0 25 0 8 0 136152085 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074228131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 35415 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.55
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 18516 0 0 0 48 7 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.4
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.17
Current children cumulated vsize (KiB) 915868

[startup+1662.97 s]
/proc/loadavg: 2.01 2.04 1.99 3/90 7204
/proc/meminfo: memFree=1027104/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=1655.13
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 35714 0 1 0 165413 100 0 0 25 0 8 0 136152085 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074228131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 35415 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.55
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 18516 0 0 0 48 7 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.4
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.13
Current children cumulated vsize (KiB) 915868

[startup+1723.06 s]
/proc/loadavg: 2.00 2.03 1.99 3/90 7204
/proc/meminfo: memFree=965408/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=1715.15
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 35714 0 1 0 171414 101 0 0 25 0 8 0 136152085 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074185114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 35415 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.55
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 18516 0 0 0 48 7 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.4
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.15
Current children cumulated vsize (KiB) 915868

[startup+1783.16 s]
/proc/loadavg: 2.00 2.02 1.99 3/100 7252
/proc/meminfo: memFree=1060688/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=1775.18
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 35714 0 1 0 177415 103 0 0 25 0 8 0 136152085 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 35415 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.55
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 18516 0 0 0 48 7 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.4
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.18
Current children cumulated vsize (KiB) 915868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.07 s]
/proc/loadavg: 2.00 2.02 1.99 3/100 7252
/proc/meminfo: memFree=1058384/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6982 vsize=915868 CPUtime=1800.05
/proc/6984/stat : 6984 (java) R 6982 6984 6917 0 -1 0 35714 0 1 0 179902 103 0 0 25 0 8 0 136152085 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074185150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228967 35415 2530 14 0 215437 0
[pid=6984/tid=6986] ppid=6982 vsize=915868 CPUtime=0.55
/proc/6984/task/6986/stat : 6986 (java) S 6982 6984 6917 0 -1 64 18516 0 0 0 48 7 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6987] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6987/stat : 6987 (java) S 6982 6984 6917 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6988] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6988/stat : 6988 (java) S 6982 6984 6917 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136152089 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6989] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6989/stat : 6989 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6990] ppid=6982 vsize=915868 CPUtime=0.4
/proc/6984/task/6990/stat : 6990 (java) S 6982 6984 6917 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6991] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6991/stat : 6991 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=6992] ppid=6982 vsize=915868 CPUtime=0
/proc/6984/task/6992/stat : 6992 (java) S 6982 6984 6917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136152092 937848832 35415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915868

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

Child status: 143
Real time (s): 1808.11
CPU time (s): 1800.1
CPU user time (s): 1799.04
CPU system time (s): 1.05384
CPU usage (%): 99.5567
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.05384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35730
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= 38428
involuntary context switches= 51565

runsolver used 2.23966 s user time and 5.79812 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Jan  6 09:22:56 UTC 2007


IDJOB= 210926
IDBENCH= 4656
FILE ID= node5/210926-1168075374

PBS_JOBID= 3475804

Free space on /tmp= 66323 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2223c05bcff693a714e1d3bc9eac2823

RANDOM SEED= 652394308

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.240
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.240
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:       1205024 kB
Buffers:         55684 kB
Cached:         539180 kB
SwapCached:          0 kB
Active:         352528 kB
Inactive:       408880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1205024 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4608 kB
Writeback:           0 kB
Mapped:         195564 kB
Slab:            74140 kB
Committed_AS:  3987996 kB
PageTables:       2440 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= 66308 MiB



End job on node5 on Sat Jan  6 09:53:05 UTC 2007