Trace number 237596

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 ESAC? (TO) 1800.17 1802.05

General information on the benchmark

Namehaystacks/
haystacks_27.xml
MD5SUMa51555354cf54c2b3cbd20e0fa17db14
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark40.1239
SatisfiableNO
(Un)Satisfiability was proved
Number of variables729
Number of constraints9503
Maximum constraint arity2
Maximum domain size27
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9503
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/237596-1168349423/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.50	     nbVariables=729  nbDomainTypes=1  minDomainSize=27  maxDomainSize=27
0.50	       =>  wckTime=0.178  cpuTime=0.13  mem=7M863
0.50	   
0.50	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
1.86	     nbConstraints=9503  nbConvertedConstraints=9503  nbConvertConstraintsChecks=2916  nbExtensionStructures=4
1.86	     nbSharedExtensionStructures=9499  nbConflictsStructures=4  nbSharedConflictsStructures=9499
1.86	     nbSharedBinaryRepresentations=161  maxDegree=27  maxArity=2
1.86	       =>  wckTime=1.533  cpuTime=1.29  mem=18M49
1.95	   
1.95	   solver IterativeSystematicSolver being built... 
2.17	       =>  wckTime=1.843  cpuTime=1.47  mem=23M129
2.52	   
2.52	   preprocessing
2.52	     nbConstraintChecks=263028  nbPropagations=14671  nbRevisions=14918  nbUselessRevisions=1655  nbSingletonTests=900
2.52	     nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.52	       =>  wckTime=0.351  cpuTime=0.31  mem=23M129
2.62	   
2.62	   search
2.62	     run=0  nbConstraintChecks=38162  nbPropagations=16512  nbRevisions=16805  nbUselessRevisions=1732  nbAssignments=92
2.62	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=113  nbRestartNogoods=0  mapSize=10  nbInferences=0
2.62	     nbTooLargeKeys=0
2.62	       =>  wckTime=0.448  cpuTime=0.4  mem=23M129
2.67	   
2.67	   search
2.67	     run=1  nbConstraintChecks=76264  nbPropagations=34909  nbRevisions=35539  nbUselessRevisions=3536
2.67	     nbAssignments=194  nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=243  nbRestartNogoods=4  mapSize=25
2.67	     nbInferences=0  nbTooLargeKeys=0
2.67	       =>  wckTime=0.5  cpuTime=0.45  mem=24M124
2.72	   
2.72	   search
2.72	     run=2  nbConstraintChecks=114580  nbPropagations=55256  nbRevisions=56276  nbUselessRevisions=5417
2.72	     nbAssignments=309  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=398  nbRestartNogoods=7  mapSize=47
2.72	     nbInferences=0  nbTooLargeKeys=0
2.72	       =>  wckTime=0.555  cpuTime=0.5  mem=24M124
2.79	   
2.79	   search
2.79	     run=3  nbConstraintChecks=153186  nbPropagations=77635  nbRevisions=79096  nbUselessRevisions=7375
2.79	     nbAssignments=443  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=587  nbRestartNogoods=12  mapSize=80
2.79	     nbInferences=1  nbTooLargeKeys=0
2.79	       =>  wckTime=0.616  cpuTime=0.56  mem=24M124
2.86	   
2.86	   search
2.86	     run=4  nbConstraintChecks=192160  nbPropagations=102180  nbRevisions=104128  nbUselessRevisions=9411
2.86	     nbAssignments=607  nbFailedAssignments=108  nbBacktracks=131  nbVisitedNodes=830  nbRestartNogoods=16  mapSize=131
2.86	     nbInferences=6  nbTooLargeKeys=0
2.86	       =>  wckTime=0.686  cpuTime=0.62  mem=25M119
2.94	   
2.94	   search
2.94	     run=5  nbConstraintChecks=231819  nbPropagations=129120  nbRevisions=131577  nbUselessRevisions=11525
2.94	     nbAssignments=819  nbFailedAssignments=157  nbBacktracks=206  nbVisitedNodes=1157  nbRestartNogoods=20  mapSize=206
2.94	     nbInferences=23  nbTooLargeKeys=0
2.94	       =>  wckTime=0.768  cpuTime=0.7  mem=25M119
3.04	   
3.04	   search
3.04	     run=6  nbConstraintChecks=272348  nbPropagations=158776  nbRevisions=161756  nbUselessRevisions=13720
3.04	     nbAssignments=1102  nbFailedAssignments=232  nbBacktracks=320  nbVisitedNodes=1612  nbRestartNogoods=22
3.04	     mapSize=320  nbInferences=45  nbTooLargeKeys=0
3.04	       =>  wckTime=0.874  cpuTime=0.81  mem=26M113
3.19	   
3.19	   search
3.19	     run=7  nbConstraintChecks=314174  nbPropagations=191647  nbRevisions=195126  nbUselessRevisions=15999
3.19	     nbAssignments=1494  nbFailedAssignments=339  nbBacktracks=490  nbVisitedNodes=2260  nbRestartNogoods=28
3.19	     mapSize=490  nbInferences=87  nbTooLargeKeys=0
3.19	       =>  wckTime=1.016  cpuTime=0.94  mem=27M108
3.37	   
3.37	   search
3.37	     run=8  nbConstraintChecks=358089  nbPropagations=228516  nbRevisions=232393  nbUselessRevisions=18366
3.37	     nbAssignments=2056  nbFailedAssignments=490  nbBacktracks=746  nbVisitedNodes=3207  nbRestartNogoods=36
3.37	     mapSize=746  nbInferences=170  nbTooLargeKeys=0
3.37	       =>  wckTime=1.201  cpuTime=1.12  mem=28M103
3.60	   
3.60	   search
3.60	     run=9  nbConstraintChecks=411133  nbPropagations=270460  nbRevisions=274769  nbUselessRevisions=20935
3.60	     nbAssignments=2823  nbFailedAssignments=734  nbBacktracks=1131  nbVisitedNodes=4537  nbRestartNogoods=43
3.60	     mapSize=1127  nbInferences=245  nbTooLargeKeys=0
3.60	       =>  wckTime=1.433  cpuTime=1.34  mem=30M92
3.90	   
3.90	   search
3.90	     run=10  nbConstraintChecks=507836  nbPropagations=319997  nbRevisions=325182  nbUselessRevisions=24001
3.90	     nbAssignments=3868  nbFailedAssignments=1100  nbBacktracks=1707  nbVisitedNodes=6349  nbRestartNogoods=48
3.90	     mapSize=1656  nbInferences=280  nbTooLargeKeys=0
3.90	       =>  wckTime=1.726  cpuTime=1.62  mem=32M81
4.40	   
4.40	   search
4.40	     run=11  nbConstraintChecks=630023  nbPropagations=383062  nbRevisions=388025  nbUselessRevisions=27519
4.40	     nbAssignments=5958  nbFailedAssignments=1469  nbBacktracks=2571  nbVisitedNodes=9936  nbRestartNogoods=51
4.40	     mapSize=2481  nbInferences=1040  nbTooLargeKeys=0
4.40	       =>  wckTime=2.23  cpuTime=2.12  mem=33M76
5.32	   
5.32	   search
5.32	     run=12  nbConstraintChecks=810687  nbPropagations=466211  nbRevisions=469660  nbUselessRevisions=31744
5.32	     nbAssignments=9017  nbFailedAssignments=2068  nbBacktracks=3869  nbVisitedNodes=15161  nbRestartNogoods=54
5.32	     mapSize=3728  nbInferences=2057  nbTooLargeKeys=0
5.32	       =>  wckTime=3.149  cpuTime=3.04  mem=41M33
6.85	   
6.85	   search
6.85	     run=13  nbConstraintChecks=1050077  nbPropagations=580642  nbRevisions=579381  nbUselessRevisions=36732
6.85	     nbAssignments=14029  nbFailedAssignments=2896  nbBacktracks=5816  nbVisitedNodes=23583  nbRestartNogoods=65
6.85	     mapSize=5650  nbInferences=4005  nbTooLargeKeys=0
6.85	       =>  wckTime=4.682  cpuTime=4.51  mem=26M76
9.38	   
9.38	   search
9.38	     run=14  nbConstraintChecks=1347840  nbPropagations=744771  nbRevisions=731339  nbUselessRevisions=42588
9.38	     nbAssignments=22334  nbFailedAssignments=3877  nbBacktracks=8736  nbVisitedNodes=37775  nbRestartNogoods=79
9.38	     mapSize=8544  nbInferences=8122  nbTooLargeKeys=0
9.38	       =>  wckTime=7.207  cpuTime=7.02  mem=53M120
12.84	   
12.84	   search
12.84	     run=15  nbConstraintChecks=1832604  nbPropagations=987547  nbRevisions=950407  nbUselessRevisions=50148
12.84	     nbAssignments=35120  nbFailedAssignments=5340  nbBacktracks=13114  nbVisitedNodes=59740  nbRestartNogoods=89
12.84	     mapSize=12852  nbInferences=14661  nbTooLargeKeys=0
12.84	       =>  wckTime=10.669  cpuTime=10.42  mem=63M875
18.27	   
18.27	   search
18.27	     run=16  nbConstraintChecks=2524103  nbPropagations=1349596  nbRevisions=1269362  nbUselessRevisions=59856
18.27	     nbAssignments=54930  nbFailedAssignments=7282  nbBacktracks=19683  nbVisitedNodes=93474  nbRestartNogoods=109
18.27	     mapSize=19359  nbInferences=25272  nbTooLargeKeys=0
18.27	       =>  wckTime=16.102  cpuTime=15.82  mem=94M166
27.46	   
27.46	   search
27.46	     run=17  nbConstraintChecks=3318334  nbPropagations=1901470  nbRevisions=1741691  nbUselessRevisions=72634
27.46	     nbAssignments=87389  nbFailedAssignments=9651  nbBacktracks=29536  nbVisitedNodes=150584  nbRestartNogoods=127
27.46	     mapSize=29154  nbInferences=45289  nbTooLargeKeys=0
27.46	       =>  wckTime=25.286  cpuTime=24.9  mem=142M275
40.67	   
40.67	   search
40.67	     run=18  nbConstraintChecks=4641941  nbPropagations=2743307  nbRevisions=2448508  nbUselessRevisions=89718
40.67	     nbAssignments=136157  nbFailedAssignments=13099  nbBacktracks=44314  nbVisitedNodes=235702  nbRestartNogoods=142
40.67	     mapSize=43832  nbInferences=75214  nbTooLargeKeys=0
40.67	       =>  wckTime=38.505  cpuTime=37.92  mem=163M108
63.28	   
63.28	   search
63.28	     run=19  nbConstraintChecks=7041748  nbPropagations=4101507  nbRevisions=3571645  nbUselessRevisions=116154
63.28	     nbAssignments=218560  nbFailedAssignments=17143  nbBacktracks=66482  nbVisitedNodes=379946  nbRestartNogoods=167
63.28	     mapSize=65938  nbInferences=130115  nbTooLargeKeys=0
63.28	       =>  wckTime=61.111  cpuTime=60.32  mem=261M639
88.05	   
88.05	   search
88.05	     run=20  nbConstraintChecks=12205822  nbPropagations=6144150  nbRevisions=5307860  nbUselessRevisions=182322
88.05	     nbAssignments=320651  nbFailedAssignments=27238  nbBacktracks=99735  nbVisitedNodes=559386  nbRestartNogoods=186
88.05	     mapSize=99052  nbInferences=188114  nbTooLargeKeys=0
88.05	       =>  wckTime=85.885  cpuTime=84.85  mem=328M289
141.60	   
141.60	   search
141.60	     run=21  nbConstraintChecks=17622879  nbPropagations=9435484  nbRevisions=8028704  nbUselessRevisions=262733
141.60	     nbAssignments=517996  nbFailedAssignments=33790  nbBacktracks=149614  nbVisitedNodes=907591  nbRestartNogoods=216
141.60	     mapSize=148801  nbInferences=327367  nbTooLargeKeys=0
141.60	       =>  wckTime=139.43  cpuTime=137.86  mem=494M903
177.25	   
177.25	   INFO : Stopping hyperNogood (mapSize=196573, nbTooLargekeys=0, mem=600M830)
182.92	   
182.92	   search
182.92	     run=22  nbConstraintChecks=29999083  nbPropagations=14050357  nbRevisions=12069027  nbUselessRevisions=442134
182.92	     nbAssignments=710193  nbFailedAssignments=66127  nbBacktracks=224433  nbVisitedNodes=1245809  nbRestartNogoods=249
182.92	       =>  wckTime=180.751  cpuTime=178.88  mem=600M830
207.00	   
207.00	   search
207.00	     run=23  nbConstraintChecks=33167530  nbPropagations=19551376  nbRevisions=17008391  nbUselessRevisions=625997
207.00	     nbAssignments=901556  nbFailedAssignments=143806  nbBacktracks=336660  nbVisitedNodes=1591205  nbRestartNogoods=287
207.00	       =>  wckTime=204.835  cpuTime=202.95  mem=600M830
242.72	   
242.72	   search
242.72	     run=24  nbConstraintChecks=37282506  nbPropagations=26363368  nbRevisions=23266351  nbUselessRevisions=816562
242.72	     nbAssignments=1187752  nbFailedAssignments=260434  nbBacktracks=505001  nbVisitedNodes=2109626
242.72	     nbRestartNogoods=313
242.72	       =>  wckTime=240.548  cpuTime=238.62  mem=600M830
293.67	   
293.67	   search
293.67	     run=25  nbConstraintChecks=46087211  nbPropagations=35150474  nbRevisions=31621781  nbUselessRevisions=1021001
293.67	     nbAssignments=1615270  nbFailedAssignments=433529  nbBacktracks=757512  nbVisitedNodes=2881450
293.67	     nbRestartNogoods=345
293.67	       =>  wckTime=291.505  cpuTime=289.53  mem=600M830
374.35	   
374.35	   search
374.35	     run=26  nbConstraintChecks=54386208  nbPropagations=46851747  nbRevisions=42900945  nbUselessRevisions=1232680
374.35	     nbAssignments=2258958  nbFailedAssignments=696851  nbBacktracks=1136280  nbVisitedNodes=4050345
374.35	     nbRestartNogoods=392
374.35	       =>  wckTime=372.177  cpuTime=370.11  mem=600M830
484.68	   
484.68	   search
484.68	     run=27  nbConstraintChecks=66497867  nbPropagations=62903710  nbRevisions=58562147  nbUselessRevisions=1468358
484.68	     nbAssignments=3222403  nbFailedAssignments=1090356  nbBacktracks=1704431  nbVisitedNodes=5799194
484.68	     nbRestartNogoods=421
484.68	       =>  wckTime=482.506  cpuTime=480.35  mem=600M830
652.42	   
652.42	   search
652.42	     run=28  nbConstraintChecks=84265933  nbPropagations=85457944  nbRevisions=80749881  nbUselessRevisions=1722484
652.42	     nbAssignments=4666706  nbFailedAssignments=1680337  nbBacktracks=2556658  nbVisitedNodes=8421563
652.42	     nbRestartNogoods=466
652.42	       =>  wckTime=650.246  cpuTime=647.91  mem=600M830
1037.53	   
1037.54	   search
1037.54	     run=29  nbConstraintChecks=498747376  nbPropagations=128989595  nbRevisions=141970254  nbUselessRevisions=9264173
1037.54	     nbAssignments=6952616  nbFailedAssignments=2686077  nbBacktracks=3834998  nbVisitedNodes=12615355
1037.54	     nbRestartNogoods=512
1037.54	       =>  wckTime=1035.366  cpuTime=1032.63  mem=600M830
1411.85	   
1411.85	   search
1411.85	     run=30  nbConstraintChecks=576139354  nbPropagations=188257389  nbRevisions=220281925  nbUselessRevisions=17383051
1411.85	     nbAssignments=10212928  nbFailedAssignments=4027516  nbBacktracks=5752508  nbVisitedNodes=18548149
1411.85	     nbRestartNogoods=543
1411.85	       =>  wckTime=1409.68  cpuTime=1406.57  mem=600M830

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/node4/watcher-237596-1168349423 -o ROOT/results/node4/solver-237596-1168349423 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237596-1168349423/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.09 2.05 2.01 2/93 3434
/proc/meminfo: memFree=1726528/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=18540 CPUtime=0
/proc/3433/stat : 3433 (runsolver) R 3431 3433 3093 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 183337846 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3433/statm: 4635 279 244 17 0 2626 0

