0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275890-1169228705/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.117 cpuTime=0.07 mem=6M887
0.42
0.42 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=262 nbRelationTypes=262 nbExtensionStructures=262 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=262 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4677 maxDegree=22
0.58 maxArity=2
0.58 => wckTime=0.272 cpuTime=0.16 mem=9M829
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.353 cpuTime=0.2 mem=5M643
0.66
0.66 s SATISFIABLE
0.66 o 222
0.66 c 40
0.66 o 227
0.66 c 35
0.66 o 231
0.66 c 31
0.66 o 235
0.66 c 27
0.66 o 239
0.66 c 23
0.66 o 243
0.66 c 19
0.67 o 245
0.67 c 17
0.67 o 247
0.67 c 15
0.67 o 250
0.67 c 12
0.67 o 252
0.67 c 10
0.67 o 254
0.67 c 8
0.67 o 255
0.67 c 7
0.67 o 256
0.67 c 6
0.67 o 257
0.67 c 5
0.67 o 258
0.67 c 4
0.67 o 259
0.67 c 3
0.68 o 260
0.68 c 2
2.82
2.82 search
2.82 run=0 nbConstraintChecks=15173040 nbAssignments=10000
2.82 => wckTime=2.166 cpuTime=2.14 mem=5M643
5.01
5.01 search
5.01 run=1 nbConstraintChecks=31166190 nbAssignments=20000
5.01 => wckTime=4.353 cpuTime=4.32 mem=5M643
7.10
7.10 search
7.10 run=2 nbConstraintChecks=46313431 nbAssignments=30000
7.10 => wckTime=6.445 cpuTime=6.4 mem=5M643
9.31
9.31 search
9.32 run=3 nbConstraintChecks=62442606 nbAssignments=40000
9.32 => wckTime=8.66 cpuTime=8.61 mem=5M643
11.47
11.48 search
11.48 run=4 nbConstraintChecks=78026300 nbAssignments=50000
11.48 => wckTime=10.819 cpuTime=10.75 mem=5M643
13.74
13.74 search
13.74 run=5 nbConstraintChecks=94404118 nbAssignments=60000
13.74 => wckTime=13.084 cpuTime=12.99 mem=5M643
15.84
15.84 search
15.84 run=6 nbConstraintChecks=109489523 nbAssignments=70000
15.84 => wckTime=15.187 cpuTime=15.08 mem=5M643
18.10
18.10 search
18.10 run=7 nbConstraintChecks=126096896 nbAssignments=80000
18.10 => wckTime=17.445 cpuTime=17.33 mem=5M643
20.20
20.20 search
20.20 run=8 nbConstraintChecks=141260549 nbAssignments=90000
20.20 => wckTime=19.543 cpuTime=19.42 mem=5M643
22.43
22.43 search
22.43 run=9 nbConstraintChecks=157759105 nbAssignments=100000
22.43 => wckTime=21.775 cpuTime=21.64 mem=5M643
24.55
24.55 search
24.55 run=10 nbConstraintChecks=173136674 nbAssignments=110000
24.55 => wckTime=23.894 cpuTime=23.76 mem=5M643
26.84
26.84 search
26.84 run=11 nbConstraintChecks=190211896 nbAssignments=120000
26.84 => wckTime=26.187 cpuTime=26.04 mem=5M643
29.08
29.08 search
29.08 run=12 nbConstraintChecks=206529103 nbAssignments=130000
29.08 => wckTime=28.422 cpuTime=28.27 mem=5M643
30.84
30.84 search
30.84 run=13 nbConstraintChecks=219410707 nbAssignments=137734
30.84 => wckTime=30.181 cpuTime=30.02 mem=5M643
30.84
30.84 global
30.84 nbConstraintChecks=219410707 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.84 solvingWckTime=30.18 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.84 globalCpuTime=30.26
30.84 => wckTime=30.535 cpuTime=30.22 mem=5M643
30.84
30.84 solver IterativeSystematicSolver being built...
30.96 => wckTime=30.66 cpuTime=30.32 mem=16M551
31.02
31.02 preprocessing
31.02 nbConstraintChecks=29511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=1
31.02 detectedInconsistency=no
31.02 => wckTime=0.052 cpuTime=0.03 mem=16M551
31.08
31.08 search
31.08 run=0 nbConstraintChecks=157845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73
31.08 nbFailedAssignments=56 nbBacktracks=10 nbVisitedNodes=140 nbRestartNogoods=0
31.08 => wckTime=0.115 cpuTime=0.09 mem=16M551
31.18
31.18 search
31.18 run=1 nbConstraintChecks=401878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=207
31.18 nbFailedAssignments=169 nbBacktracks=25 nbVisitedNodes=402 nbRestartNogoods=8
31.18 => wckTime=0.212 cpuTime=0.18 mem=16M551
31.30
31.30 search
31.30 run=2 nbConstraintChecks=707166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=383
31.30 nbFailedAssignments=313 nbBacktracks=48 nbVisitedNodes=745 nbRestartNogoods=9
31.30 => wckTime=0.337 cpuTime=0.29 mem=16M551
31.44
31.44 search
31.44 run=3 nbConstraintChecks=1100578 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=603
31.44 nbFailedAssignments=490 nbBacktracks=81 nbVisitedNodes=1175 nbRestartNogoods=11
31.44 => wckTime=0.48 cpuTime=0.44 mem=16M551
31.60
31.60 search
31.60 run=4 nbConstraintChecks=1514502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=843
31.60 nbFailedAssignments=666 nbBacktracks=132 nbVisitedNodes=1642 nbRestartNogoods=12
31.60 => wckTime=0.641 cpuTime=0.59 mem=16M551
31.71
31.71 search
31.71 run=5 nbConstraintChecks=1797018 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1025
31.71 nbFailedAssignments=755 nbBacktracks=207 nbVisitedNodes=1986 nbRestartNogoods=23
31.71 => wckTime=0.746 cpuTime=0.69 mem=16M551
31.86
31.86 search
31.86 run=6 nbConstraintChecks=2277851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1297
31.86 nbFailedAssignments=901 nbBacktracks=321 nbVisitedNodes=2518 nbRestartNogoods=39
31.86 => wckTime=0.901 cpuTime=0.85 mem=16M551
32.08
32.08 search
32.08 run=7 nbConstraintChecks=2952730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1676
32.08 nbFailedAssignments=1095 nbBacktracks=491 nbVisitedNodes=3258 nbRestartNogoods=49
32.08 => wckTime=1.112 cpuTime=1.04 mem=16M551
32.45
32.45 search
32.45 run=8 nbConstraintChecks=4267496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2269
32.45 nbFailedAssignments=1423 nbBacktracks=747 nbVisitedNodes=4434 nbRestartNogoods=58
32.45 => wckTime=1.491 cpuTime=1.42 mem=16M551
32.81
32.81 search
32.81 run=9 nbConstraintChecks=5476565 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2989
32.81 nbFailedAssignments=1753 nbBacktracks=1131 nbVisitedNodes=5861 nbRestartNogoods=71
32.81 => wckTime=1.849 cpuTime=1.77 mem=16M551
33.53
33.53 search
33.53 run=10 nbConstraintChecks=8013758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4120
33.53 nbFailedAssignments=2295 nbBacktracks=1707 nbVisitedNodes=8107 nbRestartNogoods=75
33.53 => wckTime=2.566 cpuTime=2.48 mem=16M551
34.45
34.45 search
34.45 run=11 nbConstraintChecks=11039240 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5756
34.45 nbFailedAssignments=3053 nbBacktracks=2571 nbVisitedNodes=11360 nbRestartNogoods=87
34.45 => wckTime=3.488 cpuTime=3.41 mem=16M551
36.10
36.11 search
36.11 run=12 nbConstraintChecks=16916429 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8693
36.11 nbFailedAssignments=4907 nbBacktracks=3655 nbVisitedNodes=17225 nbRestartNogoods=98
36.11 => wckTime=5.142 cpuTime=5.06 mem=16M551
36.11
36.11 global
36.11 nbConstraintChecks=16945940 nbRestartNogoods=98 solvingWckTime=5.143 solvingCpuTime=5.06 expiredTime=no
36.11 totalExploration=yes nbFoundSolutions=0 globalCpuTime=35.42
36.11 => wckTime=35.803 cpuTime=35.38 mem=16M551
36.11
36.11 s OPTIMUM FOUND
36.11 v 8 7 9 5 5 6 4 1 8 0 5 7 5 3 8 6 4 5 0 7 0 7 5 2 2 8 2 2 2 6 9 8 9
36.11
36.11 totalWckTime=35.879 totalCpuTime=35.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-275890-1169228705 -o ROOT/results/node45/solver-275890-1169228705 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275890-1169228705/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.73 0.94 1.02 4/69 19637
/proc/meminfo: memFree=1215808/2055920 swapFree=4184072/4192956
[pid=19636] ppid=19627 vsize=168 CPUtime=0
/proc/19636/stat : 19636 (java) R 19627 19636 19517 0 -1 0 39 0 0 0 0 0 0 0 21 0 1 0 271269496 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4727588 0 0 4096 0 0 0 0 17 1 0 0
/proc/19636/statm: 42 23 18 14 0 2 0
[startup+0.10577 s]
/proc/loadavg: 0.73 0.94 1.02 4/69 19637
/proc/meminfo: memFree=1215808/2055920 swapFree=4184072/4192956
[pid=19636] ppid=19627 vsize=914988 CPUtime=0.08
/proc/19636/stat : 19636 (java) R 19627 19636 19517 0 -1 0 2977 0 1 0 7 1 0 0 23 0 8 0 271269496 936947712 2723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19636/statm: 228747 2724 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513844 s]
/proc/loadavg: 0.73 0.94 1.02 4/69 19637
/proc/meminfo: memFree=1215808/2055920 swapFree=4184072/4192956
[pid=19636] ppid=19627 vsize=915332 CPUtime=0.45
/proc/19636/stat : 19636 (java) R 19627 19636 19517 0 -1 0 6331 0 1 0 41 4 0 0 18 0 8 0 271269496 937299968 6070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073554998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19636/statm: 228833 6070 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.33499 s]
/proc/loadavg: 0.73 0.94 1.02 3/88 19657
/proc/meminfo: memFree=1188584/2055920 swapFree=4184072/4192956
[pid=19636] ppid=19627 vsize=915464 CPUtime=1.27
/proc/19636/stat : 19636 (java) R 19627 19636 19517 0 -1 0 7355 0 1 0 111 16 0 0 25 0 8 0 271269496 937435136 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19636/statm: 228866 7093 2479 14 0 215336 0
[pid=19636/tid=19644] ppid=19627 vsize=915464 CPUtime=0.02
/proc/19636/task/19644/stat : 19644 (java) S 19627 19636 19517 0 -1 64 191 0 0 0 2 0 0 0 16 0 8 0 271269501 937435136 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19645] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19645/stat : 19645 (java) S 19627 19636 19517 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271269502 937435136 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19646] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19646/stat : 19646 (java) S 19627 19636 19517 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271269502 937435136 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19650] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19650/stat : 19650 (java) S 19627 19636 19517 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271269505 937435136 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19651] ppid=19627 vsize=915464 CPUtime=0.14
/proc/19636/task/19651/stat : 19651 (java) S 19627 19636 19517 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 271269505 937435136 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19652] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19652/stat : 19652 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271269505 937435136 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19653] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19653/stat : 19653 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271269505 937435136 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915464
[startup+2.97228 s]
/proc/loadavg: 0.73 0.94 1.02 3/88 19657
/proc/meminfo: memFree=1188456/2055920 swapFree=4184072/4192956
[pid=19636] ppid=19627 vsize=915464 CPUtime=2.9
/proc/19636/stat : 19636 (java) R 19627 19636 19517 0 -1 0 7359 0 1 0 246 44 0 0 25 0 8 0 271269496 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19636/statm: 228866 7096 2479 14 0 215336 0
[pid=19636/tid=19644] ppid=19627 vsize=915464 CPUtime=0.02
/proc/19636/task/19644/stat : 19644 (java) S 19627 19636 19517 0 -1 64 191 0 0 0 2 0 0 0 16 0 8 0 271269501 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19645] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19645/stat : 19645 (java) S 19627 19636 19517 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271269502 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19646] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19646/stat : 19646 (java) S 19627 19636 19517 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271269502 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19650] ppid=19627 vsize=915468 CPUtime=0
/proc/19636/task/19650/stat : 19650 (java) S 19627 19636 19517 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271269505 937439232 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19651] ppid=19627 vsize=915464 CPUtime=0.14
/proc/19636/task/19651/stat : 19651 (java) S 19627 19636 19517 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19652] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19652/stat : 19652 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19653] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19653/stat : 19653 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464
[startup+6.27088 s]
/proc/loadavg: 0.83 0.96 1.03 3/88 19657
/proc/meminfo: memFree=1188400/2055920 swapFree=4184072/4192956
[pid=19636] ppid=19627 vsize=915464 CPUtime=6.19
/proc/19636/stat : 19636 (java) R 19627 19636 19517 0 -1 0 7359 0 1 0 521 98 0 0 25 0 8 0 271269496 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19636/statm: 228866 7096 2479 14 0 215336 0
[pid=19636/tid=19644] ppid=19627 vsize=915464 CPUtime=0.02
/proc/19636/task/19644/stat : 19644 (java) S 19627 19636 19517 0 -1 64 191 0 0 0 2 0 0 0 16 0 8 0 271269501 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19645] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19645/stat : 19645 (java) S 19627 19636 19517 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271269502 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19646] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19646/stat : 19646 (java) S 19627 19636 19517 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271269502 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19650] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19650/stat : 19650 (java) S 19627 19636 19517 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19651] ppid=19627 vsize=915464 CPUtime=0.14
/proc/19636/task/19651/stat : 19651 (java) S 19627 19636 19517 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19652] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19652/stat : 19652 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19653] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19653/stat : 19653 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7491 s]
/proc/loadavg: 1.01 0.99 1.04 3/88 19657
/proc/meminfo: memFree=1188408/2055920 swapFree=4184072/4192956
[pid=19636] ppid=19627 vsize=915464 CPUtime=12.64
/proc/19636/stat : 19636 (java) R 19627 19636 19517 0 -1 0 7359 0 1 0 1061 203 0 0 25 0 8 0 271269496 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19636/statm: 228867 7096 2479 14 0 215337 0
[pid=19636/tid=19644] ppid=19627 vsize=915464 CPUtime=0.02
/proc/19636/task/19644/stat : 19644 (java) S 19627 19636 19517 0 -1 64 191 0 0 0 2 0 0 0 16 0 8 0 271269501 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19645] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19645/stat : 19645 (java) S 19627 19636 19517 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271269502 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19646] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19646/stat : 19646 (java) S 19627 19636 19517 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271269502 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19650] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19650/stat : 19650 (java) S 19627 19636 19517 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19651] ppid=19627 vsize=915464 CPUtime=0.14
/proc/19636/task/19651/stat : 19651 (java) S 19627 19636 19517 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19652] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19652/stat : 19652 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19653] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19653/stat : 19653 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915464
[startup+25.6124 s]
/proc/loadavg: 1.23 1.04 1.05 3/88 19657
/proc/meminfo: memFree=1188408/2055920 swapFree=4184072/4192956
[pid=19636] ppid=19627 vsize=915464 CPUtime=25.43
/proc/19636/stat : 19636 (java) R 19627 19636 19517 0 -1 0 7359 0 1 0 2118 425 0 0 25 0 8 0 271269496 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19636/statm: 228866 7096 2479 14 0 215336 0
[pid=19636/tid=19644] ppid=19627 vsize=915464 CPUtime=0.02
/proc/19636/task/19644/stat : 19644 (java) S 19627 19636 19517 0 -1 64 191 0 0 0 2 0 0 0 16 0 8 0 271269501 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19645] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19645/stat : 19645 (java) S 19627 19636 19517 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271269502 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19646] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19646/stat : 19646 (java) S 19627 19636 19517 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271269502 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19650] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19650/stat : 19650 (java) S 19627 19636 19517 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19651] ppid=19627 vsize=915464 CPUtime=0.14
/proc/19636/task/19651/stat : 19651 (java) S 19627 19636 19517 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19652] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19652/stat : 19652 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19636/tid=19653] ppid=19627 vsize=915464 CPUtime=0
/proc/19636/task/19653/stat : 19653 (java) S 19627 19636 19517 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271269505 937435136 7096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 36.148
CPU time (s): 35.9015
CPU user time (s): 30.8023
CPU system time (s): 5.09922
CPU usage (%): 99.3183
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.8023
system time used= 5.09922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9177
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= 1949
involuntary context switches= 2754
runsolver used 0.051992 s user time and 0.117982 s system time
The end
Begin job on node45 on Fri Jan 19 17:45:05 UTC 2007
IDJOB= 275890
IDBENCH= 5114
IDSOLVER= 68
FILE ID= node45/275890-1169228705
PBS_JOBID= 3589273
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-40/composed-25-1-40-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275890-1169228705/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-275890-1169228705 -o ROOT/results/node45/solver-275890-1169228705 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275890-1169228705/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e81361ec4d2007a67e83ac3c416ef1c1
RANDOM SEED= 915575101
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.259
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.259
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: 1216160 kB
Buffers: 56720 kB
Cached: 692396 kB
SwapCached: 2964 kB
Active: 257416 kB
Inactive: 506160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1216160 kB
SwapTotal: 4192956 kB
SwapFree: 4184072 kB
Dirty: 2236 kB
Writeback: 0 kB
Mapped: 20356 kB
Slab: 61816 kB
Committed_AS: 4654512 kB
PageTables: 1636 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 node45 on Fri Jan 19 17:45:42 UTC 2007