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/221830-1168262480/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.39 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=888 maxDegree=23
0.59 maxArity=2
0.59 => wckTime=0.293 cpuTime=0.23 mem=13M794
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.482 cpuTime=0.35 mem=15M98
0.82
0.82 preprocessing
0.82 nbConstraintChecks=45209 nbPropagations=585 nbRevisions=5571 nbUselessRevisions=4808 nbSingletonTests=30
0.82 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.82 => wckTime=0.04 cpuTime=0.02 mem=15M98
0.84
0.84 search
0.84 run=0 nbConstraintChecks=33176 nbPropagations=1011 nbRevisions=12544 nbUselessRevisions=10829 nbAssignments=29
0.84 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.062 cpuTime=0.04 mem=15M98
0.86
0.86 search
0.86 run=1 nbConstraintChecks=69882 nbPropagations=2498 nbRevisions=32725 nbUselessRevisions=28266 nbAssignments=60
0.86 nbFailedAssignments=25 nbBacktracks=26 nbVisitedNodes=104 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.076 cpuTime=0.05 mem=15M98
0.88
0.88 search
0.88 run=2 nbConstraintChecks=136152 nbPropagations=4807 nbRevisions=66992 nbUselessRevisions=57819
0.88 nbAssignments=113 nbFailedAssignments=48 nbBacktracks=49 nbVisitedNodes=199 nbRestartNogoods=4 mapSize=49
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.096 cpuTime=0.07 mem=15M98
0.90
0.90 search
0.90 run=3 nbConstraintChecks=244914 nbPropagations=8340 nbRevisions=125403 nbUselessRevisions=108233
0.90 nbAssignments=194 nbFailedAssignments=91 nbBacktracks=82 nbVisitedNodes=348 nbRestartNogoods=8 mapSize=81
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.121 cpuTime=0.09 mem=15M98
0.93
0.93 search
0.93 run=4 nbConstraintChecks=418122 nbPropagations=13833 nbRevisions=220316 nbUselessRevisions=190295
0.93 nbAssignments=317 nbFailedAssignments=147 nbBacktracks=133 nbVisitedNodes=556 nbRestartNogoods=18 mapSize=131
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.151 cpuTime=0.12 mem=15M98
0.97
0.97 search
0.97 run=5 nbConstraintChecks=619042 nbPropagations=21739 nbRevisions=358292 nbUselessRevisions=309670
0.97 nbAssignments=475 nbFailedAssignments=214 nbBacktracks=208 nbVisitedNodes=824 nbRestartNogoods=23 mapSize=203
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.19 cpuTime=0.15 mem=15M98
1.02
1.02 search
1.02 run=6 nbConstraintChecks=933875 nbPropagations=33111 nbRevisions=564731 nbUselessRevisions=488386
1.02 nbAssignments=704 nbFailedAssignments=324 nbBacktracks=322 nbVisitedNodes=1253 nbRestartNogoods=27 mapSize=316
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.244 cpuTime=0.2 mem=15M98
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1409472 nbPropagations=49785 nbRevisions=877325 nbUselessRevisions=759201
1.10 nbAssignments=1053 nbFailedAssignments=498 nbBacktracks=493 nbVisitedNodes=1902 nbRestartNogoods=34
1.10 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.322 cpuTime=0.28 mem=15M98
1.23
1.23 search
1.23 run=8 nbConstraintChecks=2136484 nbPropagations=74536 nbRevisions=1350646 nbUselessRevisions=1169037
1.24 nbAssignments=1575 nbFailedAssignments=758 nbBacktracks=751 nbVisitedNodes=2885 nbRestartNogoods=43
1.24 mapSize=738 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.454 cpuTime=0.4 mem=15M98
1.36
1.36 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M98)
1.40
1.40 search
1.40 run=9 nbConstraintChecks=3175384 nbPropagations=110852 nbRevisions=2054962 nbUselessRevisions=1778673
1.40 nbAssignments=2336 nbFailedAssignments=1131 nbBacktracks=1135 nbVisitedNodes=4313 nbRestartNogoods=54
1.40 => wckTime=0.618 cpuTime=0.55 mem=15M98
1.63
1.63 search
1.63 run=10 nbConstraintChecks=4720354 nbPropagations=164621 nbRevisions=3105249 nbUselessRevisions=2688614
1.63 nbAssignments=3478 nbFailedAssignments=1693 nbBacktracks=1711 nbVisitedNodes=6459 nbRestartNogoods=62
1.63 => wckTime=0.85 cpuTime=0.77 mem=15M98
1.96
1.96 search
1.96 run=11 nbConstraintChecks=7146313 nbPropagations=244752 nbRevisions=4691351 nbUselessRevisions=4063525
1.96 nbAssignments=5224 nbFailedAssignments=2571 nbBacktracks=2577 nbVisitedNodes=9726 nbRestartNogoods=70
1.96 => wckTime=1.184 cpuTime=1.11 mem=15M98
2.46
2.46 search
2.46 run=12 nbConstraintChecks=10724626 nbPropagations=364150 nbRevisions=7069053 nbUselessRevisions=6124947
2.46 nbAssignments=7827 nbFailedAssignments=3872 nbBacktracks=3874 nbVisitedNodes=14577 nbRestartNogoods=75
2.46 => wckTime=1.682 cpuTime=1.6 mem=15M98
3.22
3.22 search
3.22 run=13 nbConstraintChecks=16087825 nbPropagations=543187 nbRevisions=10652768 nbUselessRevisions=9233254
3.22 nbAssignments=11772 nbFailedAssignments=5865 nbBacktracks=5820 nbVisitedNodes=21953 nbRestartNogoods=92
3.22 => wckTime=2.441 cpuTime=2.36 mem=15M98
4.31
4.31 search
4.31 run=14 nbConstraintChecks=23806752 nbPropagations=808603 nbRevisions=15953110 nbUselessRevisions=13828817
4.31 nbAssignments=17502 nbFailedAssignments=8672 nbBacktracks=8739 nbVisitedNodes=32641 nbRestartNogoods=95
4.31 => wckTime=3.534 cpuTime=3.45 mem=15M98
6.01
6.01 search
6.01 run=15 nbConstraintChecks=35851984 nbPropagations=1206910 nbRevisions=23935839 nbUselessRevisions=20752656
6.01 nbAssignments=26168 nbFailedAssignments=12957 nbBacktracks=13118 nbVisitedNodes=48888 nbRestartNogoods=103
6.01 => wckTime=5.227 cpuTime=5.13 mem=15M98
8.46
8.46 search
8.46 run=16 nbConstraintChecks=53158738 nbPropagations=1799375 nbRevisions=35801795 nbUselessRevisions=31047571
8.46 nbAssignments=39057 nbFailedAssignments=19273 nbBacktracks=19686 nbVisitedNodes=72963 nbRestartNogoods=114
8.46 => wckTime=7.676 cpuTime=7.57 mem=15M98
12.20
12.20 search
12.20 run=17 nbConstraintChecks=79699899 nbPropagations=2687528 nbRevisions=53601131 nbUselessRevisions=46490525
12.20 nbAssignments=58556 nbFailedAssignments=28915 nbBacktracks=29538 nbVisitedNodes=109471 nbRestartNogoods=131
12.20 => wckTime=11.421 cpuTime=11.3 mem=15M98
17.66
17.66 search
17.66 run=18 nbConstraintChecks=118392980 nbPropagations=4011637 nbRevisions=80133328 nbUselessRevisions=69518146
17.66 nbAssignments=87648 nbFailedAssignments=43225 nbBacktracks=44316 nbVisitedNodes=163702 nbRestartNogoods=147
17.66 => wckTime=16.88 cpuTime=16.73 mem=15M98
26.09
26.09 search
26.09 run=19 nbConstraintChecks=178433813 nbPropagations=6001015 nbRevisions=120108169 nbUselessRevisions=104220046
26.09 nbAssignments=131650 nbFailedAssignments=65054 nbBacktracks=66484 nbVisitedNodes=245800 nbRestartNogoods=162
26.09 => wckTime=25.305 cpuTime=25.12 mem=15M98
38.82
38.83 search
38.83 run=20 nbConstraintChecks=269472532 nbPropagations=8994266 nbRevisions=180356566 nbUselessRevisions=156519488
38.83 nbAssignments=197851 nbFailedAssignments=98000 nbBacktracks=99736 nbVisitedNodes=369650 nbRestartNogoods=181
38.83 => wckTime=38.044 cpuTime=37.81 mem=15M98
58.04
58.04 search
58.04 run=21 nbConstraintChecks=407609569 nbPropagations=13498414 nbRevisions=271223614 nbUselessRevisions=235407106
58.04 nbAssignments=296913 nbFailedAssignments=147179 nbBacktracks=149614 nbVisitedNodes=554845 nbRestartNogoods=193
58.04 => wckTime=57.263 cpuTime=56.93 mem=15M98
87.19
87.19 search
87.19 run=22 nbConstraintChecks=617367558 nbPropagations=20289322 nbRevisions=408595000 nbUselessRevisions=354681900
87.19 nbAssignments=446333 nbFailedAssignments=221765 nbBacktracks=224432 nbVisitedNodes=834593 nbRestartNogoods=206
87.19 => wckTime=86.409 cpuTime=85.93 mem=15M98
131.03
131.03 search
131.03 run=23 nbConstraintChecks=933801324 nbPropagations=30512983 nbRevisions=615957566 nbUselessRevisions=534737420
131.03 nbAssignments=670228 nbFailedAssignments=333428 nbBacktracks=336661 nbVisitedNodes=1253451 nbRestartNogoods=217
131.03 => wckTime=130.245 cpuTime=129.56 mem=15M98
197.54
197.54 search
197.54 run=24 nbConstraintChecks=1417316438 nbPropagations=45916222 nbRevisions=929780851 nbUselessRevisions=807297456
197.54 nbAssignments=1006601 nbFailedAssignments=501456 nbBacktracks=505003 nbVisitedNodes=1883067
197.54 nbRestartNogoods=227
197.54 => wckTime=196.762 cpuTime=195.79 mem=15M98
217.89
217.89 search
217.89 run=25 nbConstraintChecks=1565889005 nbPropagations=62893911 nbRevisions=1276254634
217.89 nbUselessRevisions=1108247853 nbAssignments=1107913 nbFailedAssignments=552398 nbBacktracks=555374
217.89 nbVisitedNodes=2073122 nbRestartNogoods=241
217.89 => wckTime=217.105 cpuTime=216.04 mem=15M98
217.89
217.89 global
217.89 nbConstraintChecks=1565934214 nbPropagations=62894496 nbRevisions=1276260205 nbUselessRevisions=1108252661
217.89 nbRestartNogoods=241 solvingWckTime=217.107 solvingCpuTime=216.04 expiredTime=no totalExploration=yes
217.89 nbFoundSolutions=0 globalCpuTime=216.43
217.89 => wckTime=217.591 cpuTime=216.39 mem=15M98
217.89
217.89 s UNSATISFIABLE
217.89 d NODES 1107913
217.89 d CHECKS 1565934214
217.89
217.89 totalWckTime=217.674 totalCpuTime=216.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-221830-1168262480 -o ROOT/results/node12/solver-221830-1168262480 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221830-1168262480/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.89 1.98 1.94 4/86 25268
/proc/meminfo: memFree=1798952/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=172 CPUtime=0
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 174643083 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9696036 0 0 4096 0 0 0 0 17 0 0 0
/proc/25267/statm: 55 31 25 14 0 3 0
[startup+0.1084 s]
/proc/loadavg: 1.89 1.98 1.94 4/86 25268
/proc/meminfo: memFree=1798952/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=914988 CPUtime=0.09
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 3084 0 1 0 8 1 0 0 22 0 8 0 174643083 936947712 2830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228747 2830 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516474 s]
/proc/loadavg: 1.89 1.98 1.94 4/86 25268
/proc/meminfo: memFree=1798952/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915328 CPUtime=0.48
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 7060 0 1 0 45 3 0 0 25 0 8 0 174643083 937295872 6799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073663364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228832 6799 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33962 s]
/proc/loadavg: 1.89 1.98 1.94 3/93 25275
/proc/meminfo: memFree=1775024/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915452 CPUtime=1.31
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 8729 0 1 0 126 5 0 0 25 0 8 0 174643083 937422848 8467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228863 8467 2524 14 0 215333 0
[pid=25267/tid=25269] ppid=25265 vsize=915452 CPUtime=0.03
/proc/25267/task/25269/stat : 25269 (java) S 25265 25267 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174643087 937422848 8467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25270] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25270/stat : 25270 (java) S 25265 25267 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174643087 937422848 8467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25271] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25265 25267 24336 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174643087 937422848 8467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25265 25267 24336 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174643090 937422848 8467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25273] ppid=25265 vsize=915452 CPUtime=0.19
/proc/25267/task/25273/stat : 25273 (java) S 25265 25267 24336 0 -1 64 385 0 0 0 19 0 0 0 15 0 8 0 174643090 937422848 8467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25274] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25274/stat : 25274 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174643090 937422848 8467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25275] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25275/stat : 25275 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174643090 937422848 8467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97792 s]
/proc/loadavg: 1.89 1.98 1.94 3/93 25275
/proc/meminfo: memFree=1774768/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915452 CPUtime=2.93
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 8748 0 1 0 288 5 0 0 25 0 8 0 174643083 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787782 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228863 8485 2524 14 0 215333 0
[pid=25267/tid=25269] ppid=25265 vsize=915452 CPUtime=0.03
/proc/25267/task/25269/stat : 25269 (java) S 25265 25267 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174643087 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25270] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25270/stat : 25270 (java) S 25265 25267 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174643087 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25271] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25265 25267 24336 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174643087 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25265 25267 24336 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174643090 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25273] ppid=25265 vsize=915452 CPUtime=0.2
/proc/25267/task/25273/stat : 25273 (java) S 25265 25267 24336 0 -1 64 391 0 0 0 20 0 0 0 15 0 8 0 174643090 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25274] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25274/stat : 25274 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174643090 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25275] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25275/stat : 25275 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174643090 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.27151 s]
/proc/loadavg: 1.90 1.98 1.94 3/93 25275
/proc/meminfo: memFree=1774704/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915452 CPUtime=6.21
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 8756 0 1 0 616 5 0 0 25 0 8 0 174643083 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228863 8492 2524 14 0 215333 0
[pid=25267/tid=25269] ppid=25265 vsize=915452 CPUtime=0.03
/proc/25267/task/25269/stat : 25269 (java) S 25265 25267 24336 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 174643087 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25270] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25270/stat : 25270 (java) S 25265 25267 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174643087 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25271] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25265 25267 24336 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174643087 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25265 25267 24336 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174643090 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25273] ppid=25265 vsize=915452 CPUtime=0.2
/proc/25267/task/25273/stat : 25273 (java) S 25265 25267 24336 0 -1 64 391 0 0 0 20 0 0 0 16 0 8 0 174643090 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25274] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25274/stat : 25274 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174643090 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25275] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25275/stat : 25275 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174643090 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915452
[startup+12.7497 s]
/proc/loadavg: 1.91 1.98 1.94 3/93 25275
/proc/meminfo: memFree=1774712/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915452 CPUtime=12.66
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 8761 0 1 0 1261 5 0 0 25 0 8 0 174643083 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809817 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228863 8497 2524 14 0 215333 0
[pid=25267/tid=25269] ppid=25265 vsize=915452 CPUtime=0.03
/proc/25267/task/25269/stat : 25269 (java) S 25265 25267 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174643087 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25270] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25270/stat : 25270 (java) S 25265 25267 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174643087 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25271] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25265 25267 24336 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174643087 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25265 25267 24336 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174643090 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25273] ppid=25265 vsize=915452 CPUtime=0.2
/proc/25267/task/25273/stat : 25273 (java) S 25265 25267 24336 0 -1 64 391 0 0 0 20 0 0 0 16 0 8 0 174643090 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25274] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25274/stat : 25274 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174643090 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25275] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25275/stat : 25275 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174643090 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452
[startup+25.599 s]
/proc/loadavg: 1.93 1.98 1.94 3/93 25275
/proc/meminfo: memFree=1774712/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915452 CPUtime=25.45
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 8763 0 1 0 2540 5 0 0 25 0 8 0 174643083 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228863 8499 2524 14 0 215333 0
[pid=25267/tid=25269] ppid=25265 vsize=915452 CPUtime=0.03
/proc/25267/task/25269/stat : 25269 (java) S 25265 25267 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174643087 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25270] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25270/stat : 25270 (java) S 25265 25267 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174643087 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25271] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25265 25267 24336 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174643087 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25265 25267 24336 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174643090 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25273] ppid=25265 vsize=915452 CPUtime=0.2
/proc/25267/task/25273/stat : 25273 (java) S 25265 25267 24336 0 -1 64 391 0 0 0 20 0 0 0 16 0 8 0 174643090 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25274] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25274/stat : 25274 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174643090 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25275] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25275/stat : 25275 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174643090 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915452
[startup+51.2036 s]
/proc/loadavg: 2.03 2.00 1.94 4/93 25275
/proc/meminfo: memFree=1774648/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915452 CPUtime=50.93
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 8768 0 1 0 5088 5 0 0 25 0 8 0 174643083 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228863 8504 2524 14 0 215333 0
[pid=25267/tid=25269] ppid=25265 vsize=915452 CPUtime=0.03
/proc/25267/task/25269/stat : 25269 (java) S 25265 25267 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174643087 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25270] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25270/stat : 25270 (java) S 25265 25267 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174643087 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25271] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25265 25267 24336 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174643087 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25265 25267 24336 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174643090 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25273] ppid=25265 vsize=915452 CPUtime=0.2
/proc/25267/task/25273/stat : 25273 (java) S 25265 25267 24336 0 -1 64 391 0 0 0 20 0 0 0 16 0 8 0 174643090 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25274] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25274/stat : 25274 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174643090 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25275] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25275/stat : 25275 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174643090 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915452
[startup+102.408 s]
/proc/loadavg: 2.01 2.00 1.94 3/93 25275
/proc/meminfo: memFree=1774648/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915452 CPUtime=101.91
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 8773 0 1 0 10185 6 0 0 25 0 8 0 174643083 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228863 8509 2524 14 0 215333 0
[pid=25267/tid=25269] ppid=25265 vsize=915452 CPUtime=0.03
/proc/25267/task/25269/stat : 25269 (java) S 25265 25267 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174643087 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25270] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25270/stat : 25270 (java) S 25265 25267 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174643087 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25271] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25265 25267 24336 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174643087 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25265 25267 24336 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174643090 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25273] ppid=25265 vsize=915452 CPUtime=0.2
/proc/25267/task/25273/stat : 25273 (java) S 25265 25267 24336 0 -1 64 391 0 0 0 20 0 0 0 16 0 8 0 174643090 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25274] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25274/stat : 25274 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174643090 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25275] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25275/stat : 25275 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174643090 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915452
[startup+162.449 s]
/proc/loadavg: 2.08 2.02 1.95 3/93 25275
/proc/meminfo: memFree=1774584/2055920 swapFree=4160348/4192956
[pid=25267] ppid=25265 vsize=915452 CPUtime=161.68
/proc/25267/stat : 25267 (java) R 25265 25267 24336 0 -1 0 8776 0 1 0 16162 6 0 0 25 0 8 0 174643083 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25267/statm: 228863 8512 2524 14 0 215333 0
[pid=25267/tid=25269] ppid=25265 vsize=915452 CPUtime=0.03
/proc/25267/task/25269/stat : 25269 (java) S 25265 25267 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174643087 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25270] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25270/stat : 25270 (java) S 25265 25267 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174643087 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25271] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25265 25267 24336 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174643087 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25265 25267 24336 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174643090 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25273] ppid=25265 vsize=915452 CPUtime=0.2
/proc/25267/task/25273/stat : 25273 (java) S 25265 25267 24336 0 -1 64 391 0 0 0 20 0 0 0 16 0 8 0 174643090 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25274] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25274/stat : 25274 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174643090 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25267/tid=25275] ppid=25265 vsize=915452 CPUtime=0
/proc/25267/task/25275/stat : 25275 (java) S 25265 25267 24336 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174643090 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 217.906
CPU time (s): 216.885
CPU user time (s): 216.817
CPU system time (s): 0.067989
CPU usage (%): 99.5315
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.817
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= 8871
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= 5568
involuntary context switches= 9302
runsolver used 0.279957 s user time and 0.698893 s system time
The end
Begin job on node12 on Mon Jan 8 13:21:20 UTC 2007
IDJOB= 221830
IDBENCH= 5469
FILE ID= node12/221830-1168262480
PBS_JOBID= 3482427
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-57021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221830-1168262480/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-221830-1168262480 -o ROOT/results/node12/solver-221830-1168262480 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221830-1168262480/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 656731a78971893f85baaac0920e1a7e
RANDOM SEED= 488169280
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.265
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.265
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: 1799368 kB
Buffers: 46604 kB
Cached: 123908 kB
SwapCached: 5132 kB
Active: 123244 kB
Inactive: 83340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1799368 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 48804 kB
Slab: 35036 kB
Committed_AS: 4975504 kB
PageTables: 2040 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66324 MiB
End job on node12 on Mon Jan 8 13:24:58 UTC 2007