0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/208254-1168186359/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=338 nbRelationTypes=338 nbExtensionStructures=338 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=338 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3052 maxDegree=23
0.59 maxArity=2
0.59 => wckTime=0.298 cpuTime=0.21 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.487 cpuTime=0.33 mem=15M10
0.83
0.83 preprocessing
0.83 nbConstraintChecks=77412 nbPropagations=1034 nbRevisions=8532 nbUselessRevisions=6955 nbSingletonTests=54
0.83 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.05 cpuTime=0.03 mem=15M10
0.86
0.86 search
0.86 run=0 nbConstraintChecks=34600 nbPropagations=1500 nbRevisions=14362 nbUselessRevisions=11696 nbAssignments=25
0.86 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.074 cpuTime=0.04 mem=15M10
0.87
0.87 search
0.87 run=1 nbConstraintChecks=87245 nbPropagations=3747 nbRevisions=38666 nbUselessRevisions=31520 nbAssignments=63
0.87 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=104 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.09 cpuTime=0.06 mem=15M10
0.89
0.89 search
0.89 run=2 nbConstraintChecks=140629 nbPropagations=6728 nbRevisions=72022 nbUselessRevisions=58616
0.89 nbAssignments=104 nbFailedAssignments=37 nbBacktracks=49 nbVisitedNodes=172 nbRestartNogoods=6 mapSize=40
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.104 cpuTime=0.07 mem=15M10
0.90
0.90 search
0.90 run=3 nbConstraintChecks=235070 nbPropagations=10876 nbRevisions=121353 nbUselessRevisions=98649
0.90 nbAssignments=172 nbFailedAssignments=65 nbBacktracks=84 nbVisitedNodes=287 nbRestartNogoods=7 mapSize=69
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.122 cpuTime=0.08 mem=15M10
0.93
0.93 search
0.93 run=4 nbConstraintChecks=364175 nbPropagations=16858 nbRevisions=195273 nbUselessRevisions=158463
0.93 nbAssignments=264 nbFailedAssignments=101 nbBacktracks=135 nbVisitedNodes=448 nbRestartNogoods=9 mapSize=113
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.147 cpuTime=0.11 mem=15M10
0.97
0.97 search
0.97 run=5 nbConstraintChecks=560263 nbPropagations=25436 nbRevisions=305328 nbUselessRevisions=247538
0.97 nbAssignments=403 nbFailedAssignments=158 nbBacktracks=210 nbVisitedNodes=689 nbRestartNogoods=14 mapSize=177
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.185 cpuTime=0.14 mem=15M10
1.02
1.02 search
1.02 run=6 nbConstraintChecks=852532 nbPropagations=38005 nbRevisions=471573 nbUselessRevisions=381985
1.02 nbAssignments=622 nbFailedAssignments=256 nbBacktracks=323 nbVisitedNodes=1076 nbRestartNogoods=19 mapSize=282
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.237 cpuTime=0.19 mem=15M10
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1212931 nbPropagations=55853 nbRevisions=710888 nbUselessRevisions=575864
1.08 nbAssignments=920 nbFailedAssignments=378 nbBacktracks=495 nbVisitedNodes=1597 nbRestartNogoods=27 mapSize=427
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.303 cpuTime=0.26 mem=15M10
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1852915 nbPropagations=82189 nbRevisions=1069884 nbUselessRevisions=866143
1.21 nbAssignments=1385 nbFailedAssignments=581 nbBacktracks=752 nbVisitedNodes=2407 nbRestartNogoods=30
1.21 mapSize=647 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.425 cpuTime=0.37 mem=15M10
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2832911 nbPropagations=121625 nbRevisions=1613052 nbUselessRevisions=1304674
1.38 nbAssignments=2066 nbFailedAssignments=871 nbBacktracks=1136 nbVisitedNodes=3601 nbRestartNogoods=36
1.38 mapSize=979 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.598 cpuTime=0.52 mem=15M10
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=15M10)
1.61
1.61 search
1.61 run=10 nbConstraintChecks=4228766 nbPropagations=180524 nbRevisions=2432251 nbUselessRevisions=1967223
1.61 nbAssignments=3089 nbFailedAssignments=1301 nbBacktracks=1712 nbVisitedNodes=5391 nbRestartNogoods=46
1.61 => wckTime=0.825 cpuTime=0.74 mem=15M10
1.93
1.93 search
1.93 run=11 nbConstraintChecks=6512470 nbPropagations=268756 nbRevisions=3667899 nbUselessRevisions=2964424
1.93 nbAssignments=4579 nbFailedAssignments=1923 nbBacktracks=2576 nbVisitedNodes=8032 nbRestartNogoods=54
1.93 => wckTime=1.152 cpuTime=1.07 mem=15M10
2.44
2.44 search
2.44 run=12 nbConstraintChecks=9879540 nbPropagations=401997 nbRevisions=5541628 nbUselessRevisions=4476521
2.44 nbAssignments=6850 nbFailedAssignments=2891 nbBacktracks=3874 nbVisitedNodes=12052 nbRestartNogoods=64
2.44 => wckTime=1.66 cpuTime=1.57 mem=15M10
3.19
3.19 search
3.19 run=13 nbConstraintChecks=14584756 nbPropagations=598612 nbRevisions=8336832 nbUselessRevisions=6740336
3.19 nbAssignments=10288 nbFailedAssignments=4377 nbBacktracks=5823 nbVisitedNodes=18120 nbRestartNogoods=71
3.19 => wckTime=2.408 cpuTime=2.32 mem=15M10
4.33
4.33 search
4.33 run=14 nbConstraintChecks=21768275 nbPropagations=892130 nbRevisions=12520803 nbUselessRevisions=10126109
4.33 nbAssignments=15433 nbFailedAssignments=6596 nbBacktracks=8744 nbVisitedNodes=27249 nbRestartNogoods=78
4.33 => wckTime=3.549 cpuTime=3.46 mem=15M10
6.00
6.00 search
6.00 run=15 nbConstraintChecks=32322085 nbPropagations=1329083 nbRevisions=18720856 nbUselessRevisions=15141406
6.00 nbAssignments=22943 nbFailedAssignments=9718 nbBacktracks=13126 nbVisitedNodes=40408 nbRestartNogoods=87
6.00 => wckTime=5.216 cpuTime=5.12 mem=15M10
8.61
8.61 search
8.61 run=16 nbConstraintChecks=49104541 nbPropagations=1987461 nbRevisions=28118052 nbUselessRevisions=22737020
8.61 nbAssignments=34869 nbFailedAssignments=15070 nbBacktracks=19694 nbVisitedNodes=61586 nbRestartNogoods=95
8.61 => wckTime=7.831 cpuTime=7.74 mem=15M10
12.34
12.34 search
12.34 run=17 nbConstraintChecks=72630736 nbPropagations=2968008 nbRevisions=42177362 nbUselessRevisions=34128795
12.34 nbAssignments=52133 nbFailedAssignments=22475 nbBacktracks=29547 nbVisitedNodes=92004 nbRestartNogoods=102
12.34 => wckTime=11.555 cpuTime=11.46 mem=15M986
18.14
18.14 search
18.14 run=18 nbConstraintChecks=110267537 nbPropagations=4448095 nbRevisions=63371448 nbUselessRevisions=51281106
18.14 nbAssignments=78199 nbFailedAssignments=33757 nbBacktracks=44326 nbVisitedNodes=138237 nbRestartNogoods=116
18.14 => wckTime=17.359 cpuTime=17.26 mem=15M986
20.03
20.03 search
20.03 run=19 nbConstraintChecks=122020460 nbPropagations=6093121 nbRevisions=86892455 nbUselessRevisions=70322994
20.03 nbAssignments=87055 nbFailedAssignments=37432 nbBacktracks=49464 nbVisitedNodes=153708 nbRestartNogoods=128
20.03 => wckTime=19.252 cpuTime=19.15 mem=15M986
20.04
20.04 global
20.04 nbConstraintChecks=122097872 nbPropagations=6094155 nbRevisions=86900987 nbUselessRevisions=70329949
20.04 nbRestartNogoods=128 solvingWckTime=19.253 solvingCpuTime=19.15 expiredTime=no totalExploration=no
20.04 nbFoundSolutions=1 globalCpuTime=19.53
20.04 => wckTime=19.743 cpuTime=19.48 mem=15M986
20.04
20.04 s SATISFIABLE
20.04 v 1 0 6 11 11 11 13 13 18 14 17 5 15 0 16 4 5 15 12 2 17 3 0 2 1 1 12 15 9 9 4 14 13 12 11 6 8 5 8 2
20.04 d NODES 87055
20.04 d CHECKS 122097872
20.04
20.04 totalWckTime=19.817 totalCpuTime=19.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-208254-1168186359 -o ROOT/results/node39/solver-208254-1168186359 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208254-1168186359/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.02 1.02 1.00 3/65 19014
/proc/meminfo: memFree=1605048/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=1784 CPUtime=0
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 153 0 0 0 0 0 0 0 19 0 1 0 167035489 1826816 124 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134533553 0 0 4096 0 0 0 0 17 1 0 0
/proc/19013/statm: 446 136 102 14 0 91 0
[startup+0.106634 s]
/proc/loadavg: 1.02 1.02 1.00 3/65 19014
/proc/meminfo: memFree=1605048/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=915848 CPUtime=0.08
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 3051 0 1 0 7 1 0 0 17 0 8 0 167035489 937828352 2797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19013/statm: 228962 2797 1449 14 0 215457 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915848
[startup+0.514671 s]
/proc/loadavg: 1.02 1.02 1.00 3/65 19014
/proc/meminfo: memFree=1605048/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916076 CPUtime=0.49
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 7000 0 1 0 45 4 0 0 17 0 8 0 167035489 938061824 6739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19013/statm: 229019 6739 2138 14 0 215489 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916076
[startup+1.33574 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 19021
/proc/meminfo: memFree=1581056/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916216 CPUtime=1.29
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 8752 0 1 0 124 5 0 0 17 0 8 0 167035489 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19013/statm: 229054 8490 2524 14 0 215524 0
[pid=19013/tid=19015] ppid=19011 vsize=916216 CPUtime=0.03
/proc/19013/task/19015/stat : 19015 (java) S 19011 19013 17643 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 167035493 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19011 19013 17643 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19017] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19011 19013 17643 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19018] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19018/stat : 19018 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167035496 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19019] ppid=19011 vsize=916216 CPUtime=0.21
/proc/19013/task/19019/stat : 19019 (java) S 19011 19013 17643 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 167035496 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19011 19013 17643 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167035496 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19021] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19021/stat : 19021 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167035496 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916216
[startup+2.98289 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 19021
/proc/meminfo: memFree=1580800/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916216 CPUtime=2.94
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 8781 0 1 0 288 6 0 0 18 0 8 0 167035489 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 229054 8517 2524 14 0 215524 0
[pid=19013/tid=19015] ppid=19011 vsize=916216 CPUtime=0.03
/proc/19013/task/19015/stat : 19015 (java) S 19011 19013 17643 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167035493 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19011 19013 17643 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19017] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19011 19013 17643 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19018] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19018/stat : 19018 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167035496 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19019] ppid=19011 vsize=916216 CPUtime=0.23
/proc/19013/task/19019/stat : 19019 (java) S 19011 19013 17643 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 167035496 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19011 19013 17643 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167035496 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19021] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19021/stat : 19021 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167035496 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916216
[startup+6.28019 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 19021
/proc/meminfo: memFree=1580616/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916216 CPUtime=6.24
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 8791 0 1 0 618 6 0 0 25 0 8 0 167035489 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 229054 8526 2524 14 0 215524 0
[pid=19013/tid=19015] ppid=19011 vsize=916216 CPUtime=0.03
/proc/19013/task/19015/stat : 19015 (java) S 19011 19013 17643 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167035493 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19011 19013 17643 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19017] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19011 19013 17643 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19018] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19018/stat : 19018 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167035496 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19019] ppid=19011 vsize=916216 CPUtime=0.23
/proc/19013/task/19019/stat : 19019 (java) S 19011 19013 17643 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 167035496 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19011 19013 17643 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167035496 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19021] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19021/stat : 19021 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167035496 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916216
[startup+12.7508 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 19021
/proc/meminfo: memFree=1580616/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916216 CPUtime=12.71
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 8795 0 1 0 1265 6 0 0 25 0 8 0 167035489 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 229054 8530 2524 14 0 215524 0
[pid=19013/tid=19015] ppid=19011 vsize=916216 CPUtime=0.03
/proc/19013/task/19015/stat : 19015 (java) S 19011 19013 17643 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167035493 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19011 19013 17643 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19017] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19011 19013 17643 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19018] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19018/stat : 19018 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167035496 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19019] ppid=19011 vsize=916216 CPUtime=0.23
/proc/19013/task/19019/stat : 19019 (java) S 19011 19013 17643 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 167035496 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19011 19013 17643 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167035496 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19021] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19021/stat : 19021 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167035496 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 916216
Child status: 0
Real time (s): 20.0581
CPU time (s): 20.006
CPU user time (s): 19.938
CPU system time (s): 0.067989
CPU usage (%): 99.7403
Max. virtual memory (cumulated for all children) (KiB): 916216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.938
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8892
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= 1254
involuntary context switches= 515
runsolver used 0.014997 s user time and 0.06299 s system time
The end
Begin job on node39 on Sun Jan 7 16:12:39 UTC 2007
IDJOB= 208254
IDBENCH= 4363
FILE ID= node39/208254-1168186359
PBS_JOBID= 3479119
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208254-1168186359/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-208254-1168186359 -o ROOT/results/node39/solver-208254-1168186359 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208254-1168186359/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fc31e74b7cf40a63c543bd632342ca6b
RANDOM SEED= 326705817
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: 1605400 kB
Buffers: 35024 kB
Cached: 345588 kB
SwapCached: 1548 kB
Active: 74156 kB
Inactive: 318336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1605400 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 18944 kB
Slab: 44060 kB
Committed_AS: 3376236 kB
PageTables: 1412 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= 66553 MiB
End job on node39 on Sun Jan 7 16:12:59 UTC 2007