0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/221169-1168256691/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=26 nbDomainTypes=2 minDomainSize=6 maxDomainSize=25
0.44 => wckTime=0.101 cpuTime=0.1 mem=6M902
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
0.63 nbConstraints=309 nbConvertedConstraints=309 nbConvertConstraintsChecks=1400 nbExtensionStructures=3
0.63 nbSharedExtensionStructures=306 nbConflictsStructures=3 nbSharedConflictsStructures=306
0.63 nbSharedBinaryRepresentations=54 maxDegree=25 maxArity=2
0.63 => wckTime=0.291 cpuTime=0.22 mem=9M828
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.494 cpuTime=0.37 mem=13M438
0.88
0.88 preprocessing
0.88 nbConstraintChecks=15382 nbPropagations=435 nbRevisions=1571 nbUselessRevisions=967 nbSingletonTests=31
0.88 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=9 detectedInconsistency=no
0.88 => wckTime=0.039 cpuTime=0.02 mem=13M438
0.90
0.90 search
0.90 run=0 nbConstraintChecks=11622 nbPropagations=793 nbRevisions=2756 nbUselessRevisions=1525 nbAssignments=20
0.90 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.058 cpuTime=0.03 mem=14M446
0.91
0.91 search
0.91 run=1 nbConstraintChecks=27933 nbPropagations=2108 nbRevisions=7639 nbUselessRevisions=4153 nbAssignments=61
0.91 nbFailedAssignments=20 nbBacktracks=29 nbVisitedNodes=101 nbRestartNogoods=4 mapSize=23 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.04 mem=14M446
0.92
0.92 search
0.92 run=2 nbConstraintChecks=39073 nbPropagations=3792 nbRevisions=14473 nbUselessRevisions=7934 nbAssignments=97
0.92 nbFailedAssignments=28 nbBacktracks=53 nbVisitedNodes=154 nbRestartNogoods=10 mapSize=35 nbInferences=0
0.92 nbTooLargeKeys=0
0.93 => wckTime=0.089 cpuTime=0.05 mem=14M446
0.94
0.94 search
0.94 run=3 nbConstraintChecks=56330 nbPropagations=6057 nbRevisions=24537 nbUselessRevisions=13616
0.94 nbAssignments=153 nbFailedAssignments=45 nbBacktracks=87 nbVisitedNodes=242 nbRestartNogoods=11 mapSize=56
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.102 cpuTime=0.06 mem=14M446
0.96
0.96 search
0.96 run=4 nbConstraintChecks=88254 nbPropagations=9572 nbRevisions=41346 nbUselessRevisions=23310
0.96 nbAssignments=259 nbFailedAssignments=93 nbBacktracks=137 nbVisitedNodes=424 nbRestartNogoods=13 mapSize=97
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.12 cpuTime=0.08 mem=14M446
0.98
0.98 search
0.98 run=5 nbConstraintChecks=129118 nbPropagations=14562 nbRevisions=66482 nbUselessRevisions=37986
0.98 nbAssignments=388 nbFailedAssignments=138 nbBacktracks=213 nbVisitedNodes=637 nbRestartNogoods=19 mapSize=152
0.98 nbInferences=1 nbTooLargeKeys=0
0.98 => wckTime=0.142 cpuTime=0.1 mem=14M446
1.01
1.01 search
1.01 run=6 nbConstraintChecks=182592 nbPropagations=21604 nbRevisions=103759 nbUselessRevisions=60269
1.01 nbAssignments=580 nbFailedAssignments=212 nbBacktracks=326 nbVisitedNodes=951 nbRestartNogoods=24 mapSize=227
1.01 nbInferences=1 nbTooLargeKeys=0
1.01 => wckTime=0.172 cpuTime=0.12 mem=14M446
1.05
1.05 search
1.05 run=7 nbConstraintChecks=250720 nbPropagations=31662 nbRevisions=154916 nbUselessRevisions=90708
1.05 nbAssignments=882 nbFailedAssignments=315 nbBacktracks=498 nbVisitedNodes=1425 nbRestartNogoods=28 mapSize=339
1.05 nbInferences=8 nbTooLargeKeys=0
1.05 => wckTime=0.215 cpuTime=0.16 mem=14M446
1.11
1.11 search
1.11 run=8 nbConstraintChecks=376914 nbPropagations=46578 nbRevisions=233185 nbUselessRevisions=137548
1.11 nbAssignments=1296 nbFailedAssignments=463 nbBacktracks=756 nbVisitedNodes=2112 nbRestartNogoods=33
1.11 mapSize=513 nbInferences=10 nbTooLargeKeys=0
1.11 => wckTime=0.275 cpuTime=0.21 mem=14M446
1.21
1.21 search
1.21 run=9 nbConstraintChecks=561476 nbPropagations=68529 nbRevisions=355129 nbUselessRevisions=212355
1.21 nbAssignments=1948 nbFailedAssignments=719 nbBacktracks=1140 nbVisitedNodes=3204 nbRestartNogoods=43
1.21 mapSize=776 nbInferences=11 nbTooLargeKeys=0
1.21 => wckTime=0.374 cpuTime=0.29 mem=14M446
1.35
1.35 search
1.35 run=10 nbConstraintChecks=893415 nbPropagations=102600 nbRevisions=551514 nbUselessRevisions=334657
1.35 nbAssignments=2946 nbFailedAssignments=1133 nbBacktracks=1716 nbVisitedNodes=4918 nbRestartNogoods=52
1.35 mapSize=1206 nbInferences=12 nbTooLargeKeys=0
1.35 => wckTime=0.51 cpuTime=0.42 mem=14M446
1.50
1.50 search
1.50 run=11 nbConstraintChecks=1294510 nbPropagations=152315 nbRevisions=837391 nbUselessRevisions=512698
1.50 nbAssignments=4342 nbFailedAssignments=1652 nbBacktracks=2582 nbVisitedNodes=7236 nbRestartNogoods=61
1.50 mapSize=1796 nbInferences=15 nbTooLargeKeys=0
1.50 => wckTime=0.664 cpuTime=0.57 mem=14M446
1.74
1.74 search
1.74 run=12 nbConstraintChecks=1901244 nbPropagations=226916 nbRevisions=1270463 nbUselessRevisions=784259
1.74 nbAssignments=6612 nbFailedAssignments=2605 nbBacktracks=3880 nbVisitedNodes=11121 nbRestartNogoods=71
1.74 mapSize=2761 nbInferences=29 nbTooLargeKeys=0
1.74 => wckTime=0.902 cpuTime=0.8 mem=14M446
2.10
2.10 search
2.10 run=13 nbConstraintChecks=2882057 nbPropagations=339458 nbRevisions=1933683 nbUselessRevisions=1203625
2.10 nbAssignments=9907 nbFailedAssignments=3932 nbBacktracks=5827 nbVisitedNodes=16706 nbRestartNogoods=79
2.10 mapSize=4196 nbInferences=44 nbTooLargeKeys=0
2.10 => wckTime=1.267 cpuTime=1.17 mem=15M421
2.64
2.64 search
2.64 run=14 nbConstraintChecks=4290863 nbPropagations=506760 nbRevisions=2926854 nbUselessRevisions=1834484
2.64 nbAssignments=14758 nbFailedAssignments=5837 nbBacktracks=8746 nbVisitedNodes=24921 nbRestartNogoods=87
2.64 mapSize=6355 nbInferences=67 nbTooLargeKeys=0
2.64 => wckTime=1.8 cpuTime=1.69 mem=15M421
3.36
3.36 search
3.36 run=15 nbConstraintChecks=6084901 nbPropagations=750156 nbRevisions=4408284 nbUselessRevisions=2794968
3.36 nbAssignments=22018 nbFailedAssignments=8659 nbBacktracks=13128 nbVisitedNodes=37091 nbRestartNogoods=98
3.36 mapSize=9437 nbInferences=123 nbTooLargeKeys=0
3.36 => wckTime=2.527 cpuTime=2.42 mem=16M396
4.34
4.34 search
4.34 run=16 nbConstraintChecks=8447528 nbPropagations=1097819 nbRevisions=6528740 nbUselessRevisions=4183439
4.34 nbAssignments=32656 nbFailedAssignments=12637 nbBacktracks=19696 nbVisitedNodes=54707 nbRestartNogoods=98
4.34 mapSize=14046 nbInferences=206 nbTooLargeKeys=0
4.34 => wckTime=3.506 cpuTime=3.39 mem=17M371
5.87
5.87 search
5.87 run=17 nbConstraintChecks=12213808 nbPropagations=1608871 nbRevisions=9651661 nbUselessRevisions=6234397
5.87 nbAssignments=48808 nbFailedAssignments=18752 nbBacktracks=29554 nbVisitedNodes=81630 nbRestartNogoods=105
5.87 mapSize=21185 nbInferences=381 nbTooLargeKeys=0
5.87 => wckTime=5.036 cpuTime=4.9 mem=18M346
8.07
8.07 search
8.07 run=18 nbConstraintChecks=17560143 nbPropagations=2353587 nbRevisions=14227767 nbUselessRevisions=9260033
8.07 nbAssignments=72566 nbFailedAssignments=27494 nbBacktracks=44332 nbVisitedNodes=120880 nbRestartNogoods=107
8.07 mapSize=31635 nbInferences=610 nbTooLargeKeys=0
8.07 => wckTime=7.232 cpuTime=7.07 mem=20M297
8.90
8.90 search
8.90 run=19 nbConstraintChecks=19621418 nbPropagations=3192293 nbRevisions=19338154 nbUselessRevisions=12630636
8.90 nbAssignments=82000 nbFailedAssignments=30901 nbBacktracks=50210 nbVisitedNodes=136326 nbRestartNogoods=113
8.90 mapSize=35697 nbInferences=733 nbTooLargeKeys=0
8.90 => wckTime=8.065 cpuTime=7.9 mem=21M272
8.90
8.90 global
8.90 nbConstraintChecks=19636800 nbPropagations=3192728 nbRevisions=19339725 nbUselessRevisions=12631603
8.90 nbRestartNogoods=113 solvingWckTime=8.067 solvingCpuTime=7.9 expiredTime=no totalExploration=no
8.90 nbFoundSolutions=1 globalCpuTime=8.31
8.90 => wckTime=8.565 cpuTime=8.27 mem=21M272
8.90
8.90 s SATISFIABLE
8.90 v 12 0 11 18 21 10 1 8 19 22 15 6 3 14 23 12 9 2 5 16 7 4 13 24 17 20
8.90 d NODES 82000
8.91 d CHECKS 19636800
8.91
8.91 totalWckTime=8.647 totalCpuTime=8.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-221169-1168256691 -o ROOT/results/node17/solver-221169-1168256691 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221169-1168256691/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.51 0.26 0.49 4/95 19857
/proc/meminfo: memFree=1597032/2055920 swapFree=4192812/4192956
[pid=19856] ppid=19854 vsize=1784 CPUtime=0
/proc/19856/stat : 19856 (java) D 19854 19856 19482 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 174065018 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/19856/statm: 446 160 125 14 0 91 0
[startup+0.105415 s]
/proc/loadavg: 0.51 0.26 0.49 4/95 19857
/proc/meminfo: memFree=1597032/2055920 swapFree=4192812/4192956
[pid=19856] ppid=19854 vsize=911488 CPUtime=0.06
/proc/19856/stat : 19856 (java) R 19854 19856 19482 0 -1 0 2629 0 1 0 5 1 0 0 20 0 8 0 174065018 933363712 2376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155288128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19856/statm: 227872 2376 1282 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.513457 s]
/proc/loadavg: 0.51 0.26 0.49 4/95 19857
/proc/meminfo: memFree=1597032/2055920 swapFree=4192812/4192956
[pid=19856] ppid=19854 vsize=915328 CPUtime=0.47
/proc/19856/stat : 19856 (java) R 19854 19856 19482 0 -1 0 6272 0 1 0 44 3 0 0 18 0 8 0 174065018 937295872 6011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19856/statm: 228832 6011 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33754 s]
/proc/loadavg: 0.51 0.26 0.49 3/102 19864
/proc/meminfo: memFree=1573168/2055920 swapFree=4192812/4192956
[pid=19856] ppid=19854 vsize=915460 CPUtime=1.28
/proc/19856/stat : 19856 (java) R 19854 19856 19482 0 -1 0 8547 0 1 0 121 7 0 0 24 0 8 0 174065018 937431040 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19856/statm: 228865 8285 2541 14 0 215335 0
[pid=19856/tid=19858] ppid=19854 vsize=915460 CPUtime=0.02
/proc/19856/task/19858/stat : 19858 (java) S 19854 19856 19482 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 174065024 937431040 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19859] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19859/stat : 19859 (java) S 19854 19856 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174065025 937431040 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19860] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19860/stat : 19860 (java) S 19854 19856 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174065025 937431040 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19861] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19861/stat : 19861 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174065028 937431040 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19862] ppid=19854 vsize=915460 CPUtime=0.22
/proc/19856/task/19862/stat : 19862 (java) S 19854 19856 19482 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 174065028 937431040 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19863] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19863/stat : 19863 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174065028 937431040 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19864] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19864/stat : 19864 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174065028 937431040 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915460
[startup+2.97571 s]
/proc/loadavg: 0.63 0.29 0.50 3/102 19864
/proc/meminfo: memFree=1571376/2055920 swapFree=4192812/4192956
[pid=19856] ppid=19854 vsize=915460 CPUtime=2.9
/proc/19856/stat : 19856 (java) R 19854 19856 19482 0 -1 0 8888 0 1 0 283 7 0 0 25 0 8 0 174065018 937431040 8624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19856/statm: 228865 8624 2541 14 0 215335 0
[pid=19856/tid=19858] ppid=19854 vsize=915460 CPUtime=0.02
/proc/19856/task/19858/stat : 19858 (java) S 19854 19856 19482 0 -1 64 153 0 0 0 2 0 0 0 17 0 8 0 174065024 937431040 8624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19859] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19859/stat : 19859 (java) S 19854 19856 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174065025 937431040 8624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19860] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19860/stat : 19860 (java) S 19854 19856 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174065025 937431040 8624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19861] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19861/stat : 19861 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174065028 937431040 8624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19862] ppid=19854 vsize=915460 CPUtime=0.23
/proc/19856/task/19862/stat : 19862 (java) S 19854 19856 19482 0 -1 64 383 0 0 0 22 1 0 0 15 0 8 0 174065028 937431040 8624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19863] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19863/stat : 19863 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174065028 937431040 8624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19864] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19864/stat : 19864 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174065028 937431040 8624 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) 915460
[startup+6.26205 s]
/proc/loadavg: 0.63 0.29 0.50 3/102 19864
/proc/meminfo: memFree=1566192/2055920 swapFree=4192812/4192956
[pid=19856] ppid=19854 vsize=915460 CPUtime=6.15
/proc/19856/stat : 19856 (java) R 19854 19856 19482 0 -1 0 9594 0 1 0 608 7 0 0 25 0 8 0 174065018 937431040 9330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749717 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19856/statm: 228865 9330 2541 14 0 215335 0
[pid=19856/tid=19858] ppid=19854 vsize=915460 CPUtime=0.02
/proc/19856/task/19858/stat : 19858 (java) S 19854 19856 19482 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 174065024 937431040 9330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19859] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19859/stat : 19859 (java) S 19854 19856 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174065025 937431040 9330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19860] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19860/stat : 19860 (java) S 19854 19856 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174065025 937431040 9330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19861] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19861/stat : 19861 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174065028 937431040 9330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19862] ppid=19854 vsize=915460 CPUtime=0.23
/proc/19856/task/19862/stat : 19862 (java) S 19854 19856 19482 0 -1 64 383 0 0 0 22 1 0 0 15 0 8 0 174065028 937431040 9330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19863] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19863/stat : 19863 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174065028 937431040 9330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19856/tid=19864] ppid=19854 vsize=915460 CPUtime=0
/proc/19856/task/19864/stat : 19864 (java) S 19854 19856 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174065028 937431040 9330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 8.95717
CPU time (s): 8.80166
CPU user time (s): 8.71067
CPU system time (s): 0.090986
CPU usage (%): 98.2639
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.71068
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10297
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= 1340
involuntary context switches= 1904
runsolver used 0.019996 s user time and 0.027995 s system time
The end
Begin job on node17 on Mon Jan 8 11:44:55 UTC 2007
IDJOB= 221169
IDBENCH= 5399
FILE ID= node17/221169-1168256691
PBS_JOBID= 3482404
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221169-1168256691/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-221169-1168256691 -o ROOT/results/node17/solver-221169-1168256691 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221169-1168256691/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0ca764ba9838a2d9c0c3e85fa68bf0eb
RANDOM SEED= 876342959
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.236
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.236
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: 1602888 kB
Buffers: 63304 kB
Cached: 215768 kB
SwapCached: 0 kB
Active: 248236 kB
Inactive: 140468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1602888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 137580 kB
Slab: 48848 kB
Committed_AS: 5683584 kB
PageTables: 2460 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= 66324 MiB
End job on node17 on Mon Jan 8 11:45:15 UTC 2007