Trace number 238188

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.2 1802.38

General information on the benchmark

Namehaystacks/
haystacks_24.xml
MD5SUM2122fe60b70de9858699dfcbfd8c2781
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 benchmark11.4233
SatisfiableNO
(Un)Satisfiability was proved
Number of variables576
Number of constraints6647
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6647
Global constraints used (with number of constraints)

Solver Data (download as text)

0.45	   
0.45	Abscon 109 (November, 2006)
0.45	   
0.45	   configuration
0.45	     name=esac.xml
0.50	   
0.50	   instance
0.50	     name=/tmp/evaluation/238188-1168354308/unknown.xml
0.53	   
0.53	   domains being loaded...
0.53	   
0.53	   variables being loaded...
0.62	     nbVariables=576  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.62	       =>  wckTime=0.167  cpuTime=0.12  mem=7M862
0.62	   
0.62	   predicates being loaded...
0.62	   
0.62	   constraints being loaded...
1.54	     nbConstraints=6647  nbConvertedConstraints=6647  nbConvertConstraintsChecks=2304  nbExtensionStructures=4
1.54	     nbSharedExtensionStructures=6643  nbConflictsStructures=4  nbSharedConflictsStructures=6643
1.54	     nbSharedBinaryRepresentations=143  maxDegree=24  maxArity=2
1.54	       =>  wckTime=1.091  cpuTime=0.92  mem=44M919
1.63	   
1.63	   solver IterativeSystematicSolver being built... 
1.82	       =>  wckTime=1.368  cpuTime=1.07  mem=19M919
2.22	   
2.22	   preprocessing
2.22	     nbConstraintChecks=160320  nbPropagations=9710  nbRevisions=10293  nbUselessRevisions=1588  nbSingletonTests=665
2.22	     nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
2.22	       =>  wckTime=0.398  cpuTime=0.37  mem=19M919
2.29	   
2.29	   search
2.29	     run=0  nbConstraintChecks=27014  nbPropagations=11176  nbRevisions=11811  nbUselessRevisions=1665  nbAssignments=84
2.29	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=105  nbRestartNogoods=0  mapSize=10  nbInferences=0
2.29	     nbTooLargeKeys=0
2.29	       =>  wckTime=0.463  cpuTime=0.42  mem=20M893
2.32	   
2.32	   search
2.32	     run=1  nbConstraintChecks=53740  nbPropagations=23854  nbRevisions=25164  nbUselessRevisions=3392
2.32	     nbAssignments=176  nbFailedAssignments=23  nbBacktracks=25  nbVisitedNodes=223  nbRestartNogoods=4  mapSize=24
2.32	     nbInferences=0  nbTooLargeKeys=0
2.32	       =>  wckTime=0.497  cpuTime=0.45  mem=20M893
2.35	   
2.35	   search
2.35	     run=2  nbConstraintChecks=80692  nbPropagations=38107  nbRevisions=40142  nbUselessRevisions=5187
2.35	     nbAssignments=282  nbFailedAssignments=43  nbBacktracks=47  nbVisitedNodes=369  nbRestartNogoods=6  mapSize=46
2.35	     nbInferences=0  nbTooLargeKeys=0
2.35	       =>  wckTime=0.531  cpuTime=0.49  mem=20M893
2.39	   
2.39	   search
2.39	     run=3  nbConstraintChecks=107888  nbPropagations=54003  nbRevisions=56813  nbUselessRevisions=7051
2.39	     nbAssignments=405  nbFailedAssignments=69  nbBacktracks=80  nbVisitedNodes=545  nbRestartNogoods=11  mapSize=78
2.39	     nbInferences=1  nbTooLargeKeys=0
2.39	       =>  wckTime=0.57  cpuTime=0.52  mem=21M868
2.44	   
2.44	   search
2.44	     run=4  nbConstraintChecks=135481  nbPropagations=71690  nbRevisions=75319  nbUselessRevisions=8985
2.44	     nbAssignments=560  nbFailedAssignments=106  nbBacktracks=131  nbVisitedNodes=779  nbRestartNogoods=14  mapSize=129
2.44	     nbInferences=6  nbTooLargeKeys=0
2.44	       =>  wckTime=0.615  cpuTime=0.57  mem=21M868
2.49	   
2.49	   search
2.49	     run=5  nbConstraintChecks=163746  nbPropagations=91397  nbRevisions=95864  nbUselessRevisions=10988
2.49	     nbAssignments=763  nbFailedAssignments=155  nbBacktracks=206  nbVisitedNodes=1097  nbRestartNogoods=18  mapSize=204
2.49	     nbInferences=23  nbTooLargeKeys=0
2.49	       =>  wckTime=0.67  cpuTime=0.62  mem=21M868
2.56	   
2.56	   search
2.56	     run=6  nbConstraintChecks=192844  nbPropagations=113444  nbRevisions=118762  nbUselessRevisions=13065
2.56	     nbAssignments=1037  nbFailedAssignments=230  nbBacktracks=320  nbVisitedNodes=1543  nbRestartNogoods=20
2.56	     mapSize=318  nbInferences=45  nbTooLargeKeys=0
2.56	       =>  wckTime=0.74  cpuTime=0.68  mem=22M842
2.66	   
2.66	   search
2.66	     run=7  nbConstraintChecks=223260  nbPropagations=138331  nbRevisions=144475  nbUselessRevisions=15219
2.66	     nbAssignments=1420  nbFailedAssignments=337  nbBacktracks=490  nbVisitedNodes=2182  nbRestartNogoods=26
2.66	     mapSize=488  nbInferences=87  nbTooLargeKeys=0
2.66	       =>  wckTime=0.834  cpuTime=0.77  mem=22M842
2.77	   
2.77	   search
2.77	     run=8  nbConstraintChecks=259871  nbPropagations=166560  nbRevisions=173665  nbUselessRevisions=17538
2.77	     nbAssignments=1895  nbFailedAssignments=504  nbBacktracks=746  nbVisitedNodes=3001  nbRestartNogoods=34
2.77	     mapSize=728  nbInferences=97  nbTooLargeKeys=0
2.77	       =>  wckTime=0.948  cpuTime=0.87  mem=23M817
2.92	   
2.92	   search
2.92	     run=9  nbConstraintChecks=309047  nbPropagations=199767  nbRevisions=207997  nbUselessRevisions=20261
2.92	     nbAssignments=2653  nbFailedAssignments=717  nbBacktracks=1131  nbVisitedNodes=4326  nbRestartNogoods=38
2.92	     mapSize=1086  nbInferences=238  nbTooLargeKeys=0
2.92	       =>  wckTime=1.094  cpuTime=1.01  mem=23M817
3.13	   
3.13	   search
3.13	     run=10  nbConstraintChecks=364868  nbPropagations=240132  nbRevisions=249186  nbUselessRevisions=23320
3.13	     nbAssignments=3856  nbFailedAssignments=1007  nbBacktracks=1707  nbVisitedNodes=6426  nbRestartNogoods=42
3.13	     mapSize=1633  nbInferences=555  nbTooLargeKeys=0
3.13	       =>  wckTime=1.309  cpuTime=1.22  mem=24M792
3.52	   
3.52	   search
3.52	     run=11  nbConstraintChecks=495956  nbPropagations=293463  nbRevisions=303174  nbUselessRevisions=27158
3.52	     nbAssignments=5737  nbFailedAssignments=1442  nbBacktracks=2571  nbVisitedNodes=9633  nbRestartNogoods=48
3.52	     mapSize=2440  nbInferences=1031  nbTooLargeKeys=0
3.52	       =>  wckTime=1.694  cpuTime=1.6  mem=27M715
4.14	   
4.14	   search
4.14	     run=12  nbConstraintChecks=571605  nbPropagations=363638  nbRevisions=371884  nbUselessRevisions=31259
4.14	     nbAssignments=8890  nbFailedAssignments=2003  nbBacktracks=3868  nbVisitedNodes=15118  nbRestartNogoods=56
4.14	     mapSize=3735  nbInferences=2241  nbTooLargeKeys=0
4.14	       =>  wckTime=2.322  cpuTime=2.23  mem=33M562
5.21	   
5.21	   search
5.21	     run=13  nbConstraintChecks=798284  nbPropagations=466612  nbRevisions=469582  nbUselessRevisions=36069
5.21	     nbAssignments=14194  nbFailedAssignments=2778  nbBacktracks=5814  nbVisitedNodes=23788  nbRestartNogoods=69
5.21	     mapSize=5677  nbInferences=4399  nbTooLargeKeys=0
5.21	       =>  wckTime=3.385  cpuTime=3.29  mem=44M282
6.84	   
6.84	   search
6.84	     run=14  nbConstraintChecks=995899  nbPropagations=613576  nbRevisions=604614  nbUselessRevisions=41914
6.84	     nbAssignments=22119  nbFailedAssignments=3811  nbBacktracks=8733  nbVisitedNodes=37644  nbRestartNogoods=76
6.84	     mapSize=8567  nbInferences=8265  nbTooLargeKeys=0
6.84	       =>  wckTime=5.016  cpuTime=4.85  mem=29M509
9.44	   
9.44	   search
9.44	     run=15  nbConstraintChecks=1435861  nbPropagations=840077  nbRevisions=807030  nbUselessRevisions=49673
9.44	     nbAssignments=35211  nbFailedAssignments=5175  nbBacktracks=13111  nbVisitedNodes=60123  nbRestartNogoods=90
9.44	     mapSize=12867  nbInferences=15218  nbTooLargeKeys=0
9.44	       =>  wckTime=7.621  cpuTime=7.45  mem=56M189
12.59	   
12.59	   search
12.59	     run=16  nbConstraintChecks=1971434  nbPropagations=1162389  nbRevisions=1092830  nbUselessRevisions=58902
12.59	     nbAssignments=52082  nbFailedAssignments=7951  nbBacktracks=19679  nbVisitedNodes=88365  nbRestartNogoods=115
12.59	     mapSize=19398  nbInferences=21846  nbTooLargeKeys=0
12.59	       =>  wckTime=10.772  cpuTime=10.54  mem=53M28
19.04	   
19.04	   search
19.04	     run=17  nbConstraintChecks=2820296  nbPropagations=1677294  nbRevisions=1535372  nbUselessRevisions=71641
19.04	     nbAssignments=84591  nbFailedAssignments=10339  nbBacktracks=29532  nbVisitedNodes=145209  nbRestartNogoods=127
19.04	     mapSize=29174  nbInferences=41698  nbTooLargeKeys=0
19.04	       =>  wckTime=17.222  cpuTime=16.94  mem=91M69
28.71	   
28.71	   search
28.71	     run=18  nbConstraintChecks=4000893  nbPropagations=2478525  nbRevisions=2207804  nbUselessRevisions=88501
28.71	     nbAssignments=133682  nbFailedAssignments=13666  nbBacktracks=44310  nbVisitedNodes=230890  nbRestartNogoods=145
28.71	     mapSize=43875  nbInferences=72097  nbTooLargeKeys=0
28.72	       =>  wckTime=26.893  cpuTime=26.53  mem=124M709
43.48	   
43.48	   search
43.48	     run=19  nbConstraintChecks=6489823  nbPropagations=3767119  nbRevisions=3283751  nbUselessRevisions=118419
43.48	     nbAssignments=210855  nbFailedAssignments=18491  nbBacktracks=66479  nbVisitedNodes=365913  nbRestartNogoods=175
43.48	     mapSize=65961  nbInferences=121264  nbTooLargeKeys=0
43.48	       =>  wckTime=41.659  cpuTime=41.15  mem=173M277
68.43	   
68.43	   search
68.43	     run=20  nbConstraintChecks=10022980  nbPropagations=5860688  nbRevisions=5002575  nbUselessRevisions=161343
68.43	     nbAssignments=338659  nbFailedAssignments=23836  nbBacktracks=99731  nbVisitedNodes=590508  nbRestartNogoods=201
68.43	     mapSize=99113  nbInferences=208847  nbTooLargeKeys=0
68.43	       =>  wckTime=66.611  cpuTime=65.88  mem=251M891
105.39	   
105.39	   search
105.39	     run=21  nbConstraintChecks=15300003  nbPropagations=9195353  nbRevisions=7701785  nbUselessRevisions=219559
105.39	     nbAssignments=535344  nbFailedAssignments=30610  nbBacktracks=149610  nbVisitedNodes=937515  nbRestartNogoods=241
105.39	     mapSize=148879  nbInferences=347178  nbTooLargeKeys=0
105.39	       =>  wckTime=103.571  cpuTime=102.47  mem=346M448
170.67	   
170.67	   search
170.67	     run=22  nbConstraintChecks=26307587  nbPropagations=14880239  nbRevisions=12264464  nbUselessRevisions=297084
170.67	     nbAssignments=873839  nbFailedAssignments=38823  nbBacktracks=224429  nbVisitedNodes=1543964  nbRestartNogoods=282
170.67	     mapSize=223591  nbInferences=600596  nbTooLargeKeys=0
170.67	       =>  wckTime=168.85  cpuTime=167.2  mem=501M9
205.95	   
205.95	   INFO : Stopping hyperNogood (mapSize=274007, nbTooLargekeys=0, mem=600M871)
215.74	   
215.74	   search
215.74	     run=23  nbConstraintChecks=33507585  nbPropagations=22299426  nbRevisions=18328005  nbUselessRevisions=401905
215.74	     nbAssignments=1175700  nbFailedAssignments=89297  nbBacktracks=336656  nbVisitedNodes=2079483  nbRestartNogoods=320
215.74	       =>  wckTime=213.917  cpuTime=211.92  mem=600M871
242.60	   
242.60	   search
242.60	     run=24  nbConstraintChecks=37619446  nbPropagations=31031571  nbRevisions=25716666  nbUselessRevisions=512782
242.60	     nbAssignments=1462216  nbFailedAssignments=205789  nbBacktracks=504997  nbVisitedNodes=2597431
242.60	     nbRestartNogoods=372
242.60	       =>  wckTime=240.776  cpuTime=238.74  mem=600M871
281.94	   
281.94	   search
281.94	     run=25  nbConstraintChecks=43803002  nbPropagations=41724504  nbRevisions=35114610  nbUselessRevisions=654327
281.94	     nbAssignments=1889812  nbFailedAssignments=379390  nbBacktracks=757509  nbVisitedNodes=3370675
281.94	     nbRestartNogoods=416
281.94	       =>  wckTime=280.12  cpuTime=278.04  mem=600M871
341.60	   
341.60	   search
341.60	     run=26  nbConstraintChecks=56028698  nbPropagations=55441679  nbRevisions=47726692  nbUselessRevisions=861351
341.60	     nbAssignments=2532540  nbFailedAssignments=640932  nbBacktracks=1136276  nbVisitedNodes=4532977
341.60	     nbRestartNogoods=473
341.60	       =>  wckTime=339.777  cpuTime=337.65  mem=600M871
489.78	   
489.78	   search
489.78	     run=27  nbConstraintChecks=287758680  nbPropagations=78961493  nbRevisions=82230157  nbUselessRevisions=4183358
489.78	     nbAssignments=3567974  nbFailedAssignments=1106115  nbBacktracks=1704430  nbVisitedNodes=6428888
489.78	     nbRestartNogoods=520
489.78	       =>  wckTime=487.962  cpuTime=485.68  mem=600M871
642.69	   
642.70	   search
642.70	     run=28  nbConstraintChecks=329888803  nbPropagations=109855472  nbRevisions=126004761  nbUselessRevisions=9098621
642.70	     nbAssignments=5020290  nbFailedAssignments=1704398  nbBacktracks=2556656  nbVisitedNodes=9071924
642.70	     nbRestartNogoods=550
642.70	       =>  wckTime=640.873  cpuTime=638.34  mem=600M871
835.35	   
835.35	   search
835.35	     run=29  nbConstraintChecks=366034723  nbPropagations=150947627  nbRevisions=180138831  nbUselessRevisions=14125030
835.35	     nbAssignments=7194369  nbFailedAssignments=2597781  nbBacktracks=3834997  nbVisitedNodes=13030496
835.35	     nbRestartNogoods=602
835.35	       =>  wckTime=833.529  cpuTime=830.76  mem=600M871
1310.68	   
1310.68	   search
1310.68	     run=30  nbConstraintChecks=1049292235  nbPropagations=224312713  nbRevisions=294939282  nbUselessRevisions=26923581
1310.68	     nbAssignments=10467755  nbFailedAssignments=3951501  nbBacktracks=5752507  nbVisitedNodes=18748290
1310.68	     nbRestartNogoods=641
1310.68	       =>  wckTime=1308.862  cpuTime=1305.63  mem=600M871

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/node2/watcher-238188-1168354308 -o ROOT/results/node2/solver-238188-1168354308 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238188-1168354308/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.03 2.03 2.00 4/94 22905
/proc/meminfo: memFree=1779912/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=1784 CPUtime=0
/proc/22904/stat : 22904 (java) D 22902 22904 22232 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 183826457 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/22904/statm: 446 140 106 14 0 91 0

