0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278435-1169288069/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.091 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.42
0.42 constraints being loaded...
0.57 nbConstraints=671 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=657
0.57 nbConflictsStructures=14 nbSharedConflictsStructures=657 nbSharedBinaryRepresentations=52 maxDegree=39
0.57 maxArity=2
0.57 => wckTime=0.257 cpuTime=0.17 mem=8M860
0.62
0.62 solver LocalSearchSolver being built...
0.65 => wckTime=0.339 cpuTime=0.21 mem=5M697
0.66
0.66 s SATISFIABLE
0.66 o 340
0.66 c 331
0.66 o 346
0.66 c 325
0.66 o 351
0.66 c 320
0.67 o 354
0.67 c 317
0.67 o 357
0.67 c 314
0.67 o 360
0.67 c 311
0.67 o 363
0.67 c 308
0.67 o 364
0.67 c 307
0.67 o 366
0.67 c 305
0.67 o 369
0.67 c 302
0.67 o 370
0.67 c 301
0.67 o 374
0.67 c 297
0.67 o 375
0.67 c 296
0.67 o 376
0.67 c 295
0.68 o 381
0.68 c 290
0.68 o 383
0.68 c 288
0.69 o 385
0.69 c 286
0.69 o 386
0.69 c 285
0.69 o 387
0.69 c 284
0.75 o 388
0.75 c 283
0.75 o 389
0.75 c 282
0.78 o 391
0.78 c 280
3.15
3.15 search
3.15 run=0 nbConstraintChecks=11358746 nbAssignments=10000
3.15 => wckTime=2.499 cpuTime=2.47 mem=5M697
5.57
5.57 search
5.57 run=1 nbConstraintChecks=22797637 nbAssignments=20000
5.57 => wckTime=4.918 cpuTime=4.88 mem=5M697
7.98
7.98 search
7.98 run=2 nbConstraintChecks=34160370 nbAssignments=30000
7.98 => wckTime=7.324 cpuTime=7.26 mem=5M697
10.39
10.39 search
10.39 run=3 nbConstraintChecks=45599740 nbAssignments=40000
10.39 => wckTime=9.739 cpuTime=9.66 mem=5M697
12.80
12.80 search
12.80 run=4 nbConstraintChecks=56960142 nbAssignments=50000
12.80 => wckTime=12.142 cpuTime=12.06 mem=5M697
15.23
15.23 search
15.23 run=5 nbConstraintChecks=68400603 nbAssignments=60000
15.23 => wckTime=14.576 cpuTime=14.48 mem=5M697
17.65
17.65 search
17.65 run=6 nbConstraintChecks=79767200 nbAssignments=70000
17.65 => wckTime=17.001 cpuTime=16.9 mem=5M697
20.09
20.09 search
20.09 run=7 nbConstraintChecks=91203018 nbAssignments=80000
20.09 => wckTime=19.437 cpuTime=19.32 mem=5M697
22.51
22.51 search
22.51 run=8 nbConstraintChecks=102565890 nbAssignments=90000
22.51 => wckTime=21.862 cpuTime=21.74 mem=5M697
24.94
24.94 search
24.94 run=9 nbConstraintChecks=113993413 nbAssignments=100000
24.94 => wckTime=24.283 cpuTime=24.14 mem=5M697
27.34
27.34 search
27.34 run=10 nbConstraintChecks=125360762 nbAssignments=110000
27.34 => wckTime=26.683 cpuTime=26.53 mem=5M697
29.74
29.74 search
29.74 run=11 nbConstraintChecks=136797370 nbAssignments=120000
29.74 => wckTime=29.091 cpuTime=28.93 mem=5M697
30.95
30.95 search
30.95 run=12 nbConstraintChecks=142499689 nbAssignments=125045
30.95 => wckTime=30.295 cpuTime=30.13 mem=5M697
30.95
30.95 global
30.95 nbConstraintChecks=142499689 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.95 solvingWckTime=30.293 solvingCpuTime=30.13 expiredTime=no totalExploration=no nbFoundSolutions=0
30.95 globalCpuTime=30.4
30.95 => wckTime=30.634 cpuTime=30.34 mem=5M697
30.95
30.95 solver IterativeSystematicSolver being built...
31.09 => wckTime=30.775 cpuTime=30.45 mem=16M816
31.10
31.10 preprocessing
31.10 nbConstraintChecks=1226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.10 detectedInconsistency=no
31.10 => wckTime=0.012 cpuTime=0.01 mem=16M816
31.17
31.17 search
31.17 run=0 nbConstraintChecks=65761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
31.17 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0
31.17 => wckTime=0.072 cpuTime=0.05 mem=16M816
31.22
31.22 search
31.22 run=1 nbConstraintChecks=151812 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85
31.22 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=130 nbRestartNogoods=2
31.22 => wckTime=0.127 cpuTime=0.09 mem=16M816
31.26
31.26 search
31.26 run=2 nbConstraintChecks=249104 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=137
31.26 nbFailedAssignments=29 nbBacktracks=48 nbVisitedNodes=215 nbRestartNogoods=4
31.26 => wckTime=0.167 cpuTime=0.13 mem=16M816
31.32
31.32 search
31.32 run=3 nbConstraintChecks=394723 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=207
31.32 nbFailedAssignments=47 nbBacktracks=81 nbVisitedNodes=336 nbRestartNogoods=5
31.32 => wckTime=0.225 cpuTime=0.18 mem=16M816
31.40
31.40 search
31.40 run=4 nbConstraintChecks=620639 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=311
31.40 nbFailedAssignments=84 nbBacktracks=131 nbVisitedNodes=527 nbRestartNogoods=7
31.40 => wckTime=0.312 cpuTime=0.27 mem=16M816
31.53
31.53 search
31.53 run=5 nbConstraintChecks=936025 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=455
31.53 nbFailedAssignments=136 nbBacktracks=206 nbVisitedNodes=798 nbRestartNogoods=11
31.53 => wckTime=0.442 cpuTime=0.39 mem=16M816
31.73
31.73 search
31.73 run=6 nbConstraintChecks=1434358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=665
31.73 nbFailedAssignments=217 nbBacktracks=319 nbVisitedNodes=1202 nbRestartNogoods=15
31.73 => wckTime=0.636 cpuTime=0.58 mem=16M816
32.05
32.05 search
32.05 run=7 nbConstraintChecks=2263103 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=991
32.05 nbFailedAssignments=359 nbBacktracks=490 nbVisitedNodes=1841 nbRestartNogoods=18
32.05 => wckTime=0.959 cpuTime=0.9 mem=16M816
32.46
32.46 search
32.46 run=8 nbConstraintChecks=3304705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1425
32.46 nbFailedAssignments=517 nbBacktracks=748 nbVisitedNodes=2691 nbRestartNogoods=21
32.46 => wckTime=1.364 cpuTime=1.3 mem=16M816
33.16
33.16 search
33.16 run=9 nbConstraintChecks=5012410 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2107
33.16 nbFailedAssignments=804 nbBacktracks=1133 nbVisitedNodes=4045 nbRestartNogoods=24
33.16 => wckTime=2.066 cpuTime=1.97 mem=16M816
34.21
34.21 search
34.21 run=10 nbConstraintChecks=7632211 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3139
34.21 nbFailedAssignments=1247 nbBacktracks=1709 nbVisitedNodes=6096 nbRestartNogoods=26
34.21 => wckTime=3.114 cpuTime=3.01 mem=16M816
35.72
35.72 search
35.72 run=11 nbConstraintChecks=11382498 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4618
35.72 nbFailedAssignments=1850 nbBacktracks=2573 nbVisitedNodes=9042 nbRestartNogoods=29
35.72 => wckTime=4.632 cpuTime=4.52 mem=16M816
37.78
37.78 search
37.78 run=12 nbConstraintChecks=16563474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6778
37.78 nbFailedAssignments=2698 nbBacktracks=3871 nbVisitedNodes=13348 nbRestartNogoods=34
37.78 => wckTime=6.688 cpuTime=6.57 mem=16M816
41.44
41.44 search
41.44 run=13 nbConstraintChecks=25549973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10201
41.44 nbFailedAssignments=4164 nbBacktracks=5818 nbVisitedNodes=20184 nbRestartNogoods=38
41.44 => wckTime=10.348 cpuTime=10.21 mem=16M816
46.22
46.22 search
46.22 run=14 nbConstraintChecks=37669146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15242
46.22 nbFailedAssignments=6273 nbBacktracks=8737 nbVisitedNodes=30253 nbRestartNogoods=45
46.22 => wckTime=15.129 cpuTime=14.97 mem=16M816
54.05
54.05 search
54.05 run=15 nbConstraintChecks=57081847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22955
54.05 nbFailedAssignments=9594 nbBacktracks=13116 nbVisitedNodes=45666 nbRestartNogoods=51
54.05 => wckTime=22.957 cpuTime=22.76 mem=16M816
65.78
65.78 search
65.78 run=16 nbConstraintChecks=85919616 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34487
65.78 nbFailedAssignments=14548 nbBacktracks=19684 nbVisitedNodes=68719 nbRestartNogoods=57
65.78 => wckTime=34.692 cpuTime=34.43 mem=16M816
84.00
84.00 search
84.00 run=17 nbConstraintChecks=130371583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51993
84.00 nbFailedAssignments=22193 nbBacktracks=29536 nbVisitedNodes=103691 nbRestartNogoods=63
84.00 => wckTime=52.906 cpuTime=52.56 mem=16M816
110.61
110.61 search
110.61 run=18 nbConstraintChecks=193704075 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77188
110.61 nbFailedAssignments=32595 nbBacktracks=44315 nbVisitedNodes=153987 nbRestartNogoods=70
110.61 => wckTime=79.516 cpuTime=79.05 mem=16M816
150.83
150.83 search
150.83 run=19 nbConstraintChecks=289058093 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=115259
150.83 nbFailedAssignments=48491 nbBacktracks=66483 nbVisitedNodes=230017 nbRestartNogoods=78
150.83 => wckTime=119.736 cpuTime=119.08 mem=16M816
208.18
208.18 search
208.18 run=20 nbConstraintChecks=430153441 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=171163
208.18 nbFailedAssignments=71133 nbBacktracks=99737 nbVisitedNodes=341711 nbRestartNogoods=86
208.18 => wckTime=177.086 cpuTime=176.15 mem=16M816
295.96
295.96 search
295.96 run=21 nbConstraintChecks=642416166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=256736
295.96 nbFailedAssignments=106816 nbBacktracks=149616 nbVisitedNodes=512608 nbRestartNogoods=96
295.97 => wckTime=264.873 cpuTime=263.53 mem=16M816
422.98
422.98 search
422.98 run=22 nbConstraintChecks=948702854 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=381434
422.98 nbFailedAssignments=156683 nbBacktracks=224435 nbVisitedNodes=761080 nbRestartNogoods=102
422.98 => wckTime=391.885 cpuTime=389.94 mem=16M816
583.03
583.03 search
583.03 run=23 nbConstraintChecks=1338493210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=542556
583.03 nbFailedAssignments=224123 nbBacktracks=318118 nbVisitedNodes=1081420 nbRestartNogoods=110
583.03 => wckTime=551.943 cpuTime=549.23 mem=16M816
583.04
583.04 global
583.04 nbConstraintChecks=1338494436 nbRestartNogoods=110 solvingWckTime=551.944 solvingCpuTime=549.23 expiredTime=no
583.04 totalExploration=yes nbFoundSolutions=0 globalCpuTime=579.74
583.04 => wckTime=582.719 cpuTime=579.68 mem=16M816
583.04
583.04 s OPTIMUM FOUND
583.04 v 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 0
583.04
583.04 totalWckTime=582.799 totalCpuTime=579.75
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-278435-1169288069 -o ROOT/results/node15/solver-278435-1169288069 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278435-1169288069/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.01 1.13 1.46 4/93 18239
/proc/meminfo: memFree=1413064/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=18540 CPUtime=0
/proc/18238/stat : 18238 (runsolver) R 18236 18238 17862 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 277201804 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18238/statm: 4635 279 244 17 0 2626 0
[startup+0.110007 s]
/proc/loadavg: 1.01 1.13 1.46 4/93 18239
/proc/meminfo: memFree=1413064/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=914988 CPUtime=0.09
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 3049 0 1 0 7 2 0 0 17 0 8 0 277201804 936947712 2795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518076 s]
/proc/loadavg: 1.01 1.13 1.46 4/93 18239
/proc/meminfo: memFree=1413064/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915332 CPUtime=0.49
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 6343 0 1 0 44 5 0 0 17 0 8 0 277201804 937299968 6082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154577955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228833 6082 2146 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33921 s]
/proc/loadavg: 1.17 1.16 1.47 3/100 18246
/proc/meminfo: memFree=1394640/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=1.31
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 7270 0 1 0 115 16 0 0 22 0 8 0 277201804 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700547 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 7008 2476 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.14
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 341 0 0 0 13 1 0 0 16 0 8 0 277201812 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.9815 s]
/proc/loadavg: 1.17 1.16 1.47 3/100 18246
/proc/meminfo: memFree=1394640/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915464 CPUtime=2.95
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 7271 0 1 0 251 44 0 0 25 0 8 0 277201804 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228866 7008 2476 14 0 215336 0
[pid=18238/tid=18240] ppid=18236 vsize=915464 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277201808 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915464 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915464 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915464 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915464 CPUtime=0.14
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 341 0 0 0 13 1 0 0 16 0 8 0 277201812 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915464 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915464 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.27506 s]
/proc/loadavg: 1.17 1.16 1.47 3/100 18246
/proc/meminfo: memFree=1394584/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=6.22
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 7273 0 1 0 524 98 0 0 25 0 8 0 277201804 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 7010 2476 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.14
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 343 0 0 0 13 1 0 0 16 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7522 s]
/proc/loadavg: 1.30 1.18 1.48 3/100 18246
/proc/meminfo: memFree=1394584/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=12.67
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 7273 0 1 0 1061 206 0 0 25 0 8 0 277201804 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073706132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 7010 2476 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.14
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 343 0 0 0 13 1 0 0 16 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460
[startup+25.6134 s]
/proc/loadavg: 1.41 1.21 1.48 3/100 18246
/proc/meminfo: memFree=1394648/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=25.47
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 7273 0 1 0 2127 420 0 0 25 0 8 0 277201804 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 7010 2476 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.14
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 343 0 0 0 13 1 0 0 16 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 7010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2228 s]
/proc/loadavg: 1.64 1.28 1.50 3/100 18246
/proc/meminfo: memFree=1379992/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=50.94
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9181 0 1 0 4586 508 0 0 25 0 8 0 277201804 937431040 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8915 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915460
[startup+102.429 s]
/proc/loadavg: 1.84 1.39 1.52 3/100 18246
/proc/meminfo: memFree=1379864/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=101.91
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9190 0 1 0 9682 509 0 0 25 0 8 0 277201804 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8923 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915460
[startup+162.482 s]
/proc/loadavg: 1.97 1.51 1.55 3/100 18246
/proc/meminfo: memFree=1379864/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=161.68
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9195 0 1 0 15659 509 0 0 25 0 8 0 277201804 937431040 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 915460
[startup+222.527 s]
/proc/loadavg: 1.99 1.60 1.58 3/100 18246
/proc/meminfo: memFree=1379736/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=221.44
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9198 0 1 0 21635 509 0 0 25 0 8 0 277201804 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8930 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.44
Current children cumulated vsize (KiB) 915460
[startup+282.571 s]
/proc/loadavg: 1.99 1.67 1.60 3/100 18246
/proc/meminfo: memFree=1379808/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=281.2
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9198 0 1 0 27610 510 0 0 25 0 8 0 277201804 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8930 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.2
Current children cumulated vsize (KiB) 915460
[startup+342.621 s]
/proc/loadavg: 1.99 1.73 1.62 3/100 18246
/proc/meminfo: memFree=1379744/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=340.96
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9200 0 1 0 33586 510 0 0 25 0 8 0 277201804 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8932 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.96
Current children cumulated vsize (KiB) 915460
[startup+402.67 s]
/proc/loadavg: 1.99 1.77 1.65 3/100 18248
/proc/meminfo: memFree=1379552/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=400.73
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9200 0 1 0 39562 511 0 0 25 0 8 0 277201804 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8932 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.73
Current children cumulated vsize (KiB) 915460
[startup+462.724 s]
/proc/loadavg: 1.99 1.81 1.66 3/100 18248
/proc/meminfo: memFree=1379616/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=460.49
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9203 0 1 0 45538 511 0 0 25 0 8 0 277201804 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8935 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.49
Current children cumulated vsize (KiB) 915460
[startup+522.778 s]
/proc/loadavg: 2.04 1.86 1.69 3/100 18248
/proc/meminfo: memFree=1379616/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=520.27
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9203 0 1 0 51515 512 0 0 25 0 8 0 277201804 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8935 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.27
Current children cumulated vsize (KiB) 915460
[startup+582.825 s]
/proc/loadavg: 2.08 1.90 1.71 3/100 18248
/proc/meminfo: memFree=1379616/2055920 swapFree=4173628/4192956
[pid=18238] ppid=18236 vsize=915460 CPUtime=580.02
/proc/18238/stat : 18238 (java) R 18236 18238 17862 0 -1 0 9203 0 1 0 57490 512 0 0 25 0 8 0 277201804 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18238/statm: 228865 8935 2527 14 0 215335 0
[pid=18238/tid=18240] ppid=18236 vsize=915460 CPUtime=0.02
/proc/18238/task/18240/stat : 18240 (java) S 18236 18238 17862 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277201808 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18241] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277201809 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18242] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277201809 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18243] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18244] ppid=18236 vsize=915460 CPUtime=0.25
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17862 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18245] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18238/tid=18246] ppid=18236 vsize=915460 CPUtime=0
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17862 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277201812 937431040 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 583.085
CPU time (s): 580.258
CPU user time (s): 575.127
CPU system time (s): 5.13122
CPU usage (%): 99.5151
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 575.127
system time used= 5.13122
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9300
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= 12792
involuntary context switches= 19368
runsolver used 0.725889 s user time and 1.86372 s system time
The end
Begin job on node15 on Sat Jan 20 10:14:29 UTC 2007
IDJOB= 278435
IDBENCH= 8386
IDSOLVER= 69
FILE ID= node15/278435-1169288069
PBS_JOBID= 3609534
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2300-96021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278435-1169288069/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-278435-1169288069 -o ROOT/results/node15/solver-278435-1169288069 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278435-1169288069/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 68c415f9c7ce5366bf1a6ae1f3f8a678
RANDOM SEED= 19958478
TIME LIMIT= 2400 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.276
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.276
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: 1413480 kB
Buffers: 53484 kB
Cached: 459544 kB
SwapCached: 6628 kB
Active: 211180 kB
Inactive: 356112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1413480 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 3512 kB
Writeback: 0 kB
Mapped: 73736 kB
Slab: 59656 kB
Committed_AS: 9423528 kB
PageTables: 2484 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= 66561 MiB
End job on node15 on Sat Jan 20 10:24:13 UTC 2007