0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/232092-1168081222/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.41 => wckTime=0.09 cpuTime=0.07 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=862 maxDegree=24
0.62 maxArity=2
0.62 => wckTime=0.305 cpuTime=0.22 mem=13M778
0.66
0.67 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.485 cpuTime=0.33 mem=14M80
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0040 cpuTime=0.01 mem=14M80
0.85
0.85 search
0.85 run=0 nbConstraintChecks=32620 nbPropagations=415 nbRevisions=6184 nbUselessRevisions=5280 nbAssignments=24
0.85 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.047 cpuTime=0.03 mem=15M121
0.87
0.87 search
0.87 run=1 nbConstraintChecks=84074 nbPropagations=1431 nbRevisions=23469 nbUselessRevisions=20253 nbAssignments=57
0.87 nbFailedAssignments=22 nbBacktracks=26 nbVisitedNodes=102 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.063 cpuTime=0.05 mem=15M121
0.89
0.89 search
0.89 run=2 nbConstraintChecks=147208 nbPropagations=3197 nbRevisions=54381 nbUselessRevisions=47080
0.89 nbAssignments=106 nbFailedAssignments=42 nbBacktracks=49 nbVisitedNodes=189 nbRestartNogoods=3 mapSize=48
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.087 cpuTime=0.06 mem=15M121
0.92
0.92 search
0.92 run=3 nbConstraintChecks=254194 nbPropagations=6124 nbRevisions=107654 nbUselessRevisions=93317
0.92 nbAssignments=179 nbFailedAssignments=76 nbBacktracks=82 nbVisitedNodes=323 nbRestartNogoods=7 mapSize=80
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.111 cpuTime=0.08 mem=15M121
0.94
0.94 search
0.94 run=4 nbConstraintChecks=410911 nbPropagations=10757 nbRevisions=194973 nbUselessRevisions=169069
0.94 nbAssignments=286 nbFailedAssignments=127 nbBacktracks=132 nbVisitedNodes=520 nbRestartNogoods=9 mapSize=130
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.138 cpuTime=0.11 mem=15M121
0.98
0.98 search
0.98 run=5 nbConstraintChecks=628045 nbPropagations=17759 nbRevisions=328631 nbUselessRevisions=285067
0.98 nbAssignments=439 nbFailedAssignments=199 nbBacktracks=208 nbVisitedNodes=802 nbRestartNogoods=16 mapSize=206
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.179 cpuTime=0.15 mem=15M121
1.04
1.04 search
1.04 run=6 nbConstraintChecks=971266 nbPropagations=28508 nbRevisions=539061 nbUselessRevisions=467787
1.04 nbAssignments=688 nbFailedAssignments=329 nbBacktracks=321 nbVisitedNodes=1266 nbRestartNogoods=22 mapSize=318
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.239 cpuTime=0.21 mem=15M121
1.12
1.12 search
1.12 run=7 nbConstraintChecks=1414454 nbPropagations=44198 nbRevisions=848530 nbUselessRevisions=736727
1.12 nbAssignments=1010 nbFailedAssignments=476 nbBacktracks=491 nbVisitedNodes=1861 nbRestartNogoods=33
1.12 mapSize=487 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.318 cpuTime=0.28 mem=15M121
1.27
1.27 search
1.27 run=8 nbConstraintChecks=2177480 nbPropagations=68037 nbRevisions=1326190 nbUselessRevisions=1151861
1.27 nbAssignments=1546 nbFailedAssignments=751 nbBacktracks=747 nbVisitedNodes=2862 nbRestartNogoods=38
1.27 mapSize=739 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.467 cpuTime=0.41 mem=15M121
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=15M121)
1.43
1.43 search
1.44 run=9 nbConstraintChecks=3181287 nbPropagations=103274 nbRevisions=2032826 nbUselessRevisions=1766411
1.44 nbAssignments=2295 nbFailedAssignments=1109 nbBacktracks=1132 nbVisitedNodes=4256 nbRestartNogoods=44
1.44 => wckTime=0.63 cpuTime=0.57 mem=15M121
1.68
1.68 search
1.68 run=10 nbConstraintChecks=4790256 nbPropagations=155720 nbRevisions=3096278 nbUselessRevisions=2691148
1.68 nbAssignments=3452 nbFailedAssignments=1686 nbBacktracks=1710 nbVisitedNodes=6402 nbRestartNogoods=54
1.68 => wckTime=0.872 cpuTime=0.8 mem=15M121
2.01
2.01 search
2.01 run=11 nbConstraintChecks=7107311 nbPropagations=233980 nbRevisions=4686146 nbUselessRevisions=4074224
2.01 nbAssignments=5135 nbFailedAssignments=2499 nbBacktracks=2576 nbVisitedNodes=9549 nbRestartNogoods=55
2.01 => wckTime=1.207 cpuTime=1.14 mem=15M121
2.54
2.54 search
2.54 run=12 nbConstraintChecks=10673811 nbPropagations=350942 nbRevisions=7077326 nbUselessRevisions=6155476
2.54 nbAssignments=7685 nbFailedAssignments=3746 nbBacktracks=3874 nbVisitedNodes=14284 nbRestartNogoods=63
2.54 => wckTime=1.733 cpuTime=1.66 mem=15M121
3.30
3.30 search
3.30 run=13 nbConstraintChecks=15636349 nbPropagations=523655 nbRevisions=10597977 nbUselessRevisions=9220162
3.30 nbAssignments=11438 nbFailedAssignments=5548 nbBacktracks=5820 nbVisitedNodes=21247 nbRestartNogoods=70
3.30 => wckTime=2.498 cpuTime=2.42 mem=15M121
4.51
4.51 search
4.51 run=14 nbConstraintChecks=23560355 nbPropagations=783215 nbRevisions=15901672 nbUselessRevisions=13837191
4.51 nbAssignments=17176 nbFailedAssignments=8362 nbBacktracks=8739 nbVisitedNodes=31921 nbRestartNogoods=83
4.51 => wckTime=3.71 cpuTime=3.63 mem=15M121
6.35
6.35 search
6.35 run=15 nbConstraintChecks=35675487 nbPropagations=1173198 nbRevisions=23918116 nbUselessRevisions=20820243
6.35 nbAssignments=25727 nbFailedAssignments=12530 nbBacktracks=13117 nbVisitedNodes=47812 nbRestartNogoods=94
6.35 => wckTime=5.543 cpuTime=5.47 mem=15M121
9.12
9.12 search
9.12 run=16 nbConstraintChecks=53863671 nbPropagations=1759670 nbRevisions=36025371 nbUselessRevisions=31367763
9.12 nbAssignments=38621 nbFailedAssignments=18851 nbBacktracks=19685 nbVisitedNodes=71850 nbRestartNogoods=105
9.12 => wckTime=8.311 cpuTime=8.23 mem=15M121
13.19
13.19 search
13.19 run=17 nbConstraintChecks=80660365 nbPropagations=2637014 nbRevisions=54163720 nbUselessRevisions=47173930
13.19 nbAssignments=57657 nbFailedAssignments=28030 nbBacktracks=29537 nbVisitedNodes=107243 nbRestartNogoods=121
13.19 => wckTime=12.384 cpuTime=12.3 mem=15M121
19.43
19.43 search
19.43 run=18 nbConstraintChecks=122351176 nbPropagations=3961489 nbRevisions=81655492 nbUselessRevisions=71139083
19.43 nbAssignments=86768 nbFailedAssignments=42357 nbBacktracks=44315 nbVisitedNodes=161567 nbRestartNogoods=136
19.43 => wckTime=18.626 cpuTime=18.54 mem=15M121
28.83
28.83 search
28.83 run=19 nbConstraintChecks=184953812 nbPropagations=5954856 nbRevisions=123191160 nbUselessRevisions=107361944
28.83 nbAssignments=130277 nbFailedAssignments=63693 nbBacktracks=66483 nbVisitedNodes=242630 nbRestartNogoods=150
28.83 => wckTime=28.023 cpuTime=27.94 mem=15M121
40.24
40.24 search
40.24 run=20 nbConstraintChecks=260618020 nbPropagations=8768644 nbRevisions=181763296 nbUselessRevisions=158442737
40.24 nbAssignments=183809 nbFailedAssignments=89845 nbBacktracks=93838 nbVisitedNodes=342549 nbRestartNogoods=164
40.24 => wckTime=39.438 cpuTime=39.28 mem=15M121
40.24
40.24 global
40.24 nbConstraintChecks=260618020 nbPropagations=8768669 nbRevisions=181763296 nbUselessRevisions=158442737
40.24 nbRestartNogoods=164 solvingWckTime=39.438 solvingCpuTime=39.28 expiredTime=no totalExploration=no
40.24 nbFoundSolutions=1 globalCpuTime=39.67
40.24 => wckTime=39.925 cpuTime=39.61 mem=15M121
40.25
40.25 s SATISFIABLE
40.25 v 5 24 10 1 13 19 21 13 10 23 3 20 18 14 13 13 16 17 13 7 21 10 14 5 18
40.25 d NODES 183809
40.25 d CHECKS 260618020
40.25
40.25 totalWckTime=40.0 totalCpuTime=39.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-232092-1168081222 -o ROOT/results/node14/solver-232092-1168081222 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232092-1168081222/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.02 0.71 1.41 3/81 26611
/proc/meminfo: memFree=1458128/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=18540 CPUtime=0
/proc/26610/stat : 26610 (runsolver) R 26608 26610 26161 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156517935 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/26610/statm: 4635 279 244 17 0 2626 0
[startup+0.103463 s]
/proc/loadavg: 0.02 0.71 1.41 3/81 26611
/proc/meminfo: memFree=1458128/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=914988 CPUtime=0.08
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 2977 0 1 0 7 1 0 0 17 0 8 0 156517935 936947712 2723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153838661 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26610/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511499 s]
/proc/loadavg: 0.02 0.71 1.41 3/81 26611
/proc/meminfo: memFree=1458128/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915328 CPUtime=0.47
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 7054 0 1 0 43 4 0 0 16 0 8 0 156517935 937295872 6793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26610/statm: 228832 6793 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33258 s]
/proc/loadavg: 0.02 0.71 1.41 2/88 26618
/proc/meminfo: memFree=1433944/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=1.27
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8756 0 1 0 122 5 0 0 16 0 8 0 156517935 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26610/statm: 228864 8494 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.2
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 156517943 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915456
[startup+2.96973 s]
/proc/loadavg: 0.02 0.71 1.41 2/88 26618
/proc/meminfo: memFree=1433816/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=2.9
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8761 0 1 0 285 5 0 0 18 0 8 0 156517935 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26610/statm: 228864 8498 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.21
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915456
[startup+6.26704 s]
/proc/loadavg: 0.10 0.71 1.41 2/88 26618
/proc/meminfo: memFree=1433816/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=6.21
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8761 0 1 0 615 6 0 0 25 0 8 0 156517935 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26610/statm: 228864 8498 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.21
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.7297 s]
/proc/loadavg: 0.17 0.71 1.41 2/88 26619
/proc/meminfo: memFree=1435608/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=12.66
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8764 0 1 0 1260 6 0 0 25 0 8 0 156517935 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26610/statm: 228864 8500 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.21
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
[startup+25.5869 s]
/proc/loadavg: 0.30 0.72 1.40 2/88 26621
/proc/meminfo: memFree=1435608/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=25.51
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8764 0 1 0 2545 6 0 0 25 0 8 0 156517935 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26610/statm: 228864 8500 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.21
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 40.2985
CPU time (s): 40.1209
CPU user time (s): 40.0459
CPU system time (s): 0.074988
CPU usage (%): 99.5592
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.0459
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8778
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= 1597
involuntary context switches= 1145
runsolver used 0.044993 s user time and 0.114982 s system time
The end
Begin job on node14 on Sat Jan 6 11:00:25 UTC 2007
IDJOB= 232092
IDBENCH= 6500
FILE ID= node14/232092-1168081222
PBS_JOBID= 3475832
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232092-1168081222/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-232092-1168081222 -o ROOT/results/node14/solver-232092-1168081222 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232092-1168081222/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bf88d62088459624c50cfbf8bcb9cc1f
RANDOM SEED= 478647386
TIME LIMIT= 1800 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.227
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.227
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: 1458608 kB
Buffers: 58076 kB
Cached: 386824 kB
SwapCached: 3696 kB
Active: 142032 kB
Inactive: 355972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1458608 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 1984 kB
Writeback: 0 kB
Mapped: 62476 kB
Slab: 84504 kB
Committed_AS: 4696284 kB
PageTables: 2016 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= 66328 MiB
End job on node14 on Sat Jan 6 11:01:14 UTC 2007