[startup+0.102641 s]
/proc/loadavg: 2.09 2.05 2.01 2/93 3434
/proc/meminfo: memFree=1726528/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=913228 CPUtime=0.08
/proc/3433/stat : 3433 (java) S 3431 3433 3093 0 -1 0 2888 0 1 0 7 1 0 0 17 0 8 0 183337846 935145472 2634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3433/statm: 228307 2634 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.510678 s]
/proc/loadavg: 2.09 2.05 2.01 2/93 3434
/proc/meminfo: memFree=1726528/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915328 CPUtime=0.48
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 6446 0 1 0 45 3 0 0 18 0 8 0 183337846 937295872 6185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11048730 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3433/statm: 228832 6185 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33377 s]
/proc/loadavg: 2.09 2.05 2.01 3/100 3441
/proc/meminfo: memFree=1674376/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915628 CPUtime=1.3
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 16477 0 1 0 106 24 0 0 25 0 8 0 183337846 937603072 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3433/statm: 228907 16215 2169 14 0 215377 0
[pid=3433/tid=3435] ppid=3431 vsize=915628 CPUtime=0
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183337851 937603072 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915628 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 183337851 937603072 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915628 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183337851 937603072 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915628 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937603072 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915628 CPUtime=0.19
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 425 0 0 0 18 1 0 0 16 0 8 0 183337854 937603072 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915628 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937603072 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915628 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937603072 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628

