0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/239782-1168367436/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.50 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.50 => wckTime=0.155 cpuTime=0.12 mem=7M894
0.50
0.50 relations being loaded...
0.50
0.50 constraints being loaded...
0.87 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.87 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.87 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.87 => wckTime=0.524 cpuTime=0.37 mem=23M497
0.94
0.94 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.798 cpuTime=0.53 mem=18M158
1.29
1.29 preprocessing
1.29 nbConstraintChecks=76588 nbPropagations=1954 nbRevisions=18848 nbUselessRevisions=14759 nbSingletonTests=427
1.29 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=2681 detectedInconsistency=no
1.29 => wckTime=0.145 cpuTime=0.11 mem=18M158
1.33
1.33 search
1.33 run=0 nbConstraintChecks=7839 nbPropagations=2280 nbRevisions=23843 nbUselessRevisions=19189 nbAssignments=43
1.33 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=4 nbInferences=0
1.33 nbTooLargeKeys=0
1.33 => wckTime=0.188 cpuTime=0.15 mem=19M150
1.36
1.36 search
1.36 run=1 nbConstraintChecks=18997 nbPropagations=5000 nbRevisions=55043 nbUselessRevisions=44952
1.36 nbAssignments=101 nbFailedAssignments=9 nbBacktracks=30 nbVisitedNodes=120 nbRestartNogoods=2 mapSize=14
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.212 cpuTime=0.17 mem=19M150
1.39
1.39 search
1.39 run=2 nbConstraintChecks=32345 nbPropagations=8406 nbRevisions=94341 nbUselessRevisions=77802
1.39 nbAssignments=207 nbFailedAssignments=15 nbBacktracks=60 nbVisitedNodes=194 nbRestartNogoods=4 mapSize=28
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.241 cpuTime=0.2 mem=19M150
1.42
1.42 search
1.42 run=3 nbConstraintChecks=41859 nbPropagations=12275 nbRevisions=139746 nbUselessRevisions=116019
1.42 nbAssignments=305 nbFailedAssignments=24 nbBacktracks=101 nbVisitedNodes=305 nbRestartNogoods=5 mapSize=37
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.271 cpuTime=0.23 mem=19M150
1.47
1.47 search
1.47 run=4 nbConstraintChecks=63783 nbPropagations=17326 nbRevisions=198653 nbUselessRevisions=166152
1.47 nbAssignments=514 nbFailedAssignments=33 nbBacktracks=153 nbVisitedNodes=410 nbRestartNogoods=9 mapSize=50
1.47 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.322 cpuTime=0.28 mem=19M150
1.51
1.51 search
1.51 run=5 nbConstraintChecks=92440 nbPropagations=23366 nbRevisions=277312 nbUselessRevisions=234007
1.51 nbAssignments=642 nbFailedAssignments=47 nbBacktracks=235 nbVisitedNodes=562 nbRestartNogoods=10 mapSize=72
1.51 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.367 cpuTime=0.32 mem=19M150
1.57
1.57 search
1.57 run=6 nbConstraintChecks=134887 nbPropagations=30853 nbRevisions=384907 nbUselessRevisions=327689
1.58 nbAssignments=831 nbFailedAssignments=76 nbBacktracks=353 nbVisitedNodes=818 nbRestartNogoods=12 mapSize=134
1.58 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.43 cpuTime=0.38 mem=19M150
1.67
1.67 search
1.67 run=7 nbConstraintChecks=187435 nbPropagations=40459 nbRevisions=526495 nbUselessRevisions=451358
1.67 nbAssignments=1148 nbFailedAssignments=102 nbBacktracks=528 nbVisitedNodes=1098 nbRestartNogoods=17
1.67 mapSize=191 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.522 cpuTime=0.47 mem=19M150
1.77
1.77 search
1.77 run=8 nbConstraintChecks=246388 nbPropagations=52245 nbRevisions=708291 nbUselessRevisions=610821
1.77 nbAssignments=1530 nbFailedAssignments=163 nbBacktracks=784 nbVisitedNodes=1593 nbRestartNogoods=19
1.77 mapSize=297 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.629 cpuTime=0.57 mem=20M125
1.94
1.94 search
1.94 run=9 nbConstraintChecks=325261 nbPropagations=67500 nbRevisions=942290 nbUselessRevisions=816857
1.94 nbAssignments=2193 nbFailedAssignments=208 nbBacktracks=1193 nbVisitedNodes=2171 nbRestartNogoods=26
1.94 mapSize=383 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.79 cpuTime=0.72 mem=20M125
2.12
2.12 search
2.12 run=10 nbConstraintChecks=432182 nbPropagations=86470 nbRevisions=1248510 nbUselessRevisions=1087416
2.12 nbAssignments=2870 nbFailedAssignments=267 nbBacktracks=1788 nbVisitedNodes=2976 nbRestartNogoods=29
2.12 mapSize=506 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=0.977 cpuTime=0.89 mem=20M125
2.38
2.38 search
2.38 run=11 nbConstraintChecks=601637 nbPropagations=111393 nbRevisions=1671225 nbUselessRevisions=1462349
2.38 nbAssignments=3907 nbFailedAssignments=387 nbBacktracks=2664 nbVisitedNodes=4271 nbRestartNogoods=31
2.38 mapSize=745 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=1.232 cpuTime=1.14 mem=21M100
2.67
2.67 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=22M75)
2.73
2.73 search
2.73 run=12 nbConstraintChecks=847819 nbPropagations=144792 nbRevisions=2262365 nbUselessRevisions=1988057
2.73 nbAssignments=5430 nbFailedAssignments=550 nbBacktracks=3961 nbVisitedNodes=6116 nbRestartNogoods=35
2.73 => wckTime=1.584 cpuTime=1.49 mem=22M75
3.21
3.21 search
3.21 run=13 nbConstraintChecks=1245373 nbPropagations=191933 nbRevisions=3119133 nbUselessRevisions=2750001
3.21 nbAssignments=7723 nbFailedAssignments=807 nbBacktracks=5908 nbVisitedNodes=8901 nbRestartNogoods=42
3.21 => wckTime=2.068 cpuTime=1.97 mem=22M75
4.15
4.15 search
4.15 run=14 nbConstraintChecks=2046525 nbPropagations=271263 nbRevisions=4497361 nbUselessRevisions=3971294
4.15 nbAssignments=11624 nbFailedAssignments=1648 nbBacktracks=8851 nbVisitedNodes=14349 nbRestartNogoods=49
4.15 => wckTime=3.01 cpuTime=2.9 mem=22M75
5.37
5.37 search
5.37 run=15 nbConstraintChecks=3226227 nbPropagations=388477 nbRevisions=6690976 nbUselessRevisions=5925286
5.37 nbAssignments=16715 nbFailedAssignments=2285 nbBacktracks=13241 nbVisitedNodes=20832 nbRestartNogoods=52
5.37 => wckTime=4.227 cpuTime=4.12 mem=22M75
7.48
7.48 search
7.48 run=16 nbConstraintChecks=5385154 nbPropagations=574291 nbRevisions=10392551 nbUselessRevisions=9239945
7.48 nbAssignments=24524 nbFailedAssignments=3427 nbBacktracks=19827 nbVisitedNodes=31042 nbRestartNogoods=61
7.48 => wckTime=6.335 cpuTime=6.21 mem=22M75
10.94
10.94 search
10.94 run=17 nbConstraintChecks=9041816 nbPropagations=876837 nbRevisions=16598920 nbUselessRevisions=14800161
10.94 nbAssignments=36675 nbFailedAssignments=5685 nbBacktracks=29688 nbVisitedNodes=47776 nbRestartNogoods=69
10.94 => wckTime=9.791 cpuTime=9.65 mem=22M75
16.21
16.21 search
16.21 run=18 nbConstraintChecks=14784974 nbPropagations=1358824 nbRevisions=26846987 nbUselessRevisions=24007159
16.21 nbAssignments=55028 nbFailedAssignments=9130 nbBacktracks=44472 nbVisitedNodes=73088 nbRestartNogoods=78
16.21 => wckTime=15.065 cpuTime=14.9 mem=22M75
24.21
24.21 search
24.21 run=19 nbConstraintChecks=23391168 nbPropagations=2109876 nbRevisions=43016024 nbUselessRevisions=38527922
24.21 nbAssignments=82259 nbFailedAssignments=14169 nbBacktracks=66642 nbVisitedNodes=110545 nbRestartNogoods=84
24.21 => wckTime=23.065 cpuTime=22.86 mem=22M75
34.80
34.80 search
34.80 run=20 nbConstraintChecks=34122264 nbPropagations=3215283 nbRevisions=66529989 nbUselessRevisions=59628739
34.80 nbAssignments=122816 nbFailedAssignments=21439 nbBacktracks=99909 nbVisitedNodes=166226 nbRestartNogoods=91
34.80 => wckTime=33.653 cpuTime=33.4 mem=22M75
52.31
52.31 search
52.31 run=21 nbConstraintChecks=52492017 nbPropagations=4919364 nbRevisions=102655520 nbUselessRevisions=92034939
52.31 nbAssignments=183930 nbFailedAssignments=32650 nbBacktracks=149789 nbVisitedNodes=250652 nbRestartNogoods=95
52.31 => wckTime=51.167 cpuTime=50.82 mem=22M75
77.33
77.33 search
77.33 run=22 nbConstraintChecks=78386120 nbPropagations=7464920 nbRevisions=156608946 nbUselessRevisions=140436015
77.33 nbAssignments=274997 nbFailedAssignments=48883 nbBacktracks=224610 nbVisitedNodes=375889 nbRestartNogoods=103
77.33 => wckTime=76.184 cpuTime=75.72 mem=22M75
116.61
116.61 search
116.61 run=23 nbConstraintChecks=119313736 nbPropagations=11354133 nbRevisions=238380931 nbUselessRevisions=213690162
116.61 nbAssignments=416315 nbFailedAssignments=77944 nbBacktracks=336839 nbVisitedNodes=573542 nbRestartNogoods=110
116.61 => wckTime=115.461 cpuTime=114.81 mem=22M75
153.94
153.94 search
153.94 run=24 nbConstraintChecks=158900294 nbPropagations=16530673 nbRevisions=347039070 nbUselessRevisions=311000397
153.94 nbAssignments=548263 nbFailedAssignments=102971 nbBacktracks=443360 nbVisitedNodes=758004 nbRestartNogoods=123
153.94 => wckTime=152.799 cpuTime=151.98 mem=22M75
153.94
153.94 global
153.94 nbConstraintChecks=158976882 nbPropagations=16532627 nbRevisions=347057918 nbUselessRevisions=311015156
153.94 nbRestartNogoods=123 solvingWckTime=152.8 solvingCpuTime=151.98 expiredTime=no totalExploration=no
153.95 nbFoundSolutions=1 globalCpuTime=152.57
153.95 => wckTime=153.603 cpuTime=152.51 mem=22M75
153.95
153.95 s SATISFIABLE
153.95 v 16 10 19 6 2 1 18 4 12 0 14 17 15 3 13 9 7 5 8 11 17 6 4 10 8 9 0 11 7 1 19 2 18 5 12 3 16 13 14 15 10 16 6 18 12 2 5 17 9 13 4 3 8 14 7 19 15 0 11 1 18 17 13 1 3 16 7 6 11 9 12 15 4 0 10 2 8 14 19 5 5 14 9 13 19 10 6 3 18 17 16 4 2 11 8 12 0 15 1 7 9 18 12 15 11 8 13 5 3 14 0 6 1 2 17 7 4 16 10 19 1 9 2 17 16 3 19 7 15 4 18 13 6 8 14 11 12 10 5 0 13 3 5 16 15 17 1 10 0 2 7 11 12 9 18 14 19 6 4 8 2 12 10 11 5 19 14 0 1 8 3 16 7 6 4 17 9 18 15 13 0 11 14 4 18 7 8 1 13 19 2 12 16 15 5 10 17 9 6 3 19 8 1 0 4 6 12 9 10 15 17 5 3 16 11 13 14 7 2 18 12 19 18 7 6 0 9 8 5 11 15 14 10 4 2 16 3 1 13 17 4 7 15 19 1 11 2 16 14 12 6 0 5 13 9 8 18 17 3 10 7 2 0 12 14 15 3 13 6 10 9 8 17 19 16 1 5 11 18 4 14 15 3 2 13 12 16 18 4 5 11 9 19 17 1 0 10 8 7 6 8 5 11 9 0 13 4 12 16 3 10 7 14 18 6 15 1 19 17 2 3 4 8 5 9 14 10 19 17 7 1 18 13 12 15 6 11 2 0 16 11 0 7 3 17 4 15 2 8 6 5 1 9 10 19 18 13 12 16 14 15 1 17 8 10 18 11 14 2 16 13 19 0 7 3 5 6 4 9 12 6 13 16 14 7 5 17 15 19 18 8 10 11 1 0 4 2 3 12 9
153.95 d NODES 548263
153.95 d CHECKS 158976882
153.95
153.95 totalWckTime=153.687 totalCpuTime=152.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-239782-1168367436 -o ROOT/results/node15/solver-239782-1168367436 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239782-1168367436/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.45 1.54 1.78 4/86 22081
/proc/meminfo: memFree=1744344/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=18540 CPUtime=0
/proc/22080/stat : 22080 (runsolver) D 22078 22080 21942 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 185138443 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/22080/statm: 4635 279 244 17 0 2626 0
[startup+0.103393 s]
/proc/loadavg: 1.45 1.54 1.78 4/86 22081
/proc/meminfo: memFree=1744344/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=911488 CPUtime=0.06
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 2575 0 1 0 5 1 0 0 20 0 8 0 185138443 933363712 2322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 227872 2322 1266 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.51146 s]
/proc/loadavg: 1.45 1.54 1.78 4/86 22081
/proc/meminfo: memFree=1744344/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=915328 CPUtime=0.47
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 6381 0 1 0 43 4 0 0 18 0 8 0 185138443 937295872 6120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 228832 6120 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.3346 s]
/proc/loadavg: 1.45 1.54 1.78 4/93 22088
/proc/meminfo: memFree=1708512/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=915676 CPUtime=1.28
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 11705 0 1 0 119 9 0 0 23 0 8 0 185138443 937652224 11443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 228919 11443 2524 14 0 215389 0
[pid=22080/tid=22082] ppid=22078 vsize=915676 CPUtime=0.06
/proc/22080/task/22082/stat : 22082 (java) S 22078 22080 21942 0 -1 64 841 0 0 0 6 0 0 0 16 0 8 0 185138449 937652224 11443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22083] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22083/stat : 22083 (java) S 22078 22080 21942 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22084] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22084/stat : 22084 (java) S 22078 22080 21942 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22085] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22085/stat : 22085 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185138453 937652224 11443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22086] ppid=22078 vsize=915676 CPUtime=0.27
/proc/22080/task/22086/stat : 22086 (java) S 22078 22080 21942 0 -1 64 466 0 0 0 25 2 0 0 15 0 8 0 185138453 937652224 11443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22087] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22087/stat : 22087 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185138453 937652224 11443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22088] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22088/stat : 22088 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185138453 937652224 11443 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) 915676
[startup+2.98789 s]
/proc/loadavg: 1.45 1.54 1.78 3/93 22088
/proc/meminfo: memFree=1708256/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=915676 CPUtime=2.93
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 11725 0 1 0 284 9 0 0 25 0 8 0 185138443 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073941284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 228919 11462 2524 14 0 215389 0
[pid=22080/tid=22082] ppid=22078 vsize=915676 CPUtime=0.06
/proc/22080/task/22082/stat : 22082 (java) S 22078 22080 21942 0 -1 64 841 0 0 0 6 0 0 0 17 0 8 0 185138449 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22083] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22083/stat : 22083 (java) S 22078 22080 21942 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22084] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22084/stat : 22084 (java) S 22078 22080 21942 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22085] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22085/stat : 22085 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185138453 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22086] ppid=22078 vsize=915676 CPUtime=0.32
/proc/22080/task/22086/stat : 22086 (java) S 22078 22080 21942 0 -1 64 485 0 0 0 30 2 0 0 15 0 8 0 185138453 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22087] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22087/stat : 22087 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185138453 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22088] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22088/stat : 22088 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185138453 937652224 11462 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) 915676
[startup+6.27446 s]
/proc/loadavg: 1.49 1.54 1.78 3/93 22088
/proc/meminfo: memFree=1708200/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=915676 CPUtime=6.2
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 11729 0 1 0 611 9 0 0 25 0 8 0 185138443 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 228919 11464 2524 14 0 215389 0
[pid=22080/tid=22082] ppid=22078 vsize=915676 CPUtime=0.06
/proc/22080/task/22082/stat : 22082 (java) S 22078 22080 21942 0 -1 64 841 0 0 0 6 0 0 0 16 0 8 0 185138449 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22083] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22083/stat : 22083 (java) S 22078 22080 21942 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22084] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22084/stat : 22084 (java) S 22078 22080 21942 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22085] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22085/stat : 22085 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185138453 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22086] ppid=22078 vsize=915676 CPUtime=0.32
/proc/22080/task/22086/stat : 22086 (java) S 22078 22080 21942 0 -1 64 488 0 0 0 30 2 0 0 16 0 8 0 185138453 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22087] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22087/stat : 22087 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185138453 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22088] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22088/stat : 22088 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185138453 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915676
[startup+12.7676 s]
/proc/loadavg: 1.61 1.57 1.79 3/93 22088
/proc/meminfo: memFree=1708200/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=915676 CPUtime=12.66
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 11729 0 1 0 1257 9 0 0 25 0 8 0 185138443 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 228919 11464 2524 14 0 215389 0
[pid=22080/tid=22082] ppid=22078 vsize=915676 CPUtime=0.06
/proc/22080/task/22082/stat : 22082 (java) S 22078 22080 21942 0 -1 64 841 0 0 0 6 0 0 0 16 0 8 0 185138449 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22083] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22083/stat : 22083 (java) S 22078 22080 21942 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22084] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22084/stat : 22084 (java) S 22078 22080 21942 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22085] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22085/stat : 22085 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185138453 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22086] ppid=22078 vsize=915676 CPUtime=0.32
/proc/22080/task/22086/stat : 22086 (java) S 22078 22080 21942 0 -1 64 488 0 0 0 30 2 0 0 16 0 8 0 185138453 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22087] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22087/stat : 22087 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185138453 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22088] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22088/stat : 22088 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185138453 937652224 11464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915676
[startup+25.6318 s]
/proc/loadavg: 1.78 1.60 1.80 3/93 22088
/proc/meminfo: memFree=1708264/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=915676 CPUtime=25.46
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 11731 0 1 0 2537 9 0 0 25 0 8 0 185138443 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 228919 11465 2524 14 0 215389 0
[pid=22080/tid=22082] ppid=22078 vsize=915676 CPUtime=0.06
/proc/22080/task/22082/stat : 22082 (java) S 22078 22080 21942 0 -1 64 841 0 0 0 6 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22083] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22083/stat : 22083 (java) S 22078 22080 21942 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22084] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22084/stat : 22084 (java) S 22078 22080 21942 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22085] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22085/stat : 22085 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22086] ppid=22078 vsize=915676 CPUtime=0.32
/proc/22080/task/22086/stat : 22086 (java) S 22078 22080 21942 0 -1 64 489 0 0 0 30 2 0 0 16 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22087] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22087/stat : 22087 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22088] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22088/stat : 22088 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 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) 915676
[startup+51.2652 s]
/proc/loadavg: 1.85 1.63 1.80 4/93 22088
/proc/meminfo: memFree=1708392/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=915676 CPUtime=50.97
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 11731 0 1 0 5088 9 0 0 25 0 8 0 185138443 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 228919 11465 2524 14 0 215389 0
[pid=22080/tid=22082] ppid=22078 vsize=915676 CPUtime=0.06
/proc/22080/task/22082/stat : 22082 (java) S 22078 22080 21942 0 -1 64 841 0 0 0 6 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22083] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22083/stat : 22083 (java) S 22078 22080 21942 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22084] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22084/stat : 22084 (java) S 22078 22080 21942 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22085] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22085/stat : 22085 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22086] ppid=22078 vsize=915676 CPUtime=0.32
/proc/22080/task/22086/stat : 22086 (java) S 22078 22080 21942 0 -1 64 489 0 0 0 30 2 0 0 16 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22087] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22087/stat : 22087 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22088] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22088/stat : 22088 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915676
[startup+102.523 s]
/proc/loadavg: 1.93 1.69 1.81 3/93 22088
/proc/meminfo: memFree=1708456/2055920 swapFree=4174172/4192956
[pid=22080] ppid=22078 vsize=915676 CPUtime=101.99
/proc/22080/stat : 22080 (java) R 22078 22080 21942 0 -1 0 11731 0 1 0 10189 10 0 0 25 0 8 0 185138443 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073970959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22080/statm: 228919 11465 2524 14 0 215389 0
[pid=22080/tid=22082] ppid=22078 vsize=915676 CPUtime=0.06
/proc/22080/task/22082/stat : 22082 (java) S 22078 22080 21942 0 -1 64 841 0 0 0 6 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22083] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22083/stat : 22083 (java) S 22078 22080 21942 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22084] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22084/stat : 22084 (java) S 22078 22080 21942 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185138449 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22085] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22085/stat : 22085 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22086] ppid=22078 vsize=915676 CPUtime=0.33
/proc/22080/task/22086/stat : 22086 (java) S 22078 22080 21942 0 -1 64 489 0 0 0 31 2 0 0 16 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22087] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22087/stat : 22087 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22080/tid=22088] ppid=22078 vsize=915676 CPUtime=0
/proc/22080/task/22088/stat : 22088 (java) S 22078 22080 21942 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185138453 937652224 11465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 154.005
CPU time (s): 153.192
CPU user time (s): 153.077
CPU system time (s): 0.114982
CPU usage (%): 99.4716
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.077
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11741
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= 4488
involuntary context switches= 9042
runsolver used 0.182972 s user time and 0.514921 s system time
The end
Begin job on node15 on Tue Jan 9 18:30:36 UTC 2007
IDJOB= 239782
IDBENCH= 7083
FILE ID= node15/239782-1168367436
PBS_JOBID= 3503808
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239782-1168367436/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-239782-1168367436 -o ROOT/results/node15/solver-239782-1168367436 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239782-1168367436/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0d21f0d3094822e89cb44027baa92abc
RANDOM SEED= 338744149
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.276
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.276
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: 1744760 kB
Buffers: 56012 kB
Cached: 152128 kB
SwapCached: 6400 kB
Active: 173512 kB
Inactive: 81540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1744760 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2540 kB
Writeback: 0 kB
Mapped: 59676 kB
Slab: 40844 kB
Committed_AS: 5820124 kB
PageTables: 2372 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= 66558 MiB
End job on node15 on Tue Jan 9 18:33:10 UTC 2007