0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/280982-1169309280/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.096 cpuTime=0.09 mem=6M910
0.38
0.38 relations being loaded...
0.43
0.43 constraints being loaded...
0.48 nbConstraints=101 nbRelationTypes=101 nbExtensionStructures=101 nbSharedExtensionStructures=0
0.48 nbConflictsStructures=101 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1253 maxDegree=10
0.48 maxArity=2
0.48 => wckTime=0.197 cpuTime=0.15 mem=8M860
0.52
0.52 solver LocalSearchSolver being built...
0.56 => wckTime=0.275 cpuTime=0.19 mem=5M492
0.57
0.57 s SATISFIABLE
0.57 o 52
0.57 c 49
0.57 o 56
0.57 c 45
0.57 o 59
0.57 c 42
0.57 o 61
0.57 c 40
0.57 o 62
0.57 c 39
0.57 o 63
0.57 c 38
0.57 o 65
0.57 c 36
0.57 o 66
0.57 c 35
0.58 o 69
0.58 c 32
0.58 o 71
0.58 c 30
0.58 o 72
0.58 c 29
0.58 o 74
0.58 c 27
0.58 o 76
0.58 c 25
0.58 o 77
0.58 c 24
0.58 o 78
0.58 c 23
0.58 o 79
0.58 c 22
0.59 o 80
0.59 c 21
0.59 o 81
0.59 c 20
0.59 o 82
0.59 c 19
0.59 o 83
0.59 c 18
0.59 o 84
0.59 c 17
0.59 o 85
0.59 c 16
0.59 o 86
0.59 c 15
0.59 o 87
0.59 c 14
0.59 o 88
0.59 c 13
0.59 o 89
0.59 c 12
0.59 o 90
0.59 c 11
0.60 o 91
0.60 c 10
0.60 o 92
0.60 c 9
0.61 o 93
0.61 c 8
0.61 o 94
0.61 c 7
0.62 o 95
0.62 c 6
0.65 o 96
0.65 c 5
1.92
1.92 search
1.92 run=0 nbConstraintChecks=5829200 nbAssignments=10000
1.92 => wckTime=1.356 cpuTime=1.32 mem=5M492
3.18
3.18 search
3.18 run=1 nbConstraintChecks=11965919 nbAssignments=20000
3.18 => wckTime=2.624 cpuTime=2.59 mem=5M492
3.50 o 97
3.50 c 4
4.44
4.44 search
4.44 run=2 nbConstraintChecks=17729800 nbAssignments=30000
4.44 => wckTime=3.878 cpuTime=3.81 mem=5M492
5.69
5.69 search
5.69 run=3 nbConstraintChecks=23688585 nbAssignments=40000
5.69 => wckTime=5.132 cpuTime=5.05 mem=5M492
6.96
6.96 search
6.96 run=4 nbConstraintChecks=29768990 nbAssignments=50000
6.96 => wckTime=6.4 cpuTime=6.31 mem=5M492
8.26
8.26 search
8.26 run=5 nbConstraintChecks=36054945 nbAssignments=60000
8.26 => wckTime=7.699 cpuTime=7.61 mem=5M492
9.53
9.53 search
9.53 run=6 nbConstraintChecks=42093360 nbAssignments=70000
9.53 => wckTime=8.964 cpuTime=8.87 mem=5M492
10.82
10.82 search
10.82 run=7 nbConstraintChecks=48444689 nbAssignments=80000
10.82 => wckTime=10.262 cpuTime=10.16 mem=5M492
12.08
12.08 search
12.08 run=8 nbConstraintChecks=54415436 nbAssignments=90000
12.08 => wckTime=11.518 cpuTime=11.41 mem=5M492
13.40
13.40 search
13.40 run=9 nbConstraintChecks=60884371 nbAssignments=100000
13.40 => wckTime=12.842 cpuTime=12.73 mem=5M492
14.65
14.65 search
14.65 run=10 nbConstraintChecks=66880185 nbAssignments=110000
14.65 => wckTime=14.093 cpuTime=13.97 mem=5M492
16.03
16.03 search
16.03 run=11 nbConstraintChecks=73900655 nbAssignments=120000
16.03 => wckTime=15.464 cpuTime=15.34 mem=5M492
17.31
17.31 search
17.31 run=12 nbConstraintChecks=80135981 nbAssignments=130000
17.31 => wckTime=16.745 cpuTime=16.61 mem=5M492
18.62
18.62 search
18.62 run=13 nbConstraintChecks=86628083 nbAssignments=140000
18.62 => wckTime=18.063 cpuTime=17.92 mem=5M492
19.87
19.87 search
19.87 run=14 nbConstraintChecks=92585367 nbAssignments=150000
19.87 => wckTime=19.313 cpuTime=19.17 mem=5M492
21.20
21.20 search
21.20 run=15 nbConstraintChecks=99181269 nbAssignments=160000
21.20 => wckTime=20.639 cpuTime=20.49 mem=5M492
22.47
22.47 search
22.47 run=16 nbConstraintChecks=105214986 nbAssignments=170000
22.47 => wckTime=21.905 cpuTime=21.74 mem=5M492
23.80
23.80 search
23.80 run=17 nbConstraintChecks=111894233 nbAssignments=180000
23.80 => wckTime=23.242 cpuTime=23.08 mem=5M492
25.05
25.05 search
25.05 run=18 nbConstraintChecks=117776066 nbAssignments=190000
25.05 => wckTime=24.486 cpuTime=24.31 mem=5M492
26.32
26.32 search
26.32 run=19 nbConstraintChecks=123865436 nbAssignments=200000
26.32 => wckTime=25.756 cpuTime=25.58 mem=5M492
27.57
27.57 search
27.57 run=20 nbConstraintChecks=129729403 nbAssignments=210000
27.57 => wckTime=27.008 cpuTime=26.83 mem=5M492
28.84
28.84 search
28.84 run=21 nbConstraintChecks=135790824 nbAssignments=220000
28.84 => wckTime=28.28 cpuTime=28.09 mem=5M492
30.09
30.09 search
30.09 run=22 nbConstraintChecks=141528288 nbAssignments=230000
30.09 => wckTime=29.526 cpuTime=29.32 mem=5M492
31.41
31.41 search
31.41 run=23 nbConstraintChecks=148016794 nbAssignments=240000
31.41 => wckTime=30.845 cpuTime=30.64 mem=5M492
32.67
32.67 search
32.67 run=24 nbConstraintChecks=153958850 nbAssignments=250000
32.67 => wckTime=32.104 cpuTime=31.89 mem=5M492
33.69
33.69 search
33.69 run=25 nbConstraintChecks=159163395 nbAssignments=257484
33.69 => wckTime=33.129 cpuTime=32.91 mem=5M492
33.69
33.69 global
33.69 nbConstraintChecks=159163395 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.69 solvingWckTime=33.126 solvingCpuTime=32.91 expiredTime=no totalExploration=no nbFoundSolutions=0
33.69 globalCpuTime=33.15
33.69 => wckTime=33.404 cpuTime=33.1 mem=5M492
33.69
33.69 solver IterativeSystematicSolver being built...
33.82 => wckTime=33.533 cpuTime=33.2 mem=16M547
33.82
33.82 preprocessing
33.83 nbConstraintChecks=90 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.83 detectedInconsistency=no
33.83 => wckTime=0.0040 cpuTime=0.01 mem=16M547
33.92
33.92 search
33.92 run=0 nbConstraintChecks=127323 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83
33.92 nbFailedAssignments=67 nbBacktracks=10 nbVisitedNodes=160 nbRestartNogoods=0
33.92 => wckTime=0.095 cpuTime=0.08 mem=16M547
33.98
33.98 search
33.98 run=1 nbConstraintChecks=267701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=181
33.98 nbFailedAssignments=144 nbBacktracks=25 nbVisitedNodes=349 nbRestartNogoods=15
33.98 => wckTime=0.159 cpuTime=0.13 mem=16M547
34.06
34.06 search
34.06 run=2 nbConstraintChecks=491392 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=333
34.06 nbFailedAssignments=267 nbBacktracks=49 nbVisitedNodes=647 nbRestartNogoods=20
34.06 => wckTime=0.239 cpuTime=0.21 mem=16M547
34.20
34.20 search
34.20 run=3 nbConstraintChecks=827588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=578
34.20 nbFailedAssignments=474 nbBacktracks=82 nbVisitedNodes=1130 nbRestartNogoods=29
34.20 => wckTime=0.377 cpuTime=0.34 mem=16M547
34.33
34.33 search
34.33 run=4 nbConstraintChecks=1181247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=806
34.33 nbFailedAssignments=640 nbBacktracks=132 nbVisitedNodes=1574 nbRestartNogoods=33
34.33 => wckTime=0.509 cpuTime=0.47 mem=16M547
34.50
34.50 search
34.50 run=5 nbConstraintChecks=1602898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1114
34.50 nbFailedAssignments=856 nbBacktracks=207 nbVisitedNodes=2171 nbRestartNogoods=55
34.50 => wckTime=0.68 cpuTime=0.64 mem=16M547
34.84
34.84 search
34.84 run=6 nbConstraintChecks=2412260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1614
34.84 nbFailedAssignments=1232 nbBacktracks=320 nbVisitedNodes=3153 nbRestartNogoods=83
34.84 => wckTime=1.018 cpuTime=0.97 mem=16M547
35.06
35.06 search
35.06 run=7 nbConstraintChecks=3057211 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2025
35.06 nbFailedAssignments=1456 nbBacktracks=490 nbVisitedNodes=3958 nbRestartNogoods=96
35.06 => wckTime=1.243 cpuTime=1.18 mem=16M547
35.51
35.51 search
35.51 run=8 nbConstraintChecks=4176343 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2796
35.51 nbFailedAssignments=1955 nbBacktracks=746 nbVisitedNodes=5483 nbRestartNogoods=104
35.51 => wckTime=1.694 cpuTime=1.63 mem=16M547
36.01
36.01 search
36.01 run=9 nbConstraintChecks=5631679 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3699
36.01 nbFailedAssignments=2459 nbBacktracks=1130 nbVisitedNodes=7274 nbRestartNogoods=127
36.01 => wckTime=2.186 cpuTime=2.12 mem=16M547
37.38
37.38 search
37.38 run=10 nbConstraintChecks=9228654 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5953
37.38 nbFailedAssignments=4123 nbBacktracks=1706 nbVisitedNodes=11763 nbRestartNogoods=137
37.38 => wckTime=3.556 cpuTime=3.47 mem=16M547
39.85
39.85 search
39.85 run=11 nbConstraintChecks=15847414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10571
39.85 nbFailedAssignments=7859 nbBacktracks=2571 nbVisitedNodes=20942 nbRestartNogoods=181
39.85 => wckTime=6.025 cpuTime=5.93 mem=16M547
41.98
41.98 search
41.98 run=12 nbConstraintChecks=22293159 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15019
41.98 nbFailedAssignments=10999 nbBacktracks=3869 nbVisitedNodes=29790 nbRestartNogoods=206
41.98 => wckTime=8.161 cpuTime=8.06 mem=16M547
45.15
45.15 search
45.15 run=13 nbConstraintChecks=32215713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21100
45.15 nbFailedAssignments=15121 nbBacktracks=5815 nbVisitedNodes=41925 nbRestartNogoods=240
45.15 => wckTime=11.332 cpuTime=11.21 mem=16M547
50.10
50.10 search
50.10 run=14 nbConstraintChecks=46810055 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30017
50.10 nbFailedAssignments=21106 nbBacktracks=8734 nbVisitedNodes=59601 nbRestartNogoods=264
50.10 => wckTime=16.278 cpuTime=16.12 mem=16M547
59.83
59.83 search
59.83 run=15 nbConstraintChecks=73190489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47588
59.83 nbFailedAssignments=34292 nbBacktracks=13112 nbVisitedNodes=94527 nbRestartNogoods=295
59.83 => wckTime=26.007 cpuTime=25.8 mem=16M547
72.17
72.17 search
72.17 run=16 nbConstraintChecks=109900765 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72095
72.17 nbFailedAssignments=52216 nbBacktracks=19680 nbVisitedNodes=142943 nbRestartNogoods=317
72.17 => wckTime=38.349 cpuTime=38.09 mem=16M547
90.76
90.76 search
90.76 run=17 nbConstraintChecks=157041668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105371
90.76 nbFailedAssignments=75632 nbBacktracks=29532 nbVisitedNodes=208551 nbRestartNogoods=356
90.76 => wckTime=56.939 cpuTime=56.58 mem=16M547
116.15
116.15 search
116.15 run=18 nbConstraintChecks=213538766 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=147381
116.15 nbFailedAssignments=102858 nbBacktracks=44310 nbVisitedNodes=291827 nbRestartNogoods=367
116.15 => wckTime=82.327 cpuTime=81.84 mem=16M547
146.49
146.49 search
146.49 run=19 nbConstraintChecks=282523931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197461
146.49 nbFailedAssignments=130765 nbBacktracks=66479 nbVisitedNodes=390996 nbRestartNogoods=379
146.49 => wckTime=112.668 cpuTime=112.02 mem=16M547
193.31
193.31 search
193.31 run=20 nbConstraintChecks=389940421 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=276370
193.31 nbFailedAssignments=176419 nbBacktracks=99731 nbVisitedNodes=547278 nbRestartNogoods=393
193.31 => wckTime=159.486 cpuTime=158.59 mem=16M547
214.44
214.44 search
214.44 run=21 nbConstraintChecks=434331550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=311191
214.44 nbFailedAssignments=195884 nbBacktracks=115088 nbVisitedNodes=616030 nbRestartNogoods=398
214.44 => wckTime=180.617 cpuTime=179.62 mem=16M547
214.44
214.44 global
214.44 nbConstraintChecks=434331640 nbRestartNogoods=398 solvingWckTime=180.618 solvingCpuTime=179.62 expiredTime=no
214.44 totalExploration=yes nbFoundSolutions=0 globalCpuTime=212.87
214.44 => wckTime=214.151 cpuTime=212.82 mem=16M547
214.44
214.44 s OPTIMUM FOUND
214.44 v 3 6 5 4 8 1 7 2 3 9 1 6 7 0 3 1 5 1 1 1 4 8 7 5 5 6 3 7 3 3 1 7 7 8 6 5 5 9 3 3
214.44
214.44 totalWckTime=214.226 totalCpuTime=212.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-280982-1169309280 -o ROOT/results/node6/solver-280982-1169309280 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280982-1169309280/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.63 1.92 1.95 4/94 30941
/proc/meminfo: memFree=1251184/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=1784 CPUtime=0
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 279323496 1826816 158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/30940/statm: 447 159 123 14 0 92 0
[startup+0.107218 s]
/proc/loadavg: 1.63 1.92 1.95 4/94 30941
/proc/meminfo: memFree=1251184/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=914988 CPUtime=0.09
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 3109 0 1 0 8 1 0 0 24 0 8 0 279323496 936947712 2855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228747 2856 1466 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515265 s]
/proc/loadavg: 1.63 1.92 1.95 4/94 30941
/proc/meminfo: memFree=1251184/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915332 CPUtime=0.49
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 6657 0 1 0 46 3 0 0 25 0 8 0 279323496 937299968 6396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228833 6406 2163 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33636 s]
/proc/loadavg: 1.74 1.94 1.96 3/101 30948
/proc/meminfo: memFree=1233528/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915444 CPUtime=1.31
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 7099 0 1 0 108 23 0 0 25 0 8 0 279323496 937414656 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228861 6837 2476 14 0 215331 0
[pid=30940/tid=30942] ppid=30938 vsize=915444 CPUtime=0.02
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 30737 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279323499 937414656 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=915448 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 30737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279323500 937418752 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279323500 937414656 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=915448 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 30737 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279323503 937418752 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=915444 CPUtime=0.11
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 30737 0 -1 64 331 0 0 0 10 1 0 0 16 0 8 0 279323503 937414656 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279323503 937414656 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279323503 937414656 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97355 s]
/proc/loadavg: 1.74 1.94 1.96 3/101 30948
/proc/meminfo: memFree=1233528/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915444 CPUtime=2.95
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 7102 0 1 0 224 71 0 0 25 0 8 0 279323496 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228861 6839 2476 14 0 215331 0
[pid=30940/tid=30942] ppid=30938 vsize=915444 CPUtime=0.02
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 30737 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279323499 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 30737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279323500 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279323500 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 30737 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279323503 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=915448 CPUtime=0.11
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 30737 0 -1 64 333 0 0 0 10 1 0 0 16 0 8 0 279323503 937418752 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279323503 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279323503 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.27594 s]
/proc/loadavg: 1.76 1.94 1.96 3/101 30948
/proc/meminfo: memFree=1233528/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915444 CPUtime=6.2
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 7102 0 1 0 451 169 0 0 25 0 8 0 279323496 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228861 6839 2476 14 0 215331 0
[pid=30940/tid=30942] ppid=30938 vsize=915444 CPUtime=0.02
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 30737 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279323499 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 30737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279323500 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=915448 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279323500 937418752 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 30737 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279323503 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=915448 CPUtime=0.11
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 30737 0 -1 64 333 0 0 0 10 1 0 0 16 0 8 0 279323503 937418752 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279323503 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279323503 937414656 6839 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) 915444
[startup+12.7477 s]
/proc/loadavg: 1.78 1.94 1.96 3/101 30948
/proc/meminfo: memFree=1233528/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915448 CPUtime=12.64
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 7102 0 1 0 907 357 0 0 25 0 8 0 279323496 937418752 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228861 6839 2476 14 0 215331 0
[pid=30940/tid=30942] ppid=30938 vsize=915444 CPUtime=0.02
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 30737 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279323499 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 30737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279323500 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279323500 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 30737 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279323503 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=915444 CPUtime=0.11
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 30737 0 -1 64 333 0 0 0 10 1 0 0 16 0 8 0 279323503 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=915448 CPUtime=0
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279323503 937418752 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279323503 937414656 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915448
[startup+25.6232 s]
/proc/loadavg: 1.81 1.94 1.96 3/101 30948
/proc/meminfo: memFree=1233592/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915444 CPUtime=25.46
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 7103 0 1 0 1835 711 0 0 25 0 8 0 279323496 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228861 6840 2476 14 0 215331 0
[pid=30940/tid=30942] ppid=30938 vsize=915444 CPUtime=0.02
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 30737 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279323499 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 30737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279323500 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=915448 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279323500 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 30737 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279323503 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=915448 CPUtime=0.11
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 30737 0 -1 64 334 0 0 0 10 1 0 0 17 0 8 0 279323503 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279323503 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279323503 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915444
[startup+51.2402 s]
/proc/loadavg: 1.89 1.94 1.96 3/101 30948
/proc/meminfo: memFree=1226296/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915444 CPUtime=50.93
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 9038 0 1 0 4132 961 0 0 25 0 8 0 279323496 937414656 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228861 8772 2527 14 0 215331 0
[pid=30940/tid=30942] ppid=30938 vsize=915444 CPUtime=0.02
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 30737 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279323499 937414656 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 30737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279323500 937414656 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279323500 937414656 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 30737 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279323503 937414656 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=915444 CPUtime=0.2
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 30737 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 279323503 937414656 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279323503 937414656 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279323503 937414656 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915444
[startup+102.47 s]
/proc/loadavg: 1.95 1.95 1.96 3/101 30948
/proc/meminfo: memFree=1226232/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915444 CPUtime=101.9
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 9049 0 1 0 9229 961 0 0 25 0 8 0 279323496 937414656 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228861 8781 2527 14 0 215331 0
[pid=30940/tid=30942] ppid=30938 vsize=915444 CPUtime=0.02
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 30737 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279323499 937414656 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 30737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279323500 937414656 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279323500 937414656 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 30737 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279323503 937414656 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=915444 CPUtime=0.2
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 30737 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 279323503 937414656 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279323503 937414656 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279323503 937414656 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915444
[startup+162.545 s]
/proc/loadavg: 2.05 1.97 1.97 3/101 30948
/proc/meminfo: memFree=1226232/2055924 swapFree=4165736/4192956
[pid=30940] ppid=30938 vsize=915444 CPUtime=161.68
/proc/30940/stat : 30940 (java) R 30938 30940 30737 0 -1 0 9053 0 1 0 15207 961 0 0 25 0 8 0 279323496 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 228861 8785 2527 14 0 215331 0
[pid=30940/tid=30942] ppid=30938 vsize=915444 CPUtime=0.02
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 30737 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279323499 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 30737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279323500 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279323500 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 30737 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279323503 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=915444 CPUtime=0.2
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 30737 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 279323503 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279323503 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=915444 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 30737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279323503 937414656 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 214.5
CPU time (s): 213.321
CPU user time (s): 203.696
CPU system time (s): 9.62454
CPU usage (%): 99.4501
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.696
system time used= 9.62454
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9152
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= 5465
involuntary context switches= 17171
runsolver used 0.311952 s user time and 0.658899 s system time
The end
Begin job on node6 on Sat Jan 20 16:08:01 UTC 2007
IDJOB= 280982
IDBENCH= 12009
IDSOLVER= 69
FILE ID= node6/280982-1169309280
PBS_JOBID= 3609964
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280982-1169309280/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-280982-1169309280 -o ROOT/results/node6/solver-280982-1169309280 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280982-1169309280/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bed43e9fc1b9a0111011b8a4febfc6e7
RANDOM SEED= 532270951
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: 2055924 kB
MemFree: 1251664 kB
Buffers: 65908 kB
Cached: 607748 kB
SwapCached: 2944 kB
Active: 315540 kB
Inactive: 403480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1251664 kB
SwapTotal: 4192956 kB
SwapFree: 4165736 kB
Dirty: 2352 kB
Writeback: 0 kB
Mapped: 62332 kB
Slab: 69844 kB
Committed_AS: 9066052 kB
PageTables: 2464 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= 66563 MiB
End job on node6 on Sat Jan 20 16:11:35 UTC 2007