[startup+2.98692 s]
/proc/loadavg: 2.09 2.05 2.01 3/100 3441
/proc/meminfo: memFree=1657352/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=2.95
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 20039 0 1 0 245 50 0 0 25 0 8 0 183337846 937697280 19775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074048234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3433/statm: 228930 19775 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=0.15
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 2924 0 0 0 14 1 0 0 17 0 8 0 183337851 937697280 19775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 19775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 19775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 19775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.31
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 486 0 0 0 30 1 0 0 15 0 8 0 183337854 937697280 19775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 19775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 19775 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) 915720

[startup+6.28623 s]
/proc/loadavg: 2.08 2.05 2.01 3/100 3441
/proc/meminfo: memFree=1657096/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=6.23
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 20055 0 1 0 573 50 0 0 25 0 8 0 183337846 937697280 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3433/statm: 228930 19788 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=0.15
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 2924 0 0 0 14 1 0 0 16 0 8 0 183337851 937697280 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.34
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 499 0 0 0 33 1 0 0 16 0 8 0 183337854 937697280 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915720

[startup+12.7669 s]
/proc/loadavg: 2.07 2.05 2.01 4/101 3513
/proc/meminfo: memFree=1731904/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=12.69
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 29627 0 1 0 1214 55 0 0 25 0 8 0 183337846 937697280 29358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074002809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 29358 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=0.24
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 12493 0 0 0 19 5 0 0 16 0 8 0 183337851 937697280 29358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 29358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 29358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 29358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.34
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 500 0 0 0 33 1 0 0 16 0 8 0 183337854 937697280 29358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 29358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 29358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915720

