0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278452-1169288142/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.086 cpuTime=0.07 mem=6M887
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.55 nbConstraints=693 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=679
0.55 nbConflictsStructures=14 nbSharedConflictsStructures=679 nbSharedBinaryRepresentations=52 maxDegree=38
0.55 maxArity=2
0.55 => wckTime=0.243 cpuTime=0.17 mem=8M838
0.60
0.60 solver LocalSearchSolver being built...
0.63 => wckTime=0.323 cpuTime=0.21 mem=5M709
0.64
0.64 s SATISFIABLE
0.64 o 364
0.64 c 329
0.64 o 371
0.64 c 322
0.64 o 379
0.64 c 314
0.64 o 384
0.64 c 309
0.65 o 389
0.65 c 304
0.65 o 395
0.65 c 298
0.65 o 396
0.65 c 297
0.65 o 400
0.65 c 293
0.65 o 403
0.65 c 290
0.65 o 405
0.65 c 288
0.65 o 407
0.65 c 286
0.65 o 409
0.65 c 284
0.65 o 411
0.65 c 282
0.65 o 415
0.66 c 278
0.66 o 416
0.66 c 277
0.66 o 418
0.66 c 275
0.66 o 425
0.66 c 268
0.66 o 427
0.66 c 266
0.66 o 429
0.66 c 264
0.68 o 430
0.68 c 263
0.76 o 432
0.76 c 261
0.76 o 433
0.76 c 260
0.76 o 434
0.76 c 259
1.04 o 435
1.04 c 258
2.41 o 436
2.41 c 257
2.67 o 437
2.67 c 256
2.95
2.95 search
2.95 run=0 nbConstraintChecks=11244109 nbAssignments=10000
2.95 => wckTime=2.321 cpuTime=2.3 mem=5M709
5.22
5.22 search
5.22 run=1 nbConstraintChecks=22580052 nbAssignments=20000
5.22 => wckTime=4.586 cpuTime=4.55 mem=5M709
7.45
7.45 search
7.45 run=2 nbConstraintChecks=33819775 nbAssignments=30000
7.45 => wckTime=6.818 cpuTime=6.77 mem=5M709
9.70
9.70 search
9.70 run=3 nbConstraintChecks=45162010 nbAssignments=40000
9.70 => wckTime=9.064 cpuTime=9.01 mem=5M709
11.93
11.93 search
11.93 run=4 nbConstraintChecks=56403044 nbAssignments=50000
11.93 => wckTime=11.295 cpuTime=11.23 mem=5M709
14.17
14.17 search
14.17 run=5 nbConstraintChecks=67735769 nbAssignments=60000
14.17 => wckTime=13.539 cpuTime=13.46 mem=5M709
16.41
16.41 search
16.41 run=6 nbConstraintChecks=78964205 nbAssignments=70000
16.41 => wckTime=15.776 cpuTime=15.69 mem=5M709
18.67
18.67 search
18.67 run=7 nbConstraintChecks=90304413 nbAssignments=80000
18.67 => wckTime=18.041 cpuTime=17.94 mem=5M709
20.92
20.92 search
20.92 run=8 nbConstraintChecks=101539049 nbAssignments=90000
20.92 => wckTime=20.29 cpuTime=20.18 mem=5M709
23.19
23.19 search
23.19 run=9 nbConstraintChecks=112869385 nbAssignments=100000
23.19 => wckTime=22.553 cpuTime=22.44 mem=5M709
25.46
25.53 search
25.53 run=10 nbConstraintChecks=124107824 nbAssignments=110000
25.53 => wckTime=24.825 cpuTime=24.67 mem=5M709
27.71
27.71 search
27.71 run=11 nbConstraintChecks=135455458 nbAssignments=120000
27.71 => wckTime=27.073 cpuTime=26.91 mem=5M709
29.94
29.94 search
29.94 run=12 nbConstraintChecks=146692226 nbAssignments=130000
29.94 => wckTime=29.306 cpuTime=29.14 mem=5M709
32.19
32.19 search
32.19 run=13 nbConstraintChecks=158036348 nbAssignments=140000
32.19 => wckTime=31.554 cpuTime=31.37 mem=5M709
32.84
32.84 search
32.84 run=14 nbConstraintChecks=161293889 nbAssignments=142947
32.84 => wckTime=32.206 cpuTime=32.03 mem=5M709
32.84
32.84 global
32.84 nbConstraintChecks=161293889 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.84 solvingWckTime=32.204 solvingCpuTime=32.02 expiredTime=no totalExploration=no nbFoundSolutions=0
32.84 globalCpuTime=32.28
32.84 => wckTime=32.529 cpuTime=32.23 mem=5M709
32.84
32.84 solver IterativeSystematicSolver being built...
32.97 => wckTime=32.663 cpuTime=32.32 mem=16M826
33.04
33.04 preprocessing
33.04 nbConstraintChecks=55197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.04 detectedInconsistency=no
33.04 => wckTime=0.058 cpuTime=0.04 mem=16M826
33.07
33.07 search
33.07 run=0 nbConstraintChecks=61083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
33.07 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=53 nbRestartNogoods=0
33.07 => wckTime=0.092 cpuTime=0.07 mem=16M826
33.12
33.12 search
33.12 run=1 nbConstraintChecks=144610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82
33.12 nbFailedAssignments=13 nbBacktracks=28 nbVisitedNodes=123 nbRestartNogoods=2
33.12 => wckTime=0.141 cpuTime=0.11 mem=16M826
33.16
33.16 search
33.16 run=2 nbConstraintChecks=248387 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133
33.16 nbFailedAssignments=24 nbBacktracks=52 nbVisitedNodes=209 nbRestartNogoods=4
33.16 => wckTime=0.182 cpuTime=0.16 mem=16M826
33.22
33.22 search
33.22 run=3 nbConstraintChecks=395365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=203
33.22 nbFailedAssignments=43 nbBacktracks=86 nbVisitedNodes=331 nbRestartNogoods=6
33.22 => wckTime=0.242 cpuTime=0.22 mem=16M826
33.29
33.29 search
33.29 run=4 nbConstraintChecks=591130 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=295
33.29 nbFailedAssignments=68 nbBacktracks=136 nbVisitedNodes=497 nbRestartNogoods=8
33.29 => wckTime=0.318 cpuTime=0.29 mem=16M826
33.41
33.41 search
33.41 run=5 nbConstraintChecks=895465 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=428
33.41 nbFailedAssignments=111 nbBacktracks=211 nbVisitedNodes=747 nbRestartNogoods=10
33.41 => wckTime=0.435 cpuTime=0.4 mem=16M826
33.59
33.59 search
33.59 run=6 nbConstraintChecks=1369207 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=630
33.59 nbFailedAssignments=186 nbBacktracks=325 nbVisitedNodes=1135 nbRestartNogoods=13
33.59 => wckTime=0.615 cpuTime=0.58 mem=16M826
33.86
33.86 search
33.86 run=7 nbConstraintChecks=2066325 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=914
33.86 nbFailedAssignments=290 nbBacktracks=496 nbVisitedNodes=1687 nbRestartNogoods=15
33.86 => wckTime=0.886 cpuTime=0.85 mem=16M826
34.28
34.28 search
34.28 run=8 nbConstraintChecks=3146396 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1372
34.28 nbFailedAssignments=476 nbBacktracks=753 nbVisitedNodes=2575 nbRestartNogoods=17
34.28 => wckTime=1.304 cpuTime=1.25 mem=16M826
34.87
34.87 search
34.87 run=9 nbConstraintChecks=4698422 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2005
34.87 nbFailedAssignments=709 nbBacktracks=1138 nbVisitedNodes=3816 nbRestartNogoods=21
34.87 => wckTime=1.898 cpuTime=1.83 mem=16M826
35.75
35.75 search
35.75 run=10 nbConstraintChecks=7032824 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2940
35.75 nbFailedAssignments=1058 nbBacktracks=1714 nbVisitedNodes=5658 nbRestartNogoods=25
35.75 => wckTime=2.772 cpuTime=2.7 mem=16M826
37.06
37.06 search
37.06 run=11 nbConstraintChecks=10569956 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4403
37.06 nbFailedAssignments=1642 nbBacktracks=2578 nbVisitedNodes=8525 nbRestartNogoods=30
37.06 => wckTime=4.087 cpuTime=4.0 mem=16M826
39.13
39.13 search
39.13 run=12 nbConstraintChecks=15950609 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6546
39.13 nbFailedAssignments=2476 nbBacktracks=3875 nbVisitedNodes=12732 nbRestartNogoods=33
39.13 => wckTime=6.151 cpuTime=6.05 mem=16M826
42.35
42.35 search
42.35 run=13 nbConstraintChecks=24131289 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9778
42.35 nbFailedAssignments=3751 nbBacktracks=5821 nbVisitedNodes=19103 nbRestartNogoods=37
42.35 => wckTime=9.375 cpuTime=9.26 mem=16M826
46.97
46.97 search
46.97 run=14 nbConstraintChecks=36176146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14547
46.97 nbFailedAssignments=5593 nbBacktracks=8740 nbVisitedNodes=28519 nbRestartNogoods=42
46.97 => wckTime=13.999 cpuTime=13.86 mem=16M826
53.49
53.49 search
53.49 run=15 nbConstraintChecks=53349125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21620
53.49 nbFailedAssignments=8278 nbBacktracks=13118 nbVisitedNodes=42393 nbRestartNogoods=48
53.49 => wckTime=20.511 cpuTime=20.35 mem=16M826
63.66
63.66 search
63.66 run=16 nbConstraintChecks=79416909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31994
63.66 nbFailedAssignments=12073 nbBacktracks=19687 nbVisitedNodes=62896 nbRestartNogoods=55
63.66 => wckTime=30.683 cpuTime=30.48 mem=16M826
79.83
79.83 search
79.83 run=17 nbConstraintChecks=119909376 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47920
79.83 nbFailedAssignments=18137 nbBacktracks=29541 nbVisitedNodes=94327 nbRestartNogoods=62
79.83 => wckTime=46.853 cpuTime=46.56 mem=16M826
104.51
104.52 search
104.52 run=18 nbConstraintChecks=181760133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72429
104.52 nbFailedAssignments=27860 nbBacktracks=44319 nbVisitedNodes=142492 nbRestartNogoods=69
104.52 => wckTime=71.54 cpuTime=71.14 mem=16M826
141.45
141.45 search
141.45 run=19 nbConstraintChecks=274067945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109364
141.45 nbFailedAssignments=42613 nbBacktracks=66490 nbVisitedNodes=214805 nbRestartNogoods=76
141.45 => wckTime=108.471 cpuTime=107.88 mem=16M826
168.21
168.21 search
168.21 run=20 nbConstraintChecks=341604520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136704
168.21 nbFailedAssignments=53051 nbBacktracks=83393 nbVisitedNodes=267986 nbRestartNogoods=82
168.21 => wckTime=135.234 cpuTime=134.52 mem=16M826
168.21
168.21 global
168.21 nbConstraintChecks=341659717 nbRestartNogoods=82 solvingWckTime=135.235 solvingCpuTime=134.52 expiredTime=no
168.21 totalExploration=yes nbFoundSolutions=0 globalCpuTime=166.89
168.21 => wckTime=167.899 cpuTime=166.84 mem=16M826
168.21
168.21 s OPTIMUM FOUND
168.21 v 0 0 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1
168.21
168.21 totalWckTime=167.977 totalCpuTime=166.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-278452-1169288142 -o ROOT/results/node7/solver-278452-1169288142 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278452-1169288142/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: 0.71 1.42 1.75 7/86 23498
/proc/meminfo: memFree=1333656/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=292 CPUtime=0
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 277209862 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/23497/statm: 73 35 27 14 0 5 0
[startup+0.108019 s]
/proc/loadavg: 0.71 1.42 1.75 7/86 23498
/proc/meminfo: memFree=1333656/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=913228 CPUtime=0.07
/proc/23497/stat : 23497 (java) D 23492 23497 23386 0 -1 0 2918 0 1 0 6 1 0 0 22 0 8 0 277209862 935145472 2664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.517059 s]
/proc/loadavg: 0.71 1.42 1.75 7/86 23498
/proc/meminfo: memFree=1333656/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915332 CPUtime=0.48
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 6499 0 1 0 45 3 0 0 25 0 8 0 277209862 937299968 6238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228833 6238 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.34314 s]
/proc/loadavg: 0.71 1.42 1.75 3/100 23512
/proc/meminfo: memFree=1296808/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=1.29
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7293 0 1 0 113 16 0 0 25 0 8 0 277209862 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7031 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.13
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 340 0 0 0 12 1 0 0 16 0 8 0 277209870 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915464 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937435136 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98831 s]
/proc/loadavg: 0.71 1.42 1.75 3/100 23512
/proc/meminfo: memFree=1296808/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=2.93
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7296 0 1 0 249 44 0 0 25 0 8 0 277209862 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7033 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.14
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 342 0 0 0 13 1 0 0 16 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26765 s]
/proc/loadavg: 0.81 1.43 1.75 3/100 23512
/proc/meminfo: memFree=1296680/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915464 CPUtime=6.2
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7296 0 1 0 519 101 0 0 25 0 8 0 277209862 937435136 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7033 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915464 CPUtime=0.14
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 342 0 0 0 13 1 0 0 16 0 8 0 277209870 937435136 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7573 s]
/proc/loadavg: 0.91 1.44 1.75 3/100 23512
/proc/meminfo: memFree=1296680/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=12.66
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7297 0 1 0 1057 209 0 0 25 0 8 0 277209862 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7034 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.14
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 343 0 0 0 13 1 0 0 16 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6057 s]
/proc/loadavg: 1.15 1.46 1.75 3/100 23512
/proc/meminfo: memFree=1296744/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=25.43
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7297 0 1 0 2114 429 0 0 25 0 8 0 277209862 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7034 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915464 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937435136 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.14
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 343 0 0 0 13 1 0 0 16 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915460
[startup+51.2124 s]
/proc/loadavg: 1.44 1.50 1.76 3/100 23512
/proc/meminfo: memFree=1282216/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=50.92
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 9189 0 1 0 4537 555 0 0 25 0 8 0 277209862 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 8923 2532 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.24
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 401 0 0 0 23 1 0 0 15 0 8 0 277209870 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915460
[startup+102.422 s]
/proc/loadavg: 1.75 1.58 1.77 3/100 23512
/proc/meminfo: memFree=1282088/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=101.89
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 9197 0 1 0 9634 555 0 0 25 0 8 0 277209862 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 8931 2532 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.24
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277209870 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915460
[startup+162.473 s]
/proc/loadavg: 1.91 1.65 1.78 3/100 23512
/proc/meminfo: memFree=1282024/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=161.65
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 9204 0 1 0 15610 555 0 0 25 0 8 0 277209862 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 8936 2532 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.24
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277209870 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 168.258
CPU time (s): 167.379
CPU user time (s): 161.817
CPU system time (s): 5.56115
CPU usage (%): 99.4771
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.817
system time used= 5.56115
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9303
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= 4637
involuntary context switches= 10905
runsolver used 0.208968 s user time and 0.547916 s system time
The end
Begin job on node7 on Sat Jan 20 10:15:43 UTC 2007
IDJOB= 278452
IDBENCH= 8399
IDSOLVER= 68
FILE ID= node7/278452-1169288142
PBS_JOBID= 3609538
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2100-244621_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278452-1169288142/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-278452-1169288142 -o ROOT/results/node7/solver-278452-1169288142 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278452-1169288142/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= aa4410bbd1415ceb6d64d55ced980d2d
RANDOM SEED= 842794335
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.220
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.220
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: 1336544 kB
Buffers: 54900 kB
Cached: 522556 kB
SwapCached: 0 kB
Active: 211744 kB
Inactive: 425952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1336544 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2044 kB
Writeback: 0 kB
Mapped: 79220 kB
Slab: 66664 kB
Committed_AS: 8453580 kB
PageTables: 2192 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 node7 on Sat Jan 20 10:18:33 UTC 2007