0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/202722-1168153719/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.44 => wckTime=0.106 cpuTime=0.1 mem=6M951
0.44
0.44 relations being loaded...
0.55
0.55 constraints being loaded...
0.66 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3022 maxDegree=26
0.66 maxArity=2
0.66 => wckTime=0.333 cpuTime=0.25 mem=12M803
0.71
0.71 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.548 cpuTime=0.39 mem=15M13
0.94
0.94 preprocessing
0.94 nbConstraintChecks=67599 nbPropagations=932 nbRevisions=7248 nbUselessRevisions=5977 nbSingletonTests=50
0.94 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.053 cpuTime=0.03 mem=15M13
0.96
0.96 search
0.96 run=0 nbConstraintChecks=41952 nbPropagations=1519 nbRevisions=14232 nbUselessRevisions=11503 nbAssignments=28
0.96 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.08 cpuTime=0.05 mem=15M13
0.98
0.98 search
0.98 run=1 nbConstraintChecks=86945 nbPropagations=3695 nbRevisions=36282 nbUselessRevisions=29407 nbAssignments=65
0.98 nbFailedAssignments=23 nbBacktracks=27 nbVisitedNodes=108 nbRestartNogoods=3 mapSize=27 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.1 cpuTime=0.06 mem=15M13
1.00
1.00 search
1.00 run=2 nbConstraintChecks=150027 nbPropagations=6745 nbRevisions=69901 nbUselessRevisions=56677
1.00 nbAssignments=114 nbFailedAssignments=41 nbBacktracks=50 nbVisitedNodes=191 nbRestartNogoods=5 mapSize=48
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.118 cpuTime=0.08 mem=15M13
1.02
1.02 search
1.02 run=3 nbConstraintChecks=236604 nbPropagations=11019 nbRevisions=119505 nbUselessRevisions=96810
1.02 nbAssignments=178 nbFailedAssignments=63 nbBacktracks=87 nbVisitedNodes=297 nbRestartNogoods=8 mapSize=80
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.137 cpuTime=0.09 mem=15M13
1.05
1.05 search
1.05 run=4 nbConstraintChecks=376614 nbPropagations=17167 nbRevisions=194541 nbUselessRevisions=157293
1.05 nbAssignments=276 nbFailedAssignments=104 nbBacktracks=137 nbVisitedNodes=466 nbRestartNogoods=11 mapSize=124
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.168 cpuTime=0.13 mem=15M13
1.10
1.10 search
1.10 run=5 nbConstraintChecks=582018 nbPropagations=26007 nbRevisions=308070 nbUselessRevisions=248966
1.10 nbAssignments=433 nbFailedAssignments=178 nbBacktracks=213 nbVisitedNodes=742 nbRestartNogoods=16 mapSize=191
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.213 cpuTime=0.17 mem=15M13
1.16
1.16 search
1.16 run=6 nbConstraintChecks=868507 nbPropagations=38612 nbRevisions=471961 nbUselessRevisions=380658
1.16 nbAssignments=627 nbFailedAssignments=253 nbBacktracks=326 nbVisitedNodes=1079 nbRestartNogoods=19 mapSize=291
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.273 cpuTime=0.23 mem=15M13
1.23
1.23 search
1.23 run=7 nbConstraintChecks=1258937 nbPropagations=56407 nbRevisions=703636 nbUselessRevisions=565655
1.23 nbAssignments=909 nbFailedAssignments=360 nbBacktracks=498 nbVisitedNodes=1564 nbRestartNogoods=23 mapSize=436
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.346 cpuTime=0.3 mem=15M13
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1779981 nbPropagations=81592 nbRevisions=1036908 nbUselessRevisions=832515
1.34 nbAssignments=1326 nbFailedAssignments=515 nbBacktracks=754 nbVisitedNodes=2272 nbRestartNogoods=25
1.34 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.454 cpuTime=0.4 mem=15M13
1.53
1.53 search
1.53 run=9 nbConstraintChecks=2796207 nbPropagations=120069 nbRevisions=1555169 nbUselessRevisions=1247460
1.53 nbAssignments=2021 nbFailedAssignments=816 nbBacktracks=1142 nbVisitedNodes=3492 nbRestartNogoods=31
1.53 mapSize=976 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.646 cpuTime=0.58 mem=15M13
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=15M13)
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4119433 nbPropagations=176651 nbRevisions=2319708 nbUselessRevisions=1859441
1.76 nbAssignments=3011 nbFailedAssignments=1221 nbBacktracks=1718 nbVisitedNodes=5212 nbRestartNogoods=35
1.76 => wckTime=0.88 cpuTime=0.8 mem=15M13
2.10
2.10 search
2.10 run=11 nbConstraintChecks=6203105 nbPropagations=261643 nbRevisions=3476793 nbUselessRevisions=2788747
2.10 nbAssignments=4527 nbFailedAssignments=1831 nbBacktracks=2583 nbVisitedNodes=7811 nbRestartNogoods=48
2.10 => wckTime=1.219 cpuTime=1.14 mem=15M13
2.55
2.55 search
2.56 run=12 nbConstraintChecks=8895258 nbPropagations=384849 nbRevisions=5159665 nbUselessRevisions=4141900
2.56 nbAssignments=6679 nbFailedAssignments=2677 nbBacktracks=3883 nbVisitedNodes=11507 nbRestartNogoods=54
2.56 => wckTime=1.673 cpuTime=1.58 mem=15M13
3.29
3.29 search
3.29 run=13 nbConstraintChecks=13559082 nbPropagations=568915 nbRevisions=7685329 nbUselessRevisions=6169718
3.29 nbAssignments=9965 nbFailedAssignments=4011 nbBacktracks=5829 nbVisitedNodes=17222 nbRestartNogoods=62
3.29 => wckTime=2.408 cpuTime=2.32 mem=15M13
4.39
4.39 search
4.39 run=14 nbConstraintChecks=20220669 nbPropagations=846977 nbRevisions=11511784 nbUselessRevisions=9247934
4.39 nbAssignments=15004 nbFailedAssignments=6125 nbBacktracks=8749 nbVisitedNodes=26079 nbRestartNogoods=72
4.39 => wckTime=3.511 cpuTime=3.41 mem=15M13
5.94
5.94 search
5.94 run=15 nbConstraintChecks=29468677 nbPropagations=1255796 nbRevisions=17179439 nbUselessRevisions=13821965
5.94 nbAssignments=22257 nbFailedAssignments=8992 nbBacktracks=13127 nbVisitedNodes=38641 nbRestartNogoods=81
5.94 => wckTime=5.062 cpuTime=4.95 mem=15M13
8.46
8.46 search
8.46 run=16 nbConstraintChecks=45432028 nbPropagations=1871681 nbRevisions=25736404 nbUselessRevisions=20711708
8.46 nbAssignments=33212 nbFailedAssignments=13374 nbBacktracks=19695 nbVisitedNodes=57694 nbRestartNogoods=90
8.46 => wckTime=7.582 cpuTime=7.46 mem=15M13
12.09
12.09 search
12.09 run=17 nbConstraintChecks=67974922 nbPropagations=2797115 nbRevisions=38561808 nbUselessRevisions=31039384
12.09 nbAssignments=49772 nbFailedAssignments=20077 nbBacktracks=29547 nbVisitedNodes=86704 nbRestartNogoods=99
12.09 => wckTime=11.209 cpuTime=11.07 mem=15M989
17.62
17.62 search
17.62 run=18 nbConstraintChecks=102147091 nbPropagations=4184799 nbRevisions=57933306 nbUselessRevisions=46665754
17.62 nbAssignments=74722 nbFailedAssignments=30242 nbBacktracks=44325 nbVisitedNodes=130217 nbRestartNogoods=111
17.62 => wckTime=16.737 cpuTime=16.57 mem=15M989
26.10
26.10 search
26.10 run=19 nbConstraintChecks=154948425 nbPropagations=6273340 nbRevisions=87115174 nbUselessRevisions=70190551
26.10 nbAssignments=112186 nbFailedAssignments=45514 nbBacktracks=66494 nbVisitedNodes=195418 nbRestartNogoods=123
26.10 => wckTime=25.219 cpuTime=25.01 mem=15M989
38.64
38.64 search
38.64 run=20 nbConstraintChecks=232930674 nbPropagations=9420635 nbRevisions=130950346 nbUselessRevisions=105522783
38.64 nbAssignments=168192 nbFailedAssignments=68246 nbBacktracks=99746 nbVisitedNodes=293267 nbRestartNogoods=137
38.64 => wckTime=37.758 cpuTime=37.49 mem=15M989
57.65
57.65 search
57.65 run=21 nbConstraintChecks=352712590 nbPropagations=14151634 nbRevisions=196925605 nbUselessRevisions=158670872
57.65 nbAssignments=251403 nbFailedAssignments=101571 nbBacktracks=149627 nbVisitedNodes=438214 nbRestartNogoods=145
57.65 => wckTime=56.768 cpuTime=56.41 mem=15M989
85.48
85.48 search
85.48 run=22 nbConstraintChecks=526416355 nbPropagations=21204370 nbRevisions=295230710 nbUselessRevisions=237825308
85.48 nbAssignments=375980 nbFailedAssignments=151323 nbBacktracks=224445 nbVisitedNodes=654257 nbRestartNogoods=159
85.48 => wckTime=84.596 cpuTime=84.11 mem=15M989
128.68
128.68 search
128.68 run=23 nbConstraintChecks=798508567 nbPropagations=31827940 nbRevisions=443743998 nbUselessRevisions=357355132
128.68 nbAssignments=564687 nbFailedAssignments=227769 nbBacktracks=336673 nbVisitedNodes=982862 nbRestartNogoods=173
128.68 => wckTime=127.793 cpuTime=127.11 mem=15M989
138.74
138.74 search
138.74 run=24 nbConstraintChecks=862623405 nbPropagations=43283121 nbRevisions=603923522 nbUselessRevisions=486248001
138.74 nbAssignments=608392 nbFailedAssignments=245247 nbBacktracks=362901 nbVisitedNodes=1058574 nbRestartNogoods=182
138.74 => wckTime=137.861 cpuTime=137.13 mem=15M989
138.75
138.75 global
138.75 nbConstraintChecks=862691004 nbPropagations=43284053 nbRevisions=603930770 nbUselessRevisions=486253978
138.75 nbRestartNogoods=182 solvingWckTime=137.863 solvingCpuTime=137.13 expiredTime=no totalExploration=yes
138.75 nbFoundSolutions=0 globalCpuTime=137.57
138.75 => wckTime=138.415 cpuTime=137.52 mem=15M989
138.75
138.75 s UNSATISFIABLE
138.75 d NODES 608392
138.75 d CHECKS 862691004
138.75
138.75 totalWckTime=138.5 totalCpuTime=137.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-202722-1168153719 -o ROOT/results/node34/solver-202722-1168153719 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202722-1168153719/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.93 2.03 1.99 4/75 1013
/proc/meminfo: memFree=1711040/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=1784 CPUtime=0
/proc/1012/stat : 1012 (java) D 1010 1012 437 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 163765621 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/1012/statm: 446 158 123 14 0 91 0
[startup+0.106659 s]
/proc/loadavg: 1.93 2.03 1.99 4/75 1013
/proc/meminfo: memFree=1711040/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=913236 CPUtime=0.08
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 2919 0 1 0 7 1 0 0 17 0 8 0 163765621 935153664 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154155573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228309 2665 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.515691 s]
/proc/loadavg: 1.93 2.03 1.99 4/75 1013
/proc/meminfo: memFree=1711040/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=915328 CPUtime=0.49
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 6604 0 1 0 45 4 0 0 18 0 8 0 163765621 937295872 6343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152820100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228832 6343 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34475 s]
/proc/loadavg: 1.93 2.03 1.99 3/82 1020
/proc/meminfo: memFree=1687176/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=915456 CPUtime=1.32
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 8725 0 1 0 126 6 0 0 24 0 8 0 163765621 937426944 8463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228864 8463 2524 14 0 215334 0
[pid=1012/tid=1014] ppid=1010 vsize=915456 CPUtime=0.03
/proc/1012/task/1014/stat : 1014 (java) S 1010 1012 437 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163765625 937426944 8463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1015] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1015/stat : 1015 (java) S 1010 1012 437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163765626 937426944 8463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1016] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1016/stat : 1016 (java) S 1010 1012 437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163765626 937426944 8463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1017] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1017/stat : 1017 (java) S 1010 1012 437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163765629 937426944 8463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1018] ppid=1010 vsize=915456 CPUtime=0.21
/proc/1012/task/1018/stat : 1018 (java) S 1010 1012 437 0 -1 64 378 0 0 0 21 0 0 0 15 0 8 0 163765629 937426944 8463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1019] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1019/stat : 1019 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163765629 937426944 8463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1020] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1020/stat : 1020 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163765629 937426944 8463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.98888 s]
/proc/loadavg: 1.93 2.03 1.99 3/82 1020
/proc/meminfo: memFree=1686856/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=915456 CPUtime=2.95
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 8769 0 1 0 289 6 0 0 25 0 8 0 163765621 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228864 8506 2524 14 0 215334 0
[pid=1012/tid=1014] ppid=1010 vsize=915456 CPUtime=0.03
/proc/1012/task/1014/stat : 1014 (java) S 1010 1012 437 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 163765625 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1015] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1015/stat : 1015 (java) S 1010 1012 437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163765626 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1016] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1016/stat : 1016 (java) S 1010 1012 437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163765626 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1017] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1017/stat : 1017 (java) S 1010 1012 437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163765629 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1018] ppid=1010 vsize=915456 CPUtime=0.24
/proc/1012/task/1018/stat : 1018 (java) S 1010 1012 437 0 -1 64 392 0 0 0 24 0 0 0 15 0 8 0 163765629 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1019] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1019/stat : 1019 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163765629 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1020] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1020/stat : 1020 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163765629 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.26815 s]
/proc/loadavg: 1.94 2.02 1.99 3/82 1020
/proc/meminfo: memFree=1686792/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=915456 CPUtime=6.21
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 8779 0 1 0 615 6 0 0 25 0 8 0 163765621 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228864 8514 2524 14 0 215334 0
[pid=1012/tid=1014] ppid=1010 vsize=915456 CPUtime=0.03
/proc/1012/task/1014/stat : 1014 (java) S 1010 1012 437 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163765625 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1015] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1015/stat : 1015 (java) S 1010 1012 437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163765626 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1016] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1016/stat : 1016 (java) S 1010 1012 437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163765626 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1017] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1017/stat : 1017 (java) S 1010 1012 437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163765629 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1018] ppid=1010 vsize=915456 CPUtime=0.24
/proc/1012/task/1018/stat : 1018 (java) S 1010 1012 437 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 163765629 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1019] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1019/stat : 1019 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163765629 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1020] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1020/stat : 1020 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163765629 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.7567 s]
/proc/loadavg: 1.94 2.02 1.99 3/82 1020
/proc/meminfo: memFree=1686744/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=915456 CPUtime=12.67
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 8784 0 1 0 1261 6 0 0 25 0 8 0 163765621 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228864 8519 2524 14 0 215334 0
[pid=1012/tid=1014] ppid=1010 vsize=915456 CPUtime=0.03
/proc/1012/task/1014/stat : 1014 (java) S 1010 1012 437 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163765625 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1015] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1015/stat : 1015 (java) S 1010 1012 437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163765626 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1016] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1016/stat : 1016 (java) S 1010 1012 437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163765626 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1017] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1017/stat : 1017 (java) S 1010 1012 437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163765629 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1018] ppid=1010 vsize=915456 CPUtime=0.24
/proc/1012/task/1018/stat : 1018 (java) S 1010 1012 437 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 163765629 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1019] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1019/stat : 1019 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163765629 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1020] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1020/stat : 1020 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163765629 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915456
[startup+25.6037 s]
/proc/loadavg: 1.95 2.02 1.99 3/82 1020
/proc/meminfo: memFree=1686744/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=915456 CPUtime=25.46
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 8787 0 1 0 2540 6 0 0 25 0 8 0 163765621 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228864 8522 2524 14 0 215334 0
[pid=1012/tid=1014] ppid=1010 vsize=915456 CPUtime=0.03
/proc/1012/task/1014/stat : 1014 (java) S 1010 1012 437 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163765625 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1015] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1015/stat : 1015 (java) S 1010 1012 437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163765626 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1016] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1016/stat : 1016 (java) S 1010 1012 437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163765626 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1017] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1017/stat : 1017 (java) S 1010 1012 437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163765629 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1018] ppid=1010 vsize=915456 CPUtime=0.24
/proc/1012/task/1018/stat : 1018 (java) S 1010 1012 437 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 163765629 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1019] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1019/stat : 1019 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163765629 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1020] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1020/stat : 1020 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163765629 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456
[startup+51.2108 s]
/proc/loadavg: 2.04 2.04 2.00 3/82 1020
/proc/meminfo: memFree=1683544/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=915456 CPUtime=50.94
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 8792 0 1 0 5088 6 0 0 25 0 8 0 163765621 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228864 8527 2524 14 0 215334 0
[pid=1012/tid=1014] ppid=1010 vsize=915456 CPUtime=0.03
/proc/1012/task/1014/stat : 1014 (java) S 1010 1012 437 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163765625 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1015] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1015/stat : 1015 (java) S 1010 1012 437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163765626 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1016] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1016/stat : 1016 (java) S 1010 1012 437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163765626 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1017] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1017/stat : 1017 (java) S 1010 1012 437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163765629 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1018] ppid=1010 vsize=915456 CPUtime=0.24
/proc/1012/task/1018/stat : 1018 (java) S 1010 1012 437 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 163765629 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1019] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1019/stat : 1019 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163765629 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1020] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1020/stat : 1020 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163765629 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915456
[startup+102.418 s]
/proc/loadavg: 2.06 2.04 2.00 3/82 1020
/proc/meminfo: memFree=1683416/2055920 swapFree=4192812/4192956
[pid=1012] ppid=1010 vsize=915456 CPUtime=101.91
/proc/1012/stat : 1012 (java) R 1010 1012 437 0 -1 0 8797 0 1 0 10185 6 0 0 25 0 8 0 163765621 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1012/statm: 228864 8532 2524 14 0 215334 0
[pid=1012/tid=1014] ppid=1010 vsize=915456 CPUtime=0.03
/proc/1012/task/1014/stat : 1014 (java) S 1010 1012 437 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163765625 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1015] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1015/stat : 1015 (java) S 1010 1012 437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163765626 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1016] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1016/stat : 1016 (java) S 1010 1012 437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163765626 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1017] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1017/stat : 1017 (java) S 1010 1012 437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163765629 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1018] ppid=1010 vsize=915456 CPUtime=0.24
/proc/1012/task/1018/stat : 1018 (java) S 1010 1012 437 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 163765629 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1019] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1019/stat : 1019 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163765629 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1012/tid=1020] ppid=1010 vsize=915456 CPUtime=0
/proc/1012/task/1020/stat : 1020 (java) S 1010 1012 437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163765629 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 138.814
CPU time (s): 138.093
CPU user time (s): 138.02
CPU system time (s): 0.072988
CPU usage (%): 99.4807
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.02
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8890
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= 3984
involuntary context switches= 5674
runsolver used 0.19397 s user time and 0.432934 s system time
The end
Begin job on node34 on Sun Jan 7 07:08:39 UTC 2007
IDJOB= 202722
IDBENCH= 3878
FILE ID= node34/202722-1168153719
PBS_JOBID= 3478455
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202722-1168153719/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-202722-1168153719 -o ROOT/results/node34/solver-202722-1168153719 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202722-1168153719/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6da4f32a4ed68f8febed201b3b722854
RANDOM SEED= 982104879
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.227
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.227
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: 1711520 kB
Buffers: 22600 kB
Cached: 200236 kB
SwapCached: 0 kB
Active: 177968 kB
Inactive: 100060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1711520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 66224 kB
Slab: 51600 kB
Committed_AS: 2737872 kB
PageTables: 1836 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= 66538 MiB
End job on node34 on Sun Jan 7 07:10:58 UTC 2007