0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=epfc.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/278380-1169287704/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.37 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.37 => wckTime=0.083 cpuTime=0.08 mem=6M887
0.37
0.37 relations being loaded...
0.38
0.38 constraints being loaded...
0.49 nbConstraints=426 nbRelationTypes=13 nbExtensionStructures=13 nbSharedExtensionStructures=413
0.49 nbConflictsStructures=13 nbSharedConflictsStructures=413 nbSharedBinaryRepresentations=48 maxDegree=29
0.49 maxArity=2
0.49 => wckTime=0.207 cpuTime=0.14 mem=8M887
0.53
0.53 solver LocalSearchSolver being built...
0.57 => wckTime=0.283 cpuTime=0.18 mem=5M576
0.57
0.57 s SATISFIABLE
0.57 o 284
0.57 c 142
0.57 o 290
0.57 c 136
0.57 o 293
0.57 c 133
0.57 o 297
0.57 c 129
0.57 o 302
0.57 c 124
0.57 o 310
0.57 c 116
0.58 o 311
0.58 c 115
0.58 o 314
0.58 c 112
0.58 o 318
0.58 c 108
0.58 o 319
0.58 c 107
0.58 o 321
0.58 c 105
0.58 o 322
0.58 c 104
0.58 o 323
0.58 c 103
0.58 o 324
0.58 c 102
0.58 o 325
0.58 c 101
0.59 o 326
0.59 c 100
0.59 o 327
0.59 c 99
0.59 o 328
0.59 c 98
0.59 o 329
0.59 c 97
0.59 o 331
0.59 c 95
0.59 o 334
0.59 c 92
0.60 o 336
0.60 c 90
0.60 o 339
0.60 c 87
0.63 o 340
0.63 c 86
0.63 o 342
0.63 c 84
0.63 o 343
0.63 c 83
0.73 o 344
0.73 c 82
1.34 o 345
1.34 c 81
2.14
2.14 search
2.14 run=0 nbConstraintChecks=6643750 nbAssignments=10000
2.14 => wckTime=1.571 cpuTime=1.54 mem=5M576
3.67
3.67 search
3.67 run=1 nbConstraintChecks=13396848 nbAssignments=20000
3.67 => wckTime=3.102 cpuTime=3.07 mem=5M576
5.18
5.18 search
5.18 run=2 nbConstraintChecks=20043322 nbAssignments=30000
5.18 => wckTime=4.615 cpuTime=4.58 mem=5M576
6.71
6.71 search
6.71 run=3 nbConstraintChecks=26802436 nbAssignments=40000
6.71 => wckTime=6.144 cpuTime=6.11 mem=5M576
8.22
8.22 search
8.22 run=4 nbConstraintChecks=33434011 nbAssignments=50000
8.22 => wckTime=7.657 cpuTime=7.62 mem=5M576
9.75
9.75 search
9.75 run=5 nbConstraintChecks=40207562 nbAssignments=60000
9.75 => wckTime=9.186 cpuTime=9.16 mem=5M576
11.27
11.27 search
11.27 run=6 nbConstraintChecks=46861812 nbAssignments=70000
11.27 => wckTime=10.704 cpuTime=10.68 mem=5M576
12.80
12.80 search
12.80 run=7 nbConstraintChecks=53617474 nbAssignments=80000
12.80 => wckTime=12.231 cpuTime=12.2 mem=5M576
14.32
14.32 search
14.32 run=8 nbConstraintChecks=60261781 nbAssignments=90000
14.32 => wckTime=13.754 cpuTime=13.73 mem=5M576
15.86
15.86 search
15.86 run=9 nbConstraintChecks=67030601 nbAssignments=100000
15.86 => wckTime=15.297 cpuTime=15.27 mem=5M576
17.39
17.39 search
17.39 run=10 nbConstraintChecks=73671643 nbAssignments=110000
17.39 => wckTime=16.821 cpuTime=16.79 mem=5M576
18.93
18.93 search
18.93 run=11 nbConstraintChecks=80439996 nbAssignments=120000
18.93 => wckTime=18.363 cpuTime=18.33 mem=5M576
20.46
20.46 search
20.46 run=12 nbConstraintChecks=87089587 nbAssignments=130000
20.46 => wckTime=19.89 cpuTime=19.86 mem=5M576
22.00
22.00 search
22.00 run=13 nbConstraintChecks=93845364 nbAssignments=140000
22.00 => wckTime=21.43 cpuTime=21.39 mem=5M576
23.52
23.52 search
23.52 run=14 nbConstraintChecks=100503213 nbAssignments=150000
23.52 => wckTime=22.952 cpuTime=22.92 mem=5M576
25.05
25.05 search
25.05 run=15 nbConstraintChecks=107263431 nbAssignments=160000
25.05 => wckTime=24.481 cpuTime=24.45 mem=5M576
26.56
26.56 search
26.56 run=16 nbConstraintChecks=113898507 nbAssignments=170000
26.56 => wckTime=25.992 cpuTime=25.96 mem=5M576
28.09
28.09 search
28.09 run=17 nbConstraintChecks=120661852 nbAssignments=180000
28.09 => wckTime=27.52 cpuTime=27.49 mem=5M576
29.60
29.60 search
29.60 run=18 nbConstraintChecks=127318404 nbAssignments=190000
29.60 => wckTime=29.034 cpuTime=29.0 mem=5M576
31.13
31.13 search
31.13 run=19 nbConstraintChecks=134094312 nbAssignments=200000
31.13 => wckTime=30.564 cpuTime=30.53 mem=5M576
31.36
31.36 search
31.36 run=20 nbConstraintChecks=135085173 nbAssignments=201588
31.36 => wckTime=30.797 cpuTime=30.76 mem=5M576
31.36
31.36 global
31.36 nbConstraintChecks=135085173 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.36 solvingWckTime=30.795 solvingCpuTime=30.76 expiredTime=no totalExploration=no nbFoundSolutions=0
31.36 globalCpuTime=30.98
31.36 => wckTime=31.08 cpuTime=30.94 mem=5M576
31.37
31.37 solver IterativeSystematicSolver being built...
31.50 => wckTime=31.213 cpuTime=31.05 mem=16M733
31.54
31.54 preprocessing
31.54 nbConstraintChecks=17971 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.54 detectedInconsistency=no
31.54 => wckTime=0.044 cpuTime=0.02 mem=16M733
31.57
31.57 search
31.57 run=0 nbConstraintChecks=33135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
31.57 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=57 nbRestartNogoods=0
31.57 => wckTime=0.073 cpuTime=0.04 mem=16M733
31.60
31.60 search
31.60 run=1 nbConstraintChecks=69750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=81
31.60 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=121 nbRestartNogoods=3
31.60 => wckTime=0.104 cpuTime=0.06 mem=16M733
31.63
31.63 search
31.63 run=2 nbConstraintChecks=122826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133
31.63 nbFailedAssignments=28 nbBacktracks=48 nbVisitedNodes=209 nbRestartNogoods=5
31.63 => wckTime=0.135 cpuTime=0.09 mem=16M733
31.67
31.67 search
31.67 run=3 nbConstraintChecks=200058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=203
31.67 nbFailedAssignments=52 nbBacktracks=81 nbVisitedNodes=333 nbRestartNogoods=7
31.67 => wckTime=0.175 cpuTime=0.13 mem=16M733
31.73
31.73 search
31.73 run=4 nbConstraintChecks=314772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=307
31.73 nbFailedAssignments=90 nbBacktracks=132 nbVisitedNodes=523 nbRestartNogoods=9
31.73 => wckTime=0.235 cpuTime=0.19 mem=16M733
31.81
31.81 search
31.81 run=5 nbConstraintChecks=468581 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=437
31.81 nbFailedAssignments=132 nbBacktracks=208 nbVisitedNodes=770 nbRestartNogoods=12
31.81 => wckTime=0.311 cpuTime=0.26 mem=16M733
31.93
31.93 search
31.93 run=6 nbConstraintChecks=703762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=639
31.93 nbFailedAssignments=211 nbBacktracks=321 nbVisitedNodes=1156 nbRestartNogoods=14
31.93 => wckTime=0.433 cpuTime=0.38 mem=16M733
32.11
32.11 search
32.11 run=7 nbConstraintChecks=1067485 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=936
32.11 nbFailedAssignments=326 nbBacktracks=491 nbVisitedNodes=1730 nbRestartNogoods=15
32.11 => wckTime=0.613 cpuTime=0.57 mem=16M733
32.38
32.38 search
32.38 run=8 nbConstraintChecks=1596639 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1376
32.38 nbFailedAssignments=497 nbBacktracks=748 nbVisitedNodes=2583 nbRestartNogoods=19
32.38 => wckTime=0.885 cpuTime=0.83 mem=16M733
32.76
32.76 search
32.76 run=9 nbConstraintChecks=2338563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2011
32.76 nbFailedAssignments=735 nbBacktracks=1132 nbVisitedNodes=3804 nbRestartNogoods=24
32.76 => wckTime=1.265 cpuTime=1.19 mem=16M733
33.25
33.25 search
33.25 run=10 nbConstraintChecks=3371162 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2860
33.25 nbFailedAssignments=998 nbBacktracks=1708 nbVisitedNodes=5450 nbRestartNogoods=27
33.25 => wckTime=1.748 cpuTime=1.66 mem=16M733
34.04
34.04 search
34.04 run=11 nbConstraintChecks=5041247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4241
34.04 nbFailedAssignments=1505 nbBacktracks=2573 nbVisitedNodes=8102 nbRestartNogoods=34
34.04 => wckTime=2.546 cpuTime=2.46 mem=16M733
35.26
35.26 search
35.26 run=12 nbConstraintChecks=7641326 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6411
35.26 nbFailedAssignments=2368 nbBacktracks=3870 nbVisitedNodes=12318 nbRestartNogoods=37
35.26 => wckTime=3.761 cpuTime=3.67 mem=16M733
37.06
37.06 search
37.06 run=13 nbConstraintChecks=11481302 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9585
37.06 nbFailedAssignments=3584 nbBacktracks=5816 nbVisitedNodes=18471 nbRestartNogoods=43
37.06 => wckTime=5.563 cpuTime=5.47 mem=16M733
39.95
39.95 search
39.95 run=14 nbConstraintChecks=17199484 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14317
39.95 nbFailedAssignments=5385 nbBacktracks=8736 nbVisitedNodes=27630 nbRestartNogoods=48
39.95 => wckTime=8.453 cpuTime=8.36 mem=16M733
44.05
44.05 search
44.05 run=15 nbConstraintChecks=25582737 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21371
44.05 nbFailedAssignments=8051 nbBacktracks=13115 nbVisitedNodes=41290 nbRestartNogoods=52
44.05 => wckTime=12.555 cpuTime=12.46 mem=16M733
50.25
50.25 search
50.25 run=16 nbConstraintChecks=37795158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31988
50.25 nbFailedAssignments=12088 nbBacktracks=19683 nbVisitedNodes=61376 nbRestartNogoods=58
50.25 => wckTime=18.751 cpuTime=18.66 mem=16M733
59.34
59.34 search
59.34 run=17 nbConstraintChecks=56060934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47889
59.34 nbFailedAssignments=18132 nbBacktracks=29538 nbVisitedNodes=91496 nbRestartNogoods=61
59.34 => wckTime=27.845 cpuTime=27.75 mem=16M733
72.04
72.04 search
72.04 run=18 nbConstraintChecks=82326486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71182
72.04 nbFailedAssignments=26635 nbBacktracks=44317 nbVisitedNodes=134849 nbRestartNogoods=69
72.04 => wckTime=40.54 cpuTime=40.44 mem=16M733
82.47
82.47 search
82.47 run=19 nbConstraintChecks=103056748 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=91058
82.47 nbFailedAssignments=32992 nbBacktracks=57837 nbVisitedNodes=169784 nbRestartNogoods=80
82.47 => wckTime=50.973 cpuTime=50.87 mem=16M733
82.47
82.47 global
82.47 nbConstraintChecks=103074719 nbRestartNogoods=80 solvingWckTime=50.974 solvingCpuTime=50.87 expiredTime=no
82.47 totalExploration=yes nbFoundSolutions=0 globalCpuTime=81.96
82.47 => wckTime=82.188 cpuTime=81.92 mem=16M733
82.48
82.48 s OPTIMUM FOUND
82.48 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
82.48
82.48 totalWckTime=82.263 totalCpuTime=81.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-278380-1169287704 -o ROOT/results/node18/solver-278380-1169287704 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278380-1169287704/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.83 1.97 1.88 4/78 12726
/proc/meminfo: memFree=1301624/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=172 CPUtime=0
/proc/12725/stat : 12725 (java) R 12723 12725 11780 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 277165154 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 1 0 0
/proc/12725/statm: 55 31 25 14 0 3 0
[startup+0.104177 s]
/proc/loadavg: 1.83 1.97 1.88 4/78 12726
/proc/meminfo: memFree=1301624/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=915724 CPUtime=0.09
/proc/12725/stat : 12725 (java) R 12723 12725 11780 0 -1 0 3082 0 1 0 7 2 0 0 17 0 8 0 277165154 937701376 2828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12725/statm: 228931 2828 1457 14 0 215426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915724
[startup+0.513201 s]
/proc/loadavg: 1.83 1.97 1.88 4/78 12726
/proc/meminfo: memFree=1301624/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=916068 CPUtime=0.48
/proc/12725/stat : 12725 (java) S 12723 12725 11780 0 -1 0 6587 0 1 0 44 4 0 0 16 0 8 0 277165154 938053632 6326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12725/statm: 229017 6326 2165 14 0 215487 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916068
[startup+1.33327 s]
/proc/loadavg: 1.83 1.97 1.88 2/85 12733
/proc/meminfo: memFree=1284112/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=916068 CPUtime=1.3
/proc/12725/stat : 12725 (java) R 12723 12725 11780 0 -1 0 7099 0 1 0 104 26 0 0 20 0 8 0 277165154 938053632 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12725/statm: 229017 6837 2479 14 0 215487 0
[pid=12725/tid=12727] ppid=12723 vsize=916068 CPUtime=0.02
/proc/12725/task/12727/stat : 12727 (java) S 12723 12725 11780 0 -1 64 172 0 0 0 2 0 0 0 17 0 8 0 277165157 938053632 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12728] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12728/stat : 12728 (java) S 12723 12725 11780 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12729] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12729/stat : 12729 (java) S 12723 12725 11780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12730] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12730/stat : 12730 (java) S 12723 12725 11780 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277165161 938053632 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12731] ppid=12723 vsize=916068 CPUtime=0.11
/proc/12725/task/12731/stat : 12731 (java) S 12723 12725 11780 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 277165161 938053632 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12732] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12732/stat : 12732 (java) S 12723 12725 11780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277165161 938053632 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12733] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12733/stat : 12733 (java) S 12723 12725 11780 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277165161 938053632 6837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 916068
[startup+2.96943 s]
/proc/loadavg: 1.76 1.95 1.87 2/85 12733
/proc/meminfo: memFree=1284048/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=916072 CPUtime=2.93
/proc/12725/stat : 12725 (java) R 12723 12725 11780 0 -1 0 7102 0 1 0 226 67 0 0 24 0 8 0 277165154 938057728 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12725/statm: 229017 6839 2479 14 0 215487 0
[pid=12725/tid=12727] ppid=12723 vsize=916068 CPUtime=0.02
/proc/12725/task/12727/stat : 12727 (java) S 12723 12725 11780 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277165157 938053632 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12728] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12728/stat : 12728 (java) S 12723 12725 11780 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12729] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12729/stat : 12729 (java) S 12723 12725 11780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12730] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12730/stat : 12730 (java) S 12723 12725 11780 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277165161 938053632 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12731] ppid=12723 vsize=916068 CPUtime=0.11
/proc/12725/task/12731/stat : 12731 (java) S 12723 12725 11780 0 -1 64 338 0 0 0 11 0 0 0 16 0 8 0 277165161 938053632 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12732] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12732/stat : 12732 (java) S 12723 12725 11780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277165161 938053632 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12733] ppid=12723 vsize=916072 CPUtime=0
/proc/12725/task/12733/stat : 12733 (java) S 12723 12725 11780 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277165161 938057728 6839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 916072
[startup+6.25275 s]
/proc/loadavg: 1.76 1.95 1.87 2/85 12733
/proc/meminfo: memFree=1284048/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=916068 CPUtime=6.22
/proc/12725/stat : 12725 (java) R 12723 12725 11780 0 -1 0 7103 0 1 0 469 153 0 0 25 0 8 0 277165154 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12725/statm: 229017 6840 2479 14 0 215487 0
[pid=12725/tid=12727] ppid=12723 vsize=916072 CPUtime=0.02
/proc/12725/task/12727/stat : 12727 (java) S 12723 12725 11780 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277165157 938057728 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12728] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12728/stat : 12728 (java) S 12723 12725 11780 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12729] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12729/stat : 12729 (java) S 12723 12725 11780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12730] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12730/stat : 12730 (java) S 12723 12725 11780 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12731] ppid=12723 vsize=916072 CPUtime=0.11
/proc/12725/task/12731/stat : 12731 (java) S 12723 12725 11780 0 -1 64 339 0 0 0 11 0 0 0 16 0 8 0 277165161 938057728 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12732] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12732/stat : 12732 (java) S 12723 12725 11780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12733] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12733/stat : 12733 (java) S 12723 12725 11780 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 916068
[startup+12.7274 s]
/proc/loadavg: 1.64 1.92 1.86 2/85 12733
/proc/meminfo: memFree=1284080/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=916072 CPUtime=12.69
/proc/12725/stat : 12725 (java) R 12723 12725 11780 0 -1 0 7103 0 1 0 944 325 0 0 25 0 8 0 277165154 938057728 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12725/statm: 229017 6840 2479 14 0 215487 0
[pid=12725/tid=12727] ppid=12723 vsize=916068 CPUtime=0.02
/proc/12725/task/12727/stat : 12727 (java) S 12723 12725 11780 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277165157 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12728] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12728/stat : 12728 (java) S 12723 12725 11780 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12729] ppid=12723 vsize=916072 CPUtime=0
/proc/12725/task/12729/stat : 12729 (java) S 12723 12725 11780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277165158 938057728 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12730] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12730/stat : 12730 (java) S 12723 12725 11780 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12731] ppid=12723 vsize=916068 CPUtime=0.11
/proc/12725/task/12731/stat : 12731 (java) S 12723 12725 11780 0 -1 64 339 0 0 0 11 0 0 0 16 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12732] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12732/stat : 12732 (java) S 12723 12725 11780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12733] ppid=12723 vsize=916072 CPUtime=0
/proc/12725/task/12733/stat : 12733 (java) S 12723 12725 11780 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277165161 938057728 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 916072
[startup+25.5816 s]
/proc/loadavg: 1.54 1.89 1.85 2/85 12733
/proc/meminfo: memFree=1284216/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=916068 CPUtime=25.54
/proc/12725/stat : 12725 (java) R 12723 12725 11780 0 -1 0 7104 0 1 0 1897 657 0 0 25 0 8 0 277165154 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12725/statm: 229018 6840 2479 14 0 215488 0
[pid=12725/tid=12727] ppid=12723 vsize=916068 CPUtime=0.02
/proc/12725/task/12727/stat : 12727 (java) S 12723 12725 11780 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277165157 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12728] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12728/stat : 12728 (java) S 12723 12725 11780 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12729] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12729/stat : 12729 (java) S 12723 12725 11780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12730] ppid=12723 vsize=916072 CPUtime=0
/proc/12725/task/12730/stat : 12730 (java) S 12723 12725 11780 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277165161 938057728 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12731] ppid=12723 vsize=916068 CPUtime=0.11
/proc/12725/task/12731/stat : 12731 (java) S 12723 12725 11780 0 -1 64 339 0 0 0 11 0 0 0 16 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12732] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12732/stat : 12732 (java) S 12723 12725 11780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12733] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12733/stat : 12733 (java) S 12723 12725 11780 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277165161 938053632 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916068
[startup+51.2661 s]
/proc/loadavg: 1.36 1.81 1.83 2/85 12733
/proc/meminfo: memFree=1276344/2055920 swapFree=4192812/4192956
[pid=12725] ppid=12723 vsize=916068 CPUtime=51.21
/proc/12725/stat : 12725 (java) R 12723 12725 11780 0 -1 0 9170 0 1 0 4312 809 0 0 25 0 8 0 277165154 938053632 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12725/statm: 229017 8903 2532 14 0 215487 0
[pid=12725/tid=12727] ppid=12723 vsize=916068 CPUtime=0.02
/proc/12725/task/12727/stat : 12727 (java) S 12723 12725 11780 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277165157 938053632 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12728] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12728/stat : 12728 (java) S 12723 12725 11780 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12729] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12729/stat : 12729 (java) S 12723 12725 11780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277165158 938053632 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12730] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12730/stat : 12730 (java) S 12723 12725 11780 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277165161 938053632 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12731] ppid=12723 vsize=916068 CPUtime=0.21
/proc/12725/task/12731/stat : 12731 (java) S 12723 12725 11780 0 -1 64 397 0 0 0 21 0 0 0 16 0 8 0 277165161 938053632 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12725/tid=12732] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12732/stat : 12732 (java) S 12723 12725 11780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277165161 938053632 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12725/tid=12733] ppid=12723 vsize=916068 CPUtime=0
/proc/12725/task/12733/stat : 12733 (java) S 12723 12725 11780 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277165161 938053632 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 916068
Child status: 0
Real time (s): 82.5229
CPU time (s): 82.4275
CPU user time (s): 74.3247
CPU system time (s): 8.10277
CPU usage (%): 99.8843
Max. virtual memory (cumulated for all children) (KiB): 916072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.3247
system time used= 8.10277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9275
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= 2552
involuntary context switches= 2626
runsolver used 0.083987 s user time and 0.226965 s system time
The end
Begin job on node18 on Sat Jan 20 10:08:25 UTC 2007
IDJOB= 278380
IDBENCH= 8293
IDSOLVER= 68
FILE ID= node18/278380-1169287704
PBS_JOBID= 3609507
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/278380-1169287704/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-278380-1169287704 -o ROOT/results/node18/solver-278380-1169287704 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278380-1169287704/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cc58431104d5f0e672ead95c24bc4ef4
RANDOM SEED= 553579453
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.231
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.231
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: 1302168 kB
Buffers: 53216 kB
Cached: 565652 kB
SwapCached: 0 kB
Active: 246224 kB
Inactive: 428040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1302168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2044 kB
Writeback: 0 kB
Mapped: 74416 kB
Slab: 65060 kB
Committed_AS: 8501248 kB
PageTables: 1720 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 node18 on Sat Jan 20 10:09:47 UTC 2007