Trace number 238662

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.23 1808.18

General information on the benchmark

NameblackHole/BH-4-7/
BlackHole-4-7-h-5_ext.xml
MD5SUM70077fec9d8f4e4d0f96094f9edfe278
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Maximum constraint arity2
Maximum domain size28
Number of constraints which are defined in extension1262
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/238662-1168083501/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=112  nbDomainTypes=4  minDomainSize=1  maxDomainSize=28
0.43	       =>  wckTime=0.115  cpuTime=0.1  mem=6M951
0.43	   
0.43	   relations being loaded...
0.45	   
0.45	   constraints being loaded...
0.65	     nbConstraints=1261  nbRelationTypes=9  nbSingletonDomainVariables=3  nbDisconnectedVariables=1
0.65	     nbExtensionStructures=9  nbSharedExtensionStructures=1252  nbConflictsStructures=9
0.65	     nbSharedConflictsStructures=1252  nbSharedBinaryRepresentations=204  maxDegree=56  maxArity=2
0.65	       =>  wckTime=0.331  cpuTime=0.24  mem=11M860
0.69	   
0.69	   solver IterativeSystematicSolver being built... 
0.86	       =>  wckTime=0.539  cpuTime=0.37  mem=15M66
0.89	   
0.89	   preprocessing
0.89	     nbConstraintChecks=47363  nbPropagations=131  nbRevisions=2013  nbUselessRevisions=1845  nbRemovedValues=280
0.89	     detectedInconsistency=no
0.89	       =>  wckTime=0.025  cpuTime=0.01  mem=15M66
0.95	   
0.95	   search
0.95	     run=0  nbConstraintChecks=389022  nbPropagations=1307  nbRevisions=19740  nbUselessRevisions=18101
0.95	     nbAssignments=37  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=51  nbRestartNogoods=0  mapSize=10
0.95	     nbInferences=1  nbTooLargeKeys=0
0.95	       =>  wckTime=0.093  cpuTime=0.05  mem=15M66
0.98	   
0.98	   search
0.98	     run=1  nbConstraintChecks=722460  nbPropagations=3567  nbRevisions=54547  nbUselessRevisions=50133
0.98	     nbAssignments=79  nbFailedAssignments=13  nbBacktracks=26  nbVisitedNodes=108  nbRestartNogoods=2  mapSize=24
0.98	     nbInferences=2  nbTooLargeKeys=0
0.98	       =>  wckTime=0.121  cpuTime=0.08  mem=15M66
1.02	   
1.02	   search
1.02	     run=2  nbConstraintChecks=1218891  nbPropagations=7400  nbRevisions=112190  nbUselessRevisions=103030
1.02	     nbAssignments=140  nbFailedAssignments=26  nbBacktracks=52  nbVisitedNodes=198  nbRestartNogoods=3  mapSize=47
1.02	     nbInferences=7  nbTooLargeKeys=0
1.02	       =>  wckTime=0.156  cpuTime=0.11  mem=15M66
1.05	   
1.05	   search
1.05	     run=3  nbConstraintChecks=1651870  nbPropagations=12438  nbRevisions=189611  nbUselessRevisions=174348
1.05	     nbAssignments=216  nbFailedAssignments=46  nbBacktracks=87  nbVisitedNodes=318  nbRestartNogoods=4  mapSize=82
1.05	     nbInferences=11  nbTooLargeKeys=0
1.05	       =>  wckTime=0.185  cpuTime=0.14  mem=15M66
1.10	   
1.10	   search
1.10	     run=4  nbConstraintChecks=2409144  nbPropagations=20013  nbRevisions=302775  nbUselessRevisions=278066
1.10	     nbAssignments=335  nbFailedAssignments=85  nbBacktracks=137  nbVisitedNodes=511  nbRestartNogoods=5  mapSize=127
1.10	     nbInferences=21  nbTooLargeKeys=0
1.10	       =>  wckTime=0.238  cpuTime=0.19  mem=15M66
1.17	   
1.17	   search
1.17	     run=5  nbConstraintChecks=3288712  nbPropagations=30663  nbRevisions=457512  nbUselessRevisions=419416
1.17	     nbAssignments=481  nbFailedAssignments=124  nbBacktracks=212  nbVisitedNodes=740  nbRestartNogoods=10  mapSize=183
1.17	     nbInferences=33  nbTooLargeKeys=0
1.17	       =>  wckTime=0.305  cpuTime=0.25  mem=15M66
1.26	   
1.26	   search
1.26	     run=6  nbConstraintChecks=4704174  nbPropagations=46787  nbRevisions=680840  nbUselessRevisions=622078
1.26	     nbAssignments=715  nbFailedAssignments=191  nbBacktracks=325  nbVisitedNodes=1124  nbRestartNogoods=16  mapSize=267
1.26	     nbInferences=65  nbTooLargeKeys=0
1.26	       =>  wckTime=0.401  cpuTime=0.34  mem=15M66
1.38	   
1.38	   search
1.38	     run=7  nbConstraintChecks=6370181  nbPropagations=69694  nbRevisions=985237  nbUselessRevisions=897580
1.38	     nbAssignments=1039  nbFailedAssignments=279  nbBacktracks=497  nbVisitedNodes=1664  nbRestartNogoods=22
1.38	     mapSize=404  nbInferences=113  nbTooLargeKeys=0
1.38	       =>  wckTime=0.516  cpuTime=0.46  mem=15M66
1.58	   
1.58	   search
1.58	     run=8  nbConstraintChecks=9326789  nbPropagations=103568  nbRevisions=1432501  nbUselessRevisions=1301366
1.58	     nbAssignments=1562  nbFailedAssignments=445  nbBacktracks=755  nbVisitedNodes=2551  nbRestartNogoods=25
1.58	     mapSize=639  nbInferences=192  nbTooLargeKeys=0
1.58	       =>  wckTime=0.721  cpuTime=0.64  mem=15M66
1.79	   
1.79	   search
1.79	     run=9  nbConstraintChecks=12575469  nbPropagations=149854  nbRevisions=2037799  nbUselessRevisions=1847746
1.79	     nbAssignments=2233  nbFailedAssignments=653  nbBacktracks=1141  nbVisitedNodes=3664  nbRestartNogoods=30
1.79	     mapSize=973  nbInferences=248  nbTooLargeKeys=0
1.79	       =>  wckTime=0.925  cpuTime=0.85  mem=16M41
2.12	   
2.12	   search
2.12	     run=10  nbConstraintChecks=18016883  nbPropagations=217881  nbRevisions=2909081  nbUselessRevisions=2632614
2.12	     nbAssignments=3256  nbFailedAssignments=1024  nbBacktracks=1718  nbVisitedNodes=5387  nbRestartNogoods=35
2.12	     mapSize=1462  nbInferences=304  nbTooLargeKeys=0
2.12	       =>  wckTime=1.26  cpuTime=1.17  mem=16M41
2.55	   
2.55	   search
2.55	     run=11  nbConstraintChecks=24966827  nbPropagations=313222  nbRevisions=4123516  nbUselessRevisions=3727260
2.55	     nbAssignments=4877  nbFailedAssignments=1470  nbBacktracks=2583  nbVisitedNodes=8037  nbRestartNogoods=43
2.55	     mapSize=2120  nbInferences=587  nbTooLargeKeys=0
2.55	       =>  wckTime=1.689  cpuTime=1.59  mem=16M41
3.35	   
3.35	   search
3.35	     run=12  nbConstraintChecks=38407097  nbPropagations=465912  nbRevisions=5994930  nbUselessRevisions=5408728
3.35	     nbAssignments=7362  nbFailedAssignments=2130  nbBacktracks=3880  nbVisitedNodes=12107  nbRestartNogoods=49
3.35	     mapSize=3119  nbInferences=1086  nbTooLargeKeys=0
3.35	       =>  wckTime=2.494  cpuTime=2.39  mem=17M16
4.14	   
4.14	   search
4.14	     run=13  nbConstraintChecks=51213486  nbPropagations=666343  nbRevisions=8497812  nbUselessRevisions=7664229
4.14	     nbAssignments=10671  nbFailedAssignments=2899  nbBacktracks=5827  nbVisitedNodes=17368  nbRestartNogoods=54
4.14	     mapSize=4462  nbInferences=1656  nbTooLargeKeys=0
4.14	       =>  wckTime=3.277  cpuTime=3.17  mem=17M16
5.13	   
5.13	   search
5.13	     run=14  nbConstraintChecks=66579180  nbPropagations=905763  nbRevisions=11738564  nbUselessRevisions=10613467
5.13	     nbAssignments=15775  nbFailedAssignments=4183  nbBacktracks=8749  nbVisitedNodes=25718  nbRestartNogoods=66
5.13	     mapSize=6724  nbInferences=2532  nbTooLargeKeys=0
5.13	       =>  wckTime=4.273  cpuTime=4.16  mem=17M991
7.49	   
7.49	   search
7.49	     run=15  nbConstraintChecks=104295071  nbPropagations=1300880  nbRevisions=16865037  nbUselessRevisions=15251171
7.49	     nbAssignments=23788  nbFailedAssignments=6595  nbBacktracks=13127  nbVisitedNodes=38971  nbRestartNogoods=71
7.49	     mapSize=9901  nbInferences=3734  nbTooLargeKeys=0
7.49	       =>  wckTime=6.632  cpuTime=6.5  mem=19M942
11.03	   
11.03	   search
11.03	     run=16  nbConstraintChecks=159496771  nbPropagations=1906934  nbRevisions=24710582  nbUselessRevisions=22353314
11.03	     nbAssignments=36249  nbFailedAssignments=9280  nbBacktracks=19698  nbVisitedNodes=59427  nbRestartNogoods=77
11.03	     mapSize=14806  nbInferences=6919  nbTooLargeKeys=0
11.03	       =>  wckTime=10.171  cpuTime=10.03  mem=22M867
16.75	   
16.75	   search
16.75	     run=17  nbConstraintChecks=249766102  nbPropagations=2904950  nbRevisions=37040888  nbUselessRevisions=33469985
16.75	     nbAssignments=53766  nbFailedAssignments=12952  nbBacktracks=29550  nbVisitedNodes=87350  nbRestartNogoods=86
16.75	     mapSize=22102  nbInferences=10889  nbTooLargeKeys=0
16.75	       =>  wckTime=15.885  cpuTime=15.72  mem=25M793
22.05	   
22.05	   search
22.05	     run=18  nbConstraintChecks=330488276  nbPropagations=4205709  nbRevisions=53373996  nbUselessRevisions=48239890
22.05	     nbAssignments=78088  nbFailedAssignments=16843  nbBacktracks=44330  nbVisitedNodes=124139  nbRestartNogoods=93
22.05	     mapSize=30915  nbInferences=16521  nbTooLargeKeys=0
22.05	       =>  wckTime=21.191  cpuTime=20.99  mem=31M644
31.23	   
31.23	   search
31.23	     run=19  nbConstraintChecks=473057082  nbPropagations=6034034  nbRevisions=76701049  nbUselessRevisions=69368741
31.23	     nbAssignments=116523  nbFailedAssignments=23749  nbBacktracks=66501  nbVisitedNodes=184543  nbRestartNogoods=109
31.23	     mapSize=46101  nbInferences=25857  nbTooLargeKeys=0
31.23	       =>  wckTime=30.365  cpuTime=30.12  mem=39M445
45.57	   
45.57	   search
45.57	     run=20  nbConstraintChecks=693444943  nbPropagations=8615121  nbRevisions=110826829  nbUselessRevisions=100439003
45.57	     nbAssignments=176676  nbFailedAssignments=35352  nbBacktracks=99754  nbVisitedNodes=281028  nbRestartNogoods=115
45.57	     mapSize=68959  nbInferences=41135  nbTooLargeKeys=0
45.57	       =>  wckTime=44.708  cpuTime=44.29  mem=23M473
70.29	   
70.29	   search
70.29	     run=21  nbConstraintChecks=1072023090  nbPropagations=12656824  nbRevisions=163745097  nbUselessRevisions=148555489
70.29	     nbAssignments=271230  nbFailedAssignments=52368  nbBacktracks=149634  nbVisitedNodes=433077  nbRestartNogoods=123
70.29	     mapSize=105363  nbInferences=68762  nbTooLargeKeys=0
70.29	       =>  wckTime=69.428  cpuTime=68.89  mem=43M421
104.53	   
104.53	   search
104.53	     run=22  nbConstraintChecks=1608657046  nbPropagations=18818204  nbRevisions=243023054  nbUselessRevisions=220613697
104.53	     nbAssignments=406249  nbFailedAssignments=66722  nbBacktracks=224457  nbVisitedNodes=638855  nbRestartNogoods=136
104.53	     mapSize=152504  nbInferences=114588  nbTooLargeKeys=0
104.53	       =>  wckTime=103.671  cpuTime=102.79  mem=48M383
149.00	   
149.00	   search
149.00	     run=23  nbConstraintChecks=2294120993  nbPropagations=27754371  nbRevisions=356356652  nbUselessRevisions=323594399
149.00	     nbAssignments=598269  nbFailedAssignments=89250  nbBacktracks=336684  nbVisitedNodes=928890  nbRestartNogoods=140
149.00	     mapSize=224581  nbInferences=171826  nbTooLargeKeys=0
149.00	       =>  wckTime=148.144  cpuTime=147.06  mem=92M203
215.34	   
215.34	   search
215.34	     run=24  nbConstraintChecks=3306607975  nbPropagations=39694857  nbRevisions=518668334  nbUselessRevisions=472369097
215.34	     nbAssignments=925291  nbFailedAssignments=132374  nbBacktracks=505025  nbVisitedNodes=1448485  nbRestartNogoods=156
215.34	     mapSize=341962  nbInferences=287358  nbTooLargeKeys=0
215.34	       =>  wckTime=214.48  cpuTime=212.75  mem=109M232
338.74	   
338.74	   search
338.74	     run=25  nbConstraintChecks=5262437870  nbPropagations=59601594  nbRevisions=777184740  nbUselessRevisions=708114308
338.74	     nbAssignments=1366069  nbFailedAssignments=195533  nbBacktracks=757536  nbVisitedNodes=2126687
338.74	     nbRestartNogoods=174  mapSize=500718  nbInferences=412446  nbTooLargeKeys=0
338.74	       =>  wckTime=337.878  cpuTime=335.2  mem=160M184
558.52	   
558.52	   search
558.52	     run=26  nbConstraintChecks=8729261783  nbPropagations=91011469  nbRevisions=1202208125
558.52	     nbUselessRevisions=1097276210  nbAssignments=2186834  nbFailedAssignments=313039  nbBacktracks=1136306
558.52	     nbVisitedNodes=3481467  nbRestartNogoods=189  mapSize=824871  nbInferences=736911  nbTooLargeKeys=0
558.52	       =>  wckTime=557.663  cpuTime=553.18  mem=250M488
1001.53	   
1001.53	   search
1001.53	     run=27  nbConstraintChecks=15958487311  nbPropagations=152661319  nbRevisions=1980385884
1001.53	     nbUselessRevisions=1803426836  nbAssignments=3350161  nbFailedAssignments=536135  nbBacktracks=1704459
1001.53	     nbVisitedNodes=5391851  nbRestartNogoods=199  mapSize=1264225  nbInferences=1108970  nbTooLargeKeys=0
1001.53	       =>  wckTime=1000.666  cpuTime=993.13  mem=382M53
1462.78	   
1462.78	   INFO : Stopping hyperNogood (mapSize=1893530, nbTooLargekeys=0, mem=600M411)
1481.87	   
1481.87	   search
1481.87	     run=28  nbConstraintChecks=23482096612  nbPropagations=237448796  nbRevisions=3121297956
1481.87	     nbUselessRevisions=2847543642  nbAssignments=5214557  nbFailedAssignments=787702  nbBacktracks=2556685
1481.87	     nbVisitedNodes=8466595  nbRestartNogoods=203
1481.87	       =>  wckTime=1481.011  cpuTime=1469.46  mem=600M411
1765.80	   
1765.80	   search
1765.80	     run=29  nbConstraintChecks=28164378458  nbPropagations=337580407  nbRevisions=4496502780
1765.80	     nbUselessRevisions=4106524430  nbAssignments=6986920  nbFailedAssignments=1281705  nbBacktracks=3835026
1765.80	     nbVisitedNodes=11167532  nbRestartNogoods=226
1765.80	       =>  wckTime=1764.936  cpuTime=1752.6  mem=600M411

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/node17/watcher-238662-1168083501 -o ROOT/results/node17/solver-238662-1168083501 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238662-1168083501/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.80 1.49 1.60 4/93 16215
/proc/meminfo: memFree=1559080/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=18540 CPUtime=0
/proc/16214/stat : 16214 (runsolver) R 16212 16214 16091 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156744895 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16214/statm: 4635 279 244 17 0 2626 0