[startup+25.6331 s]
/proc/loadavg: 2.06 2.04 2.01 3/101 3513
/proc/meminfo: memFree=1650560/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=25.55
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 42609 0 1 0 2495 60 0 0 25 0 8 0 183337846 937697280 42336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074048187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 42336 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=0.38
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 25470 0 0 0 28 10 0 0 16 0 8 0 183337851 937697280 42336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 42336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 42336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 42336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 501 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 42336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 42336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 42336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915720

[startup+51.2836 s]
/proc/loadavg: 2.04 2.04 2.01 4/101 3513
/proc/meminfo: memFree=1519552/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=51.16
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 65739 0 1 0 5046 70 0 0 25 0 8 0 183337846 937697280 65460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073998785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 65460 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=0.63
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 48593 0 0 0 44 19 0 0 16 0 8 0 183337851 937697280 65460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 65460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 65460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 65460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 65460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 65460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 65460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915720

[startup+102.54 s]
/proc/loadavg: 2.05 2.05 2.01 3/101 3513
/proc/meminfo: memFree=1350016/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=102.37
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 104673 0 1 0 10151 86 0 0 25 0 8 0 183337846 937697280 104384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074060768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 104384 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=1.07
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 87517 0 0 0 72 35 0 0 16 0 8 0 183337851 937697280 104384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 104384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 104384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 104384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 104384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 104384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 104384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915720

