Trace number 206514

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.13 1802.99

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-36_ext.xml
MD5SUM58a80347851c1598c5e724f3ea41177e
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.43	   
0.43	   instance
0.43	     name=/tmp/evaluation/206514-1168174113/unknown.xml
0.46	   
0.46	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.50	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.50	       =>  wckTime=0.1  cpuTime=0.08  mem=6M951
0.50	   
0.50	   relations being loaded...
1.63	   
1.63	   constraints being loaded...
2.36	     nbConstraints=93  nbRelationTypes=93  nbExtensionStructures=93  nbSharedExtensionStructures=0
2.36	     nbConflictsStructures=93  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.36	       =>  wckTime=1.96  cpuTime=1.57  mem=59M27
2.52	   
2.52	   solver IterativeSystematicSolver being built... 
2.69	       =>  wckTime=2.291  cpuTime=1.72  mem=66M174
2.83	   
2.83	   preprocessing
2.83	     nbConstraintChecks=43121  nbValidityChecks=68507  nbPropagations=203  nbRevisions=2220  nbUselessRevisions=1978
2.83	     nbSingletonTests=33  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.83	       =>  wckTime=0.131  cpuTime=0.1  mem=66M174
2.94	   
2.94	   search
2.94	     run=0  nbConstraintChecks=60182  nbValidityChecks=111890  nbPropagations=629  nbRevisions=7451
2.94	     nbUselessRevisions=6327  nbAssignments=36  nbFailedAssignments=16  nbBacktracks=11  nbVisitedNodes=63
2.94	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.94	       =>  wckTime=0.249  cpuTime=0.21  mem=67M191
3.11	   
3.12	   search
3.12	     run=1  nbConstraintChecks=150430  nbValidityChecks=288482  nbPropagations=1963  nbRevisions=23812
3.12	     nbUselessRevisions=19734  nbAssignments=91  nbFailedAssignments=37  nbBacktracks=30  nbVisitedNodes=144
3.12	     nbRestartNogoods=4  mapSize=28  nbInferences=0  nbTooLargeKeys=0
3.12	       =>  wckTime=0.419  cpuTime=0.37  mem=67M191
3.29	   
3.29	   search
3.29	     run=2  nbConstraintChecks=240089  nbValidityChecks=481692  nbPropagations=4229  nbRevisions=52860
3.29	     nbUselessRevisions=43348  nbAssignments=164  nbFailedAssignments=80  nbBacktracks=53  nbVisitedNodes=275
3.29	     nbRestartNogoods=6  mapSize=50  nbInferences=0  nbTooLargeKeys=0
3.29	       =>  wckTime=0.59  cpuTime=0.54  mem=67M191
3.53	   
3.53	   search
3.53	     run=3  nbConstraintChecks=381550  nbValidityChecks=753533  nbPropagations=7664  nbRevisions=96972
3.53	     nbUselessRevisions=78891  nbAssignments=256  nbFailedAssignments=131  nbBacktracks=88  nbVisitedNodes=443
3.53	     nbRestartNogoods=10  mapSize=82  nbInferences=0  nbTooLargeKeys=0
3.53	       =>  wckTime=0.832  cpuTime=0.77  mem=67M191
3.84	   
3.84	   search
3.84	     run=4  nbConstraintChecks=567838  nbValidityChecks=1102905  nbPropagations=12598  nbRevisions=160161
3.84	     nbUselessRevisions=129359  nbAssignments=376  nbFailedAssignments=194  nbBacktracks=138  nbVisitedNodes=654
3.84	     nbRestartNogoods=13  mapSize=119  nbInferences=0  nbTooLargeKeys=0
3.84	       =>  wckTime=1.141  cpuTime=1.08  mem=67M191
4.31	   
4.31	   search
4.31	     run=5  nbConstraintChecks=837922  nbValidityChecks=1661817  nbPropagations=20138  nbRevisions=256410
4.31	     nbUselessRevisions=206536  nbAssignments=596  nbFailedAssignments=319  nbBacktracks=213  nbVisitedNodes=1038
4.31	     nbRestartNogoods=19  mapSize=187  nbInferences=0  nbTooLargeKeys=0
4.31	       =>  wckTime=1.617  cpuTime=1.55  mem=67M191
5.02	   
5.02	   search
5.02	     run=6  nbConstraintChecks=1246711  nbValidityChecks=2494271  nbPropagations=31441  nbRevisions=398762
5.02	     nbUselessRevisions=320220  nbAssignments=865  nbFailedAssignments=468  nbBacktracks=326  nbVisitedNodes=1526
5.02	     nbRestartNogoods=25  mapSize=282  nbInferences=0  nbTooLargeKeys=0
5.02	       =>  wckTime=2.321  cpuTime=2.25  mem=67M191
6.05	   
6.05	   search
6.05	     run=7  nbConstraintChecks=1855021  nbValidityChecks=3719252  nbPropagations=48214  nbRevisions=616347
6.05	     nbUselessRevisions=494508  nbAssignments=1244  nbFailedAssignments=671  nbBacktracks=496  nbVisitedNodes=2222
6.05	     nbRestartNogoods=32  mapSize=439  nbInferences=0  nbTooLargeKeys=0
6.05	       =>  wckTime=3.357  cpuTime=3.27  mem=67M191
8.49	   
8.49	   search
8.49	     run=8  nbConstraintChecks=3326049  nbValidityChecks=6892600  nbPropagations=77539  nbRevisions=1021814
8.49	     nbUselessRevisions=819212  nbAssignments=2451  nbFailedAssignments=1617  nbBacktracks=752  nbVisitedNodes=4574
8.49	     nbRestartNogoods=38  mapSize=687  nbInferences=0  nbTooLargeKeys=0
8.49	       =>  wckTime=5.791  cpuTime=5.67  mem=67M191
10.57	   
10.57	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=67M191)
10.84	   
10.84	   search
10.84	     run=9  nbConstraintChecks=4760631  nbValidityChecks=9707952  nbPropagations=120164  nbRevisions=1603676
10.84	     nbUselessRevisions=1285062  nbAssignments=3365  nbFailedAssignments=2140  nbBacktracks=1136  nbVisitedNodes=6271
10.84	     nbRestartNogoods=44
10.84	       =>  wckTime=8.149  cpuTime=8.01  mem=67M191
14.26	   
14.26	   search
14.26	     run=10  nbConstraintChecks=6930068  nbValidityChecks=13835606  nbPropagations=181352  nbRevisions=2423216
14.26	     nbUselessRevisions=1938939  nbAssignments=4615  nbFailedAssignments=2796  nbBacktracks=1712  nbVisitedNodes=8556
14.26	     nbRestartNogoods=57
14.26	       =>  wckTime=11.564  cpuTime=11.41  mem=67M191
22.75	   
22.75	   search
22.75	     run=11  nbConstraintChecks=12415760  nbValidityChecks=24520698  nbPropagations=279553  nbRevisions=3775947
22.75	     nbUselessRevisions=3020861  nbAssignments=7666  nbFailedAssignments=4977  nbBacktracks=2576  nbVisitedNodes=14481
22.75	     nbRestartNogoods=66
22.75	       =>  wckTime=20.05  cpuTime=19.89  mem=67M191
29.09	   
29.09	   search
29.09	     run=12  nbConstraintChecks=16450801  nbValidityChecks=32442182  nbPropagations=414735  nbRevisions=5650480
29.09	     nbUselessRevisions=4527990  nbAssignments=10537  nbFailedAssignments=6544  nbBacktracks=3873  nbVisitedNodes=19733
29.09	     nbRestartNogoods=84
29.09	       =>  wckTime=26.394  cpuTime=26.2  mem=67M191
40.78	   
40.78	   search
40.78	     run=13  nbConstraintChecks=23690565  nbValidityChecks=47025815  nbPropagations=612889  nbRevisions=8357339
40.78	     nbUselessRevisions=6701083  nbAssignments=14861  nbFailedAssignments=8913  nbBacktracks=5820  nbVisitedNodes=27686
40.78	     nbRestartNogoods=99
40.78	       =>  wckTime=38.088  cpuTime=37.88  mem=67M191
55.56	   
55.56	   search
55.56	     run=14  nbConstraintChecks=33177280  nbValidityChecks=66439377  nbPropagations=898238  nbRevisions=12148533
55.56	     nbUselessRevisions=9746903  nbAssignments=22234  nbFailedAssignments=13360  nbBacktracks=8739  nbVisitedNodes=41455
55.56	     nbRestartNogoods=110
55.56	       =>  wckTime=52.86  cpuTime=52.64  mem=67M191
82.25	   
82.25	   search
82.25	     run=15  nbConstraintChecks=50601667  nbValidityChecks=99932623  nbPropagations=1335026  nbRevisions=17874775
82.25	     nbUselessRevisions=14311513  nbAssignments=32305  nbFailedAssignments=19046  nbBacktracks=13117
82.25	     nbVisitedNodes=60122  nbRestartNogoods=119
82.25	       =>  wckTime=79.556  cpuTime=79.29  mem=67M191
126.16	   
126.16	   search
126.16	     run=16  nbConstraintChecks=78579359  nbValidityChecks=155617363  nbPropagations=2008606  nbRevisions=26844953
126.16	     nbUselessRevisions=21490296  nbAssignments=48982  nbFailedAssignments=29148  nbBacktracks=19685
126.16	     nbVisitedNodes=91628  nbRestartNogoods=135
126.16	       =>  wckTime=123.465  cpuTime=123.15  mem=67M191
182.80	   
182.80	   search
182.80	     run=17  nbConstraintChecks=113155565  nbValidityChecks=226518350  nbPropagations=3002490  nbRevisions=39912263
182.80	     nbUselessRevisions=31945319  nbAssignments=74941  nbFailedAssignments=45246  nbBacktracks=29538
182.80	     nbVisitedNodes=140533  nbRestartNogoods=144
182.80	       =>  wckTime=180.102  cpuTime=179.74  mem=67M191
267.77	   
267.77	   search
267.77	     run=18  nbConstraintChecks=164390562  nbValidityChecks=329475890  nbPropagations=4456924  nbRevisions=58907876
267.77	     nbUselessRevisions=47103043  nbAssignments=107890  nbFailedAssignments=63410  nbBacktracks=44316
267.77	     nbVisitedNodes=200655  nbRestartNogoods=161
267.77	       =>  wckTime=265.07  cpuTime=264.62  mem=67M191
392.14	   
392.14	   search
392.14	     run=19  nbConstraintChecks=240194597  nbValidityChecks=483275674  nbPropagations=6607257  nbRevisions=86700280
392.14	     nbUselessRevisions=69288662  nbAssignments=163135  nbFailedAssignments=96456  nbBacktracks=66485
392.14	     nbVisitedNodes=303692  nbRestartNogoods=183
392.14	       =>  wckTime=389.444  cpuTime=388.86  mem=67M191
574.57	   
574.57	   search
574.57	     run=20  nbConstraintChecks=349643342  nbValidityChecks=699835924  nbPropagations=9714479  nbRevisions=126482798
574.57	     nbUselessRevisions=100961061  nbAssignments=229821  nbFailedAssignments=129882  nbBacktracks=99738
574.57	     nbVisitedNodes=423343  nbRestartNogoods=196
574.57	       =>  wckTime=571.879  cpuTime=571.14  mem=67M191
873.09	   
873.09	   search
873.09	     run=21  nbConstraintChecks=535849689  nbValidityChecks=1058813194  nbPropagations=14406010  nbRevisions=187302222
873.09	     nbUselessRevisions=149366243  nbAssignments=340425  nbFailedAssignments=190601  nbBacktracks=149617
873.09	     nbVisitedNodes=627733  nbRestartNogoods=223
873.09	       =>  wckTime=870.397  cpuTime=869.34  mem=67M191
1307.21	   
1307.22	   search
1307.22	     run=22  nbConstraintChecks=796523456  nbValidityChecks=1595881119  nbPropagations=21564137  nbRevisions=281232486
1307.22	     nbUselessRevisions=224248092  nbAssignments=527831  nbFailedAssignments=303182  nbBacktracks=224436
1307.22	     nbVisitedNodes=977815  nbRestartNogoods=247
1307.22	       =>  wckTime=1304.52  cpuTime=1303.03  mem=67M191

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/node41/watcher-206514-1168174113 -o ROOT/results/node41/solver-206514-1168174113 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206514-1168174113/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.94 1.99 1.83 2/81 3638
/proc/meminfo: memFree=1526592/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=18540 CPUtime=0
/proc/3637/stat : 3637 (runsolver) R 3635 3637 3434 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165810704 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3637/statm: 4635 279 244 17 0 2626 0

