0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/242297-1168379463/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=69 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.44 nbConstraints=46 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=44
0.45 nbConflictsStructures=2 nbSharedConflictsStructures=44 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.45 => wckTime=0.133 cpuTime=0.12 mem=6M951
0.48
0.48 solver IterativeSystematicSolver being built...
0.66 => wckTime=0.354 cpuTime=0.26 mem=15M321
0.70
0.70 preprocessing
0.70 nbConstraintChecks=218 nbValidityChecks=775 nbPropagations=287 nbRevisions=403 nbUselessRevisions=313
0.70 nbSingletonTests=132 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.70 => wckTime=0.034 cpuTime=0.03 mem=15M321
0.73
0.73 search
0.73 run=0 nbConstraintChecks=106 nbValidityChecks=427 nbPropagations=381 nbRevisions=592 nbUselessRevisions=429
0.73 nbAssignments=53 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=60 nbRestartNogoods=0 mapSize=3
0.73 nbInferences=0 nbTooLargeKeys=0
0.73 => wckTime=0.065 cpuTime=0.04 mem=15M321
0.75
0.75 search
0.75 run=1 nbConstraintChecks=257 nbValidityChecks=972 nbPropagations=883 nbRevisions=1419 nbUselessRevisions=993
0.75 nbAssignments=114 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=132 nbRestartNogoods=2 mapSize=12
0.75 nbInferences=0 nbTooLargeKeys=0
0.75 => wckTime=0.08 cpuTime=0.06 mem=15M321
0.76
0.76 search
0.76 run=2 nbConstraintChecks=468 nbValidityChecks=1626 nbPropagations=1529 nbRevisions=2535
0.76 nbUselessRevisions=1725 nbAssignments=181 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=213
0.76 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.76 => wckTime=0.093 cpuTime=0.06 mem=15M321
0.77
0.77 search
0.77 run=3 nbConstraintChecks=748 nbValidityChecks=2513 nbPropagations=2366 nbRevisions=4028
0.77 nbUselessRevisions=2679 nbAssignments=264 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=316
0.77 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.77 => wckTime=0.107 cpuTime=0.07 mem=15M321
0.79
0.79 search
0.79 run=4 nbConstraintChecks=1058 nbValidityChecks=3483 nbPropagations=3422 nbRevisions=5931
0.79 nbUselessRevisions=3860 nbAssignments=370 nbFailedAssignments=31 nbBacktracks=138 nbVisitedNodes=447
0.79 nbRestartNogoods=8 mapSize=63 nbInferences=16 nbTooLargeKeys=0
0.79 => wckTime=0.122 cpuTime=0.08 mem=15M321
0.81
0.81 search
0.81 run=5 nbConstraintChecks=1514 nbValidityChecks=4859 nbPropagations=4785 nbRevisions=8433
0.81 nbUselessRevisions=5399 nbAssignments=515 nbFailedAssignments=39 nbBacktracks=213 nbVisitedNodes=631
0.81 nbRestartNogoods=10 mapSize=98 nbInferences=39 nbTooLargeKeys=0
0.81 => wckTime=0.142 cpuTime=0.09 mem=15M321
0.83
0.83 search
0.83 run=6 nbConstraintChecks=2297 nbValidityChecks=7115 nbPropagations=6676 nbRevisions=11909
0.83 nbUselessRevisions=7483 nbAssignments=699 nbFailedAssignments=44 nbBacktracks=332 nbVisitedNodes=866
0.83 nbRestartNogoods=14 mapSize=147 nbInferences=81 nbTooLargeKeys=0
0.83 => wckTime=0.161 cpuTime=0.11 mem=15M321
0.85
0.85 search
0.85 run=7 nbConstraintChecks=3639 nbValidityChecks=11208 nbPropagations=9532 nbRevisions=17182
0.85 nbUselessRevisions=10571 nbAssignments=970 nbFailedAssignments=46 nbBacktracks=503 nbVisitedNodes=1220
0.85 nbRestartNogoods=16 mapSize=225 nbInferences=160 nbTooLargeKeys=0
0.85 => wckTime=0.18 cpuTime=0.13 mem=15M321
0.88
0.88 search
0.88 run=8 nbConstraintChecks=5847 nbValidityChecks=17951 nbPropagations=13973 nbRevisions=25440
0.88 nbUselessRevisions=15339 nbAssignments=1384 nbFailedAssignments=46 nbBacktracks=766 nbVisitedNodes=1764
0.88 nbRestartNogoods=21 mapSize=352 nbInferences=290 nbTooLargeKeys=0
0.88 => wckTime=0.211 cpuTime=0.15 mem=15M321
0.92
0.92 search
0.93 run=9 nbConstraintChecks=8931 nbValidityChecks=27070 nbPropagations=20456 nbRevisions=37648
0.93 nbUselessRevisions=22442 nbAssignments=1988 nbFailedAssignments=46 nbBacktracks=1151 nbVisitedNodes=2572
0.93 nbRestartNogoods=24 mapSize=552 nbInferences=494 nbTooLargeKeys=0
0.93 => wckTime=0.258 cpuTime=0.18 mem=15M321
0.97
0.97 search
0.97 run=10 nbConstraintChecks=13671 nbValidityChecks=41055 nbPropagations=30076 nbRevisions=55907
0.97 nbUselessRevisions=33097 nbAssignments=2892 nbFailedAssignments=46 nbBacktracks=1729 nbVisitedNodes=3787
0.97 nbRestartNogoods=28 mapSize=860 nbInferences=805 nbTooLargeKeys=0
0.97 => wckTime=0.301 cpuTime=0.21 mem=15M321
1.02
1.02 search
1.02 run=11 nbConstraintChecks=21226 nbValidityChecks=63593 nbPropagations=44802 nbRevisions=83954
1.02 nbUselessRevisions=49407 nbAssignments=4253 nbFailedAssignments=46 nbBacktracks=2593 nbVisitedNodes=5628
1.02 nbRestartNogoods=31 mapSize=1335 nbInferences=1285 nbTooLargeKeys=0
1.02 => wckTime=0.353 cpuTime=0.26 mem=16M296
1.09
1.09 search
1.09 run=12 nbConstraintChecks=32024 nbValidityChecks=95933 nbPropagations=66659 nbRevisions=125821
1.09 nbUselessRevisions=73870 nbAssignments=6293 nbFailedAssignments=46 nbBacktracks=3894 nbVisitedNodes=8393
1.09 nbRestartNogoods=36 mapSize=2054 nbInferences=2010 nbTooLargeKeys=0
1.09 => wckTime=0.427 cpuTime=0.34 mem=16M296
1.21
1.21 search
1.21 run=13 nbConstraintChecks=48696 nbValidityChecks=145660 nbPropagations=99620 nbRevisions=189066
1.21 nbUselessRevisions=110787 nbAssignments=9340 nbFailedAssignments=46 nbBacktracks=5840 nbVisitedNodes=12522
1.21 nbRestartNogoods=42 mapSize=3129 nbInferences=3092 nbTooLargeKeys=0
1.21 => wckTime=0.542 cpuTime=0.44 mem=16M296
1.37
1.37 search
1.37 run=14 nbConstraintChecks=73665 nbValidityChecks=220126 nbPropagations=149114 nbRevisions=284159
1.37 nbUselessRevisions=166281 nbAssignments=13901 nbFailedAssignments=46 nbBacktracks=8760 nbVisitedNodes=18705
1.37 nbRestartNogoods=49 mapSize=4746 nbInferences=4714 nbTooLargeKeys=0
1.37 => wckTime=0.703 cpuTime=0.6 mem=16M296
1.60
1.60 search
1.60 run=15 nbConstraintChecks=110355 nbValidityChecks=328974 nbPropagations=223062 nbRevisions=426178
1.60 nbUselessRevisions=249029 nbAssignments=20677 nbFailedAssignments=46 nbBacktracks=13141 nbVisitedNodes=27866
1.60 nbRestartNogoods=54 mapSize=7127 nbInferences=7099 nbTooLargeKeys=0
1.61 => wckTime=0.939 cpuTime=0.84 mem=17M272
1.96
1.96 search
1.96 run=16 nbConstraintChecks=165970 nbValidityChecks=493889 nbPropagations=333691 nbRevisions=638850
1.96 nbUselessRevisions=373026 nbAssignments=30893 nbFailedAssignments=46 nbBacktracks=19712 nbVisitedNodes=41714
1.96 nbRestartNogoods=58 mapSize=10755 nbInferences=10731 nbTooLargeKeys=0
1.96 => wckTime=1.294 cpuTime=1.18 mem=18M247
2.49
2.49 search
2.49 run=17 nbConstraintChecks=249151 nbValidityChecks=740751 nbPropagations=499578 nbRevisions=957692
2.49 nbUselessRevisions=558772 nbAssignments=46176 nbFailedAssignments=46 nbBacktracks=29564 nbVisitedNodes=62409
2.49 nbRestartNogoods=62 mapSize=16160 nbInferences=16143 nbTooLargeKeys=0
2.49 => wckTime=1.824 cpuTime=1.71 mem=19M222
3.26
3.27 search
3.27 run=18 nbConstraintChecks=365462 nbValidityChecks=1077830 nbPropagations=738848 nbRevisions=1420972
3.27 nbUselessRevisions=832214 nbAssignments=69282 nbFailedAssignments=46 nbBacktracks=44343 nbVisitedNodes=93827
3.27 nbRestartNogoods=69 mapSize=24466 nbInferences=24455 nbTooLargeKeys=0
3.27 => wckTime=2.599 cpuTime=2.48 mem=20M197
4.38
4.38 search
4.38 run=19 nbConstraintChecks=521796 nbValidityChecks=1512584 nbPropagations=1069343 nbRevisions=2070504
4.38 nbUselessRevisions=1226029 nbAssignments=104135 nbFailedAssignments=46 nbBacktracks=66514 nbVisitedNodes=141348
4.38 nbRestartNogoods=75 mapSize=37125 nbInferences=37123 nbTooLargeKeys=0
4.38 => wckTime=3.715 cpuTime=3.59 mem=23M385
6.18
6.18 search
6.18 run=20 nbConstraintChecks=804417 nbValidityChecks=2352281 nbPropagations=1587379 nbRevisions=3081145
6.18 nbUselessRevisions=1830370 nbAssignments=155874 nbFailedAssignments=46 nbBacktracks=99766 nbVisitedNodes=211557
6.18 nbRestartNogoods=84 mapSize=55587 nbInferences=55593 nbTooLargeKeys=0
6.18 => wckTime=5.518 cpuTime=5.37 mem=26M835
7.83
7.83 search
7.83 run=21 nbConstraintChecks=1039591 nbValidityChecks=3012343 nbPropagations=2245060 nbRevisions=4374458
7.83 nbUselessRevisions=2614844 nbAssignments=207005 nbFailedAssignments=46 nbBacktracks=132348
7.83 nbVisitedNodes=281237 nbRestartNogoods=91 mapSize=74136 nbInferences=74143 nbTooLargeKeys=0
7.83 => wckTime=7.164 cpuTime=7.0 mem=30M735
7.83
7.83 global
7.83 nbConstraintChecks=1039809 nbValidityChecks=3013118 nbPropagations=2245347 nbRevisions=4374861
7.83 nbUselessRevisions=2615157 nbRestartNogoods=91 solvingWckTime=7.166 solvingCpuTime=7.0 expiredTime=no
7.83 totalExploration=yes nbFoundSolutions=0 globalCpuTime=7.31
7.83 => wckTime=7.521 cpuTime=7.26 mem=30M735
7.83
7.83 s UNSATISFIABLE
7.83 d NODES 207005
7.83 d CHECKS 1039809
7.83
7.83 totalWckTime=7.601 totalCpuTime=7.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-242297-1168379463 -o ROOT/results/node18/solver-242297-1168379463 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242297-1168379463/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: 2.00 2.00 1.82 5/86 30865
/proc/meminfo: memFree=1734232/2055920 swapFree=4192812/4192956
[pid=30864] ppid=30862 vsize=906644 CPUtime=0.03
/proc/30864/stat : 30864 (java) S 30862 30864 30113 0 -1 0 2068 0 1 0 2 1 0 0 18 0 2 0 186340973 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30864/statm: 226661 1817 1036 14 0 214244 0
[pid=30864/tid=30866] ppid=30862 vsize=906644 CPUtime=0
/proc/30864/task/30866/stat : 30866 (java) R 30862 30864 30113 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 186340977 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.105741 s]
/proc/loadavg: 2.00 2.00 1.82 5/86 30865
/proc/meminfo: memFree=1734232/2055920 swapFree=4192812/4192956
[pid=30864] ppid=30862 vsize=914988 CPUtime=0.08
/proc/30864/stat : 30864 (java) R 30862 30864 30113 0 -1 0 3014 0 1 0 7 1 0 0 20 0 8 0 186340973 936947712 2760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154148289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30864/statm: 228747 2760 1434 14 0 215242 0
[pid=30864/tid=30866] ppid=30862 vsize=914988 CPUtime=0
/proc/30864/task/30866/stat : 30866 (java) S 30862 30864 30113 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 186340977 936947712 2760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513779 s]
/proc/loadavg: 2.00 2.00 1.82 5/86 30865
/proc/meminfo: memFree=1734232/2055920 swapFree=4192812/4192956
[pid=30864] ppid=30862 vsize=915460 CPUtime=0.49
/proc/30864/stat : 30864 (java) R 30862 30864 30113 0 -1 0 6585 0 1 0 45 4 0 0 18 0 8 0 186340973 937431040 6323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152174131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30864/statm: 228865 6323 2377 14 0 215335 0
[pid=30864/tid=30866] ppid=30862 vsize=915460 CPUtime=0.02
/proc/30864/task/30866/stat : 30866 (java) S 30862 30864 30113 0 -1 64 122 0 0 0 2 0 0 0 16 0 8 0 186340977 937431040 6323 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) 915460
[startup+1.33685 s]
/proc/loadavg: 2.00 2.00 1.82 3/93 30872
/proc/meminfo: memFree=1709536/2055920 swapFree=4192812/4192956
[pid=30864] ppid=30862 vsize=915460 CPUtime=1.3
/proc/30864/stat : 30864 (java) R 30862 30864 30113 0 -1 0 8981 0 1 0 124 6 0 0 25 0 8 0 186340973 937431040 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073689298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30864/statm: 228865 8719 2527 14 0 215335 0
[pid=30864/tid=30866] ppid=30862 vsize=915460 CPUtime=0.02
/proc/30864/task/30866/stat : 30866 (java) S 30862 30864 30113 0 -1 64 122 0 0 0 2 0 0 0 16 0 8 0 186340977 937431040 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30867] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30867/stat : 30867 (java) S 30862 30864 30113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186340978 937431040 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30868] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30868/stat : 30868 (java) S 30862 30864 30113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186340978 937431040 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30869] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30869/stat : 30869 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186340981 937431040 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30870] ppid=30862 vsize=915460 CPUtime=0.2
/proc/30864/task/30870/stat : 30870 (java) S 30862 30864 30113 0 -1 64 367 0 0 0 19 1 0 0 15 0 8 0 186340981 937431040 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30871] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30871/stat : 30871 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186340981 937431040 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30872] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30872/stat : 30872 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186340981 937431040 8719 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) 915460
[startup+2.97401 s]
/proc/loadavg: 2.00 2.00 1.82 3/93 30872
/proc/meminfo: memFree=1707168/2055920 swapFree=4192812/4192956
[pid=30864] ppid=30862 vsize=915460 CPUtime=2.93
/proc/30864/stat : 30864 (java) R 30862 30864 30113 0 -1 0 9808 0 1 0 286 7 0 0 25 0 8 0 186340973 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30864/statm: 228865 9545 2527 14 0 215335 0
[pid=30864/tid=30866] ppid=30862 vsize=915460 CPUtime=0.02
/proc/30864/task/30866/stat : 30866 (java) S 30862 30864 30113 0 -1 64 122 0 0 0 2 0 0 0 16 0 8 0 186340977 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30867] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30867/stat : 30867 (java) S 30862 30864 30113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186340978 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30868] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30868/stat : 30868 (java) S 30862 30864 30113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186340978 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30869] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30869/stat : 30869 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186340981 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30870] ppid=30862 vsize=915460 CPUtime=0.2
/proc/30864/task/30870/stat : 30870 (java) S 30862 30864 30113 0 -1 64 369 0 0 0 19 1 0 0 16 0 8 0 186340981 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30871] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30871/stat : 30871 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186340981 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30872] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30872/stat : 30872 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186340981 937431040 9545 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) 915460
[startup+6.18132 s]
/proc/loadavg: 2.00 2.00 1.82 3/93 30872
/proc/meminfo: memFree=1699424/2055920 swapFree=4192812/4192956
[pid=30864] ppid=30862 vsize=915460 CPUtime=6.1
/proc/30864/stat : 30864 (java) R 30862 30864 30113 0 -1 0 11626 0 1 0 603 7 0 0 25 0 8 0 186340973 937431040 11363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30864/statm: 228865 11363 2527 14 0 215335 0
[pid=30864/tid=30866] ppid=30862 vsize=915460 CPUtime=0.02
/proc/30864/task/30866/stat : 30866 (java) S 30862 30864 30113 0 -1 64 122 0 0 0 2 0 0 0 16 0 8 0 186340977 937431040 11363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30867] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30867/stat : 30867 (java) S 30862 30864 30113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186340978 937431040 11363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30868] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30868/stat : 30868 (java) S 30862 30864 30113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186340978 937431040 11363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30869] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30869/stat : 30869 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186340981 937431040 11363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30870] ppid=30862 vsize=915460 CPUtime=0.2
/proc/30864/task/30870/stat : 30870 (java) S 30862 30864 30113 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 186340981 937431040 11363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30871] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30871/stat : 30871 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186340981 937431040 11363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30864/tid=30872] ppid=30862 vsize=915460 CPUtime=0
/proc/30864/task/30872/stat : 30872 (java) S 30862 30864 30113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186340981 937431040 11363 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) 915460
Child status: 0
Real time (s): 7.89187
CPU time (s): 7.76782
CPU user time (s): 7.67883
CPU system time (s): 0.088986
CPU usage (%): 98.4281
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.67883
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12592
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= 1152
involuntary context switches= 1740
runsolver used 0.011998 s user time and 0.032994 s system time
The end
Begin job on node18 on Tue Jan 9 21:51:03 UTC 2007
IDJOB= 242297
IDBENCH= 7382
FILE ID= node18/242297-1168379463
PBS_JOBID= 3522347
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242297-1168379463/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-242297-1168379463 -o ROOT/results/node18/solver-242297-1168379463 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242297-1168379463/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e03ed3b530371c7b1ffd0142f9135f0b
RANDOM SEED= 476602052
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: 1734648 kB
Buffers: 48740 kB
Cached: 156892 kB
SwapCached: 0 kB
Active: 189112 kB
Inactive: 78496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1734648 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 84356 kB
Slab: 38788 kB
Committed_AS: 5968972 kB
PageTables: 2036 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= 66549 MiB
End job on node18 on Tue Jan 9 21:51:11 UTC 2007