Trace number 212780

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.08 1801.06

General information on the benchmark

NamepseudoSeries/
primesDimacs/hanoi4.xml
MD5SUM63d8a4e667e9df67ca231acecc60e095
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.94
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1436
Number of constraints5524
Maximum constraint arity7
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5524
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.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/212780-1168077283/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.49	     nbVariables=1436  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.49	       =>  wckTime=0.202  cpuTime=0.15  mem=9M844
0.49	   
0.49	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
1.22	     nbConstraints=4516  nbMergedConstraints=1008  nbSingletonDomainVariables=354  nbConvertedConstraints=2191
1.22	     nbConvertConstraintsChecks=335  nbExtensionStructures=13  nbSharedExtensionStructures=2178
1.22	     nbConflictsStructures=66  nbSharedConflictsStructures=4450  nbSharedBinaryRepresentations=32
1.22	     nbEvaluationManagers=53  nbSharedEvaluationManagers=2272  maxDegree=25  maxArity=7
1.22	       =>  wckTime=0.927  cpuTime=0.77  mem=40M75
1.30	   
1.30	   solver IterativeSystematicSolver being built... 
1.55	       =>  wckTime=1.263  cpuTime=0.99  mem=35M283
1.58	   
1.58	   preprocessing
1.58	     nbConstraintChecks=0  nbPropagations=1436  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.58	     detectedInconsistency=no
1.58	       =>  wckTime=0.021  cpuTime=0.01  mem=35M283
1.73	   
1.73	   search
1.73	     run=0  nbConstraintChecks=6319  nbValidityChecks=1281  nbPropagations=2560  nbRevisions=6366
1.73	     nbUselessRevisions=5210  nbAssignments=113  nbFailedAssignments=4  nbBacktracks=35  nbVisitedNodes=121
1.73	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
1.73	       =>  wckTime=0.169  cpuTime=0.12  mem=35M283
1.80	   
1.80	   search
1.80	     run=1  nbConstraintChecks=9626  nbValidityChecks=2915  nbPropagations=5873  nbRevisions=16880
1.80	     nbUselessRevisions=13816  nbAssignments=217  nbFailedAssignments=6  nbBacktracks=51  nbVisitedNodes=228
1.80	     nbRestartNogoods=2  mapSize=7  nbInferences=0  nbTooLargeKeys=0
1.80	       =>  wckTime=0.245  cpuTime=0.19  mem=35M283
1.89	   
1.89	   search
1.89	     run=2  nbConstraintChecks=13112  nbValidityChecks=4572  nbPropagations=9941  nbRevisions=31666
1.89	     nbUselessRevisions=25928  nbAssignments=335  nbFailedAssignments=8  nbBacktracks=95  nbVisitedNodes=350
1.89	     nbRestartNogoods=3  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.327  cpuTime=0.26  mem=35M283
1.98	   
1.98	   search
1.98	     run=3  nbConstraintChecks=18421  nbValidityChecks=7149  nbPropagations=15170  nbRevisions=53071
1.98	     nbUselessRevisions=43464  nbAssignments=471  nbFailedAssignments=12  nbBacktracks=143  nbVisitedNodes=493
1.98	     nbRestartNogoods=4  mapSize=16  nbInferences=0  nbTooLargeKeys=0
1.98	       =>  wckTime=0.419  cpuTime=0.36  mem=35M283
2.07	   
2.07	   search
2.07	     run=4  nbConstraintChecks=24158  nbValidityChecks=9546  nbPropagations=21554  nbRevisions=81497
2.07	     nbUselessRevisions=66832  nbAssignments=603  nbFailedAssignments=16  nbBacktracks=203  nbVisitedNodes=633
2.07	     nbRestartNogoods=5  mapSize=23  nbInferences=0  nbTooLargeKeys=0
2.07	       =>  wckTime=0.508  cpuTime=0.44  mem=35M283
2.20	   
2.20	   search
2.20	     run=5  nbConstraintChecks=34966  nbValidityChecks=14265  nbPropagations=30032  nbRevisions=123297
2.20	     nbUselessRevisions=101372  nbAssignments=766  nbFailedAssignments=23  nbBacktracks=283  nbVisitedNodes=811
2.20	     nbRestartNogoods=6  mapSize=37  nbInferences=0  nbTooLargeKeys=0
2.20	       =>  wckTime=0.641  cpuTime=0.57  mem=35M283
2.53	   
2.53	   search
2.53	     run=6  nbConstraintChecks=45656  nbValidityChecks=18003  nbPropagations=40378  nbRevisions=176986
2.53	     nbUselessRevisions=145902  nbAssignments=1059  nbFailedAssignments=31  nbBacktracks=406  nbVisitedNodes=1115
2.53	     nbRestartNogoods=7  mapSize=46  nbInferences=0  nbTooLargeKeys=0
2.53	       =>  wckTime=0.974  cpuTime=0.9  mem=36M257
2.91	   
2.91	   search
2.91	     run=7  nbConstraintChecks=57214  nbValidityChecks=22268  nbPropagations=52766  nbRevisions=243667
2.91	     nbUselessRevisions=201267  nbAssignments=1396  nbFailedAssignments=43  nbBacktracks=586  nbVisitedNodes=1473
2.91	     nbRestartNogoods=9  mapSize=66  nbInferences=0  nbTooLargeKeys=0
2.91	       =>  wckTime=1.347  cpuTime=1.27  mem=36M257
3.40	   
3.40	   search
3.40	     run=8  nbConstraintChecks=75074  nbValidityChecks=29016  nbPropagations=68297  nbRevisions=330398
3.40	     nbUselessRevisions=273360  nbAssignments=1847  nbFailedAssignments=63  nbBacktracks=845  nbVisitedNodes=1957
3.40	     nbRestartNogoods=10  mapSize=96  nbInferences=0  nbTooLargeKeys=0
3.40	       =>  wckTime=1.839  cpuTime=1.75  mem=36M257
3.96	   
3.96	   search
3.96	     run=9  nbConstraintChecks=97170  nbValidityChecks=37133  nbPropagations=87524  nbRevisions=442085
3.96	     nbUselessRevisions=366396  nbAssignments=2424  nbFailedAssignments=86  nbBacktracks=1236  nbVisitedNodes=2580
3.96	     nbRestartNogoods=13  mapSize=138  nbInferences=0  nbTooLargeKeys=0
3.96	       =>  wckTime=2.398  cpuTime=2.31  mem=36M257
4.64	   
4.64	   search
4.64	     run=10  nbConstraintChecks=172489  nbValidityChecks=71011  nbPropagations=121222  nbRevisions=650411
4.64	     nbUselessRevisions=540619  nbAssignments=3175  nbFailedAssignments=154  nbBacktracks=1816  nbVisitedNodes=3449
4.64	     nbRestartNogoods=17  mapSize=251  nbInferences=0  nbTooLargeKeys=0
4.64	       =>  wckTime=3.085  cpuTime=2.98  mem=37M231
5.90	   
5.90	   search
5.90	     run=11  nbConstraintChecks=221194  nbValidityChecks=94063  nbPropagations=164953  nbRevisions=918530
5.90	     nbUselessRevisions=764401  nbAssignments=4249  nbFailedAssignments=187  nbBacktracks=2692  nbVisitedNodes=4605
5.90	     nbRestartNogoods=22  mapSize=328  nbInferences=0  nbTooLargeKeys=0
5.90	       =>  wckTime=4.337  cpuTime=4.23  mem=37M231
7.47	   
7.47	   search
7.47	     run=12  nbConstraintChecks=320099  nbValidityChecks=143961  nbPropagations=228827  nbRevisions=1313308
7.47	     nbUselessRevisions=1093928  nbAssignments=5771  nbFailedAssignments=262  nbBacktracks=3990  nbVisitedNodes=6265
7.47	     nbRestartNogoods=27  mapSize=460  nbInferences=0  nbTooLargeKeys=0
7.47	       =>  wckTime=5.912  cpuTime=5.81  mem=38M205
9.89	   
9.89	   search
9.89	     run=13  nbConstraintChecks=449498  nbValidityChecks=207869  nbPropagations=319557  nbRevisions=1875380
9.89	     nbUselessRevisions=1562690  nbAssignments=8027  nbFailedAssignments=397  nbBacktracks=5974  nbVisitedNodes=8776
9.89	     nbRestartNogoods=33  mapSize=710  nbInferences=0  nbTooLargeKeys=0
9.89	       =>  wckTime=8.331  cpuTime=8.22  mem=39M179
13.09	   
13.09	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=40M153)
13.43	   
13.43	   search
13.43	     run=14  nbConstraintChecks=844891  nbValidityChecks=418345  nbPropagations=494131  nbRevisions=2973544
13.43	     nbUselessRevisions=2480070  nbAssignments=11281  nbFailedAssignments=626  nbBacktracks=8907  nbVisitedNodes=12433
13.43	     nbRestartNogoods=38
13.43	       =>  wckTime=11.874  cpuTime=11.77  mem=40M153
15.34	   
15.34	   search
15.34	     run=15  nbConstraintChecks=1288234  nbValidityChecks=648764  nbPropagations=759944  nbRevisions=4667278
15.34	     nbUselessRevisions=3895640  nbAssignments=16068  nbFailedAssignments=993  nbBacktracks=13295  nbVisitedNodes=17906
15.34	     nbRestartNogoods=43
15.34	       =>  wckTime=13.781  cpuTime=13.67  mem=40M153
18.31	   
18.31	   search
18.31	     run=16  nbConstraintChecks=2071556  nbValidityChecks=1037389  nbPropagations=1176304  nbRevisions=7431777
18.31	     nbUselessRevisions=6222455  nbAssignments=23360  nbFailedAssignments=1578  nbBacktracks=19865  nbVisitedNodes=26298
18.31	     nbRestartNogoods=46
18.31	       =>  wckTime=16.749  cpuTime=16.62  mem=40M153
22.74	   
22.74	   search
22.74	     run=17  nbConstraintChecks=3201577  nbValidityChecks=1617243  nbPropagations=1822798  nbRevisions=11815188
22.74	     nbUselessRevisions=9924983  nbAssignments=34090  nbFailedAssignments=2342  nbBacktracks=29740  nbVisitedNodes=38383
22.74	     nbRestartNogoods=58
22.74	       =>  wckTime=21.18  cpuTime=21.05  mem=40M153
29.63	   
29.63	   search
29.63	     run=18  nbConstraintChecks=5120558  nbValidityChecks=2584386  nbPropagations=2842028  nbRevisions=18908789
29.63	     nbUselessRevisions=15943939  nbAssignments=50293  nbFailedAssignments=3635  nbBacktracks=44538
29.63	     nbVisitedNodes=57031  nbRestartNogoods=66
29.63	       =>  wckTime=28.07  cpuTime=27.93  mem=40M153
38.98	   
38.98	   search
38.98	     run=19  nbConstraintChecks=7261764  nbValidityChecks=3694476  nbPropagations=4298397  nbRevisions=29092233
38.98	     nbUselessRevisions=24590510  nbAssignments=74032  nbFailedAssignments=5066  nbBacktracks=66720
38.98	     nbVisitedNodes=83506  nbRestartNogoods=72
38.98	       =>  wckTime=37.417  cpuTime=37.27  mem=40M153
53.52	   
53.52	   search
53.52	     run=20  nbConstraintChecks=10965771  nbValidityChecks=5563603  nbPropagations=6481105  nbRevisions=44580477
53.52	     nbUselessRevisions=37768677  nbAssignments=110499  nbFailedAssignments=8232  nbBacktracks=99975
53.52	     nbVisitedNodes=125523  nbRestartNogoods=85
53.52	       =>  wckTime=51.965  cpuTime=51.81  mem=40M153
76.67	   
76.67	   search
76.67	     run=21  nbConstraintChecks=17280701  nbValidityChecks=8768626  nbPropagations=9927422  nbRevisions=69088507
76.67	     nbUselessRevisions=58635726  nbAssignments=164860  nbFailedAssignments=12612  nbBacktracks=149856
76.67	     nbVisitedNodes=188027  nbRestartNogoods=94
76.67	       =>  wckTime=75.109  cpuTime=74.92  mem=40M153
111.01	   
111.01	   search
111.01	     run=22  nbConstraintChecks=26298490  nbValidityChecks=13448576  nbPropagations=15247682  nbRevisions=106470663
111.01	     nbUselessRevisions=90414757  nbAssignments=244875  nbFailedAssignments=17705  nbBacktracks=224698
111.01	     nbVisitedNodes=277425  nbRestartNogoods=104
111.01	       =>  wckTime=109.451  cpuTime=109.23  mem=41M127
158.32	   
158.32	   search
158.32	     run=23  nbConstraintChecks=37215426  nbValidityChecks=19151737  nbPropagations=22787750  nbRevisions=159416104
158.32	     nbUselessRevisions=135419128  nbAssignments=364750  nbFailedAssignments=25237  nbBacktracks=336935
158.32	     nbVisitedNodes=410089  nbRestartNogoods=116
158.32	       =>  wckTime=156.757  cpuTime=156.49  mem=41M127
225.68	   
225.68	   search
225.68	     run=24  nbConstraintChecks=52083808  nbValidityChecks=26673198  nbPropagations=33289987  nbRevisions=233502795
225.68	     nbUselessRevisions=198436972  nbAssignments=543563  nbFailedAssignments=35596  nbBacktracks=505308
225.68	     nbVisitedNodes=607136  nbRestartNogoods=123
225.68	       =>  wckTime=224.126  cpuTime=223.81  mem=41M127
333.23	   
333.23	   search
333.23	     run=25  nbConstraintChecks=78155600  nbValidityChecks=40233680  nbPropagations=49213078  nbRevisions=345259770
333.23	     nbUselessRevisions=293441976  nbAssignments=814259  nbFailedAssignments=53678  nbBacktracks=757841
333.23	     nbVisitedNodes=909010  nbRestartNogoods=131
333.23	       =>  wckTime=331.675  cpuTime=331.33  mem=41M127
498.23	   
498.23	   search
498.23	     run=26  nbConstraintChecks=119860047  nbValidityChecks=61733417  nbPropagations=73748809  nbRevisions=516137974
498.23	     nbUselessRevisions=438493067  nbAssignments=1219013  nbFailedAssignments=79539  nbBacktracks=1136659
498.23	     nbVisitedNodes=1361641  nbRestartNogoods=142
498.23	       =>  wckTime=496.668  cpuTime=496.27  mem=41M127
758.48	   
758.48	   search
758.48	     run=27  nbConstraintChecks=188680975  nbValidityChecks=97586528  nbPropagations=112565712  nbRevisions=785874133
758.48	     nbUselessRevisions=667426785  nbAssignments=1827359  nbFailedAssignments=119626  nbBacktracks=1704829
758.48	     nbVisitedNodes=2042202  nbRestartNogoods=149
758.49	       =>  wckTime=756.926  cpuTime=756.45  mem=41M127
1125.20	   
1125.20	   search
1125.20	     run=28  nbConstraintChecks=276565805  nbValidityChecks=143620297  nbPropagations=169580332  nbRevisions=1181868948
1125.20	     nbUselessRevisions=1003517042  nbAssignments=2739229  nbFailedAssignments=179180  nbBacktracks=2557059
1125.20	     nbVisitedNodes=3064751  nbRestartNogoods=164
1125.20	       =>  wckTime=1123.639  cpuTime=1122.98  mem=41M127
1682.60	   
1682.60	   search
1682.60	     run=29  nbConstraintChecks=413932110  nbValidityChecks=215368648  nbPropagations=255317612  nbRevisions=1775422604
1682.60	     nbUselessRevisions=1507017298  nbAssignments=4106857  nbFailedAssignments=268318  nbBacktracks=3835419
1682.60	     nbVisitedNodes=4595961  nbRestartNogoods=177
1682.60	       =>  wckTime=1681.042  cpuTime=1680.04  mem=41M127

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/node47/watcher-212780-1168077283 -o ROOT/results/node47/solver-212780-1168077283 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212780-1168077283/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: 2.01 2.02 1.95 3/80 2965
/proc/meminfo: memFree=1644512/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=172 CPUtime=0
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156127571 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10518827 0 0 4096 0 0 0 0 17 0 0 0
/proc/2964/statm: 43 24 18 14 0 3 0