[startup+0.103377 s]
/proc/loadavg: 1.94 1.99 1.83 2/81 3638
/proc/meminfo: memFree=1526592/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=907808 CPUtime=0.05
/proc/3637/stat : 3637 (java) D 3635 3637 3434 0 -1 0 2457 0 1 0 4 1 0 0 16 0 4 0 165810704 929595392 2204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.515412 s]
/proc/loadavg: 1.94 1.99 1.83 2/81 3638
/proc/meminfo: memFree=1526592/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915328 CPUtime=0.4
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 6291 0 1 0 36 4 0 0 18 0 8 0 165810704 937295872 6030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 228832 6030 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328

[startup+1.34149 s]
/proc/loadavg: 1.94 1.99 1.83 3/88 3645
/proc/meminfo: memFree=1459528/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915328 CPUtime=1.22
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 19099 0 1 0 112 10 0 0 24 0 8 0 165810704 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 228832 18836 2149 14 0 215302 0
[pid=3637/tid=3639] ppid=3635 vsize=915328 CPUtime=0.05
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165810708 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915328 CPUtime=0.07
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 307 0 0 0 7 0 0 0 16 0 8 0 165810721 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915328

[startup+2.97963 s]
/proc/loadavg: 1.94 1.99 1.83 4/88 3645
/proc/meminfo: memFree=1418824/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=2.86
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32690 0 1 0 269 17 0 0 25 0 8 0 165810704 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 228856 32424 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 17 0 8 0 165810708 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.18
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 362 0 0 0 17 1 0 0 15 0 8 0 165810721 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915424

