0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/247615-1168085857/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.47 nbVariables=650 nbDomainTypes=9 minDomainSize=2 maxDomainSize=12
0.47 => wckTime=0.165 cpuTime=0.14 mem=8M869
0.47
0.47 relations being loaded...
0.59
0.59 constraints being loaded...
1.42 nbConstraints=17447 nbRelationTypes=1639 nbExtensionStructures=2320 nbSharedExtensionStructures=15127
1.42 nbConflictsStructures=2320 nbSharedConflictsStructures=15127 nbSharedBinaryRepresentations=29855 maxDegree=138
1.42 maxArity=2
1.42 => wckTime=1.112 cpuTime=0.74 mem=29M164
1.59
1.59 solver IterativeSystematicSolver being built...
1.82 => wckTime=1.515 cpuTime=0.92 mem=30M602
1.89
1.89 preprocessing
1.89 nbConstraintChecks=4878 nbPropagations=682 nbRevisions=910 nbUselessRevisions=856 nbRemovedValues=162
1.89 detectedInconsistency=no
1.89 => wckTime=0.055 cpuTime=0.04 mem=30M602
2.07
2.07 search
2.07 run=0 nbConstraintChecks=174269 nbPropagations=1909 nbRevisions=46908 nbUselessRevisions=44618
2.07 nbAssignments=203 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=219 nbRestartNogoods=0 mapSize=9
2.07 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=0.245 cpuTime=0.21 mem=30M602
2.16
2.16 search
2.16 run=1 nbConstraintChecks=298408 nbPropagations=4645 nbRevisions=123393 nbUselessRevisions=117674
2.16 nbAssignments=379 nbFailedAssignments=8 nbBacktracks=72 nbVisitedNodes=399 nbRestartNogoods=6 mapSize=12
2.16 nbInferences=0 nbTooLargeKeys=0
2.16 => wckTime=0.338 cpuTime=0.3 mem=30M602
2.31
2.31 search
2.31 run=2 nbConstraintChecks=529021 nbPropagations=8969 nbRevisions=263536 nbUselessRevisions=250539
2.31 nbAssignments=592 nbFailedAssignments=14 nbBacktracks=122 nbVisitedNodes=638 nbRestartNogoods=7 mapSize=34
2.31 nbInferences=0 nbTooLargeKeys=0
2.31 => wckTime=0.482 cpuTime=0.43 mem=30M602
2.40
2.40 search
2.40 run=3 nbConstraintChecks=683868 nbPropagations=14214 nbRevisions=439803 nbUselessRevisions=417923
2.40 nbAssignments=754 nbFailedAssignments=18 nbBacktracks=156 nbVisitedNodes=809 nbRestartNogoods=11 mapSize=42
2.40 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=0.573 cpuTime=0.52 mem=30M602
2.53
2.53 search
2.53 run=4 nbConstraintChecks=870526 nbPropagations=20931 nbRevisions=676053 nbUselessRevisions=642563
2.53 nbAssignments=992 nbFailedAssignments=29 nbBacktracks=228 nbVisitedNodes=1074 nbRestartNogoods=12 mapSize=66
2.53 nbInferences=0 nbTooLargeKeys=0
2.53 => wckTime=0.706 cpuTime=0.65 mem=30M602
2.67
2.67 search
2.67 run=5 nbConstraintChecks=1077557 nbPropagations=29287 nbRevisions=980728 nbUselessRevisions=932662
2.67 nbAssignments=1183 nbFailedAssignments=33 nbBacktracks=304 nbVisitedNodes=1283 nbRestartNogoods=15 mapSize=83
2.67 nbInferences=0 nbTooLargeKeys=0
2.67 => wckTime=0.844 cpuTime=0.78 mem=31M597
2.89
2.89 search
2.89 run=6 nbConstraintChecks=1314337 nbPropagations=40339 nbRevisions=1387895 nbUselessRevisions=1320221
2.89 nbAssignments=1525 nbFailedAssignments=41 nbBacktracks=470 nbVisitedNodes=1647 nbRestartNogoods=16 mapSize=104
2.89 nbInferences=0 nbTooLargeKeys=0
2.89 => wckTime=1.064 cpuTime=0.99 mem=31M597
3.14
3.14 search
3.14 run=7 nbConstraintChecks=1634375 nbPropagations=54611 nbRevisions=1924264 nbUselessRevisions=1831036
3.14 nbAssignments=1926 nbFailedAssignments=52 nbBacktracks=652 nbVisitedNodes=2078 nbRestartNogoods=17 mapSize=128
3.14 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=1.316 cpuTime=1.24 mem=31M597
3.43
3.43 search
3.43 run=8 nbConstraintChecks=1972348 nbPropagations=72340 nbRevisions=2600477 nbUselessRevisions=2475704
3.43 nbAssignments=2406 nbFailedAssignments=62 nbBacktracks=910 nbVisitedNodes=2590 nbRestartNogoods=23 mapSize=155
3.43 nbInferences=0 nbTooLargeKeys=0
3.43 => wckTime=1.604 cpuTime=1.52 mem=31M597
3.81
3.81 search
3.81 run=9 nbConstraintChecks=2411534 nbPropagations=95489 nbRevisions=3482044 nbUselessRevisions=3315221
3.81 nbAssignments=3045 nbFailedAssignments=83 nbBacktracks=1302 nbVisitedNodes=3284 nbRestartNogoods=28
3.81 mapSize=198 nbInferences=3 nbTooLargeKeys=0
3.81 => wckTime=1.983 cpuTime=1.9 mem=31M597
4.27
4.27 search
4.27 run=10 nbConstraintChecks=2934547 nbPropagations=124471 nbRevisions=4596434 nbUselessRevisions=4376239
4.27 nbAssignments=3800 nbFailedAssignments=97 nbBacktracks=1885 nbVisitedNodes=4103 nbRestartNogoods=36
4.27 mapSize=260 nbInferences=3 nbTooLargeKeys=0
4.27 => wckTime=2.45 cpuTime=2.35 mem=32M591
5.18
5.18 search
5.18 run=11 nbConstraintChecks=4237843 nbPropagations=166920 nbRevisions=6272859 nbUselessRevisions=5972573
5.18 nbAssignments=4840 nbFailedAssignments=126 nbBacktracks=2812 nbVisitedNodes=5288 nbRestartNogoods=38
5.18 mapSize=401 nbInferences=5 nbTooLargeKeys=0
5.18 => wckTime=3.353 cpuTime=3.24 mem=32M591
6.07
6.07 search
6.07 run=12 nbConstraintChecks=5424956 nbPropagations=220435 nbRevisions=8402709 nbUselessRevisions=8001037
6.07 nbAssignments=6303 nbFailedAssignments=169 nbBacktracks=4161 nbVisitedNodes=6910 nbRestartNogoods=39
6.07 mapSize=559 nbInferences=7 nbTooLargeKeys=0
6.07 => wckTime=4.242 cpuTime=4.12 mem=33M586
7.52
7.52 search
7.52 run=13 nbConstraintChecks=7421342 nbPropagations=292916 nbRevisions=11307207 nbUselessRevisions=10768395
7.52 nbAssignments=8464 nbFailedAssignments=237 nbBacktracks=6113 nbVisitedNodes=9337 nbRestartNogoods=40
7.52 mapSize=822 nbInferences=14 nbTooLargeKeys=0
7.52 => wckTime=5.699 cpuTime=5.56 mem=34M581
10.06
10.06 search
10.06 run=14 nbConstraintChecks=11279441 nbPropagations=400616 nbRevisions=15695167 nbUselessRevisions=14949924
10.06 nbAssignments=11688 nbFailedAssignments=339 nbBacktracks=9054 nbVisitedNodes=12927 nbRestartNogoods=42
10.06 mapSize=1177 nbInferences=24 nbTooLargeKeys=0
10.06 => wckTime=8.234 cpuTime=8.08 mem=35M575
14.18
14.18 search
14.18 run=15 nbConstraintChecks=18224467 nbPropagations=564102 nbRevisions=22659418 nbUselessRevisions=21593249
14.18 nbAssignments=16248 nbFailedAssignments=501 nbBacktracks=12800 nbVisitedNodes=18097 nbRestartNogoods=48
14.18 mapSize=1766 nbInferences=26 nbTooLargeKeys=0
14.18 => wckTime=12.358 cpuTime=12.19 mem=37M565
14.18
14.18 global
14.18 nbConstraintChecks=18229345 nbPropagations=564784 nbRevisions=22660328 nbUselessRevisions=21594105
14.18 nbRestartNogoods=48 solvingWckTime=12.358 solvingCpuTime=12.19 expiredTime=no totalExploration=no
14.18 nbFoundSolutions=1 globalCpuTime=13.15
14.18 => wckTime=13.879 cpuTime=13.11 mem=37M565
14.18
14.18 s SATISFIABLE
14.18 v 0 0 1 0 1 0 3 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 8 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 9 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0
14.18 d NODES 16248
14.18 d CHECKS 18229345
14.18
14.18 totalWckTime=13.958 totalCpuTime=13.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-247615-1168085857 -o ROOT/results/node40/solver-247615-1168085857 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247615-1168085857/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.30 0.40 1.06 4/80 29045
/proc/meminfo: memFree=1470632/2055920 swapFree=4192812/4192956
[pid=29044] ppid=29042 vsize=18540 CPUtime=0
/proc/29044/stat : 29044 (runsolver) R 29042 29044 28677 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156985762 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29044/statm: 4635 279 244 17 0 2626 0
[startup+0.103955 s]
/proc/loadavg: 0.30 0.40 1.06 4/80 29045
/proc/meminfo: memFree=1470632/2055920 swapFree=4192812/4192956
[pid=29044] ppid=29042 vsize=914988 CPUtime=0.09
/proc/29044/stat : 29044 (java) R 29042 29044 28677 0 -1 0 3004 0 1 0 8 1 0 0 24 0 8 0 156985762 936947712 2750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155586367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29044/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512004 s]
/proc/loadavg: 0.30 0.40 1.06 4/80 29045
/proc/meminfo: memFree=1470632/2055920 swapFree=4192812/4192956
[pid=29044] ppid=29042 vsize=915328 CPUtime=0.49
/proc/29044/stat : 29044 (java) R 29042 29044 28677 0 -1 0 6537 0 1 0 46 3 0 0 25 0 8 0 156985762 937295872 6276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29044/statm: 228832 6276 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33412 s]
/proc/loadavg: 0.30 0.40 1.06 4/87 29052
/proc/meminfo: memFree=1390576/2055920 swapFree=4192812/4192956
[pid=29044] ppid=29042 vsize=915628 CPUtime=1.3
/proc/29044/stat : 29044 (java) R 29042 29044 28677 0 -1 0 20074 0 1 0 117 13 0 0 25 0 8 0 156985762 937603072 19811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448332 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29044/statm: 228907 19811 2161 14 0 215377 0
[pid=29044/tid=29046] ppid=29042 vsize=915628 CPUtime=0.17
/proc/29044/task/29046/stat : 29046 (java) S 29042 29044 28677 0 -1 64 3498 0 0 0 16 1 0 0 17 0 8 0 156985766 937603072 19811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29047] ppid=29042 vsize=915628 CPUtime=0
/proc/29044/task/29047/stat : 29047 (java) S 29042 29044 28677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156985766 937603072 19811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29048] ppid=29042 vsize=915628 CPUtime=0
/proc/29044/task/29048/stat : 29048 (java) S 29042 29044 28677 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156985766 937603072 19811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29049] ppid=29042 vsize=915628 CPUtime=0
/proc/29044/task/29049/stat : 29049 (java) S 29042 29044 28677 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156985770 937603072 19811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29050] ppid=29042 vsize=915628 CPUtime=0.19
/proc/29044/task/29050/stat : 29050 (java) S 29042 29044 28677 0 -1 64 427 0 0 0 18 1 0 0 16 0 8 0 156985770 937603072 19811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29051] ppid=29042 vsize=915628 CPUtime=0
/proc/29044/task/29051/stat : 29051 (java) S 29042 29044 28677 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156985770 937603072 19811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29052] ppid=29042 vsize=915628 CPUtime=0
/proc/29044/task/29052/stat : 29052 (java) S 29042 29044 28677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156985770 937603072 19811 18446744073709551615 134512640 134570532 4294956480 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) 915628
[startup+2.98633 s]
/proc/loadavg: 0.52 0.44 1.07 4/87 29052
/proc/meminfo: memFree=1371248/2055920 swapFree=4192812/4192956
[pid=29044] ppid=29042 vsize=915844 CPUtime=2.94
/proc/29044/stat : 29044 (java) R 29042 29044 28677 0 -1 0 22164 0 1 0 278 16 0 0 25 0 8 0 156985762 937824256 21877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074088820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29044/statm: 228961 21877 2519 14 0 215431 0
[pid=29044/tid=29046] ppid=29042 vsize=915844 CPUtime=0.34
/proc/29044/task/29046/stat : 29046 (java) S 29042 29044 28677 0 -1 64 5055 0 0 0 32 2 0 0 16 0 8 0 156985766 937824256 21877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29047] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29047/stat : 29047 (java) S 29042 29044 28677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156985766 937824256 21877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29048] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29048/stat : 29048 (java) S 29042 29044 28677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156985766 937824256 21877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29049] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29049/stat : 29049 (java) S 29042 29044 28677 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156985770 937824256 21877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29050] ppid=29042 vsize=915844 CPUtime=0.34
/proc/29044/task/29050/stat : 29050 (java) S 29042 29044 28677 0 -1 64 511 0 0 0 32 2 0 0 16 0 8 0 156985770 937824256 21877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29051] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29051/stat : 29051 (java) S 29042 29044 28677 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156985770 937824256 21877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29052] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29052/stat : 29052 (java) S 29042 29044 28677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156985770 937824256 21877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915844
[startup+6.28175 s]
/proc/loadavg: 0.52 0.44 1.07 3/87 29052
/proc/meminfo: memFree=1371120/2055920 swapFree=4192812/4192956
[pid=29044] ppid=29042 vsize=915844 CPUtime=6.2
/proc/29044/stat : 29044 (java) R 29042 29044 28677 0 -1 0 22175 0 1 0 604 16 0 0 25 0 8 0 156985762 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29044/statm: 228961 21886 2519 14 0 215431 0
[pid=29044/tid=29046] ppid=29042 vsize=915844 CPUtime=0.34
/proc/29044/task/29046/stat : 29046 (java) S 29042 29044 28677 0 -1 64 5055 0 0 0 32 2 0 0 16 0 8 0 156985766 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29047] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29047/stat : 29047 (java) S 29042 29044 28677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156985766 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29048] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29048/stat : 29048 (java) S 29042 29044 28677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156985766 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29049] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29049/stat : 29049 (java) S 29042 29044 28677 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156985770 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29050] ppid=29042 vsize=915844 CPUtime=0.36
/proc/29044/task/29050/stat : 29050 (java) S 29042 29044 28677 0 -1 64 521 0 0 0 34 2 0 0 15 0 8 0 156985770 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29051] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29051/stat : 29051 (java) S 29042 29044 28677 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156985770 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29052] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29052/stat : 29052 (java) S 29042 29044 28677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156985770 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915844
[startup+12.7676 s]
/proc/loadavg: 0.66 0.48 1.08 2/75 29052
/proc/meminfo: memFree=1613072/2055920 swapFree=4192812/4192956
[pid=29044] ppid=29042 vsize=915844 CPUtime=12.66
/proc/29044/stat : 29044 (java) R 29042 29044 28677 0 -1 0 22176 0 1 0 1250 16 0 0 24 0 8 0 156985762 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074114724 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29044/statm: 228961 21886 2519 14 0 215431 0
[pid=29044/tid=29046] ppid=29042 vsize=915844 CPUtime=0.34
/proc/29044/task/29046/stat : 29046 (java) S 29042 29044 28677 0 -1 64 5055 0 0 0 32 2 0 0 16 0 8 0 156985766 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29047] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29047/stat : 29047 (java) S 29042 29044 28677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156985766 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29048] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29048/stat : 29048 (java) S 29042 29044 28677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156985766 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29049] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29049/stat : 29049 (java) S 29042 29044 28677 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156985770 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29050] ppid=29042 vsize=915844 CPUtime=0.36
/proc/29044/task/29050/stat : 29050 (java) S 29042 29044 28677 0 -1 64 521 0 0 0 34 2 0 0 16 0 8 0 156985770 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29051] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29051/stat : 29051 (java) S 29042 29044 28677 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156985770 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29044/tid=29052] ppid=29042 vsize=915844 CPUtime=0
/proc/29044/task/29052/stat : 29052 (java) S 29042 29044 28677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156985770 937824256 21886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915844
Child status: 0
Real time (s): 14.2558
CPU time (s): 14.1049
CPU user time (s): 13.9229
CPU system time (s): 0.181972
CPU usage (%): 98.9412
Max. virtual memory (cumulated for all children) (KiB): 915844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9229
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22184
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= 1808
involuntary context switches= 2308
runsolver used 0.015997 s user time and 0.049992 s system time
The end
Begin job on node40 on Sat Jan 6 12:17:42 UTC 2007
IDJOB= 247615
IDBENCH= 11646
FILE ID= node40/247615-1168085857
PBS_JOBID= 3476564
Free space on /tmp= 66521 MiB
BENCH NAME= HOME/pub/bench/CPAI06/driver/driverlogw-09-sat_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247615-1168085857/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-247615-1168085857 -o ROOT/results/node40/solver-247615-1168085857 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247615-1168085857/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5933f4a42187117e9e508d20340f2ade
RANDOM SEED= 466903618
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.239
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.239
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: 1533640 kB
Buffers: 23496 kB
Cached: 250340 kB
SwapCached: 0 kB
Active: 248404 kB
Inactive: 202828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1533640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 26920 kB
Writeback: 0 kB
Mapped: 196720 kB
Slab: 56096 kB
Committed_AS: 3805756 kB
PageTables: 2144 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= 66521 MiB
End job on node40 on Sat Jan 6 12:18:08 UTC 2007