[startup+0.107468 s]
/proc/loadavg: 2.01 2.02 1.95 3/80 2965
/proc/meminfo: memFree=1644512/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=914988 CPUtime=0.08
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 3074 0 1 0 7 1 0 0 24 0 8 0 156127571 936947712 2820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515514 s]
/proc/loadavg: 2.01 2.02 1.95 3/80 2965
/proc/meminfo: memFree=1644512/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915328 CPUtime=0.49
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 6809 0 1 0 45 4 0 0 25 0 8 0 156127571 937295872 6548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228832 6548 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3366 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 2972
/proc/meminfo: memFree=1598248/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=1.31
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15683 0 1 0 105 26 0 0 25 0 8 0 156127571 937697280 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15420 2398 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 943 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.18
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 429 0 0 0 18 0 0 0 15 0 8 0 156127578 937697280 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915720

[startup+2.98678 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 2972
/proc/meminfo: memFree=1591656/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=2.96
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15925 0 1 0 268 28 0 0 25 0 8 0 156127571 937697280 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027387 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15660 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 17 0 8 0 156127575 937697280 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.3
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 496 0 0 0 29 1 0 0 16 0 8 0 156127578 937697280 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915720

[startup+6.28313 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 2972
/proc/meminfo: memFree=1591464/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=6.26
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15939 0 1 0 598 28 0 0 25 0 8 0 156127571 937697280 15671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037586 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15671 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 17 0 8 0 156127575 937697280 15671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.32
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 507 0 0 0 31 1 0 0 16 0 8 0 156127578 937697280 15671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915720

[startup+12.7608 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 2972
/proc/meminfo: memFree=1591472/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=12.73
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15942 0 1 0 1245 28 0 0 25 0 8 0 156127571 937697280 15672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074016850 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15672 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.32
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 508 0 0 0 31 1 0 0 16 0 8 0 156127578 937697280 15672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915720

[startup+25.6032 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 2972
/proc/meminfo: memFree=1591600/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=25.55
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15945 0 1 0 2527 28 0 0 25 0 8 0 156127571 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074042666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15673 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 510 0 0 0 32 1 0 0 17 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915720

[startup+51.2049 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 2972
/proc/meminfo: memFree=1591600/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=51.13
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15945 0 1 0 5085 28 0 0 25 0 8 0 156127571 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074034468 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15673 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 510 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915720

[startup+102.502 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 2972
/proc/meminfo: memFree=1591664/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=102.38
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15945 0 1 0 10210 28 0 0 25 0 8 0 156127571 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097257 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15673 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 510 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915720

[startup+162.547 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 2972
/proc/meminfo: memFree=1591728/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=162.35
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15948 0 1 0 16207 28 0 0 25 0 8 0 156127571 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074039210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 915720

[startup+1482.86 s]
/proc/loadavg: 1.00 1.01 1.22 2/72 3300
/proc/meminfo: memFree=1714480/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=1482.06
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15948 0 1 0 148153 53 0 0 25 0 8 0 156127571 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074034519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15675 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 915720

[startup+1542.87 s]
/proc/loadavg: 1.00 1.00 1.20 2/72 3300
/proc/meminfo: memFree=1714480/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=1542.04
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15948 0 1 0 154151 53 0 0 25 0 8 0 156127571 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037742 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15675 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 915720

[startup+1602.88 s]
/proc/loadavg: 1.00 1.00 1.18 2/72 3300
/proc/meminfo: memFree=1714544/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=1602
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15948 0 1 0 160147 53 0 0 25 0 8 0 156127571 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15675 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 915720

[startup+1662.9 s]
/proc/loadavg: 1.00 1.00 1.17 2/72 3300
/proc/meminfo: memFree=1714544/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=1661.99
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15948 0 1 0 166146 53 0 0 25 0 8 0 156127571 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15675 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 915720

[startup+1722.91 s]
/proc/loadavg: 1.00 1.00 1.16 2/72 3300
/proc/meminfo: memFree=1714608/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=1721.97
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15948 0 1 0 172144 53 0 0 25 0 8 0 156127571 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15675 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 915720

[startup+1782.92 s]
/proc/loadavg: 1.07 1.02 1.15 2/72 3300
/proc/meminfo: memFree=1714608/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=1781.94
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15948 0 1 0 178141 53 0 0 25 0 8 0 156127571 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15675 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 915720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.02 s]
/proc/loadavg: 1.06 1.01 1.15 2/72 3300
/proc/meminfo: memFree=1714608/2055920 swapFree=4192812/4192956
[pid=2964] ppid=2962 vsize=915720 CPUtime=1800.03
/proc/2964/stat : 2964 (java) R 2962 2964 2566 0 -1 0 15948 0 1 0 179950 53 0 0 25 0 8 0 156127571 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074015855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2964/statm: 228930 15675 2533 14 0 215400 0
[pid=2964/tid=2966] ppid=2962 vsize=915720 CPUtime=0.07
/proc/2964/task/2966/stat : 2966 (java) S 2962 2964 2566 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2967] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2967/stat : 2967 (java) S 2962 2964 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2968] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2968/stat : 2968 (java) S 2962 2964 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127575 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2969] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2969/stat : 2969 (java) S 2962 2964 2566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2970] ppid=2962 vsize=915720 CPUtime=0.33
/proc/2964/task/2970/stat : 2970 (java) S 2962 2964 2566 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2971] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2971/stat : 2971 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2964/tid=2972] ppid=2962 vsize=915720 CPUtime=0
/proc/2964/task/2972/stat : 2972 (java) S 2962 2964 2566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156127578 937697280 15675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915720

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

Child status: 143
Real time (s): 1801.06
CPU time (s): 1800.08
CPU user time (s): 1799.53
CPU system time (s): 0.550916
CPU usage (%): 99.9456
Max. virtual memory (cumulated for all children) (KiB): 915816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.550916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15964
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= 38090
involuntary context switches= 43566

runsolver used 2.01469 s user time and 4.52131 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Jan  6 09:54:43 UTC 2007


IDJOB= 212780
IDBENCH= 4797
FILE ID= node47/212780-1168077283

PBS_JOBID= 3476045

Free space on /tmp= 66531 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  63d8a4e667e9df67ca231acecc60e095

RANDOM SEED= 363379687

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:       1644992 kB
Buffers:         27016 kB
Cached:         176304 kB
SwapCached:          0 kB
Active:         187728 kB
Inactive:       151280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644992 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2384 kB
Writeback:           0 kB
Mapped:         155936 kB
Slab:            57028 kB
Committed_AS:  3605604 kB
PageTables:       2100 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= 66533 MiB



End job on node47 on Sat Jan  6 10:24:44 UTC 2007