[startup+0.10372 s]
/proc/loadavg: 2.03 2.03 2.00 4/94 22905
/proc/meminfo: memFree=1779912/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=11868 CPUtime=0
/proc/22904/stat : 22904 (java) D 22902 22904 22232 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 183826457 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10535716 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/22904/statm: 2967 515 425 14 0 1602 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11868

[startup+0.511795 s]
/proc/loadavg: 2.03 2.03 2.00 4/94 22905
/proc/meminfo: memFree=1779912/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915328 CPUtime=0.33
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 5552 0 10 0 28 5 0 0 18 0 8 0 183826457 937295872 5300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228832 5301 2061 14 0 215302 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 915328

[startup+1.33295 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 22912
/proc/meminfo: memFree=1735120/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915632 CPUtime=1.15
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 14100 0 10 0 88 27 0 0 18 0 8 0 183826457 937607168 13847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228907 13848 2169 14 0 215377 0
[pid=22904/tid=22906] ppid=22902 vsize=915632 CPUtime=0
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 183826471 937607168 13848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915628 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 183826472 937603072 13848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915628 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183826472 937603072 13848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915632 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937607168 13848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915628 CPUtime=0.18
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 426 0 0 0 17 1 0 0 16 0 8 0 183826475 937603072 13849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915628 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937603072 13849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915632 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937607168 13849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 915632

[startup+2.97225 s]
/proc/loadavg: 2.03 2.03 2.00 4/101 22912
/proc/meminfo: memFree=1720144/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=2.79
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 17010 0 10 0 240 39 0 0 25 0 8 0 183826457 937697280 16755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074049199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 16755 2541 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=0.07
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 1051 0 0 0 7 0 0 0 17 0 8 0 183826471 937697280 16755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 16755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 16755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 16755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.3
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 498 0 0 0 29 1 0 0 15 0 8 0 183826475 937697280 16755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 16755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 16755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 915720

[startup+6.17283 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 22912
/proc/meminfo: memFree=1719888/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=5.96
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 18117 0 10 0 556 40 0 0 25 0 8 0 183826457 937697280 17861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074052951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 17861 2541 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=0.07
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 1051 0 0 0 7 0 0 0 16 0 8 0 183826471 937697280 17861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 17861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 17861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 17861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.31
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 501 0 0 0 30 1 0 0 15 0 8 0 183826475 937697280 17861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 17862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) R 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 17862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 915720

[startup+12.65 s]
/proc/loadavg: 2.02 2.03 2.00 3/101 22912
/proc/meminfo: memFree=1673168/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=12.43
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 28699 0 10 0 1200 43 0 0 25 0 8 0 183826457 937697280 28441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074002008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 28441 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=0.16
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 11569 0 0 0 13 3 0 0 16 0 8 0 183826471 937697280 28441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 28441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 28441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 28441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 503 0 0 0 31 1 0 0 15 0 8 0 183826475 937697280 28441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 28441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 28441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915720

[startup+25.5224 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 22912
/proc/meminfo: memFree=1638672/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=25.3
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 37342 0 10 0 2484 46 0 0 25 0 8 0 183826457 937697280 37081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 37081 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=0.25
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 20208 0 0 0 19 6 0 0 16 0 8 0 183826471 937697280 37081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 37081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 37081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 37081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 37081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 37081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 37081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915720

[startup+51.1531 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 22912
/proc/meminfo: memFree=1548240/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=50.89
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 59931 0 10 0 5034 55 0 0 25 0 8 0 183826457 937697280 59664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 59664 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=0.51
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 42791 0 0 0 36 15 0 0 16 0 8 0 183826471 937697280 59664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 59664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 59664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 59664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 59664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 59664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 59664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915720

[startup+102.405 s]
/proc/loadavg: 2.07 2.03 2.00 3/101 22912
/proc/meminfo: memFree=1418832/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=102.08
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 95215 0 10 0 10140 68 0 0 25 0 8 0 183826457 937697280 94937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 94937 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=0.94
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 78064 0 0 0 66 28 0 0 16 0 8 0 183826471 937697280 94937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 94937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 94937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 94937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 94937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 94937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 94937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 915720

[startup+162.474 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 22912
/proc/meminfo: memFree=1270928/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=162.1
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 129158 0 10 0 16131 79 0 0 25 0 8 0 183826457 937697280 128868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074051979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.21 s]
/proc/loadavg: 2.02 1.92 1.90 3/102 23636
/proc/meminfo: memFree=1025048/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=1481.37
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 153748 0 10 0 148028 109 0 0 25 0 8 0 183826457 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074044103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 153449 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=1.72
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 136576 0 0 0 124 48 0 0 16 0 8 0 183826471 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.37
Current children cumulated vsize (KiB) 915720

[startup+1543.23 s]
/proc/loadavg: 2.00 1.93 1.91 3/102 23636
/proc/meminfo: memFree=1025048/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=1541.31
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 153748 0 10 0 154022 109 0 0 25 0 8 0 183826457 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008582 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 153449 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=1.72
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 136576 0 0 0 124 48 0 0 16 0 8 0 183826471 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.31
Current children cumulated vsize (KiB) 915720

[startup+1603.26 s]
/proc/loadavg: 2.00 1.94 1.91 3/102 23636
/proc/meminfo: memFree=1024920/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=1601.28
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 153748 0 10 0 160019 109 0 0 25 0 8 0 183826457 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 153449 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=1.72
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 136576 0 0 0 124 48 0 0 16 0 8 0 183826471 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.28
Current children cumulated vsize (KiB) 915720

[startup+1663.28 s]
/proc/loadavg: 2.00 1.95 1.91 5/102 23638
/proc/meminfo: memFree=1024536/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=1661.23
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 153748 0 10 0 166014 109 0 0 25 0 8 0 183826457 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 153449 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=1.72
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 136576 0 0 0 124 48 0 0 16 0 8 0 183826471 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.23
Current children cumulated vsize (KiB) 915720

[startup+1723.28 s]
/proc/loadavg: 2.08 1.97 1.91 3/102 23638
/proc/meminfo: memFree=1024536/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=1721.16
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 153748 0 10 0 172007 109 0 0 25 0 8 0 183826457 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074043764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 153449 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=1.72
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 136576 0 0 0 124 48 0 0 16 0 8 0 183826471 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.16
Current children cumulated vsize (KiB) 915720

[startup+1783.31 s]
/proc/loadavg: 2.08 1.99 1.92 3/102 23638
/proc/meminfo: memFree=1024536/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=1781.13
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 153748 0 10 0 178004 109 0 0 25 0 8 0 183826457 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 153449 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=1.72
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 136576 0 0 0 124 48 0 0 16 0 8 0 183826471 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.13
Current children cumulated vsize (KiB) 915720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.25 s]
/proc/loadavg: 2.06 1.99 1.92 3/102 23638
/proc/meminfo: memFree=1024536/2055920 swapFree=4180528/4192956
[pid=22904] ppid=22902 vsize=915720 CPUtime=1800.05
/proc/22904/stat : 22904 (java) R 22902 22904 22232 0 -1 0 153748 0 10 0 179896 109 0 0 25 0 8 0 183826457 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074045738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22904/statm: 228930 153449 2545 14 0 215400 0
[pid=22904/tid=22906] ppid=22902 vsize=915720 CPUtime=1.72
/proc/22904/task/22906/stat : 22906 (java) S 22902 22904 22232 0 -1 64 136576 0 0 0 124 48 0 0 16 0 8 0 183826471 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22907] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22907/stat : 22907 (java) S 22902 22904 22232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22908] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22908/stat : 22908 (java) S 22902 22904 22232 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183826472 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22909] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22909/stat : 22909 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22910] ppid=22902 vsize=915720 CPUtime=0.32
/proc/22904/task/22910/stat : 22910 (java) S 22902 22904 22232 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22904/tid=22911] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22911/stat : 22911 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22904/tid=22912] ppid=22902 vsize=915720 CPUtime=0
/proc/22904/task/22912/stat : 22912 (java) S 22902 22904 22232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183826475 937697280 153449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915720

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

Child status: 143
Real time (s): 1802.38
CPU time (s): 1800.2
CPU user time (s): 1799.01
CPU system time (s): 1.18882
CPU usage (%): 99.8788
Max. virtual memory (cumulated for all children) (KiB): 915720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.18882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153766
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38206
involuntary context switches= 19865

runsolver used 2.12068 s user time and 6.02908 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Tue Jan  9 14:51:48 UTC 2007


IDJOB= 238188
IDBENCH= 6988
FILE ID= node2/238188-1168354308

PBS_JOBID= 3503690

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2122fe60b70de9858699dfcbfd8c2781

RANDOM SEED= 967641881

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.259
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	: 5931.00
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.259
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:       1780392 kB
Buffers:         20812 kB
Cached:         112024 kB
SwapCached:        376 kB
Active:         150556 kB
Inactive:        73344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1780392 kB
SwapTotal:     4192956 kB
SwapFree:      4180528 kB
Dirty:            2524 kB
Writeback:           0 kB
Mapped:         110232 kB
Slab:            36124 kB
Committed_AS:  5040768 kB
PageTables:       2544 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= 66530 MiB



End job on node2 on Tue Jan  9 15:21:51 UTC 2007