Trace number 196378

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.11 1808.69

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-5_ext.xml
MD5SUMd83889ad2d47ce83455a241605d4d1e2
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 variables24
Number of constraints74
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension74
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/196378-1168070690/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.41	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
1.05	   
1.05	   constraints being loaded...
1.31	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.31	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.31	       =>  wckTime=0.999  cpuTime=0.87  mem=47M673
1.43	   
1.43	   solver IterativeSystematicSolver being built... 
1.59	       =>  wckTime=1.28  cpuTime=1.0  mem=34M384
1.60	   
1.60	   preprocessing
1.60	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.60	     detectedInconsistency=no
1.60	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M384
1.72	   
1.72	   search
1.72	     run=0  nbConstraintChecks=37158  nbValidityChecks=58072  nbPropagations=320  nbRevisions=3393
1.72	     nbUselessRevisions=2643  nbAssignments=27  nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=47
1.72	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
1.72	       =>  wckTime=0.123  cpuTime=0.09  mem=34M384
1.81	   
1.81	   search
1.81	     run=1  nbConstraintChecks=92480  nbValidityChecks=168830  nbPropagations=1296  nbRevisions=14284
1.81	     nbUselessRevisions=11222  nbAssignments=74  nbFailedAssignments=36  nbBacktracks=25  nbVisitedNodes=131
1.81	     nbRestartNogoods=5  mapSize=22  nbInferences=0  nbTooLargeKeys=0
1.81	       =>  wckTime=0.219  cpuTime=0.18  mem=34M384
1.91	   
1.91	   search
1.91	     run=2  nbConstraintChecks=143797  nbValidityChecks=268044  nbPropagations=2914  nbRevisions=32383
1.91	     nbUselessRevisions=25515  nbAssignments=126  nbFailedAssignments=58  nbBacktracks=47  nbVisitedNodes=221
1.91	     nbRestartNogoods=15  mapSize=40  nbInferences=0  nbTooLargeKeys=0
1.91	       =>  wckTime=0.315  cpuTime=0.26  mem=34M384
2.06	   
2.06	   search
2.06	     run=3  nbConstraintChecks=243374  nbValidityChecks=461145  nbPropagations=5646  nbRevisions=63252
2.06	     nbUselessRevisions=49791  nbAssignments=204  nbFailedAssignments=98  nbBacktracks=80  nbVisitedNodes=364
2.06	     nbRestartNogoods=24  mapSize=71  nbInferences=0  nbTooLargeKeys=0
2.06	       =>  wckTime=0.468  cpuTime=0.41  mem=34M384
2.33	   
2.33	   search
2.33	     run=4  nbConstraintChecks=413230  nbValidityChecks=795475  nbPropagations=10106  nbRevisions=116394
2.33	     nbUselessRevisions=91799  nbAssignments=373  nbFailedAssignments=210  nbBacktracks=130  nbVisitedNodes=684
2.33	     nbRestartNogoods=28  mapSize=118  nbInferences=0  nbTooLargeKeys=0
2.33	       =>  wckTime=0.729  cpuTime=0.66  mem=34M384
2.61	   
2.61	   search
2.61	     run=5  nbConstraintChecks=604769  nbValidityChecks=1171218  nbPropagations=16789  nbRevisions=195378
2.61	     nbUselessRevisions=154042  nbAssignments=558  nbFailedAssignments=312  nbBacktracks=207  nbVisitedNodes=1020
2.61	     nbRestartNogoods=38  mapSize=187  nbInferences=0  nbTooLargeKeys=0
2.61	       =>  wckTime=1.012  cpuTime=0.93  mem=34M384
3.11	   
3.11	   search
3.11	     run=6  nbConstraintChecks=955251  nbValidityChecks=1848510  nbPropagations=27224  nbRevisions=317304
3.11	     nbUselessRevisions=249953  nbAssignments=848  nbFailedAssignments=483  nbBacktracks=320  nbVisitedNodes=1566
3.11	     nbRestartNogoods=43  mapSize=295  nbInferences=0  nbTooLargeKeys=0
3.11	       =>  wckTime=1.517  cpuTime=1.43  mem=34M384
3.73	   
3.73	   search
3.73	     run=7  nbConstraintChecks=1371143  nbValidityChecks=2653898  nbPropagations=42414  nbRevisions=496181
3.73	     nbUselessRevisions=390920  nbAssignments=1203  nbFailedAssignments=661  nbBacktracks=490  nbVisitedNodes=2209
3.73	     nbRestartNogoods=53  mapSize=448  nbInferences=0  nbTooLargeKeys=0
3.73	       =>  wckTime=2.136  cpuTime=2.03  mem=34M384
4.87	   
4.87	   search
4.87	     run=8  nbConstraintChecks=2158824  nbValidityChecks=4261637  nbPropagations=65762  nbRevisions=777057
4.87	     nbUselessRevisions=613547  nbAssignments=1990  nbFailedAssignments=1188  nbBacktracks=746  nbVisitedNodes=3696
4.87	     nbRestartNogoods=57  mapSize=672  nbInferences=0  nbTooLargeKeys=0
4.87	       =>  wckTime=3.278  cpuTime=3.15  mem=34M384
6.51	   
6.51	   search
6.51	     run=9  nbConstraintChecks=3346728  nbValidityChecks=6600963  nbPropagations=100634  nbRevisions=1199493
6.51	     nbUselessRevisions=947487  nbAssignments=3070  nbFailedAssignments=1878  nbBacktracks=1130  nbVisitedNodes=5733
6.51	     nbRestartNogoods=62  mapSize=1021  nbInferences=0  nbTooLargeKeys=0
6.51	       =>  wckTime=4.91  cpuTime=4.76  mem=34M384
6.58	   
6.58	   INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=34M384)
8.40	   
8.40	   search
8.40	     run=10  nbConstraintChecks=4687617  nbValidityChecks=9268762  nbPropagations=152299  nbRevisions=1812661
8.40	     nbUselessRevisions=1431204  nbAssignments=4310  nbFailedAssignments=2536  nbBacktracks=1706  nbVisitedNodes=8009
8.40	     nbRestartNogoods=69
8.40	       =>  wckTime=6.807  cpuTime=6.63  mem=34M384
11.34	   
11.34	   search
11.34	     run=11  nbConstraintChecks=6781524  nbValidityChecks=13524268  nbPropagations=231799  nbRevisions=2737512
11.34	     nbUselessRevisions=2158479  nbAssignments=6304  nbFailedAssignments=3661  nbBacktracks=2570  nbVisitedNodes=11745
11.34	     nbRestartNogoods=78
11.34	       =>  wckTime=9.747  cpuTime=9.54  mem=34M384
17.98	   
17.98	   search
17.98	     run=12  nbConstraintChecks=11491178  nbValidityChecks=22752270  nbPropagations=357388  nbRevisions=4271849
17.98	     nbUselessRevisions=3371624  nbAssignments=10376  nbFailedAssignments=6429  nbBacktracks=3870  nbVisitedNodes=19570
17.98	     nbRestartNogoods=87
17.98	       =>  wckTime=16.387  cpuTime=16.12  mem=34M384
24.54	   
24.55	   search
24.55	     run=13  nbConstraintChecks=16367468  nbValidityChecks=32039009  nbPropagations=536374  nbRevisions=6440617
24.55	     nbUselessRevisions=5085304  nbAssignments=14651  nbFailedAssignments=8751  nbBacktracks=5819  nbVisitedNodes=27449
24.55	     nbRestartNogoods=97
24.55	       =>  wckTime=22.95  cpuTime=22.64  mem=35M371
38.22	   
38.22	   search
38.22	     run=14  nbConstraintChecks=26289788  nbValidityChecks=51628969  nbPropagations=823638  nbRevisions=9823167
38.22	     nbUselessRevisions=7747698  nbAssignments=23038  nbFailedAssignments=14214  nbBacktracks=8738  nbVisitedNodes=43529
38.22	     nbRestartNogoods=112
38.22	       =>  wckTime=36.621  cpuTime=36.18  mem=35M371
52.82	   
52.82	   search
52.82	     run=15  nbConstraintChecks=36816430  nbValidityChecks=72816573  nbPropagations=1244615  nbRevisions=14752970
52.82	     nbUselessRevisions=11625621  nbAssignments=33293  nbFailedAssignments=20084  nbBacktracks=13118
52.82	     nbVisitedNodes=62575  nbRestartNogoods=130
52.82	       =>  wckTime=51.228  cpuTime=50.65  mem=35M371
81.17	   
81.17	   search
81.17	     run=16  nbConstraintChecks=57178726  nbValidityChecks=112359481  nbPropagations=1871465  nbRevisions=22192641
81.17	     nbUselessRevisions=17490026  nbAssignments=49643  nbFailedAssignments=29861  nbBacktracks=19686
81.17	     nbVisitedNodes=93395  nbRestartNogoods=144
81.17	       =>  wckTime=79.577  cpuTime=78.74  mem=35M371
120.10	   
120.10	   search
120.10	     run=17  nbConstraintChecks=85762618  nbValidityChecks=168033790  nbPropagations=2802463  nbRevisions=33213382
120.10	     nbUselessRevisions=26155288  nbAssignments=74420  nbFailedAssignments=44779  nbBacktracks=29539
120.10	     nbVisitedNodes=139900  nbRestartNogoods=162
120.10	       =>  wckTime=118.508  cpuTime=117.31  mem=35M371
179.17	   
179.17	   search
179.17	     run=18  nbConstraintChecks=128200441  nbValidityChecks=252390405  nbPropagations=4212818  nbRevisions=49780460
179.17	     nbUselessRevisions=39167227  nbAssignments=110774  nbFailedAssignments=66349  nbBacktracks=44317
179.17	     nbVisitedNodes=208178  nbRestartNogoods=178
179.17	       =>  wckTime=177.579  cpuTime=175.84  mem=35M371
252.53	   
252.53	   search
252.53	     run=19  nbConstraintChecks=180494735  nbValidityChecks=357365248  nbPropagations=6295652  nbRevisions=73941509
252.53	     nbUselessRevisions=58121705  nbAssignments=160270  nbFailedAssignments=93670  nbBacktracks=66485
252.53	     nbVisitedNodes=300077  nbRestartNogoods=190
252.53	       =>  wckTime=250.937  cpuTime=248.52  mem=35M371
392.91	   
392.91	   search
392.91	     run=20  nbConstraintChecks=281214441  nbValidityChecks=558366226  nbPropagations=9472543  nbRevisions=111520542
392.91	     nbUselessRevisions=87687354  nbAssignments=249987  nbFailedAssignments=150130  nbBacktracks=99738
392.91	     nbVisitedNodes=469712  nbRestartNogoods=206
392.91	       =>  wckTime=391.312  cpuTime=387.6  mem=35M371
577.93	   
577.93	   search
577.93	     run=21  nbConstraintChecks=415922404  nbValidityChecks=822708186  nbPropagations=14208244  nbRevisions=167026533
577.93	     nbUselessRevisions=131259533  nbAssignments=369975  nbFailedAssignments=220233  nbBacktracks=149617
577.93	     nbVisitedNodes=694195  nbRestartNogoods=221
577.93	       =>  wckTime=576.332  cpuTime=570.92  mem=35M371
885.90	   
885.90	   search
885.90	     run=22  nbConstraintChecks=642573424  nbValidityChecks=1265962634  nbPropagations=21288872  nbRevisions=252453062
885.90	     nbUselessRevisions=198637816  nbAssignments=570247  nbFailedAssignments=345681  nbBacktracks=224436
885.90	     nbVisitedNodes=1071903  nbRestartNogoods=239
885.90	       =>  wckTime=884.305  cpuTime=876.74  mem=35M371
1326.75	   
1326.75	   search
1326.75	     run=23  nbConstraintChecks=986557539  nbValidityChecks=1928931221  nbPropagations=31945506  nbRevisions=379936728
1326.75	     nbUselessRevisions=299014876  nbAssignments=848577  nbFailedAssignments=511777  nbBacktracks=336664
1326.75	     nbVisitedNodes=1595406  nbRestartNogoods=255
1326.75	       =>  wckTime=1325.156  cpuTime=1317.06  mem=35M371

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-196378-1168070690 -o ROOT/results/node2/solver-196378-1168070690 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196378-1168070690/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.00 2.00 2.00 4/93 3385
/proc/meminfo: memFree=1128352/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=47416 CPUtime=0
/proc/3384/stat : 3384 (java) D 3382 3384 2946 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 155464687 48553984 960 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/3384/statm: 11854 960 760 14 0 1707 0