[startup+0.10865 s]
/proc/loadavg: 1.80 1.49 1.60 4/93 16215
/proc/meminfo: memFree=1559080/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=914988 CPUtime=0.09
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 2996 0 1 0 7 2 0 0 19 0 8 0 156744895 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.520692 s]
/proc/loadavg: 1.80 1.49 1.60 4/93 16215
/proc/meminfo: memFree=1559080/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915328 CPUtime=0.5
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 6326 0 1 0 45 5 0 0 18 0 8 0 156744895 937295872 6065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228832 6065 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.35078 s]
/proc/loadavg: 1.82 1.50 1.60 3/100 16222
/proc/meminfo: memFree=1535152/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=1.32
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 8731 0 1 0 126 6 0 0 24 0 8 0 156744895 937525248 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 8469 2513 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=0.03
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156744900 937525248 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156744900 937525248 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.23
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 156744904 937525248 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 8469 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) 915552

[startup+2.98995 s]
/proc/loadavg: 1.82 1.50 1.60 3/100 16222
/proc/meminfo: memFree=1534320/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=2.95
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 8996 0 1 0 288 7 0 0 25 0 8 0 156744895 937525248 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 8732 2513 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=0.03
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 300 0 0 0 3 0 0 0 17 0 8 0 156744900 937525248 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156744900 937525248 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.26
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 156744904 937525248 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915552

