0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282431-1169319092/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.094 cpuTime=0.09 mem=6M903
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.53 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.53 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1294 maxDegree=12
0.53 maxArity=2
0.53 => wckTime=0.212 cpuTime=0.16 mem=8M854
0.57
0.57 solver LocalSearchSolver being built...
0.61 => wckTime=0.293 cpuTime=0.2 mem=5M499
0.61
0.61 s SATISFIABLE
0.61 o 66
0.61 c 43
0.61 o 70
0.61 c 39
0.61 o 73
0.61 c 36
0.61 o 76
0.61 c 33
0.62 o 79
0.62 c 30
0.62 o 81
0.62 c 28
0.62 o 83
0.62 c 26
0.62 o 84
0.62 c 25
0.62 o 86
0.62 c 23
0.62 o 89
0.62 c 20
0.62 o 91
0.62 c 18
0.63 o 92
0.63 c 17
0.63 o 93
0.63 c 16
0.63 o 95
0.63 c 14
0.63 o 96
0.63 c 13
0.63 o 97
0.63 c 12
0.63 o 98
0.63 c 11
0.63 o 99
0.63 c 10
0.63 o 100
0.63 c 9
0.63 o 101
0.63 c 8
0.64 o 102
0.64 c 7
0.64 o 103
0.64 c 6
0.67 o 104
0.67 c 5
0.67 o 105
0.67 c 4
0.67 o 106
0.67 c 3
0.81 o 107
0.81 c 2
1.93
1.93 search
1.93 run=0 nbConstraintChecks=5567826 nbAssignments=10000
1.93 => wckTime=1.321 cpuTime=1.29 mem=5M499
3.23
3.23 search
3.23 run=1 nbConstraintChecks=11433991 nbAssignments=20000
3.23 => wckTime=2.621 cpuTime=2.58 mem=5M499
4.47
4.47 search
4.47 run=2 nbConstraintChecks=16934688 nbAssignments=30000
4.47 => wckTime=3.867 cpuTime=3.82 mem=5M499
5.81
5.81 search
5.81 run=3 nbConstraintChecks=23130103 nbAssignments=40000
5.81 => wckTime=5.2 cpuTime=5.14 mem=5M499
7.08
7.08 search
7.08 run=4 nbConstraintChecks=28717863 nbAssignments=50000
7.08 => wckTime=6.468 cpuTime=6.38 mem=5M499
8.35
8.35 search
8.35 run=5 nbConstraintChecks=34359812 nbAssignments=60000
8.35 => wckTime=7.74 cpuTime=7.65 mem=5M499
9.61
9.61 search
9.61 run=6 nbConstraintChecks=39915504 nbAssignments=70000
9.61 => wckTime=8.999 cpuTime=8.9 mem=5M499
10.91
10.91 search
10.91 run=7 nbConstraintChecks=45796815 nbAssignments=80000
10.91 => wckTime=10.299 cpuTime=10.18 mem=5M499
12.20
12.20 search
12.20 run=8 nbConstraintChecks=51597553 nbAssignments=90000
12.20 => wckTime=11.597 cpuTime=11.47 mem=5M499
13.51
13.51 search
13.51 run=9 nbConstraintChecks=57424318 nbAssignments=100000
13.51 => wckTime=12.902 cpuTime=12.77 mem=5M499
14.78
14.78 search
14.78 run=10 nbConstraintChecks=62976594 nbAssignments=110000
14.78 => wckTime=14.175 cpuTime=14.03 mem=5M499
16.09
16.09 search
16.09 run=11 nbConstraintChecks=68816028 nbAssignments=120000
16.09 => wckTime=15.486 cpuTime=15.32 mem=5M499
17.36
17.36 search
17.36 run=12 nbConstraintChecks=74362000 nbAssignments=130000
17.36 => wckTime=16.749 cpuTime=16.57 mem=5M499
18.67
18.67 search
18.67 run=13 nbConstraintChecks=80347453 nbAssignments=140000
18.67 => wckTime=18.066 cpuTime=17.88 mem=5M499
19.97
19.97 search
19.97 run=14 nbConstraintChecks=86101478 nbAssignments=150000
19.97 => wckTime=19.36 cpuTime=19.17 mem=5M499
21.23
21.23 search
21.23 run=15 nbConstraintChecks=91643968 nbAssignments=160000
21.23 => wckTime=20.624 cpuTime=20.42 mem=5M499
22.50
22.50 search
22.50 run=16 nbConstraintChecks=97278451 nbAssignments=170000
22.50 => wckTime=21.892 cpuTime=21.67 mem=5M499
23.79
23.79 search
23.79 run=17 nbConstraintChecks=103017715 nbAssignments=180000
23.79 => wckTime=23.179 cpuTime=22.94 mem=5M499
25.07
25.07 search
25.07 run=18 nbConstraintChecks=108794910 nbAssignments=190000
25.07 => wckTime=24.461 cpuTime=24.22 mem=5M499
26.33
26.33 search
26.33 run=19 nbConstraintChecks=114340057 nbAssignments=200000
26.33 => wckTime=25.719 cpuTime=25.46 mem=5M499
27.61
27.61 search
27.61 run=20 nbConstraintChecks=120148631 nbAssignments=210000
27.61 => wckTime=27.005 cpuTime=26.73 mem=5M499
28.94
28.94 search
28.94 run=21 nbConstraintChecks=126325645 nbAssignments=220000
28.94 => wckTime=28.333 cpuTime=28.05 mem=5M499
30.19
30.19 search
30.19 run=22 nbConstraintChecks=131818100 nbAssignments=230000
30.19 => wckTime=29.583 cpuTime=29.29 mem=5M499
31.12
31.12 search
31.12 run=23 nbConstraintChecks=135981484 nbAssignments=237165
31.12 => wckTime=30.511 cpuTime=30.21 mem=5M499
31.12
31.12 global
31.12 nbConstraintChecks=135981484 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.12 solvingWckTime=30.509 solvingCpuTime=30.21 expiredTime=no totalExploration=no nbFoundSolutions=0
31.12 globalCpuTime=30.45
31.12 => wckTime=30.804 cpuTime=30.41 mem=5M499
31.12
31.12 solver IterativeSystematicSolver being built...
31.26 => wckTime=30.944 cpuTime=30.51 mem=16M697
31.27
31.27 preprocessing
31.27 nbConstraintChecks=10 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.27 detectedInconsistency=no
31.27 => wckTime=0.0030 cpuTime=0.0 mem=16M697
31.34
31.34 search
31.34 run=0 nbConstraintChecks=75228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53
31.34 nbFailedAssignments=36 nbBacktracks=10 nbVisitedNodes=100 nbRestartNogoods=0
31.34 => wckTime=0.073 cpuTime=0.05 mem=16M697
31.39
31.39 search
31.39 run=1 nbConstraintChecks=183143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131
31.39 nbFailedAssignments=92 nbBacktracks=25 nbVisitedNodes=249 nbRestartNogoods=9
31.39 => wckTime=0.131 cpuTime=0.1 mem=16M697
31.46
31.46 search
31.46 run=2 nbConstraintChecks=392746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=259
31.46 nbFailedAssignments=193 nbBacktracks=47 nbVisitedNodes=500 nbRestartNogoods=17
31.46 => wckTime=0.203 cpuTime=0.16 mem=16M697
31.54
31.54 search
31.54 run=3 nbConstraintChecks=646447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=429
31.54 nbFailedAssignments=320 nbBacktracks=80 nbVisitedNodes=830 nbRestartNogoods=26
31.54 => wckTime=0.282 cpuTime=0.24 mem=16M697
31.67
31.67 search
31.67 run=4 nbConstraintChecks=1022182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=663
31.67 nbFailedAssignments=497 nbBacktracks=130 nbVisitedNodes=1291 nbRestartNogoods=41
31.67 => wckTime=0.411 cpuTime=0.37 mem=16M697
31.83
31.83 search
31.83 run=5 nbConstraintChecks=1533267 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=987
31.83 nbFailedAssignments=739 nbBacktracks=205 nbVisitedNodes=1927 nbRestartNogoods=44
31.83 => wckTime=0.567 cpuTime=0.52 mem=16M697
32.05
32.05 search
32.05 run=6 nbConstraintChecks=2277897 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1455
32.05 nbFailedAssignments=1086 nbBacktracks=318 nbVisitedNodes=2854 nbRestartNogoods=68
32.05 => wckTime=0.786 cpuTime=0.73 mem=16M697
32.49
32.49 search
32.49 run=7 nbConstraintChecks=3765499 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2412
32.49 nbFailedAssignments=1866 nbBacktracks=488 nbVisitedNodes=4761 nbRestartNogoods=94
32.49 => wckTime=1.228 cpuTime=1.15 mem=16M697
32.83
32.83 search
32.83 run=8 nbConstraintChecks=4993944 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3188
32.83 nbFailedAssignments=2377 nbBacktracks=744 nbVisitedNodes=6304 nbRestartNogoods=111
32.83 => wckTime=1.567 cpuTime=1.49 mem=16M697
33.47
33.47 search
33.47 run=9 nbConstraintChecks=7325023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4652
33.47 nbFailedAssignments=3450 nbBacktracks=1128 nbVisitedNodes=9224 nbRestartNogoods=131
33.47 => wckTime=2.211 cpuTime=2.12 mem=16M697
34.57
34.57 search
34.57 run=10 nbConstraintChecks=11407657 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7191
34.57 nbFailedAssignments=5404 nbBacktracks=1704 nbVisitedNodes=14271 nbRestartNogoods=145
34.57 => wckTime=3.312 cpuTime=3.21 mem=16M697
36.42
36.42 search
36.42 run=11 nbConstraintChecks=17859742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11213
36.42 nbFailedAssignments=8555 nbBacktracks=2568 nbVisitedNodes=22303 nbRestartNogoods=164
36.42 => wckTime=5.157 cpuTime=5.04 mem=16M697
38.89
38.89 search
38.89 run=12 nbConstraintChecks=26670876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16798
38.89 nbFailedAssignments=12834 nbBacktracks=3865 nbVisitedNodes=33414 nbRestartNogoods=183
38.89 => wckTime=7.624 cpuTime=7.48 mem=16M697
42.07
42.07 search
42.07 run=13 nbConstraintChecks=37688723 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24183
42.07 nbFailedAssignments=18263 nbBacktracks=5811 nbVisitedNodes=48124 nbRestartNogoods=213
42.07 => wckTime=10.807 cpuTime=10.64 mem=16M697
46.41
46.41 search
46.41 run=14 nbConstraintChecks=51657907 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33329
46.41 nbFailedAssignments=24485 nbBacktracks=8730 nbVisitedNodes=66351 nbRestartNogoods=237
46.41 => wckTime=15.149 cpuTime=14.93 mem=16M697
52.77
52.77 search
52.77 run=15 nbConstraintChecks=71786271 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46700
52.77 nbFailedAssignments=33471 nbBacktracks=13108 nbVisitedNodes=92874 nbRestartNogoods=246
52.77 => wckTime=21.507 cpuTime=21.24 mem=16M697
61.82
61.82 search
61.82 run=16 nbConstraintChecks=98946987 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=65141
61.82 nbFailedAssignments=45338 nbBacktracks=19676 nbVisitedNodes=129322 nbRestartNogoods=265
61.82 => wckTime=30.555 cpuTime=30.21 mem=16M697
69.35
69.35 search
69.35 run=17 nbConstraintChecks=120462627 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79846
69.35 nbFailedAssignments=54095 nbBacktracks=25625 nbVisitedNodes=158390 nbRestartNogoods=268
69.35 => wckTime=38.085 cpuTime=37.67 mem=16M697
69.35
69.35 global
69.35 nbConstraintChecks=120462637 nbRestartNogoods=268 solvingWckTime=38.086 solvingCpuTime=37.67 expiredTime=no
69.35 totalExploration=yes nbFoundSolutions=0 globalCpuTime=68.22
69.35 => wckTime=69.032 cpuTime=68.18 mem=16M697
69.35
69.35 s OPTIMUM FOUND
69.35 v 5 7 7 6 2 2 9 4 2 6 5 4 10 7 1 4 1 8 1 1 10 8 6 9 4 5 2 1 3 8
69.35
69.35 totalWckTime=69.111 totalCpuTime=68.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-282431-1169319092 -o ROOT/results/node4/solver-282431-1169319092 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282431-1169319092/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.77 1.86 1.94 4/93 8867
/proc/meminfo: memFree=1261368/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=11868 CPUtime=0
/proc/8866/stat : 8866 (java) D 8864 8866 8798 0 -1 0 765 0 1 0 0 0 0 0 16 0 1 0 280304791 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/8866/statm: 2967 515 425 14 0 1602 0
[startup+0.108809 s]
/proc/loadavg: 1.77 1.86 1.94 4/93 8867
/proc/meminfo: memFree=1261368/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=914988 CPUtime=0.09
/proc/8866/stat : 8866 (java) R 8864 8866 8798 0 -1 0 3036 0 1 0 8 1 0 0 20 0 8 0 280304791 936947712 2782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8866/statm: 228747 2782 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519858 s]
/proc/loadavg: 1.77 1.86 1.94 4/93 8867
/proc/meminfo: memFree=1261368/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=915332 CPUtime=0.5
/proc/8866/stat : 8866 (java) R 8864 8866 8798 0 -1 0 6478 0 1 0 46 4 0 0 22 0 8 0 280304791 937299968 6217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8866/statm: 228833 6217 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34092 s]
/proc/loadavg: 1.77 1.86 1.94 3/100 8874
/proc/meminfo: memFree=1243904/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=915444 CPUtime=1.31
/proc/8866/stat : 8866 (java) R 8864 8866 8798 0 -1 0 7042 0 1 0 105 26 0 0 25 0 8 0 280304791 937414656 6780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073655401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8866/statm: 228861 6780 2476 14 0 215331 0
[pid=8866/tid=8868] ppid=8864 vsize=915444 CPUtime=0.02
/proc/8866/task/8868/stat : 8868 (java) S 8864 8866 8798 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280304795 937414656 6780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8869] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8869/stat : 8869 (java) S 8864 8866 8798 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280304795 937414656 6780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8870] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8870/stat : 8870 (java) S 8864 8866 8798 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280304795 937414656 6780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8871] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8871/stat : 8871 (java) S 8864 8866 8798 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280304798 937414656 6780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8872] ppid=8864 vsize=915444 CPUtime=0.1
/proc/8866/task/8872/stat : 8872 (java) S 8864 8866 8798 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 280304798 937414656 6780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8873] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8873/stat : 8873 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280304798 937414656 6780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8874] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280304798 937414656 6780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97808 s]
/proc/loadavg: 1.79 1.86 1.94 3/100 8874
/proc/meminfo: memFree=1243904/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=915448 CPUtime=2.93
/proc/8866/stat : 8866 (java) R 8864 8866 8798 0 -1 0 7045 0 1 0 218 75 0 0 25 0 8 0 280304791 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8866/statm: 228862 6782 2476 14 0 215332 0
[pid=8866/tid=8868] ppid=8864 vsize=915448 CPUtime=0.02
/proc/8866/task/8868/stat : 8868 (java) S 8864 8866 8798 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280304795 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8869] ppid=8864 vsize=915448 CPUtime=0
/proc/8866/task/8869/stat : 8869 (java) S 8864 8866 8798 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280304795 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8870] ppid=8864 vsize=915448 CPUtime=0
/proc/8866/task/8870/stat : 8870 (java) S 8864 8866 8798 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280304795 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8871] ppid=8864 vsize=915448 CPUtime=0
/proc/8866/task/8871/stat : 8871 (java) S 8864 8866 8798 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280304798 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8872] ppid=8864 vsize=915448 CPUtime=0.11
/proc/8866/task/8872/stat : 8872 (java) S 8864 8866 8798 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 280304798 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8873] ppid=8864 vsize=915448 CPUtime=0
/proc/8866/task/8873/stat : 8873 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280304798 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8874] ppid=8864 vsize=915448 CPUtime=0
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280304798 937418752 6782 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) 915448
[startup+6.26139 s]
/proc/loadavg: 1.79 1.86 1.94 3/100 8874
/proc/meminfo: memFree=1243840/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=915444 CPUtime=6.18
/proc/8866/stat : 8866 (java) R 8864 8866 8798 0 -1 0 7045 0 1 0 443 175 0 0 25 0 8 0 280304791 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073655427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8866/statm: 228861 6782 2476 14 0 215331 0
[pid=8866/tid=8868] ppid=8864 vsize=915444 CPUtime=0.02
/proc/8866/task/8868/stat : 8868 (java) S 8864 8866 8798 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280304795 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8869] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8869/stat : 8869 (java) S 8864 8866 8798 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280304795 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8870] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8870/stat : 8870 (java) S 8864 8866 8798 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280304795 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8871] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8871/stat : 8871 (java) S 8864 8866 8798 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280304798 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8872] ppid=8864 vsize=915444 CPUtime=0.11
/proc/8866/task/8872/stat : 8872 (java) S 8864 8866 8798 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 280304798 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8873] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8873/stat : 8873 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280304798 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8874] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280304798 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444
[startup+12.744 s]
/proc/loadavg: 1.82 1.86 1.94 3/100 8874
/proc/meminfo: memFree=1243968/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=915444 CPUtime=12.6
/proc/8866/stat : 8866 (java) R 8864 8866 8798 0 -1 0 7045 0 1 0 883 377 0 0 25 0 8 0 280304791 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073657289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8866/statm: 228861 6782 2476 14 0 215331 0
[pid=8866/tid=8868] ppid=8864 vsize=915444 CPUtime=0.02
/proc/8866/task/8868/stat : 8868 (java) S 8864 8866 8798 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280304795 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8869] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8869/stat : 8869 (java) S 8864 8866 8798 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280304795 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8870] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8870/stat : 8870 (java) S 8864 8866 8798 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280304795 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8871] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8871/stat : 8871 (java) S 8864 8866 8798 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280304798 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8872] ppid=8864 vsize=915444 CPUtime=0.11
/proc/8866/task/8872/stat : 8872 (java) S 8864 8866 8798 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 280304798 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8873] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8873/stat : 8873 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280304798 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8874] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280304798 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444
[startup+25.6042 s]
/proc/loadavg: 1.85 1.87 1.94 3/100 8874
/proc/meminfo: memFree=1244032/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=915444 CPUtime=25.35
/proc/8866/stat : 8866 (java) R 8864 8866 8798 0 -1 0 7046 0 1 0 1754 781 0 0 25 0 8 0 280304791 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660302 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8866/statm: 228861 6783 2476 14 0 215331 0
[pid=8866/tid=8868] ppid=8864 vsize=915444 CPUtime=0.02
/proc/8866/task/8868/stat : 8868 (java) S 8864 8866 8798 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280304795 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8869] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8869/stat : 8869 (java) S 8864 8866 8798 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280304795 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8870] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8870/stat : 8870 (java) S 8864 8866 8798 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280304795 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8871] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8871/stat : 8871 (java) S 8864 8866 8798 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280304798 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8872] ppid=8864 vsize=915444 CPUtime=0.11
/proc/8866/task/8872/stat : 8872 (java) S 8864 8866 8798 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 280304798 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8873] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8873/stat : 8873 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280304798 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8874] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280304798 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915444
[startup+51.2127 s]
/proc/loadavg: 1.90 1.88 1.94 3/100 8874
/proc/meminfo: memFree=1236032/2055920 swapFree=4182144/4192956
[pid=8866] ppid=8864 vsize=915444 CPUtime=50.72
/proc/8866/stat : 8866 (java) R 8864 8866 8798 0 -1 0 9106 0 1 0 4118 954 0 0 25 0 8 0 280304791 937414656 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8866/statm: 228861 8839 2527 14 0 215331 0
[pid=8866/tid=8868] ppid=8864 vsize=915444 CPUtime=0.02
/proc/8866/task/8868/stat : 8868 (java) S 8864 8866 8798 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 280304795 937414656 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8869] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8869/stat : 8869 (java) S 8864 8866 8798 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280304795 937414656 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8870] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8870/stat : 8870 (java) S 8864 8866 8798 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280304795 937414656 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8871] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8871/stat : 8871 (java) S 8864 8866 8798 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280304798 937414656 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8872] ppid=8864 vsize=915444 CPUtime=0.23
/proc/8866/task/8872/stat : 8872 (java) S 8864 8866 8798 0 -1 64 387 0 0 0 22 1 0 0 17 0 8 0 280304798 937414656 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8873] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8873/stat : 8873 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280304798 937414656 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8866/tid=8874] ppid=8864 vsize=915444 CPUtime=0
/proc/8866/task/8874/stat : 8874 (java) S 8864 8866 8798 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280304798 937414656 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 69.3681
CPU time (s): 68.7096
CPU user time (s): 59.159
CPU system time (s): 9.55055
CPU usage (%): 99.0507
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.159
system time used= 9.55055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9210
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= 2511
involuntary context switches= 4511
runsolver used 0.101984 s user time and 0.222966 s system time
The end
Begin job on node4 on Sat Jan 20 18:51:32 UTC 2007
IDJOB= 282431
IDBENCH= 12793
IDSOLVER= 69
FILE ID= node4/282431-1169319092
PBS_JOBID= 3610068
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-30-10-25-t48/pi-30-10-197-52-51.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282431-1169319092/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-282431-1169319092 -o ROOT/results/node4/solver-282431-1169319092 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282431-1169319092/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1b69ebbc0e0c385c54bf147d32ffb4f4
RANDOM SEED= 66041592
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.223
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.223
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: 1261848 kB
Buffers: 68012 kB
Cached: 523448 kB
SwapCached: 2180 kB
Active: 282800 kB
Inactive: 426904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1261848 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2088 kB
Writeback: 0 kB
Mapped: 138132 kB
Slab: 68692 kB
Committed_AS: 9041416 kB
PageTables: 2600 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 node4 on Sat Jan 20 18:52:42 UTC 2007