0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/282547-1169320024/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=14 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.09 cpuTime=0.09 mem=6M887
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=300 nbRelationTypes=244 nbExtensionStructures=244 nbSharedExtensionStructures=56
0.58 nbConflictsStructures=244 nbSharedConflictsStructures=56 nbSharedBinaryRepresentations=9055 maxDegree=52
0.58 maxArity=2
0.58 => wckTime=0.276 cpuTime=0.22 mem=11M779
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.36 cpuTime=0.25 mem=5M688
0.67
0.67 s SATISFIABLE
0.67 o 177
0.67 c 123
0.67 o 189
0.67 c 111
0.67 o 197
0.67 c 103
0.67 o 207
0.67 c 93
0.67 o 210
0.67 c 90
0.68 o 213
0.68 c 87
0.68 o 219
0.68 c 81
0.68 o 226
0.68 c 74
0.68 o 227
0.68 c 73
0.68 o 235
0.68 c 65
0.68 o 241
0.68 c 59
0.68 o 246
0.68 c 54
0.68 o 255
0.68 c 45
0.68 o 262
0.68 c 38
0.68 o 266
0.68 c 34
0.69 o 268
0.69 c 32
0.69 o 273
0.69 c 27
0.69 o 277
0.69 c 23
0.69 o 279
0.69 c 21
0.69 o 280
0.69 c 20
0.70 o 282
0.70 c 18
0.76 o 284
0.76 c 16
8.01
8.01 search
8.01 run=0 nbConstraintChecks=61046808 nbAssignments=10000
8.01 => wckTime=7.349 cpuTime=7.29 mem=5M688
15.36
15.36 search
15.36 run=1 nbConstraintChecks=122645910 nbAssignments=20000
15.36 => wckTime=14.7 cpuTime=14.6 mem=5M688
22.49
22.49 search
22.49 run=2 nbConstraintChecks=182963638 nbAssignments=30000
22.49 => wckTime=21.831 cpuTime=21.7 mem=5M688
29.80
29.80 search
29.80 run=3 nbConstraintChecks=244788829 nbAssignments=40000
29.80 => wckTime=29.141 cpuTime=28.98 mem=5M688
30.91
30.91 search
30.91 run=4 nbConstraintChecks=254094704 nbAssignments=41635
30.91 => wckTime=30.248 cpuTime=30.09 mem=5M688
30.91
30.91 global
30.91 nbConstraintChecks=254094704 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.91 solvingWckTime=30.247 solvingCpuTime=30.09 expiredTime=no totalExploration=no nbFoundSolutions=0
30.91 globalCpuTime=30.38
30.91 => wckTime=30.609 cpuTime=30.34 mem=5M688
30.91
30.91 solver IterativeSystematicSolver being built...
31.03 => wckTime=30.73 cpuTime=30.43 mem=16M563
31.08
31.08 preprocessing
31.08 nbConstraintChecks=71397 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.08 detectedInconsistency=no
31.08 => wckTime=0.046 cpuTime=0.02 mem=16M563
31.25
31.25 search
31.25 run=0 nbConstraintChecks=882678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133
31.25 nbFailedAssignments=122 nbBacktracks=10 nbVisitedNodes=266 nbRestartNogoods=0
31.25 => wckTime=0.22 cpuTime=0.19 mem=16M563
31.34
31.34 search
31.34 run=1 nbConstraintChecks=1279716 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=204
31.34 nbFailedAssignments=175 nbBacktracks=25 nbVisitedNodes=404 nbRestartNogoods=2
31.34 => wckTime=0.302 cpuTime=0.26 mem=16M563
31.51
31.51 search
31.51 run=2 nbConstraintChecks=2365379 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=350
31.51 nbFailedAssignments=297 nbBacktracks=47 nbVisitedNodes=694 nbRestartNogoods=24
31.51 => wckTime=0.48 cpuTime=0.44 mem=16M563
31.64
31.64 search
31.64 run=3 nbConstraintChecks=3053183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=490
31.64 nbFailedAssignments=398 nbBacktracks=80 nbVisitedNodes=968 nbRestartNogoods=26
31.64 => wckTime=0.601 cpuTime=0.56 mem=16M563
31.86
31.86 search
31.86 run=4 nbConstraintChecks=4302418 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=696
31.86 nbFailedAssignments=552 nbBacktracks=130 nbVisitedNodes=1377 nbRestartNogoods=48
31.86 => wckTime=0.827 cpuTime=0.79 mem=16M563
32.48
32.48 search
32.48 run=5 nbConstraintChecks=7866789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1212
32.48 nbFailedAssignments=990 nbBacktracks=205 nbVisitedNodes=2406 nbRestartNogoods=68
32.48 => wckTime=1.443 cpuTime=1.4 mem=16M563
33.33
33.33 search
33.33 run=6 nbConstraintChecks=12814152 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1940
33.33 nbFailedAssignments=1603 nbBacktracks=318 nbVisitedNodes=3858 nbRestartNogoods=97
33.33 => wckTime=2.3 cpuTime=2.23 mem=16M563
34.21
34.21 search
34.21 run=7 nbConstraintChecks=17954230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2743
34.21 nbFailedAssignments=2232 nbBacktracks=488 nbVisitedNodes=5460 nbRestartNogoods=107
34.22 => wckTime=3.181 cpuTime=3.11 mem=16M563
35.87
35.87 search
35.87 run=8 nbConstraintChecks=27886252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4189
35.87 nbFailedAssignments=3418 nbBacktracks=744 nbVisitedNodes=8345 nbRestartNogoods=114
35.87 => wckTime=4.834 cpuTime=4.75 mem=16M563
37.33
37.33 search
37.33 run=9 nbConstraintChecks=36448274 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5612
37.33 nbFailedAssignments=4455 nbBacktracks=1128 nbVisitedNodes=11186 nbRestartNogoods=128
37.33 => wckTime=6.3 cpuTime=6.21 mem=16M563
39.93
39.93 search
39.93 run=10 nbConstraintChecks=51714116 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8013
39.93 nbFailedAssignments=6278 nbBacktracks=1704 nbVisitedNodes=15979 nbRestartNogoods=138
39.93 => wckTime=8.896 cpuTime=8.8 mem=16M563
42.57
42.57 search
42.57 run=11 nbConstraintChecks=67098510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10332
42.57 nbFailedAssignments=8044 nbBacktracks=2258 nbVisitedNodes=20612 nbRestartNogoods=146
42.57 => wckTime=11.532 cpuTime=11.42 mem=16M563
42.57
42.57 global
42.57 nbConstraintChecks=67169907 nbRestartNogoods=146 solvingWckTime=11.533 solvingCpuTime=11.42 expiredTime=no
42.57 totalExploration=yes nbFoundSolutions=0 globalCpuTime=41.89
42.57 => wckTime=42.265 cpuTime=41.85 mem=16M563
42.57
42.57 s OPTIMUM FOUND
42.57 v 5 4 16 18 0 0 17 17 19 19 15 15 19 15
42.57
42.57 totalWckTime=42.34 totalCpuTime=41.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-282547-1169320024 -o ROOT/results/node52/solver-282547-1169320024 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282547-1169320024/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: 0.88 0.98 0.99 3/68 31232
/proc/meminfo: memFree=1276080/2055920 swapFree=4192812/4192956
[pid=31231] ppid=31227 vsize=18540 CPUtime=0
/proc/31231/stat : 31231 (runsolver) R 31227 31231 30990 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 280400897 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31231/statm: 4635 279 244 17 0 2626 0
[startup+0.102721 s]
/proc/loadavg: 0.88 0.98 0.99 3/68 31232
/proc/meminfo: memFree=1276080/2055920 swapFree=4192812/4192956
[pid=31231] ppid=31227 vsize=913236 CPUtime=0.08
/proc/31231/stat : 31231 (java) R 31227 31231 30990 0 -1 0 2922 0 1 0 7 1 0 0 23 0 8 0 280400897 935153664 2668 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31231/statm: 228309 2668 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.510746 s]
/proc/loadavg: 0.88 0.98 0.99 3/68 31232
/proc/meminfo: memFree=1276080/2055920 swapFree=4192812/4192956
[pid=31231] ppid=31227 vsize=915332 CPUtime=0.48
/proc/31231/stat : 31231 (java) R 31227 31231 30990 0 -1 0 6844 0 1 0 44 4 0 0 25 0 8 0 280400897 937299968 6583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31231/statm: 228833 6583 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.3318 s]
/proc/loadavg: 0.88 0.98 0.99 3/88 31253
/proc/meminfo: memFree=1245968/2055920 swapFree=4192812/4192956
[pid=31231] ppid=31227 vsize=915464 CPUtime=1.3
/proc/31231/stat : 31231 (java) R 31227 31231 30990 0 -1 0 7929 0 1 0 121 9 0 0 25 0 8 0 280400897 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31231/statm: 228866 7667 2479 14 0 215336 0
[pid=31231/tid=31240] ppid=31227 vsize=915464 CPUtime=0.03
/proc/31231/task/31240/stat : 31240 (java) S 31227 31231 30990 0 -1 64 202 0 0 0 3 0 0 0 16 0 8 0 280400902 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31242] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31242/stat : 31242 (java) S 31227 31231 30990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280400902 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31243] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31243/stat : 31243 (java) S 31227 31231 30990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280400902 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31246] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31246/stat : 31246 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280400905 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31247] ppid=31227 vsize=915464 CPUtime=0.12
/proc/31231/task/31247/stat : 31247 (java) S 31227 31231 30990 0 -1 64 343 0 0 0 12 0 0 0 16 0 8 0 280400905 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31248] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31248/stat : 31248 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280400905 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31249] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31249/stat : 31249 (java) S 31227 31231 30990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280400905 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.96891 s]
/proc/loadavg: 0.88 0.98 0.99 3/88 31253
/proc/meminfo: memFree=1245904/2055920 swapFree=4192812/4192956
[pid=31231] ppid=31227 vsize=915464 CPUtime=2.92
/proc/31231/stat : 31231 (java) R 31227 31231 30990 0 -1 0 7933 0 1 0 274 18 0 0 25 0 8 0 280400897 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734179 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31231/statm: 228866 7670 2479 14 0 215336 0
[pid=31231/tid=31240] ppid=31227 vsize=915464 CPUtime=0.03
/proc/31231/task/31240/stat : 31240 (java) S 31227 31231 30990 0 -1 64 202 0 0 0 3 0 0 0 16 0 8 0 280400902 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31242] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31242/stat : 31242 (java) S 31227 31231 30990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280400902 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31243] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31243/stat : 31243 (java) S 31227 31231 30990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280400902 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31246] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31246/stat : 31246 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280400905 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31247] ppid=31227 vsize=915464 CPUtime=0.13
/proc/31231/task/31247/stat : 31247 (java) S 31227 31231 30990 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 280400905 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31248] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31248/stat : 31248 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280400905 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31249] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31249/stat : 31249 (java) S 31227 31231 30990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280400905 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.17313 s]
/proc/loadavg: 0.97 1.00 1.00 3/88 31253
/proc/meminfo: memFree=1245912/2055920 swapFree=4192812/4192956
[pid=31231] ppid=31227 vsize=915464 CPUtime=6.11
/proc/31231/stat : 31231 (java) R 31227 31231 30990 0 -1 0 7933 0 1 0 577 34 0 0 25 0 8 0 280400897 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31231/statm: 228866 7670 2479 14 0 215336 0
[pid=31231/tid=31240] ppid=31227 vsize=915464 CPUtime=0.03
/proc/31231/task/31240/stat : 31240 (java) S 31227 31231 30990 0 -1 64 202 0 0 0 3 0 0 0 16 0 8 0 280400902 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31242] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31242/stat : 31242 (java) S 31227 31231 30990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280400902 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31243] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31243/stat : 31243 (java) S 31227 31231 30990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280400902 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31246] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31246/stat : 31246 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280400905 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31247] ppid=31227 vsize=915464 CPUtime=0.13
/proc/31231/task/31247/stat : 31247 (java) S 31227 31231 30990 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 280400905 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31248] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31248/stat : 31248 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280400905 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31249] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31249/stat : 31249 (java) R 31227 31231 30990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280400905 937435136 7670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915464
[startup+12.6356 s]
/proc/loadavg: 1.05 1.01 1.00 3/88 31253
/proc/meminfo: memFree=1245928/2055920 swapFree=4192812/4192956
[pid=31231] ppid=31227 vsize=915464 CPUtime=12.53
/proc/31231/stat : 31231 (java) R 31227 31231 30990 0 -1 0 7936 0 1 0 1185 68 0 0 25 0 8 0 280400897 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734130 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31231/statm: 228866 7673 2479 14 0 215336 0
[pid=31231/tid=31240] ppid=31227 vsize=915464 CPUtime=0.03
/proc/31231/task/31240/stat : 31240 (java) S 31227 31231 30990 0 -1 64 202 0 0 0 3 0 0 0 16 0 8 0 280400902 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31242] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31242/stat : 31242 (java) S 31227 31231 30990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280400902 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31243] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31243/stat : 31243 (java) S 31227 31231 30990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280400902 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31246] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31246/stat : 31246 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280400905 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31247] ppid=31227 vsize=915464 CPUtime=0.13
/proc/31231/task/31247/stat : 31247 (java) S 31227 31231 30990 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 280400905 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31248] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31248/stat : 31248 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280400905 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31249] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31249/stat : 31249 (java) S 31227 31231 30990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280400905 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915464
[startup+25.4824 s]
/proc/loadavg: 1.34 1.08 1.02 3/88 31253
/proc/meminfo: memFree=1245992/2055920 swapFree=4192812/4192956
[pid=31231] ppid=31227 vsize=915464 CPUtime=25.33
/proc/31231/stat : 31231 (java) R 31227 31231 30990 0 -1 0 7936 0 1 0 2398 135 0 0 25 0 8 0 280400897 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31231/statm: 228866 7673 2479 14 0 215336 0
[pid=31231/tid=31240] ppid=31227 vsize=915464 CPUtime=0.03
/proc/31231/task/31240/stat : 31240 (java) S 31227 31231 30990 0 -1 64 202 0 0 0 3 0 0 0 16 0 8 0 280400902 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31242] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31242/stat : 31242 (java) S 31227 31231 30990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280400902 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31243] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31243/stat : 31243 (java) S 31227 31231 30990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280400902 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31246] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31246/stat : 31246 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280400905 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31247] ppid=31227 vsize=915464 CPUtime=0.13
/proc/31231/task/31247/stat : 31247 (java) S 31227 31231 30990 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 280400905 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31248] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31248/stat : 31248 (java) S 31227 31231 30990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280400905 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31231/tid=31249] ppid=31227 vsize=915464 CPUtime=0
/proc/31231/task/31249/stat : 31249 (java) S 31227 31231 30990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280400905 937435136 7673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 42.6009
CPU time (s): 42.3706
CPU user time (s): 40.7178
CPU system time (s): 1.65275
CPU usage (%): 99.4593
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.7178
system time used= 1.65275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9153
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= 2078
involuntary context switches= 2879
runsolver used 0.048992 s user time and 0.107983 s system time
The end
Begin job on node52 on Sat Jan 20 19:07:04 UTC 2007
IDJOB= 282547
IDBENCH= 12863
IDSOLVER= 68
FILE ID= node52/282547-1169320024
PBS_JOBID= 3610423
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs7/scenw-7-sub1-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282547-1169320024/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-282547-1169320024 -o ROOT/results/node52/solver-282547-1169320024 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282547-1169320024/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a1c46d3c56361f00ab0c53678955b3da
RANDOM SEED= 540736927
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.232
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.232
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: 1276680 kB
Buffers: 50648 kB
Cached: 627108 kB
SwapCached: 0 kB
Active: 143452 kB
Inactive: 554528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1276680 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2612 kB
Writeback: 0 kB
Mapped: 30416 kB
Slab: 66936 kB
Committed_AS: 5933444 kB
PageTables: 1704 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 node52 on Sat Jan 20 19:07:47 UTC 2007