[startup+162.638 s]
/proc/loadavg: 2.07 2.05 2.01 3/101 3513
/proc/meminfo: memFree=1188608/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=162.42
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 144481 0 1 0 16141 101 0 0 25 0 8 0 183337846 937697280 144180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074055145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 3513
/proc/meminfo: memFree=1138368/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=1481.84
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 156163 0 1 0 148076 108 0 0 25 0 8 0 183337846 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074048187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 155858 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=1.69
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 138991 0 0 0 115 54 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 915720

[startup+1543.41 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 3513
/proc/meminfo: memFree=1138304/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=1541.79
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 156163 0 1 0 154071 108 0 0 25 0 8 0 183337846 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 155858 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=1.69
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 138991 0 0 0 115 54 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 915720

[startup+1603.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 3513
/proc/meminfo: memFree=1138176/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=1601.82
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 156163 0 1 0 160074 108 0 0 25 0 8 0 183337846 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074020019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 155858 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=1.69
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 138991 0 0 0 115 54 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 915720

[startup+1663.6 s]
/proc/loadavg: 2.08 2.02 2.01 3/101 3513
/proc/meminfo: memFree=1138112/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=1661.85
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 156163 0 1 0 166077 108 0 0 25 0 8 0 183337846 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 155858 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=1.69
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 138991 0 0 0 115 54 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 915720

[startup+1723.61 s]
/proc/loadavg: 2.03 2.01 2.00 3/101 3513
/proc/meminfo: memFree=1137984/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=1721.81
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 156163 0 1 0 172073 108 0 0 25 0 8 0 183337846 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074048187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 155858 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=1.69
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 138991 0 0 0 115 54 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 915720

[startup+1783.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 3513
/proc/meminfo: memFree=1137920/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=1781.85
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 156163 0 1 0 178076 109 0 0 25 0 8 0 183337846 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074052892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 155858 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=1.69
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 138991 0 0 0 115 54 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 915720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.93 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 3513
/proc/meminfo: memFree=1137536/2055920 swapFree=4182144/4192956
[pid=3433] ppid=3431 vsize=915720 CPUtime=1800.05
/proc/3433/stat : 3433 (java) R 3431 3433 3093 0 -1 0 156163 0 1 0 179896 109 0 0 25 0 8 0 183337846 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074048187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3433/statm: 228930 155858 2545 14 0 215400 0
[pid=3433/tid=3435] ppid=3431 vsize=915720 CPUtime=1.69
/proc/3433/task/3435/stat : 3435 (java) S 3431 3433 3093 0 -1 64 138991 0 0 0 115 54 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3436] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3436/stat : 3436 (java) S 3431 3433 3093 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3437] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3437/stat : 3437 (java) S 3431 3433 3093 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183337851 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3438] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3438/stat : 3438 (java) S 3431 3433 3093 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3439] ppid=3431 vsize=915720 CPUtime=0.35
/proc/3433/task/3439/stat : 3439 (java) S 3431 3433 3093 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 183337854 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3433/tid=3440] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3440/stat : 3440 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3433/tid=3441] ppid=3431 vsize=915720 CPUtime=0
/proc/3433/task/3441/stat : 3441 (java) S 3431 3433 3093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183337855 937697280 155858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915720

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

Child status: 143
Real time (s): 1802.05
CPU time (s): 1800.17
CPU user time (s): 1798.99
CPU system time (s): 1.18282
CPU usage (%): 99.8958
Max. virtual memory (cumulated for all children) (KiB): 915720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.18282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156180
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= 38110
involuntary context switches= 28163

runsolver used 2.34864 s user time and 5.65214 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue Jan  9 13:30:23 UTC 2007


IDJOB= 237596
IDBENCH= 6951
FILE ID= node4/237596-1168349423

PBS_JOBID= 3503626

Free space on /tmp= 66528 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_27.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237596-1168349423/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-237596-1168349423 -o ROOT/results/node4/solver-237596-1168349423 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237596-1168349423/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a51555354cf54c2b3cbd20e0fa17db14

RANDOM SEED= 449351662

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.223
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.223
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:       1727008 kB
Buffers:         24968 kB
Cached:          80224 kB
SwapCached:       2520 kB
Active:         222584 kB
Inactive:        51688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727008 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            2880 kB
Writeback:           0 kB
Mapped:         188576 kB
Slab:            39008 kB
Committed_AS:  6317568 kB
PageTables:       2688 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= 66528 MiB



End job on node4 on Tue Jan  9 14:00:25 UTC 2007