0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/217182-1168244501/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=45 nbDomainTypes=1 minDomainSize=21 maxDomainSize=21
0.42 => wckTime=0.105 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.56
0.56 constraints being loaded...
0.68 nbConstraints=394 nbRelationTypes=394 nbExtensionStructures=394 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=394 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2167 maxDegree=25
0.68 maxArity=2
0.68 => wckTime=0.366 cpuTime=0.26 mem=14M819
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.577 cpuTime=0.39 mem=15M327
0.95
0.95 preprocessing
0.95 nbConstraintChecks=87327 nbPropagations=1031 nbRevisions=8466 nbUselessRevisions=7034 nbSingletonTests=54
0.95 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.95 => wckTime=0.057 cpuTime=0.04 mem=15M327
0.98
0.98 search
0.98 run=0 nbConstraintChecks=41784 nbPropagations=1582 nbRevisions=15344 nbUselessRevisions=12612 nbAssignments=28
0.98 nbFailedAssignments=7 nbBacktracks=15 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.086 cpuTime=0.06 mem=15M327
1.00
1.00 search
1.00 run=1 nbConstraintChecks=85826 nbPropagations=3750 nbRevisions=38261 nbUselessRevisions=31461 nbAssignments=61
1.00 nbFailedAssignments=19 nbBacktracks=30 nbVisitedNodes=95 nbRestartNogoods=1 mapSize=25 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.105 cpuTime=0.07 mem=15M327
1.02
1.02 search
1.02 run=2 nbConstraintChecks=157035 nbPropagations=6827 nbRevisions=73669 nbUselessRevisions=60517
1.02 nbAssignments=111 nbFailedAssignments=38 nbBacktracks=53 nbVisitedNodes=176 nbRestartNogoods=2 mapSize=45
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.121 cpuTime=0.08 mem=15M327
1.03
1.03 search
1.03 run=3 nbConstraintChecks=238323 nbPropagations=10956 nbRevisions=123315 nbUselessRevisions=101108
1.03 nbAssignments=172 nbFailedAssignments=57 nbBacktracks=86 nbVisitedNodes=273 nbRestartNogoods=5 mapSize=73
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.138 cpuTime=0.1 mem=15M327
1.06
1.06 search
1.06 run=4 nbConstraintChecks=378214 nbPropagations=16865 nbRevisions=197699 nbUselessRevisions=161755
1.06 nbAssignments=271 nbFailedAssignments=95 nbBacktracks=138 nbVisitedNodes=438 nbRestartNogoods=7 mapSize=118
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.168 cpuTime=0.13 mem=15M327
1.11
1.11 search
1.11 run=5 nbConstraintChecks=616163 nbPropagations=25722 nbRevisions=310420 nbUselessRevisions=253592
1.11 nbAssignments=421 nbFailedAssignments=146 nbBacktracks=213 nbVisitedNodes=663 nbRestartNogoods=11 mapSize=183
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.214 cpuTime=0.17 mem=15M327
1.17
1.17 search
1.17 run=6 nbConstraintChecks=912192 nbPropagations=38567 nbRevisions=477878 nbUselessRevisions=389819
1.17 nbAssignments=629 nbFailedAssignments=231 nbBacktracks=326 nbVisitedNodes=1016 nbRestartNogoods=15 mapSize=283
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.277 cpuTime=0.23 mem=15M327
1.26
1.26 search
1.26 run=7 nbConstraintChecks=1371705 nbPropagations=57374 nbRevisions=736448 nbUselessRevisions=601388
1.26 nbAssignments=934 nbFailedAssignments=355 nbBacktracks=498 nbVisitedNodes=1552 nbRestartNogoods=21 mapSize=444
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.362 cpuTime=0.31 mem=15M327
1.39
1.39 search
1.39 run=8 nbConstraintChecks=2134211 nbPropagations=85388 nbRevisions=1130393 nbUselessRevisions=923596
1.39 nbAssignments=1402 nbFailedAssignments=545 nbBacktracks=755 nbVisitedNodes=2348 nbRestartNogoods=29
1.39 mapSize=672 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.498 cpuTime=0.44 mem=15M327
1.58
1.58 search
1.58 run=9 nbConstraintChecks=3120625 nbPropagations=125722 nbRevisions=1707387 nbUselessRevisions=1395361
1.58 nbAssignments=2035 nbFailedAssignments=788 nbBacktracks=1140 nbVisitedNodes=3449 nbRestartNogoods=33
1.58 mapSize=1007 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.681 cpuTime=0.61 mem=15M327
1.59
1.59 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=15M327)
1.83
1.83 search
1.83 run=10 nbConstraintChecks=4664383 nbPropagations=184534 nbRevisions=2552768 nbUselessRevisions=2083180
1.83 nbAssignments=2991 nbFailedAssignments=1163 nbBacktracks=1716 nbVisitedNodes=5090 nbRestartNogoods=36
1.83 => wckTime=0.931 cpuTime=0.86 mem=15M327
2.15
2.15 search
2.15 run=11 nbConstraintChecks=6732661 nbPropagations=269591 nbRevisions=3774986 nbUselessRevisions=3076448
2.15 nbAssignments=4413 nbFailedAssignments=1711 nbBacktracks=2580 nbVisitedNodes=7541 nbRestartNogoods=43
2.15 => wckTime=1.255 cpuTime=1.18 mem=15M327
2.66
2.66 search
2.66 run=12 nbConstraintChecks=9965309 nbPropagations=396492 nbRevisions=5602762 nbUselessRevisions=4560697
2.66 nbAssignments=6596 nbFailedAssignments=2585 nbBacktracks=3879 nbVisitedNodes=11317 nbRestartNogoods=51
2.66 => wckTime=1.765 cpuTime=1.68 mem=15M327
3.42
3.42 search
3.42 run=13 nbConstraintChecks=14829068 nbPropagations=585326 nbRevisions=8321826 nbUselessRevisions=6767817
3.42 nbAssignments=9848 nbFailedAssignments=3867 nbBacktracks=5826 nbVisitedNodes=16916 nbRestartNogoods=57
3.42 => wckTime=2.522 cpuTime=2.43 mem=15M327
4.60
4.60 search
4.60 run=14 nbConstraintChecks=22627251 nbPropagations=869597 nbRevisions=12483493 nbUselessRevisions=10152307
4.60 nbAssignments=14772 nbFailedAssignments=5848 nbBacktracks=8746 nbVisitedNodes=25477 nbRestartNogoods=68
4.60 => wckTime=3.7 cpuTime=3.61 mem=15M327
6.36
6.36 search
6.36 run=15 nbConstraintChecks=34413864 nbPropagations=1297431 nbRevisions=18788433 nbUselessRevisions=15281438
6.36 nbAssignments=22254 nbFailedAssignments=8945 nbBacktracks=13124 nbVisitedNodes=38593 nbRestartNogoods=77
6.36 => wckTime=5.467 cpuTime=5.37 mem=15M327
8.96
8.96 search
8.96 run=16 nbConstraintChecks=51567232 nbPropagations=1935872 nbRevisions=28227840 nbUselessRevisions=22960929
8.96 nbAssignments=33080 nbFailedAssignments=13193 nbBacktracks=19692 nbVisitedNodes=57324 nbRestartNogoods=93
8.96 => wckTime=8.06 cpuTime=7.95 mem=15M327
12.68
12.68 search
12.68 run=17 nbConstraintChecks=75835115 nbPropagations=2882609 nbRevisions=42131913 nbUselessRevisions=34270807
12.68 nbAssignments=48788 nbFailedAssignments=19043 nbBacktracks=29545 nbVisitedNodes=84312 nbRestartNogoods=103
12.68 => wckTime=11.784 cpuTime=11.65 mem=15M327
18.23
18.23 search
18.23 run=18 nbConstraintChecks=110980656 nbPropagations=4286997 nbRevisions=62756547 nbUselessRevisions=51070169
18.23 nbAssignments=72736 nbFailedAssignments=28203 nbBacktracks=44324 nbVisitedNodes=125549 nbRestartNogoods=109
18.23 => wckTime=17.335 cpuTime=17.18 mem=15M327
26.53
26.53 search
26.53 run=19 nbConstraintChecks=164211162 nbPropagations=6373582 nbRevisions=93396847 nbUselessRevisions=76041501
26.53 nbAssignments=108831 nbFailedAssignments=42122 nbBacktracks=66492 nbVisitedNodes=187909 nbRestartNogoods=122
26.53 => wckTime=25.635 cpuTime=25.44 mem=16M302
39.26
39.26 search
39.26 run=20 nbConstraintChecks=246827441 nbPropagations=9501123 nbRevisions=139427712 nbUselessRevisions=113564162
39.26 nbAssignments=162773 nbFailedAssignments=62803 nbBacktracks=99745 nbVisitedNodes=280841 nbRestartNogoods=130
39.26 => wckTime=38.366 cpuTime=38.11 mem=16M302
58.15
58.15 search
58.15 run=21 nbConstraintChecks=379570451 nbPropagations=14241908 nbRevisions=209402330 nbUselessRevisions=170580939
58.15 nbAssignments=245082 nbFailedAssignments=95225 nbBacktracks=149626 nbVisitedNodes=423345 nbRestartNogoods=147
58.15 => wckTime=57.252 cpuTime=56.92 mem=16M302
86.76
86.76 search
86.76 run=22 nbConstraintChecks=584086730 nbPropagations=21489574 nbRevisions=317411510 nbUselessRevisions=258709263
86.76 nbAssignments=370897 nbFailedAssignments=146213 nbBacktracks=224444 nbVisitedNodes=644242 nbRestartNogoods=151
86.76 => wckTime=85.867 cpuTime=85.51 mem=16M302
91.07
91.07 search
91.07 run=23 nbConstraintChecks=613701820 nbPropagations=29121219 nbRevisions=431094379 nbUselessRevisions=351462917
91.07 nbAssignments=390951 nbFailedAssignments=154306 nbBacktracks=236360 nbVisitedNodes=679155 nbRestartNogoods=166
91.07 => wckTime=90.174 cpuTime=89.81 mem=16M302
91.07
91.07 global
91.07 nbConstraintChecks=613789147 nbPropagations=29122250 nbRevisions=431102845 nbUselessRevisions=351469951
91.07 nbRestartNogoods=166 solvingWckTime=90.175 solvingCpuTime=89.81 expiredTime=no totalExploration=no
91.07 nbFoundSolutions=1 globalCpuTime=90.25
91.07 => wckTime=90.755 cpuTime=90.2 mem=16M302
91.07
91.07 s SATISFIABLE
91.07 v 5 5 1 12 18 4 9 19 2 8 6 2 8 13 6 1 1 5 13 12 18 2 7 7 4 11 7 8 7 9 3 18 15 7 17 5 20 5 13 19 7 7 20 8 2
91.07 d NODES 390951
91.07 d CHECKS 613789147
91.07
91.07 totalWckTime=90.838 totalCpuTime=90.26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-217182-1168244501 -o ROOT/results/node2/solver-217182-1168244501 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217182-1168244501/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: 0.33 1.11 1.63 4/98 31351
/proc/meminfo: memFree=1750520/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=906644 CPUtime=0.01
/proc/31350/stat : 31350 (java) S 31348 31350 29808 0 -1 0 2069 0 1 0 1 0 0 0 18 0 2 0 172845908 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/31350/statm: 226661 1818 1036 14 0 214244 0
[pid=31350/tid=31352] ppid=31348 vsize=906644 CPUtime=0
/proc/31350/task/31352/stat : 31352 (java) R 31348 31350 29808 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 172845911 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104761 s]
/proc/loadavg: 0.33 1.11 1.63 4/98 31351
/proc/meminfo: memFree=1750520/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=914988 CPUtime=0.08
/proc/31350/stat : 31350 (java) R 31348 31350 29808 0 -1 0 2996 0 1 0 7 1 0 0 20 0 8 0 172845908 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31350/statm: 228747 2742 1427 14 0 215242 0
[pid=31350/tid=31352] ppid=31348 vsize=914988 CPUtime=0
/proc/31350/task/31352/stat : 31352 (java) S 31348 31350 29808 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 172845911 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512837 s]
/proc/loadavg: 0.33 1.11 1.63 4/98 31351
/proc/meminfo: memFree=1750520/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=915328 CPUtime=0.48
/proc/31350/stat : 31350 (java) R 31348 31350 29808 0 -1 0 6767 0 1 0 44 4 0 0 18 0 8 0 172845908 937295872 6506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31350/statm: 228832 6506 2137 14 0 215302 0
[pid=31350/tid=31352] ppid=31348 vsize=915328 CPUtime=0
/proc/31350/task/31352/stat : 31352 (java) S 31348 31350 29808 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 172845911 937295872 6506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33741 s]
/proc/loadavg: 0.33 1.11 1.63 3/105 31358
/proc/meminfo: memFree=1725248/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=915456 CPUtime=1.3
/proc/31350/stat : 31350 (java) R 31348 31350 29808 0 -1 0 9038 0 1 0 124 6 0 0 24 0 8 0 172845908 937426944 8776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31350/statm: 228864 8776 2524 14 0 215334 0
[pid=31350/tid=31352] ppid=31348 vsize=915456 CPUtime=0.03
/proc/31350/task/31352/stat : 31352 (java) S 31348 31350 29808 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 172845911 937426944 8776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31353] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 29808 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172845912 937426944 8776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31354] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 29808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172845912 937426944 8776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31355] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172845915 937426944 8776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31356] ppid=31348 vsize=915456 CPUtime=0.23
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 29808 0 -1 64 378 0 0 0 22 1 0 0 15 0 8 0 172845915 937426944 8776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31357] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172845915 937426944 8776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31358] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 29808 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172845915 937426944 8776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.98229 s]
/proc/loadavg: 0.33 1.11 1.63 3/105 31358
/proc/meminfo: memFree=1725184/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=915456 CPUtime=2.94
/proc/31350/stat : 31350 (java) R 31348 31350 29808 0 -1 0 9054 0 1 0 288 6 0 0 25 0 8 0 172845908 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31350/statm: 228864 8791 2524 14 0 215334 0
[pid=31350/tid=31352] ppid=31348 vsize=915456 CPUtime=0.03
/proc/31350/task/31352/stat : 31352 (java) S 31348 31350 29808 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 172845911 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31353] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 29808 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172845912 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31354] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 29808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172845912 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31355] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31356] ppid=31348 vsize=915456 CPUtime=0.25
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 29808 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31357] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31358] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 29808 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27089 s]
/proc/loadavg: 0.46 1.13 1.63 3/105 31358
/proc/meminfo: memFree=1725120/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=915456 CPUtime=6.21
/proc/31350/stat : 31350 (java) R 31348 31350 29808 0 -1 0 9055 0 1 0 615 6 0 0 25 0 8 0 172845908 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31350/statm: 228864 8791 2524 14 0 215334 0
[pid=31350/tid=31352] ppid=31348 vsize=915456 CPUtime=0.03
/proc/31350/task/31352/stat : 31352 (java) S 31348 31350 29808 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 172845911 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31353] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 29808 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172845912 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31354] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 29808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172845912 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31355] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31356] ppid=31348 vsize=915456 CPUtime=0.25
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 29808 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31357] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31358] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 29808 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 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.7571 s]
/proc/loadavg: 0.59 1.14 1.63 3/105 31358
/proc/meminfo: memFree=1725120/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=915456 CPUtime=12.66
/proc/31350/stat : 31350 (java) R 31348 31350 29808 0 -1 0 9055 0 1 0 1260 6 0 0 25 0 8 0 172845908 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31350/statm: 228864 8791 2524 14 0 215334 0
[pid=31350/tid=31352] ppid=31348 vsize=915456 CPUtime=0.03
/proc/31350/task/31352/stat : 31352 (java) S 31348 31350 29808 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 172845911 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31353] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 29808 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172845912 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31354] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 29808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172845912 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31355] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31356] ppid=31348 vsize=915456 CPUtime=0.25
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 29808 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31357] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172845915 937426944 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31358] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 29808 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172845915 937426944 8791 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) 915456
[startup+25.6024 s]
/proc/loadavg: 0.90 1.18 1.64 3/105 31358
/proc/meminfo: memFree=1725120/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=915456 CPUtime=25.45
/proc/31350/stat : 31350 (java) R 31348 31350 29808 0 -1 0 9056 0 1 0 2539 6 0 0 25 0 8 0 172845908 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31350/statm: 228864 8792 2524 14 0 215334 0
[pid=31350/tid=31352] ppid=31348 vsize=915456 CPUtime=0.03
/proc/31350/task/31352/stat : 31352 (java) S 31348 31350 29808 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 172845911 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31353] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 29808 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172845912 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31354] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 29808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172845912 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31355] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172845915 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31356] ppid=31348 vsize=915456 CPUtime=0.25
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 29808 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 172845915 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31357] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172845915 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31358] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 29808 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172845915 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915456
[startup+51.2112 s]
/proc/loadavg: 1.27 1.25 1.64 3/93 31472
/proc/meminfo: memFree=1813152/2055920 swapFree=4191880/4192956
[pid=31350] ppid=31348 vsize=915456 CPUtime=50.96
/proc/31350/stat : 31350 (java) R 31348 31350 29808 0 -1 0 9057 0 1 0 5088 8 0 0 25 0 8 0 172845908 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818167 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31350/statm: 228864 8792 2524 14 0 215334 0
[pid=31350/tid=31352] ppid=31348 vsize=915456 CPUtime=0.03
/proc/31350/task/31352/stat : 31352 (java) S 31348 31350 29808 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 172845911 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31353] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 29808 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172845912 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31354] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 29808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172845912 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31355] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172845915 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31356] ppid=31348 vsize=915456 CPUtime=0.25
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 29808 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 172845915 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31357] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 29808 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172845915 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31350/tid=31358] ppid=31348 vsize=915456 CPUtime=0
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 29808 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172845915 937426944 8792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 91.1321
CPU time (s): 90.7712
CPU user time (s): 90.6822
CPU system time (s): 0.088986
CPU usage (%): 99.6039
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.6822
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9067
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= 2996
involuntary context switches= 4626
runsolver used 0.12598 s user time and 0.297954 s system time
The end
Begin job on node2 on Mon Jan 8 08:21:43 UTC 2007
IDJOB= 217182
IDBENCH= 5122
FILE ID= node2/217182-1168244501
PBS_JOBID= 3481568
Free space on /tmp= 66337 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-1-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217182-1168244501/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-217182-1168244501 -o ROOT/results/node2/solver-217182-1168244501 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217182-1168244501/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 438e8ba11659cae5f336047ba28f6562
RANDOM SEED= 794672067
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.259
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 : 5931.00
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.259
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: 1751000 kB
Buffers: 16728 kB
Cached: 90152 kB
SwapCached: 288 kB
Active: 228072 kB
Inactive: 28176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1751000 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4736 kB
Writeback: 0 kB
Mapped: 177612 kB
Slab: 33120 kB
Committed_AS: 5071976 kB
PageTables: 2604 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= 66338 MiB
End job on node2 on Mon Jan 8 08:23:14 UTC 2007