0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/282178-1169318553/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.087 cpuTime=0.08 mem=6M885
0.38
0.38 relations being loaded...
0.43
0.43 constraints being loaded...
0.48 nbConstraints=98 nbRelationTypes=98 nbExtensionStructures=98 nbSharedExtensionStructures=0
0.49 nbConflictsStructures=98 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1206 maxDegree=12
0.49 maxArity=2
0.49 => wckTime=0.191 cpuTime=0.15 mem=7M910
0.52
0.52 solver LocalSearchSolver being built...
0.56 => wckTime=0.266 cpuTime=0.19 mem=5M492
0.56
0.56 s SATISFIABLE
0.56 o 42
0.56 c 56
0.56 o 45
0.56 c 53
0.57 o 48
0.57 c 50
0.57 o 51
0.57 c 47
0.57 o 54
0.57 c 44
0.57 o 57
0.57 c 41
0.57 o 60
0.57 c 38
0.57 o 63
0.57 c 35
0.57 o 66
0.57 c 32
0.57 o 69
0.57 c 29
0.57 o 71
0.57 c 27
0.58 o 74
0.58 c 24
0.58 o 76
0.58 c 22
0.58 o 77
0.58 c 21
0.58 o 78
0.58 c 20
0.58 o 80
0.58 c 18
0.58 o 81
0.58 c 17
0.58 o 82
0.58 c 16
0.58 o 83
0.58 c 15
0.58 o 84
0.58 c 14
0.59 o 85
0.59 c 13
0.59 o 86
0.59 c 12
0.59 o 87
0.59 c 11
0.59 o 88
0.59 c 10
0.59 o 89
0.59 c 9
0.60 o 90
0.60 c 8
0.60 o 91
0.60 c 7
0.60 o 92
0.60 c 6
0.60 o 93
0.60 c 5
0.82 o 94
0.82 c 4
0.82 o 95
0.82 c 3
1.84
1.84 search
1.84 run=0 nbConstraintChecks=5792529 nbAssignments=10000
1.84 => wckTime=1.283 cpuTime=1.26 mem=5M492
3.17
3.17 search
3.17 run=1 nbConstraintChecks=12221246 nbAssignments=20000
3.17 => wckTime=2.609 cpuTime=2.57 mem=5M492
4.45
4.45 search
4.45 run=2 nbConstraintChecks=18459993 nbAssignments=30000
4.45 => wckTime=3.896 cpuTime=3.86 mem=5M492
5.81
5.81 search
5.81 run=3 nbConstraintChecks=25250153 nbAssignments=40000
5.81 => wckTime=5.256 cpuTime=5.21 mem=5M492
7.08
7.08 search
7.08 run=4 nbConstraintChecks=31301992 nbAssignments=50000
7.08 => wckTime=6.522 cpuTime=6.47 mem=5M492
8.37
8.37 search
8.37 run=5 nbConstraintChecks=37547269 nbAssignments=60000
8.37 => wckTime=7.815 cpuTime=7.76 mem=5M492
9.63
9.63 search
9.63 run=6 nbConstraintChecks=43449239 nbAssignments=70000
9.63 => wckTime=9.072 cpuTime=9.01 mem=5M492
10.94
10.94 search
10.94 run=7 nbConstraintChecks=49818014 nbAssignments=80000
10.94 => wckTime=10.377 cpuTime=10.31 mem=5M492
12.19
12.19 search
12.19 run=8 nbConstraintChecks=55754763 nbAssignments=90000
12.19 => wckTime=11.633 cpuTime=11.57 mem=5M492
13.46
13.46 search
13.46 run=9 nbConstraintChecks=61809500 nbAssignments=100000
13.46 => wckTime=12.898 cpuTime=12.83 mem=5M492
14.74
14.74 search
14.74 run=10 nbConstraintChecks=68058180 nbAssignments=110000
14.74 => wckTime=14.181 cpuTime=14.1 mem=5M492
15.98
15.98 search
15.98 run=11 nbConstraintChecks=74004226 nbAssignments=120000
15.98 => wckTime=15.42 cpuTime=15.34 mem=5M492
17.25
17.25 search
17.25 run=12 nbConstraintChecks=80139469 nbAssignments=130000
17.25 => wckTime=16.692 cpuTime=16.6 mem=5M492
18.51
18.51 search
18.51 run=13 nbConstraintChecks=86063601 nbAssignments=140000
18.51 => wckTime=17.948 cpuTime=17.86 mem=5M492
19.77
19.77 search
19.77 run=14 nbConstraintChecks=92198941 nbAssignments=150000
19.77 => wckTime=19.212 cpuTime=19.11 mem=5M492
21.05
21.05 search
21.05 run=15 nbConstraintChecks=98465505 nbAssignments=160000
21.05 => wckTime=20.491 cpuTime=20.39 mem=5M492
22.32
22.32 search
22.32 run=16 nbConstraintChecks=104622919 nbAssignments=170000
22.32 => wckTime=21.763 cpuTime=21.66 mem=5M492
23.59
23.59 search
23.59 run=17 nbConstraintChecks=110720019 nbAssignments=180000
23.59 => wckTime=23.03 cpuTime=22.92 mem=5M492
24.85
24.85 search
24.85 run=18 nbConstraintChecks=116698286 nbAssignments=190000
24.85 => wckTime=24.291 cpuTime=24.18 mem=5M492
26.14
26.14 search
26.14 run=19 nbConstraintChecks=122907797 nbAssignments=200000
26.14 => wckTime=25.576 cpuTime=25.45 mem=5M492
27.40
27.40 search
27.40 run=20 nbConstraintChecks=128940910 nbAssignments=210000
27.40 => wckTime=26.839 cpuTime=26.71 mem=5M492
28.64
28.64 search
28.64 run=21 nbConstraintChecks=134781536 nbAssignments=220000
28.64 => wckTime=28.083 cpuTime=27.96 mem=5M492
29.90
29.90 search
29.90 run=22 nbConstraintChecks=140761450 nbAssignments=230000
29.90 => wckTime=29.337 cpuTime=29.2 mem=5M492
30.96
30.96 search
30.96 run=23 nbConstraintChecks=145891655 nbAssignments=238050
30.96 => wckTime=30.406 cpuTime=30.26 mem=5M492
30.97
30.97 global
30.97 nbConstraintChecks=145891655 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.97 solvingWckTime=30.403 solvingCpuTime=30.26 expiredTime=no totalExploration=no nbFoundSolutions=0
30.97 globalCpuTime=30.5
30.97 => wckTime=30.672 cpuTime=30.45 mem=5M492
30.97
30.97 solver IterativeSystematicSolver being built...
31.10 => wckTime=30.807 cpuTime=30.55 mem=16M633
31.15
31.15 preprocessing
31.15 nbConstraintChecks=18223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.15 detectedInconsistency=no
31.15 => wckTime=0.052 cpuTime=0.04 mem=16M633
31.19
31.19 search
31.19 run=0 nbConstraintChecks=74751 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56
31.19 nbFailedAssignments=36 nbBacktracks=10 nbVisitedNodes=102 nbRestartNogoods=0
31.19 => wckTime=0.087 cpuTime=0.07 mem=16M633
31.25
31.25 search
31.25 run=1 nbConstraintChecks=181474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=139
31.25 nbFailedAssignments=94 nbBacktracks=26 nbVisitedNodes=259 nbRestartNogoods=21
31.25 => wckTime=0.148 cpuTime=0.12 mem=16M633
31.32
31.32 search
31.32 run=2 nbConstraintChecks=342363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=257
31.32 nbFailedAssignments=184 nbBacktracks=48 nbVisitedNodes=489 nbRestartNogoods=46
31.32 => wckTime=0.221 cpuTime=0.19 mem=16M633
31.45
31.45 search
31.45 run=3 nbConstraintChecks=643608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=459
31.45 nbFailedAssignments=346 nbBacktracks=81 nbVisitedNodes=886 nbRestartNogoods=54
31.45 => wckTime=0.353 cpuTime=0.32 mem=16M633
31.61
31.61 search
31.61 run=4 nbConstraintChecks=1102675 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=746
31.61 nbFailedAssignments=577 nbBacktracks=131 nbVisitedNodes=1450 nbRestartNogoods=72
31.61 => wckTime=0.509 cpuTime=0.47 mem=16M633
31.80
31.80 search
31.80 run=5 nbConstraintChecks=1652228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1076
31.80 nbFailedAssignments=828 nbBacktracks=207 nbVisitedNodes=2106 nbRestartNogoods=96
31.80 => wckTime=0.701 cpuTime=0.66 mem=16M633
31.98
31.98 search
31.98 run=6 nbConstraintChecks=2144186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1413
31.98 nbFailedAssignments=1041 nbBacktracks=320 nbVisitedNodes=2765 nbRestartNogoods=110
31.98 => wckTime=0.883 cpuTime=0.84 mem=16M633
32.38
32.38 search
32.38 run=7 nbConstraintChecks=3322543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2147
32.38 nbFailedAssignments=1600 nbBacktracks=490 nbVisitedNodes=4228 nbRestartNogoods=149
32.38 => wckTime=1.281 cpuTime=1.22 mem=16M633
32.99
32.99 search
32.99 run=8 nbConstraintChecks=5291941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3424
32.99 nbFailedAssignments=2613 nbBacktracks=747 nbVisitedNodes=6768 nbRestartNogoods=163
32.99 => wckTime=1.885 cpuTime=1.82 mem=16M633
33.98
33.98 search
33.98 run=9 nbConstraintChecks=8117500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5285
33.98 nbFailedAssignments=4080 nbBacktracks=1131 nbVisitedNodes=10471 nbRestartNogoods=178
33.98 => wckTime=2.876 cpuTime=2.8 mem=16M633
35.18
35.18 search
35.18 run=10 nbConstraintChecks=12217165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7905
35.18 nbFailedAssignments=6112 nbBacktracks=1707 nbVisitedNodes=15669 nbRestartNogoods=197
35.18 => wckTime=4.077 cpuTime=3.99 mem=16M633
37.07
37.07 search
37.07 run=11 nbConstraintChecks=18339177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11794
37.07 nbFailedAssignments=9123 nbBacktracks=2572 nbVisitedNodes=23407 nbRestartNogoods=233
37.07 => wckTime=5.972 cpuTime=5.88 mem=16M633
39.70
39.70 search
39.70 run=12 nbConstraintChecks=26186023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16859
39.70 nbFailedAssignments=12882 nbBacktracks=3869 nbVisitedNodes=33498 nbRestartNogoods=265
39.70 => wckTime=8.596 cpuTime=8.49 mem=16M633
44.37
44.38 search
44.38 run=13 nbConstraintChecks=40033887 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26113
44.38 nbFailedAssignments=20175 nbBacktracks=5815 nbVisitedNodes=51945 nbRestartNogoods=304
44.38 => wckTime=13.274 cpuTime=13.13 mem=16M633
50.72
50.72 search
50.72 run=14 nbConstraintChecks=58214006 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38419
50.72 nbFailedAssignments=29555 nbBacktracks=8734 nbVisitedNodes=76400 nbRestartNogoods=341
50.72 => wckTime=19.622 cpuTime=19.45 mem=16M633
59.98
59.98 search
59.98 run=15 nbConstraintChecks=83550566 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55533
59.98 nbFailedAssignments=42282 nbBacktracks=13112 nbVisitedNodes=110499 nbRestartNogoods=350
59.98 => wckTime=28.879 cpuTime=28.68 mem=16M633
73.16
73.16 search
73.16 run=16 nbConstraintChecks=117006603 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79445
73.16 nbFailedAssignments=59621 nbBacktracks=19680 nbVisitedNodes=158032 nbRestartNogoods=373
73.16 => wckTime=42.059 cpuTime=41.81 mem=16M633
86.99
86.99 search
86.99 run=17 nbConstraintChecks=151602109 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103503
86.99 nbFailedAssignments=76200 nbBacktracks=27160 nbVisitedNodes=205841 nbRestartNogoods=374
86.99 => wckTime=55.889 cpuTime=55.56 mem=16M633
86.99
86.99 global
86.99 nbConstraintChecks=151620332 nbRestartNogoods=374 solvingWckTime=55.89 solvingCpuTime=55.56 expiredTime=no
86.99 totalExploration=yes nbFoundSolutions=0 globalCpuTime=86.16
86.99 => wckTime=86.697 cpuTime=86.11 mem=16M633
86.99
86.99 s OPTIMUM FOUND
86.99 v 10 2 7 8 5 10 7 5 1 8 3 2 2 3 1 8 6 3 8 9 5 3 10 6 3 3 10 2 1 5 2 2 7 3 3 5 6 8 1 2
86.99
87.00 totalWckTime=86.775 totalCpuTime=86.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-282178-1169318553 -o ROOT/results/node16/solver-282178-1169318553 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282178-1169318553/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.94 1.98 1.99 4/87 2726
/proc/meminfo: memFree=1630096/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=292 CPUtime=0
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 280250115 299008 31 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7207565 0 0 4096 0 0 0 0 17 0 0 0
/proc/2725/statm: 73 35 27 14 0 5 0
[startup+0.107315 s]
/proc/loadavg: 1.94 1.98 1.99 4/87 2726
/proc/meminfo: memFree=1630096/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=914988 CPUtime=0.09
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 3065 0 1 0 8 1 0 0 23 0 8 0 280250115 936947712 2811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515237 s]
/proc/loadavg: 1.94 1.98 1.99 4/87 2726
/proc/meminfo: memFree=1630096/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915332 CPUtime=0.49
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 6519 0 1 0 45 4 0 0 25 0 8 0 280250115 937299968 6257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228833 6257 2166 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33608 s]
/proc/loadavg: 1.94 1.98 1.99 4/94 2733
/proc/meminfo: memFree=1612824/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=1.31
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7009 0 1 0 105 26 0 0 25 0 8 0 280250115 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6747 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.09
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 328 0 0 0 9 0 0 0 16 0 8 0 280250123 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937414656 6747 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.97278 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1612760/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=2.94
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7012 0 1 0 221 73 0 0 25 0 8 0 280250115 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6749 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.09
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 330 0 0 0 9 0 0 0 16 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.26416 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1612696/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=6.22
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7012 0 1 0 454 168 0 0 25 0 8 0 280250115 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6749 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.09
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 330 0 0 0 9 0 0 0 16 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444
[startup+12.7379 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1612704/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=12.68
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7012 0 1 0 919 349 0 0 25 0 8 0 280250115 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6749 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915448 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.09
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 330 0 0 0 9 0 0 0 16 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915444
[startup+25.6055 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1612704/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=25.49
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7013 0 1 0 1831 718 0 0 25 0 8 0 280250115 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6750 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.1
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 331 0 0 0 10 0 0 0 16 0 8 0 280250123 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915444
[startup+51.2107 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1604576/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=50.97
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 9128 0 1 0 4217 880 0 0 25 0 8 0 280250115 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 8860 2532 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.21
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 280250123 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 87.0528
CPU time (s): 86.6168
CPU user time (s): 77.8052
CPU system time (s): 8.81166
CPU usage (%): 99.4992
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.8052
system time used= 8.81166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9231
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= 2939
involuntary context switches= 4837
runsolver used 0.111982 s user time and 0.285956 s system time
The end
Begin job on node16 on Sat Jan 20 18:42:33 UTC 2007
IDJOB= 282178
IDBENCH= 12523
IDSOLVER= 68
FILE ID= node16/282178-1169318553
PBS_JOBID= 3610038
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-40-10-08-t60/pi-40-10-07948-40-81.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282178-1169318553/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-282178-1169318553 -o ROOT/results/node16/solver-282178-1169318553 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282178-1169318553/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 867a7efda4b5f90a16cdb69e293f03b0
RANDOM SEED= 48124362
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1630512 kB
Buffers: 49712 kB
Cached: 251056 kB
SwapCached: 268 kB
Active: 129924 kB
Inactive: 222784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1630512 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1704 kB
Writeback: 0 kB
Mapped: 71488 kB
Slab: 57360 kB
Committed_AS: 8394568 kB
PageTables: 2372 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= 66560 MiB
End job on node16 on Sat Jan 20 18:44:00 UTC 2007