[startup+6.26929 s]
/proc/loadavg: 1.83 1.50 1.60 3/100 16222
/proc/meminfo: memFree=1531568/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=6.21
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 9649 0 1 0 613 8 0 0 25 0 8 0 156744895 937525248 9384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 9384 2513 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=0.03
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156744900 937525248 9384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 9384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156744900 937525248 9384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 9384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.26
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 156744904 937525248 9384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 9384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 9384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915552

[startup+12.759 s]
/proc/loadavg: 1.85 1.51 1.61 3/100 16222
/proc/meminfo: memFree=1526896/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=12.67
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 10765 0 1 0 1258 9 0 0 25 0 8 0 156744895 937525248 10500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 10500 2513 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=0.03
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156744900 937525248 10500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 10500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156744900 937525248 10500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 10500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.26
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 156744904 937525248 10500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 10500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 10500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915552

[startup+25.6153 s]
/proc/loadavg: 1.87 1.53 1.61 3/100 16222
/proc/meminfo: memFree=1516464/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=25.47
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 13487 0 1 0 2537 10 0 0 25 0 8 0 156744895 937525248 13222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 13222 2513 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=0.03
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 300 0 0 0 3 0 0 0 16 0 8 0 156744900 937525248 13222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 13222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156744900 937525248 13222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 13222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 13222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 13222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 13222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915552