[startup+6.26791 s]
/proc/loadavg: 1.94 1.99 1.83 3/88 3645
/proc/meminfo: memFree=1406472/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=6.12
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32704 0 1 0 595 17 0 0 25 0 8 0 165810704 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 228856 32436 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 17 0 8 0 165810708 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.21
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 375 0 0 0 20 1 0 0 15 0 8 0 165810721 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915424

[startup+12.7555 s]
/proc/loadavg: 1.95 1.99 1.83 3/88 3645
/proc/meminfo: memFree=1406600/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=12.58
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32719 0 1 0 1240 18 0 0 17 0 8 0 165810704 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761066 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32448 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.24
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 165810721 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915424

[startup+25.6306 s]
/proc/loadavg: 1.89 1.98 1.83 3/88 3720
/proc/meminfo: memFree=1293832/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=25.41
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32723 0 1 0 2523 18 0 0 25 0 8 0 165810704 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32452 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.24
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915424

[startup+51.2868 s]
/proc/loadavg: 1.93 1.98 1.83 3/88 3720
/proc/meminfo: memFree=1114184/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=51.06
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32723 0 1 0 5087 19 0 0 25 0 8 0 165810704 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32452 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.24
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915424

[startup+102.565 s]
/proc/loadavg: 1.97 1.98 1.83 3/81 3721
/proc/meminfo: memFree=1320128/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=102.27
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32723 0 1 0 10208 19 0 0 25 0 8 0 165810704 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32452 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.24
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 915424

