0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/218866-1168079732/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.46 nbVariables=625 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.147 cpuTime=0.12 mem=8M25
0.46
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
6.46
6.46 INFO : Stopping converting binary constraints (cpu=5.24, mem = 79M786)
10.31 nbConstraints=90000 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=89999
10.31 maxDegree=576 maxArity=4
10.31 => wckTime=10.0 cpuTime=7.76 mem=351M790
11.17
11.17 solver IterativeSystematicSolver being built...
13.68 => wckTime=13.362 cpuTime=9.52 mem=378M33
14.34
14.34 preprocessing
14.34 nbConstraintChecks=450000 nbValidityChecks=360000 nbPropagations=625 nbRevisions=360000
14.34 nbUselessRevisions=360000 nbRemovedValues=0 detectedInconsistency=no
14.34 => wckTime=0.652 cpuTime=0.62 mem=390M104
14.65
14.65 search
14.65 run=0 nbConstraintChecks=117121 nbValidityChecks=236450 nbPropagations=749 nbRevisions=493083
14.65 nbUselessRevisions=492414 nbAssignments=97 nbFailedAssignments=24 nbBacktracks=48 nbVisitedNodes=123
14.65 nbRestartNogoods=0 mapSize=24 nbInferences=0 nbTooLargeKeys=0
14.65 => wckTime=0.966 cpuTime=0.92 mem=390M104
14.91
14.91 search
14.91 run=1 nbConstraintChecks=247110 nbValidityChecks=481223 nbPropagations=1589 nbRevisions=1115622
14.91 nbUselessRevisions=1114171 nbAssignments=172 nbFailedAssignments=29 nbBacktracks=71 nbVisitedNodes=207
14.91 nbRestartNogoods=1 mapSize=32 nbInferences=0 nbTooLargeKeys=0
14.91 => wckTime=1.235 cpuTime=1.18 mem=390M104
15.17
15.17 search
15.17 run=2 nbConstraintChecks=354778 nbValidityChecks=728230 nbPropagations=2536 nbRevisions=1866546
15.17 nbUselessRevisions=1864190 nbAssignments=253 nbFailedAssignments=52 nbBacktracks=119 nbVisitedNodes=312
15.17 nbRestartNogoods=2 mapSize=55 nbInferences=0 nbTooLargeKeys=0
15.17 => wckTime=1.488 cpuTime=1.42 mem=390M104
15.39
15.39 search
15.39 run=3 nbConstraintChecks=463406 nbValidityChecks=1001330 nbPropagations=3586 nbRevisions=2757815
15.39 nbUselessRevisions=2754441 nbAssignments=314 nbFailedAssignments=65 nbBacktracks=158 nbVisitedNodes=393
15.39 nbRestartNogoods=3 mapSize=71 nbInferences=0 nbTooLargeKeys=0
15.39 => wckTime=1.715 cpuTime=1.65 mem=390M104
15.64
15.64 search
15.64 run=4 nbConstraintChecks=577752 nbValidityChecks=1302098 nbPropagations=4746 nbRevisions=3802055
15.64 nbUselessRevisions=3797551 nbAssignments=378 nbFailedAssignments=75 nbBacktracks=208 nbVisitedNodes=475
15.64 nbRestartNogoods=7 mapSize=87 nbInferences=0 nbTooLargeKeys=0
15.64 => wckTime=1.964 cpuTime=1.9 mem=390M104
16.12
16.12 search
16.12 run=5 nbConstraintChecks=809878 nbValidityChecks=1849132 nbPropagations=6105 nbRevisions=5124552
16.12 nbUselessRevisions=5118694 nbAssignments=489 nbFailedAssignments=92 nbBacktracks=291 nbVisitedNodes=616
16.12 nbRestartNogoods=9 mapSize=113 nbInferences=0 nbTooLargeKeys=0
16.12 => wckTime=2.436 cpuTime=2.35 mem=390M104
16.86
16.86 search
16.86 run=6 nbConstraintChecks=1198017 nbValidityChecks=2760690 nbPropagations=7793 nbRevisions=6912581
16.86 nbUselessRevisions=6904988 nbAssignments=635 nbFailedAssignments=114 nbBacktracks=406 nbVisitedNodes=808
16.86 nbRestartNogoods=13 mapSize=157 nbInferences=0 nbTooLargeKeys=0
16.86 => wckTime=3.181 cpuTime=3.09 mem=390M104
18.25
18.25 search
18.25 run=7 nbConstraintChecks=1931690 nbValidityChecks=4522461 nbPropagations=10116 nbRevisions=9600016
18.25 nbUselessRevisions=9589920 nbAssignments=857 nbFailedAssignments=154 nbBacktracks=578 nbVisitedNodes=1116
18.25 nbRestartNogoods=15 mapSize=240 nbInferences=0 nbTooLargeKeys=0
18.25 => wckTime=4.569 cpuTime=4.46 mem=390M104
20.12
20.12 search
20.12 run=8 nbConstraintChecks=2893399 nbValidityChecks=6867731 nbPropagations=13286 nbRevisions=13484214
20.12 nbUselessRevisions=13470578 nbAssignments=1181 nbFailedAssignments=212 nbBacktracks=834 nbVisitedNodes=1555
20.12 nbRestartNogoods=18 mapSize=350 nbInferences=0 nbTooLargeKeys=0
20.12 => wckTime=6.44 cpuTime=6.31 mem=390M104
22.44
22.44 search
22.44 run=9 nbConstraintChecks=3999460 nbValidityChecks=9831307 nbPropagations=17515 nbRevisions=18878053
22.44 nbUselessRevisions=18859626 nbAssignments=1641 nbFailedAssignments=279 nbBacktracks=1220 nbVisitedNodes=2149
22.44 nbRestartNogoods=23 mapSize=479 nbInferences=0 nbTooLargeKeys=0
22.44 => wckTime=8.761 cpuTime=8.6 mem=390M104
26.09
26.09 search
26.09 run=10 nbConstraintChecks=5807044 nbValidityChecks=14452626 nbPropagations=23393 nbRevisions=26629134
26.09 nbUselessRevisions=26603884 nbAssignments=2332 nbFailedAssignments=387 nbBacktracks=1796 nbVisitedNodes=3051
26.09 nbRestartNogoods=28 mapSize=686 nbInferences=0 nbTooLargeKeys=0
26.09 => wckTime=12.409 cpuTime=12.19 mem=390M104
32.02
32.02 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=391M110)
32.35
32.35 search
32.35 run=11 nbConstraintChecks=8984599 nbValidityChecks=22694126 nbPropagations=32197 nbRevisions=38584203
32.35 nbUselessRevisions=38548521 nbAssignments=3388 nbFailedAssignments=569 nbBacktracks=2664 nbVisitedNodes=4469
32.35 nbRestartNogoods=32
32.35 => wckTime=18.668 cpuTime=18.39 mem=391M110
32.41
32.41 search
32.41 run=12 nbConstraintChecks=9006695 nbValidityChecks=22779961 nbPropagations=41031 nbRevisions=50583091
32.41 nbUselessRevisions=50536951 nbAssignments=3412 nbFailedAssignments=571 nbBacktracks=2687 nbVisitedNodes=4496
32.41 nbRestartNogoods=37
32.41 => wckTime=18.734 cpuTime=18.45 mem=391M110
32.42
32.42 global
32.42 nbConstraintChecks=9456695 nbValidityChecks=23139961 nbPropagations=41656 nbRevisions=50943091
32.42 nbUselessRevisions=50896951 nbRestartNogoods=37 solvingWckTime=18.736 solvingCpuTime=18.45 expiredTime=no
32.42 totalExploration=yes nbFoundSolutions=0 globalCpuTime=28.03
32.42 => wckTime=32.102 cpuTime=27.98 mem=391M110
32.42
32.42 s UNSATISFIABLE
32.42 d NODES 3412
32.42 d CHECKS 9456695
32.42
32.42 totalWckTime=32.181 totalCpuTime=28.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-218866-1168079732 -o ROOT/results/node9/solver-218866-1168079732 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218866-1168079732/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: 1.88 1.97 1.99 5/93 17751
/proc/meminfo: memFree=1156144/2055920 swapFree=4191880/4192956
[pid=17750] ppid=17748 vsize=906644 CPUtime=0.02
/proc/17750/stat : 17750 (java) S 17748 17750 17571 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156368624 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17750/statm: 226661 1818 1036 14 0 214244 0
[pid=17750/tid=17752] ppid=17748 vsize=906644 CPUtime=0
/proc/17750/task/17752/stat : 17752 (java) R 17748 17750 17571 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156368627 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104684 s]
/proc/loadavg: 1.88 1.97 1.99 5/93 17751
/proc/meminfo: memFree=1156144/2055920 swapFree=4191880/4192956
[pid=17750] ppid=17748 vsize=914988 CPUtime=0.09
/proc/17750/stat : 17750 (java) R 17748 17750 17571 0 -1 0 3013 0 1 0 8 1 0 0 17 0 8 0 156368624 936947712 2759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17750/statm: 228747 2759 1433 14 0 215242 0
[pid=17750/tid=17752] ppid=17748 vsize=914988 CPUtime=0
/proc/17750/task/17752/stat : 17752 (java) S 17748 17750 17571 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156368627 936947712 2759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512727 s]
/proc/loadavg: 1.88 1.97 1.99 5/93 17751
/proc/meminfo: memFree=1156144/2055920 swapFree=4191880/4192956
[pid=17750] ppid=17748 vsize=915328 CPUtime=0.49
/proc/17750/stat : 17750 (java) S 17748 17750 17571 0 -1 0 6533 0 1 0 45 4 0 0 18 0 8 0 156368624 937295872 6272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17750/statm: 228832 6272 2144 14 0 215302 0
[pid=17750/tid=17752] ppid=17748 vsize=915328 CPUtime=0
/proc/17750/task/17752/stat : 17752 (java) S 17748 17750 17571 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156368627 937295872 6272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33382 s]
/proc/loadavg: 1.88 1.97 1.99 3/100 17758
/proc/meminfo: memFree=1094520/2055920 swapFree=4191880/4192956
[pid=17750] ppid=17748 vsize=915628 CPUtime=1.3
/proc/17750/stat : 17750 (java) R 17748 17750 17571 0 -1 0 18401 0 1 0 121 9 0 0 22 0 8 0 156368624 937603072 18137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073542825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17750/statm: 228907 18137 2157 14 0 215377 0
[pid=17750/tid=17752] ppid=17748 vsize=915628 CPUtime=0.05
/proc/17750/task/17752/stat : 17752 (java) S 17748 17750 17571 0 -1 64 1882 0 0 0 5 0 0 0 16 0 8 0 156368627 937603072 18137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17753] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17753/stat : 17753 (java) S 17748 17750 17571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156368628 937603072 18137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17754] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17754/stat : 17754 (java) S 17748 17750 17571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156368628 937603072 18137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17755] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17755/stat : 17755 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156368631 937603072 18137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17756] ppid=17748 vsize=915628 CPUtime=0.15
/proc/17750/task/17756/stat : 17756 (java) S 17748 17750 17571 0 -1 64 397 0 0 0 14 1 0 0 16 0 8 0 156368631 937603072 18137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17757] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17757/stat : 17757 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156368631 937603072 18137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17758] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17758/stat : 17758 (java) S 17748 17750 17571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156368631 937603072 18137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628
[startup+2.98354 s]
/proc/loadavg: 1.88 1.97 1.99 3/100 17758
/proc/meminfo: memFree=1084408/2055920 swapFree=4191880/4192956
[pid=17750] ppid=17748 vsize=915628 CPUtime=2.93
/proc/17750/stat : 17750 (java) R 17748 17750 17571 0 -1 0 21723 0 1 0 283 10 0 0 25 0 8 0 156368624 937603072 21450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073667347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17750/statm: 228907 21450 2157 14 0 215377 0
[pid=17750/tid=17752] ppid=17748 vsize=915628 CPUtime=0.29
/proc/17750/task/17752/stat : 17752 (java) S 17748 17750 17571 0 -1 64 5192 0 0 0 28 1 0 0 16 0 8 0 156368627 937603072 21450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17753] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17753/stat : 17753 (java) S 17748 17750 17571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156368628 937603072 21450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17754] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17754/stat : 17754 (java) S 17748 17750 17571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156368628 937603072 21450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17755] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17755/stat : 17755 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156368631 937603072 21450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17756] ppid=17748 vsize=915628 CPUtime=0.15
/proc/17750/task/17756/stat : 17756 (java) S 17748 17750 17571 0 -1 64 400 0 0 0 14 1 0 0 16 0 8 0 156368631 937603072 21450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17757] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17757/stat : 17757 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156368631 937603072 21450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17758] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17758/stat : 17758 (java) S 17748 17750 17571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156368631 937603072 21450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915628
[startup+6.18689 s]
/proc/loadavg: 1.89 1.97 1.99 3/100 17758
/proc/meminfo: memFree=1059832/2055920 swapFree=4191880/4192956
[pid=17750] ppid=17748 vsize=915628 CPUtime=6.1
/proc/17750/stat : 17750 (java) R 17748 17750 17571 0 -1 0 27431 0 1 0 595 15 0 0 25 0 8 0 156368624 937603072 27141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073533680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17750/statm: 228907 27141 2157 14 0 215377 0
[pid=17750/tid=17752] ppid=17748 vsize=915628 CPUtime=0.75
/proc/17750/task/17752/stat : 17752 (java) S 17748 17750 17571 0 -1 64 10882 0 0 0 72 3 0 0 16 0 8 0 156368627 937603072 27141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17753] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17753/stat : 17753 (java) S 17748 17750 17571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156368628 937603072 27141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17754] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17754/stat : 17754 (java) S 17748 17750 17571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156368628 937603072 27141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17755] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17755/stat : 17755 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156368631 937603072 27141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17756] ppid=17748 vsize=915628 CPUtime=0.15
/proc/17750/task/17756/stat : 17756 (java) S 17748 17750 17571 0 -1 64 401 0 0 0 14 1 0 0 16 0 8 0 156368631 937603072 27141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17757] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17757/stat : 17757 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156368631 937603072 27141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17758] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17758/stat : 17758 (java) S 17748 17750 17571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156368631 937603072 27141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915628
[startup+12.6707 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 17758
/proc/meminfo: memFree=743608/2055920 swapFree=4191880/4192956
[pid=17750] ppid=17748 vsize=915628 CPUtime=12.52
/proc/17750/stat : 17750 (java) R 17748 17750 17571 0 -1 0 106864 0 1 0 1208 44 0 0 25 0 8 0 156368624 937603072 106402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073921191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17750/statm: 228907 106402 2494 14 0 215377 0
[pid=17750/tid=17752] ppid=17748 vsize=915628 CPUtime=3.22
/proc/17750/task/17752/stat : 17752 (java) S 17748 17750 17571 0 -1 64 89857 0 0 0 290 32 0 0 16 0 8 0 156368627 937603072 106402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17753] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17753/stat : 17753 (java) S 17748 17750 17571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156368628 937603072 106402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17754] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17754/stat : 17754 (java) S 17748 17750 17571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156368628 937603072 106402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17755] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17755/stat : 17755 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156368631 937603072 106402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17756] ppid=17748 vsize=915628 CPUtime=0.23
/proc/17750/task/17756/stat : 17756 (java) S 17748 17750 17571 0 -1 64 446 0 0 0 22 1 0 0 16 0 8 0 156368631 937603072 106402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17757] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17757/stat : 17757 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156368631 937603072 106402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17758] ppid=17748 vsize=915628 CPUtime=0
/proc/17750/task/17758/stat : 17758 (java) S 17748 17750 17571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156368631 937603072 106402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915628
[startup+25.5376 s]
/proc/loadavg: 2.06 2.00 2.00 3/100 17758
/proc/meminfo: memFree=720056/2055920 swapFree=4191880/4192956
[pid=17750] ppid=17748 vsize=915872 CPUtime=25.27
/proc/17750/stat : 17750 (java) R 17748 17750 17571 0 -1 0 111867 0 1 0 2480 47 0 0 25 0 8 0 156368624 937852928 111392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074047968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17750/statm: 228968 111392 2535 14 0 215438 0
[pid=17750/tid=17752] ppid=17748 vsize=915872 CPUtime=3.48
/proc/17750/task/17752/stat : 17752 (java) S 17748 17750 17571 0 -1 64 94639 0 0 0 314 34 0 0 16 0 8 0 156368627 937852928 111392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17753] ppid=17748 vsize=915872 CPUtime=0
/proc/17750/task/17753/stat : 17753 (java) S 17748 17750 17571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156368628 937852928 111392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17754] ppid=17748 vsize=915872 CPUtime=0
/proc/17750/task/17754/stat : 17754 (java) S 17748 17750 17571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156368628 937852928 111392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17755] ppid=17748 vsize=915872 CPUtime=0
/proc/17750/task/17755/stat : 17755 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156368631 937852928 111392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17756] ppid=17748 vsize=915872 CPUtime=0.37
/proc/17750/task/17756/stat : 17756 (java) S 17748 17750 17571 0 -1 64 568 0 0 0 35 2 0 0 16 0 8 0 156368631 937852928 111392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17757] ppid=17748 vsize=915872 CPUtime=0
/proc/17750/task/17757/stat : 17757 (java) S 17748 17750 17571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156368631 937852928 111392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17750/tid=17758] ppid=17748 vsize=915872 CPUtime=0
/proc/17750/task/17758/stat : 17758 (java) S 17748 17750 17571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156368631 937852928 111392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915872
Child status: 0
Real time (s): 32.4948
CPU time (s): 32.1741
CPU user time (s): 31.6252
CPU system time (s): 0.548916
CPU usage (%): 99.0132
Max. virtual memory (cumulated for all children) (KiB): 916132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.6252
system time used= 0.548916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111877
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= 2386
involuntary context switches= 3090
runsolver used 0.044993 s user time and 0.113982 s system time
The end
Begin job on node9 on Sat Jan 6 10:35:35 UTC 2007
IDJOB= 218866
IDBENCH= 5262
FILE ID= node9/218866-1168079732
PBS_JOBID= 3475840
Free space on /tmp= 66527 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-25-25-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218866-1168079732/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-218866-1168079732 -o ROOT/results/node9/solver-218866-1168079732 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218866-1168079732/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1e33651b78b554bdc5ee856706c28b13
RANDOM SEED= 594203825
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.231
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.231
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: 1156624 kB
Buffers: 83712 kB
Cached: 591464 kB
SwapCached: 268 kB
Active: 412156 kB
Inactive: 384572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1156624 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 17520 kB
Writeback: 0 kB
Mapped: 143252 kB
Slab: 87192 kB
Committed_AS: 4764436 kB
PageTables: 2484 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= 66527 MiB
End job on node9 on Sat Jan 6 10:36:09 UTC 2007