0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278381-1169287741/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.38 => wckTime=0.086 cpuTime=0.09 mem=6M910
0.38
0.38 relations being loaded...
0.39
0.39 constraints being loaded...
0.50 nbConstraints=426 nbRelationTypes=13 nbExtensionStructures=13 nbSharedExtensionStructures=413
0.50 nbConflictsStructures=13 nbSharedConflictsStructures=413 nbSharedBinaryRepresentations=48 maxDegree=29
0.50 maxArity=2
0.50 => wckTime=0.211 cpuTime=0.16 mem=8M876
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.287 cpuTime=0.2 mem=5M576
0.58
0.58 s SATISFIABLE
0.58 o 284
0.58 c 142
0.58 o 290
0.58 c 136
0.58 o 293
0.58 c 133
0.58 o 297
0.58 c 129
0.59 o 302
0.59 c 124
0.59 o 310
0.59 c 116
0.59 o 311
0.59 c 115
0.59 o 314
0.59 c 112
0.59 o 318
0.59 c 108
0.59 o 319
0.59 c 107
0.59 o 321
0.59 c 105
0.59 o 322
0.59 c 104
0.59 o 323
0.59 c 103
0.59 o 324
0.59 c 102
0.59 o 325
0.59 c 101
0.60 o 326
0.60 c 100
0.60 o 327
0.60 c 99
0.60 o 328
0.60 c 98
0.60 o 329
0.60 c 97
0.60 o 331
0.60 c 95
0.60 o 334
0.60 c 92
0.62 o 336
0.62 c 90
0.62 o 339
0.62 c 87
0.64 o 340
0.64 c 86
0.64 o 342
0.64 c 84
0.64 o 343
0.64 c 83
0.74 o 344
0.74 c 82
1.33 o 345
1.33 c 81
2.06
2.06 search
2.06 run=0 nbConstraintChecks=6643750 nbAssignments=10000
2.06 => wckTime=1.48 cpuTime=1.46 mem=5M576
3.49
3.49 search
3.49 run=1 nbConstraintChecks=13396848 nbAssignments=20000
3.49 => wckTime=2.909 cpuTime=2.89 mem=5M576
4.91
4.91 search
4.91 run=2 nbConstraintChecks=20043322 nbAssignments=30000
4.91 => wckTime=4.328 cpuTime=4.31 mem=5M576
6.34
6.34 search
6.34 run=3 nbConstraintChecks=26802436 nbAssignments=40000
6.34 => wckTime=5.762 cpuTime=5.74 mem=5M576
7.76
7.76 search
7.76 run=4 nbConstraintChecks=33434011 nbAssignments=50000
7.76 => wckTime=7.18 cpuTime=7.16 mem=5M576
9.19
9.19 search
9.19 run=5 nbConstraintChecks=40207562 nbAssignments=60000
9.19 => wckTime=8.616 cpuTime=8.59 mem=5M576
10.61
10.61 search
10.61 run=6 nbConstraintChecks=46861812 nbAssignments=70000
10.61 => wckTime=10.037 cpuTime=10.0 mem=5M576
12.06
12.06 search
12.06 run=7 nbConstraintChecks=53617474 nbAssignments=80000
12.06 => wckTime=11.482 cpuTime=11.44 mem=5M576
13.48
13.48 search
13.48 run=8 nbConstraintChecks=60261781 nbAssignments=90000
13.48 => wckTime=12.9 cpuTime=12.87 mem=5M576
14.91
14.91 search
14.91 run=9 nbConstraintChecks=67030601 nbAssignments=100000
14.91 => wckTime=14.328 cpuTime=14.29 mem=5M576
16.32
16.32 search
16.32 run=10 nbConstraintChecks=73671643 nbAssignments=110000
16.32 => wckTime=15.739 cpuTime=15.71 mem=5M576
17.74
17.74 search
17.74 run=11 nbConstraintChecks=80439996 nbAssignments=120000
17.74 => wckTime=17.167 cpuTime=17.13 mem=5M576
19.16
19.16 search
19.16 run=12 nbConstraintChecks=87089587 nbAssignments=130000
19.16 => wckTime=18.58 cpuTime=18.54 mem=5M576
20.58
20.58 search
20.58 run=13 nbConstraintChecks=93845364 nbAssignments=140000
20.58 => wckTime=20.005 cpuTime=19.96 mem=5M576
21.99
21.99 search
21.99 run=14 nbConstraintChecks=100503213 nbAssignments=150000
21.99 => wckTime=21.417 cpuTime=21.37 mem=5M576
23.42
23.42 search
23.42 run=15 nbConstraintChecks=107263431 nbAssignments=160000
23.42 => wckTime=22.846 cpuTime=22.8 mem=5M576
24.85
24.85 search
24.85 run=16 nbConstraintChecks=113898507 nbAssignments=170000
24.85 => wckTime=24.268 cpuTime=24.22 mem=5M576
26.28
26.28 search
26.28 run=17 nbConstraintChecks=120661852 nbAssignments=180000
26.28 => wckTime=25.705 cpuTime=25.66 mem=5M576
27.71
27.71 search
27.71 run=18 nbConstraintChecks=127318404 nbAssignments=190000
27.71 => wckTime=27.128 cpuTime=27.09 mem=5M576
29.17
29.17 search
29.17 run=19 nbConstraintChecks=134094312 nbAssignments=200000
29.17 => wckTime=28.589 cpuTime=28.52 mem=5M576
30.59
30.59 search
30.59 run=20 nbConstraintChecks=140748417 nbAssignments=210000
30.59 => wckTime=30.014 cpuTime=29.94 mem=5M576
31.38
31.38 search
31.38 run=21 nbConstraintChecks=144479123 nbAssignments=215503
31.38 => wckTime=30.806 cpuTime=30.74 mem=5M576
31.39
31.39 global
31.39 nbConstraintChecks=144479123 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.39 solvingWckTime=30.805 solvingCpuTime=30.74 expiredTime=no totalExploration=no nbFoundSolutions=0
31.39 globalCpuTime=30.98
31.39 => wckTime=31.094 cpuTime=30.94 mem=5M576
31.39
31.39 solver IterativeSystematicSolver being built...
31.52 => wckTime=31.229 cpuTime=31.04 mem=16M596
31.53
31.53 preprocessing
31.53 nbConstraintChecks=168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.53 detectedInconsistency=no
31.53 => wckTime=0.0060 cpuTime=0.01 mem=16M596
31.57
31.57 search
31.57 run=0 nbConstraintChecks=25047 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28
31.57 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0
31.57 => wckTime=0.051 cpuTime=0.03 mem=16M596
31.61
31.61 search
31.61 run=1 nbConstraintChecks=57752 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64
31.61 nbFailedAssignments=12 nbBacktracks=25 nbVisitedNodes=102 nbRestartNogoods=1
31.61 => wckTime=0.087 cpuTime=0.07 mem=16M596
31.64
31.64 search
31.64 run=2 nbConstraintChecks=110365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117
31.64 nbFailedAssignments=28 nbBacktracks=47 nbVisitedNodes=193 nbRestartNogoods=3
31.64 => wckTime=0.117 cpuTime=0.09 mem=16M596
31.68
31.68 search
31.68 run=3 nbConstraintChecks=188317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=188
31.68 nbFailedAssignments=50 nbBacktracks=80 nbVisitedNodes=319 nbRestartNogoods=5
31.68 => wckTime=0.155 cpuTime=0.13 mem=16M596
31.73
31.73 search
31.73 run=4 nbConstraintChecks=295988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=284
31.73 nbFailedAssignments=80 nbBacktracks=132 nbVisitedNodes=497 nbRestartNogoods=8
31.73 => wckTime=0.209 cpuTime=0.18 mem=16M596
31.81
31.81 search
31.81 run=5 nbConstraintChecks=451231 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=419
31.81 nbFailedAssignments=126 nbBacktracks=207 nbVisitedNodes=753 nbRestartNogoods=11
31.81 => wckTime=0.286 cpuTime=0.26 mem=16M596
31.91
31.91 search
31.91 run=6 nbConstraintChecks=670073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=608
31.91 nbFailedAssignments=190 nbBacktracks=321 nbVisitedNodes=1118 nbRestartNogoods=16
31.91 => wckTime=0.393 cpuTime=0.36 mem=16M596
32.09
32.09 search
32.09 run=7 nbConstraintChecks=1052497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=911
32.09 nbFailedAssignments=306 nbBacktracks=492 nbVisitedNodes=1708 nbRestartNogoods=20
32.09 => wckTime=0.566 cpuTime=0.54 mem=16M596
32.34
32.34 search
32.34 run=8 nbConstraintChecks=1582533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1352
32.34 nbFailedAssignments=476 nbBacktracks=749 nbVisitedNodes=2576 nbRestartNogoods=23
32.35 => wckTime=0.823 cpuTime=0.79 mem=16M596
32.72
32.72 search
32.72 run=9 nbConstraintChecks=2358975 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1981
32.72 nbFailedAssignments=705 nbBacktracks=1134 nbVisitedNodes=3816 nbRestartNogoods=27
32.72 => wckTime=1.199 cpuTime=1.15 mem=16M596
33.31
33.31 search
33.31 run=10 nbConstraintChecks=3634524 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2985
33.31 nbFailedAssignments=1120 nbBacktracks=1711 nbVisitedNodes=5797 nbRestartNogoods=33
33.31 => wckTime=1.785 cpuTime=1.73 mem=16M596
34.07
34.07 search
34.07 run=11 nbConstraintChecks=5322617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4373
34.07 nbFailedAssignments=1630 nbBacktracks=2576 nbVisitedNodes=8489 nbRestartNogoods=38
34.07 => wckTime=2.552 cpuTime=2.49 mem=16M596
35.23
35.23 search
35.23 run=12 nbConstraintChecks=7823023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6351
35.23 nbFailedAssignments=2299 nbBacktracks=3873 nbVisitedNodes=12377 nbRestartNogoods=43
35.23 => wckTime=3.704 cpuTime=3.64 mem=16M596
37.13
37.13 search
37.13 run=13 nbConstraintChecks=11811142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9676
37.13 nbFailedAssignments=3667 nbBacktracks=5819 nbVisitedNodes=18896 nbRestartNogoods=49
37.13 => wckTime=5.61 cpuTime=5.55 mem=16M596
40.12
40.12 search
40.12 run=14 nbConstraintChecks=18285582 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14737
40.12 nbFailedAssignments=5796 nbBacktracks=8738 nbVisitedNodes=28908 nbRestartNogoods=55
40.12 => wckTime=8.603 cpuTime=8.54 mem=16M596
44.06
44.06 search
44.06 run=15 nbConstraintChecks=26793704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21772
44.06 nbFailedAssignments=8439 nbBacktracks=13116 nbVisitedNodes=42714 nbRestartNogoods=59
44.06 => wckTime=12.542 cpuTime=12.48 mem=16M596
50.56
50.56 search
50.56 run=16 nbConstraintChecks=40493731 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33012
50.56 nbFailedAssignments=13099 nbBacktracks=19684 nbVisitedNodes=64256 nbRestartNogoods=65
50.56 => wckTime=19.038 cpuTime=18.97 mem=16M596
59.30
59.30 search
59.30 run=17 nbConstraintChecks=59048519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48176
59.30 nbFailedAssignments=18398 nbBacktracks=29536 nbVisitedNodes=94001 nbRestartNogoods=73
59.30 => wckTime=27.781 cpuTime=27.7 mem=16M596
72.95
72.95 search
72.95 run=18 nbConstraintChecks=87464314 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71951
72.95 nbFailedAssignments=27386 nbBacktracks=44314 nbVisitedNodes=139858 nbRestartNogoods=77
72.95 => wckTime=41.426 cpuTime=41.32 mem=16M596
94.17
94.17 search
94.17 run=19 nbConstraintChecks=132984890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=108307
94.17 nbFailedAssignments=41559 nbBacktracks=66484 nbVisitedNodes=210708 nbRestartNogoods=84
94.17 => wckTime=62.652 cpuTime=62.53 mem=16M596
127.65
127.65 search
127.65 run=20 nbConstraintChecks=202818559 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165503
127.65 nbFailedAssignments=65495 nbBacktracks=99739 nbVisitedNodes=323351 nbRestartNogoods=91
127.65 => wckTime=96.132 cpuTime=95.97 mem=16M596
168.76
168.76 search
168.76 run=21 nbConstraintChecks=287537736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=234672
168.76 nbFailedAssignments=92983 nbBacktracks=141421 nbVisitedNodes=459763 nbRestartNogoods=96
168.76 => wckTime=137.236 cpuTime=137.03 mem=16M596
168.76
168.76 global
168.76 nbConstraintChecks=287537904 nbRestartNogoods=96 solvingWckTime=137.238 solvingCpuTime=137.03 expiredTime=no
168.76 totalExploration=yes nbFoundSolutions=0 globalCpuTime=168.11
168.76 => wckTime=168.468 cpuTime=168.07 mem=16M596
168.76
168.76 s OPTIMUM FOUND
168.76 v 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0
168.76
168.76 totalWckTime=168.543 totalCpuTime=168.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-278381-1169287741 -o ROOT/results/node5/solver-278381-1169287741 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278381-1169287741/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.92 1.99 1.99 4/93 21698
/proc/meminfo: memFree=1137008/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=172 CPUtime=0
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 257388602 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 0 0 0
/proc/21697/statm: 43 24 18 14 0 3 0
[startup+0.108554 s]
/proc/loadavg: 1.92 1.99 1.99 4/93 21698
/proc/meminfo: memFree=1137008/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=914988 CPUtime=0.08
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 3075 0 1 0 7 1 0 0 22 0 8 0 257388602 936947712 2821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520599 s]
/proc/loadavg: 1.92 1.99 1.99 4/93 21698
/proc/meminfo: memFree=1137008/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915332 CPUtime=0.49
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 6569 0 1 0 46 3 0 0 25 0 8 0 257388602 937299968 6307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228833 6307 2162 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34569 s]
/proc/loadavg: 1.92 1.99 1.99 3/100 21705
/proc/meminfo: memFree=1119352/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915456 CPUtime=1.32
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 7080 0 1 0 112 20 0 0 25 0 8 0 257388602 937426944 6818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228863 6818 2476 14 0 215333 0
[pid=21697/tid=21699] ppid=21695 vsize=915452 CPUtime=0.02
/proc/21697/task/21699/stat : 21699 (java) S 21695 21697 20304 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 257388605 937422848 6818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21700] ppid=21695 vsize=915456 CPUtime=0
/proc/21697/task/21700/stat : 21700 (java) S 21695 21697 20304 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 257388606 937426944 6818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21701] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21701/stat : 21701 (java) S 21695 21697 20304 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257388606 937422848 6818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21702] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21702/stat : 21702 (java) S 21695 21697 20304 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 257388609 937422848 6818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21703] ppid=21695 vsize=915456 CPUtime=0.11
/proc/21697/task/21703/stat : 21703 (java) S 21695 21697 20304 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 257388609 937426944 6818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21704] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21704/stat : 21704 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257388609 937422848 6818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21705] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21705/stat : 21705 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 257388609 937422848 6818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.98288 s]
/proc/loadavg: 1.92 1.99 1.99 4/100 21705
/proc/meminfo: memFree=1119352/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915452 CPUtime=2.96
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 7084 0 1 0 238 58 0 0 25 0 8 0 257388602 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228863 6821 2476 14 0 215333 0
[pid=21697/tid=21699] ppid=21695 vsize=915452 CPUtime=0.02
/proc/21697/task/21699/stat : 21699 (java) S 21695 21697 20304 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 257388605 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21700] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21700/stat : 21700 (java) S 21695 21697 20304 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 257388606 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21701] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21701/stat : 21701 (java) S 21695 21697 20304 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257388606 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21702] ppid=21695 vsize=915456 CPUtime=0
/proc/21697/task/21702/stat : 21702 (java) S 21695 21697 20304 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 257388609 937426944 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21703] ppid=21695 vsize=915452 CPUtime=0.11
/proc/21697/task/21703/stat : 21703 (java) S 21695 21697 20304 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21704] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21704/stat : 21704 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21705] ppid=21695 vsize=915456 CPUtime=0
/proc/21697/task/21705/stat : 21705 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 257388609 937426944 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.26926 s]
/proc/loadavg: 1.93 1.99 1.99 3/100 21705
/proc/meminfo: memFree=1119224/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915452 CPUtime=6.25
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 7084 0 1 0 486 139 0 0 25 0 8 0 257388602 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228863 6821 2476 14 0 215333 0
[pid=21697/tid=21699] ppid=21695 vsize=915456 CPUtime=0.02
/proc/21697/task/21699/stat : 21699 (java) S 21695 21697 20304 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 257388605 937426944 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21700] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21700/stat : 21700 (java) S 21695 21697 20304 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 257388606 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21701] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21701/stat : 21701 (java) S 21695 21697 20304 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257388606 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21702] ppid=21695 vsize=915456 CPUtime=0
/proc/21697/task/21702/stat : 21702 (java) S 21695 21697 20304 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 257388609 937426944 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21703] ppid=21695 vsize=915452 CPUtime=0.11
/proc/21697/task/21703/stat : 21703 (java) S 21695 21697 20304 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21704] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21704/stat : 21704 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21705] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21705/stat : 21705 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
[startup+12.758 s]
/proc/loadavg: 1.93 1.99 1.99 3/100 21705
/proc/meminfo: memFree=1119224/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915452 CPUtime=12.72
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 7084 0 1 0 960 312 0 0 25 0 8 0 257388602 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228863 6821 2476 14 0 215333 0
[pid=21697/tid=21699] ppid=21695 vsize=915456 CPUtime=0.02
/proc/21697/task/21699/stat : 21699 (java) S 21695 21697 20304 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 257388605 937426944 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21700] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21700/stat : 21700 (java) S 21695 21697 20304 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 257388606 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21701] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21701/stat : 21701 (java) S 21695 21697 20304 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257388606 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21702] ppid=21695 vsize=915456 CPUtime=0
/proc/21697/task/21702/stat : 21702 (java) S 21695 21697 20304 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 257388609 937426944 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21703] ppid=21695 vsize=915452 CPUtime=0.11
/proc/21697/task/21703/stat : 21703 (java) S 21695 21697 20304 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21704] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21704/stat : 21704 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21705] ppid=21695 vsize=915456 CPUtime=0
/proc/21697/task/21705/stat : 21705 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 257388609 937426944 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915452
[startup+25.6354 s]
/proc/loadavg: 1.95 1.99 1.99 3/100 21705
/proc/meminfo: memFree=1119352/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915456 CPUtime=25.6
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 7085 0 1 0 1893 667 0 0 25 0 8 0 257388602 937426944 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228863 6821 2476 14 0 215333 0
[pid=21697/tid=21699] ppid=21695 vsize=915452 CPUtime=0.02
/proc/21697/task/21699/stat : 21699 (java) S 21695 21697 20304 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 257388605 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21700] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21700/stat : 21700 (java) S 21695 21697 20304 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 257388606 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21701] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21701/stat : 21701 (java) S 21695 21697 20304 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257388606 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21702] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21702/stat : 21702 (java) S 21695 21697 20304 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21703] ppid=21695 vsize=915452 CPUtime=0.11
/proc/21697/task/21703/stat : 21703 (java) S 21695 21697 20304 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21704] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21704/stat : 21704 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21705] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21705/stat : 21705 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 257388609 937422848 6821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 915456
[startup+51.2644 s]
/proc/loadavg: 1.96 1.99 1.99 3/100 21705
/proc/meminfo: memFree=1111480/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915452 CPUtime=51.19
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 9148 0 1 0 4302 817 0 0 25 0 8 0 257388602 937422848 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826677 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228863 8881 2527 14 0 215333 0
[pid=21697/tid=21699] ppid=21695 vsize=915452 CPUtime=0.02
/proc/21697/task/21699/stat : 21699 (java) S 21695 21697 20304 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 257388605 937422848 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21700] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21700/stat : 21700 (java) S 21695 21697 20304 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 257388606 937422848 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21701] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21701/stat : 21701 (java) S 21695 21697 20304 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257388606 937422848 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21702] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21702/stat : 21702 (java) S 21695 21697 20304 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 257388609 937422848 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21703] ppid=21695 vsize=915452 CPUtime=0.21
/proc/21697/task/21703/stat : 21703 (java) S 21695 21697 20304 0 -1 64 395 0 0 0 21 0 0 0 16 0 8 0 257388609 937422848 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21704] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21704/stat : 21704 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257388609 937422848 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21705] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21705/stat : 21705 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 257388609 937422848 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915452
[startup+102.522 s]
/proc/loadavg: 1.98 1.99 1.99 3/100 21705
/proc/meminfo: memFree=1111480/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915452 CPUtime=102.4
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 9158 0 1 0 9423 817 0 0 25 0 8 0 257388602 937422848 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228863 8889 2527 14 0 215333 0
[pid=21697/tid=21699] ppid=21695 vsize=915452 CPUtime=0.02
/proc/21697/task/21699/stat : 21699 (java) S 21695 21697 20304 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 257388605 937422848 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21700] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21700/stat : 21700 (java) S 21695 21697 20304 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 257388606 937422848 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21701] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21701/stat : 21701 (java) S 21695 21697 20304 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257388606 937422848 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21702] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21702/stat : 21702 (java) S 21695 21697 20304 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 257388609 937422848 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21703] ppid=21695 vsize=915452 CPUtime=0.21
/proc/21697/task/21703/stat : 21703 (java) S 21695 21697 20304 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 257388609 937422848 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21704] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21704/stat : 21704 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257388609 937422848 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21705] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21705/stat : 21705 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 257388609 937422848 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 915452
[startup+162.532 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 21705
/proc/meminfo: memFree=1111480/2055920 swapFree=4192812/4192956
[pid=21697] ppid=21695 vsize=915452 CPUtime=162.34
/proc/21697/stat : 21697 (java) R 21695 21697 20304 0 -1 0 9160 0 1 0 15417 817 0 0 25 0 8 0 257388602 937422848 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21697/statm: 228863 8891 2527 14 0 215333 0
[pid=21697/tid=21699] ppid=21695 vsize=915452 CPUtime=0.02
/proc/21697/task/21699/stat : 21699 (java) S 21695 21697 20304 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 257388605 937422848 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21700] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21700/stat : 21700 (java) S 21695 21697 20304 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 257388606 937422848 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21701] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21701/stat : 21701 (java) S 21695 21697 20304 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257388606 937422848 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21702] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21702/stat : 21702 (java) S 21695 21697 20304 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 257388609 937422848 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21703] ppid=21695 vsize=915452 CPUtime=0.21
/proc/21697/task/21703/stat : 21703 (java) S 21695 21697 20304 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 257388609 937422848 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21704] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21704/stat : 21704 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257388609 937422848 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21697/tid=21705] ppid=21695 vsize=915452 CPUtime=0
/proc/21697/task/21705/stat : 21705 (java) S 21695 21697 20304 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 257388609 937422848 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 168.825
CPU time (s): 168.574
CPU user time (s): 160.39
CPU system time (s): 8.18475
CPU usage (%): 99.8513
Max. virtual memory (cumulated for all children) (KiB): 915968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.39
system time used= 8.18475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9257
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= 4609
involuntary context switches= 9534
runsolver used 0.165974 s user time and 0.599908 s system time
The end
Begin job on node5 on Sat Jan 20 10:09:02 UTC 2007
IDJOB= 278381
IDBENCH= 8293
IDSOLVER= 69
FILE ID= node5/278381-1169287741
PBS_JOBID= 3609486
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-100-1000/cnf-2-40-600-359121_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278381-1169287741/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-278381-1169287741 -o ROOT/results/node5/solver-278381-1169287741 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278381-1169287741/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cc58431104d5f0e672ead95c24bc4ef4
RANDOM SEED= 274096460
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.240
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.240
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: 1137424 kB
Buffers: 62628 kB
Cached: 688500 kB
SwapCached: 0 kB
Active: 285472 kB
Inactive: 554708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1137424 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1712 kB
Writeback: 0 kB
Mapped: 118076 kB
Slab: 63056 kB
Committed_AS: 7987164 kB
PageTables: 2300 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 node5 on Sat Jan 20 10:11:50 UTC 2007