[startup+162.594 s]
/proc/loadavg: 1.99 1.98 1.84 3/81 3721
/proc/meminfo: memFree=1316672/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=162.21
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32723 0 1 0 16202 19 0 0 25 0 8 0 165810704 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 915424

[startup+1483.22 s]
/proc/loadavg: 2.10 2.03 1.94 3/81 3919
/proc/meminfo: memFree=1166976/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1481.54
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 148114 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.54
Current children cumulated vsize (KiB) 915424

[startup+1543.24 s]
/proc/loadavg: 2.04 2.02 1.94 3/81 3919
/proc/meminfo: memFree=1162688/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1541.51
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 154111 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 915424

[startup+1603.27 s]
/proc/loadavg: 2.01 2.02 1.94 3/81 3919
/proc/meminfo: memFree=1158592/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1601.46
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 160106 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758675 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 915424

[startup+1663.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/81 3919
/proc/meminfo: memFree=1154944/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1661.18
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 166078 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.18
Current children cumulated vsize (KiB) 915424

[startup+1723.39 s]
/proc/loadavg: 2.00 2.01 1.94 3/81 3919
/proc/meminfo: memFree=1150848/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1720.96
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 172056 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.96
Current children cumulated vsize (KiB) 915424

[startup+1783.49 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 3921
/proc/meminfo: memFree=1147008/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1780.71
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 178031 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.71
Current children cumulated vsize (KiB) 915424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.92 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 3921
/proc/meminfo: memFree=1145984/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1800.07
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 179966 41 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915424

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

Child status: 143
Real time (s): 1802.99
CPU time (s): 1800.13
CPU user time (s): 1799.7
CPU system time (s): 0.430934
CPU usage (%): 99.8415
Max. virtual memory (cumulated for all children) (KiB): 915424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.430934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32742
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= 37593
involuntary context switches= 35259

runsolver used 2.6086 s user time and 5.39318 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Sun Jan  7 12:48:34 UTC 2007


IDJOB= 206514
IDBENCH= 4214
FILE ID= node41/206514-1168174113

PBS_JOBID= 3479085

Free space on /tmp= 66541 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-36_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206514-1168174113/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-206514-1168174113 -o ROOT/results/node41/solver-206514-1168174113 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206514-1168174113/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  58a80347851c1598c5e724f3ea41177e

RANDOM SEED= 646383649

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.234
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.234
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:       1527072 kB
Buffers:         34368 kB
Cached:         344472 kB
SwapCached:        396 kB
Active:         185796 kB
Inactive:       275080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1527072 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            7484 kB
Writeback:           0 kB
Mapped:          98428 kB
Slab:            52984 kB
Committed_AS:  3058484 kB
PageTables:       2072 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= 66505 MiB



End job on node41 on Sun Jan  7 13:18:38 UTC 2007