[startup+51.228 s]
/proc/loadavg: 1.98 1.59 1.63 3/100 16222
/proc/meminfo: memFree=1481648/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=50.96
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 22032 0 1 0 5082 14 0 0 25 0 8 0 156744895 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 21766 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=0.13
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 5033 0 0 0 11 2 0 0 16 0 8 0 156744900 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915552

[startup+102.444 s]
/proc/loadavg: 1.99 1.65 1.64 3/100 16222
/proc/meminfo: memFree=1453168/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=101.94
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 29133 0 1 0 10177 17 0 0 25 0 8 0 156744895 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852245 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 28866 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=0.31
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 12132 0 0 0 26 5 0 0 16 0 8 0 156744900 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) R 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915552

[startup+162.51 s]
/proc/loadavg: 2.13 1.74 1.67 3/100 16222
/proc/meminfo: memFree=1430128/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=161.72
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 34854 0 1 0 16152 20 0 0 25 0 8 0 156744895 937525248 34586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1417.03
Current children cumulated vsize (KiB) 915552

[startup+1483.93 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 16420
/proc/meminfo: memFree=941040/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=1476.77
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 154977 0 1 0 147599 78 0 0 25 0 8 0 156744895 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 154688 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=4.35
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 137954 0 0 0 383 52 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.77
Current children cumulated vsize (KiB) 915552

[startup+1543.99 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 16420
/proc/meminfo: memFree=940144/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=1536.55
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 154977 0 1 0 153576 79 0 0 25 0 8 0 156744895 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 154688 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=4.35
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 137954 0 0 0 383 52 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.55
Current children cumulated vsize (KiB) 915552

[startup+1604.04 s]
/proc/loadavg: 2.03 2.01 1.91 3/100 16420
/proc/meminfo: memFree=939952/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=1596.32
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 154977 0 1 0 159553 79 0 0 25 0 8 0 156744895 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16214/statm: 228888 154688 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=4.35
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 137954 0 0 0 383 52 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.32
Current children cumulated vsize (KiB) 915552

[startup+1664.09 s]
/proc/loadavg: 1.70 1.93 1.89 3/100 16478
/proc/meminfo: memFree=953720/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=1656.22
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 154977 0 1 0 165541 81 0 0 25 0 8 0 156744895 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16214/statm: 228888 154688 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=4.35
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 137954 0 0 0 383 52 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.22
Current children cumulated vsize (KiB) 915552

[startup+1724.13 s]
/proc/loadavg: 1.29 1.77 1.84 2/88 16556
/proc/meminfo: memFree=990992/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=1716.22
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 154977 0 1 0 171540 82 0 0 25 0 8 0 156744895 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16214/statm: 228888 154688 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=4.35
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 137954 0 0 0 383 52 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.22
Current children cumulated vsize (KiB) 915552

[startup+1784.17 s]
/proc/loadavg: 1.17 1.65 1.79 2/88 16579
/proc/meminfo: memFree=992912/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=1776.23
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 154977 0 1 0 177540 83 0 0 25 0 8 0 156744895 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16214/statm: 228888 154688 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=4.35
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 137954 0 0 0 383 52 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.23
Current children cumulated vsize (KiB) 915552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.03 s]
/proc/loadavg: 1.11 1.60 1.77 2/88 16579
/proc/meminfo: memFree=993040/2055920 swapFree=4192812/4192956
[pid=16214] ppid=16212 vsize=915552 CPUtime=1800.09
/proc/16214/stat : 16214 (java) R 16212 16214 16091 0 -1 0 154977 0 1 0 179925 84 0 0 25 0 8 0 156744895 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16214/statm: 228888 154688 2517 14 0 215358 0
[pid=16214/tid=16216] ppid=16212 vsize=915552 CPUtime=4.35
/proc/16214/task/16216/stat : 16216 (java) S 16212 16214 16091 0 -1 64 137954 0 0 0 383 52 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16217] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16217/stat : 16217 (java) S 16212 16214 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16218] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16218/stat : 16218 (java) S 16212 16214 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156744900 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16219] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16219/stat : 16219 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16220] ppid=16212 vsize=915552 CPUtime=0.27
/proc/16214/task/16220/stat : 16220 (java) S 16212 16214 16091 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16221] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16221/stat : 16221 (java) S 16212 16214 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156744904 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16214/tid=16222] ppid=16212 vsize=915552 CPUtime=0
/proc/16214/task/16222/stat : 16222 (java) S 16212 16214 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156744904 937525248 154688 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) 915552

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

Child status: 143
Real time (s): 1808.18
CPU time (s): 1800.23
CPU user time (s): 1799.3
CPU system time (s): 0.937857
CPU usage (%): 99.5608
Max. virtual memory (cumulated for all children) (KiB): 915552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.937857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154994
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= 37976
involuntary context switches= 107502

runsolver used 1.9627 s user time and 5.9351 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan  6 11:38:21 UTC 2007


IDJOB= 238662
IDBENCH= 7014
FILE ID= node17/238662-1168083501

PBS_JOBID= 3476276

Free space on /tmp= 66318 MiB

BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-h-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238662-1168083501/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-238662-1168083501 -o ROOT/results/node17/solver-238662-1168083501 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238662-1168083501/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  70077fec9d8f4e4d0f96094f9edfe278

RANDOM SEED= 384438285

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1559560 kB
Buffers:         47860 kB
Cached:         258276 kB
SwapCached:          0 kB
Active:         191172 kB
Inactive:       215864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1559560 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:         129996 kB
Slab:            74008 kB
Committed_AS:  4676612 kB
PageTables:       2380 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= 66319 MiB



End job on node17 on Sat Jan  6 12:08:31 UTC 2007