[startup+0.103812 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 3385
/proc/meminfo: memFree=1128352/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=914988 CPUtime=0.08
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 2992 0 1 0 7 1 0 0 18 0 8 0 155464687 936947712 2738 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4152819488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228747 2738 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511885 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 3385
/proc/meminfo: memFree=1128352/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915328 CPUtime=0.49
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 7598 0 1 0 45 4 0 0 18 0 8 0 155464687 937295872 7337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228832 7337 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33504 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3392
/proc/meminfo: memFree=1061160/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=1.3
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 19145 0 1 0 122 8 0 0 25 0 8 0 155464687 937385984 18882 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228854 18882 2168 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.06
/proc/3384/task/3386/stat : 3386 (java) R 3382 3384 2946 0 -1 64 2658 0 0 0 6 0 0 0 16 0 8 0 155464691 937385984 18882 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155215817 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 18882 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 18882 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 18882 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.09
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 320 0 0 0 9 0 0 0 16 0 8 0 155464695 937385984 18882 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 18882 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 18882 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915416

[startup+2.98034 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3392
/proc/meminfo: memFree=1045480/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=2.93
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23392 0 1 0 283 10 0 0 25 0 8 0 155464687 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228854 23127 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 17 0 8 0 155464691 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.2
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 372 0 0 0 20 0 0 0 15 0 8 0 155464695 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915416

[startup+6.27395 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3392
/proc/meminfo: memFree=1045288/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=6.19
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23408 0 1 0 609 10 0 0 25 0 8 0 155464687 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228854 23141 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.22
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 386 0 0 0 22 0 0 0 16 0 8 0 155464695 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416

[startup+12.7631 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3392
/proc/meminfo: memFree=1045288/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=12.62
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23412 0 1 0 1252 10 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073787461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416

[startup+25.6215 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3392
/proc/meminfo: memFree=1045352/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=25.36
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23412 0 1 0 2526 10 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915416

[startup+51.2552 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3392
/proc/meminfo: memFree=1045416/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=50.76
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 5065 11 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073773921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915416

[startup+102.518 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3392
/proc/meminfo: memFree=1045544/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=101.55
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 10144 11 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073754495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915416

[startup+162.519 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3392
/proc/meminfo: memFree=1045544/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=161
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 16088 12 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1414.75
Current children cumulated vsize (KiB) 915416

[startup+1482.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983656/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=1474.69
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 147447 22 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073757261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.69
Current children cumulated vsize (KiB) 915416

[startup+1542.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983656/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=1534.65
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 153443 22 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073754377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.65
Current children cumulated vsize (KiB) 915416

[startup+1602.94 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 3508
/proc/meminfo: memFree=983656/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=1594.59
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 159437 22 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073759018 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.59
Current children cumulated vsize (KiB) 915416

[startup+1662.96 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 3508
/proc/meminfo: memFree=983656/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=1654.53
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 165431 22 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073763236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.53
Current children cumulated vsize (KiB) 915416

[startup+1722.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983656/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=1714.49
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 171426 23 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073759003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.49
Current children cumulated vsize (KiB) 915416

[startup+1782.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983592/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=1774.43
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 177420 23 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.43
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983656/2055920 swapFree=4191880/4192956
[pid=3384] ppid=3382 vsize=915416 CPUtime=1800.03
/proc/3384/stat : 3384 (java) R 3382 3384 2946 0 -1 0 23413 0 1 0 179980 23 0 0 25 0 8 0 155464687 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3384/statm: 228854 23144 2521 14 0 215324 0
[pid=3384/tid=3386] ppid=3382 vsize=915416 CPUtime=0.16
/proc/3384/task/3386/stat : 3386 (java) S 3382 3384 2946 0 -1 64 6426 0 0 0 15 1 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3387] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3387/stat : 3387 (java) S 3382 3384 2946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3388] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3388/stat : 3388 (java) S 3382 3384 2946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155464691 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3389] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3389/stat : 3389 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3390] ppid=3382 vsize=915416 CPUtime=0.23
/proc/3384/task/3390/stat : 3390 (java) S 3382 3384 2946 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3391] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3391/stat : 3391 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3384/tid=3392] ppid=3382 vsize=915416 CPUtime=0
/proc/3384/task/3392/stat : 3392 (java) S 3382 3384 2946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155464695 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1808.69
CPU time (s): 1800.11
CPU user time (s): 1799.86
CPU system time (s): 0.249962
CPU usage (%): 99.5261
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.249962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23429
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= 37658
involuntary context switches= 47143

runsolver used 1.92371 s user time and 6.08907 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan  6 08:04:50 UTC 2007


IDJOB= 196378
IDBENCH= 3347
FILE ID= node2/196378-1168070690

PBS_JOBID= 3475661

Free space on /tmp= 66321 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196378-1168070690/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-196378-1168070690 -o ROOT/results/node2/solver-196378-1168070690 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196378-1168070690/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d83889ad2d47ce83455a241605d4d1e2

RANDOM SEED= 784440535

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:       1128768 kB
Buffers:         73464 kB
Cached:         667808 kB
SwapCached:        268 kB
Active:         306596 kB
Inactive:       523332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1128768 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4484 kB
Writeback:           0 kB
Mapped:         116904 kB
Slab:            81836 kB
Committed_AS:  4245300 kB
PageTables:       2488 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= 66318 MiB



End job on node2 on Sat Jan  6 08:35:01 UTC 2007