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/221699-1168261032/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=866 maxDegree=23
0.63 maxArity=2
0.63 => wckTime=0.314 cpuTime=0.23 mem=13M794
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.521 cpuTime=0.36 mem=15M98
0.89
0.89 preprocessing
0.89 nbConstraintChecks=47957 nbPropagations=626 nbRevisions=6241 nbUselessRevisions=5468 nbSingletonTests=33
0.89 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.047 cpuTime=0.03 mem=15M98
0.91
0.91 search
0.91 run=0 nbConstraintChecks=34755 nbPropagations=1035 nbRevisions=13126 nbUselessRevisions=11498 nbAssignments=25
0.91 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.072 cpuTime=0.05 mem=15M98
0.94
0.94 search
0.94 run=1 nbConstraintChecks=87230 nbPropagations=2650 nbRevisions=36704 nbUselessRevisions=32005 nbAssignments=61
0.94 nbFailedAssignments=26 nbBacktracks=25 nbVisitedNodes=108 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.096 cpuTime=0.07 mem=15M98
0.96
0.96 search
0.96 run=2 nbConstraintChecks=156279 nbPropagations=5083 nbRevisions=75161 nbUselessRevisions=65409
0.96 nbAssignments=113 nbFailedAssignments=50 nbBacktracks=47 nbVisitedNodes=202 nbRestartNogoods=8 mapSize=47
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.121 cpuTime=0.09 mem=15M98
0.99
0.99 search
0.99 run=3 nbConstraintChecks=253813 nbPropagations=8624 nbRevisions=134190 nbUselessRevisions=116658
0.99 nbAssignments=185 nbFailedAssignments=84 nbBacktracks=80 nbVisitedNodes=332 nbRestartNogoods=11 mapSize=80
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.153 cpuTime=0.12 mem=15M98
1.03
1.03 search
1.03 run=4 nbConstraintChecks=389727 nbPropagations=13799 nbRevisions=224581 nbUselessRevisions=195153
1.03 nbAssignments=300 nbFailedAssignments=143 nbBacktracks=131 nbVisitedNodes=543 nbRestartNogoods=16 mapSize=131
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.191 cpuTime=0.15 mem=15M98
1.09
1.09 search
1.09 run=5 nbConstraintChecks=591684 nbPropagations=21272 nbRevisions=359468 nbUselessRevisions=312322
1.09 nbAssignments=454 nbFailedAssignments=216 nbBacktracks=206 nbVisitedNodes=825 nbRestartNogoods=23 mapSize=204
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.248 cpuTime=0.21 mem=15M98
1.17
1.17 search
1.17 run=6 nbConstraintChecks=891694 nbPropagations=32190 nbRevisions=562263 nbUselessRevisions=488079
1.17 nbAssignments=699 nbFailedAssignments=342 nbBacktracks=322 nbVisitedNodes=1284 nbRestartNogoods=26 mapSize=315
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.332 cpuTime=0.28 mem=15M98
1.29
1.29 search
1.29 run=7 nbConstraintChecks=1332797 nbPropagations=48385 nbRevisions=867327 nbUselessRevisions=752372
1.29 nbAssignments=1051 nbFailedAssignments=517 nbBacktracks=493 nbVisitedNodes=1942 nbRestartNogoods=28
1.29 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.446 cpuTime=0.4 mem=15M98
1.47
1.47 search
1.47 run=8 nbConstraintChecks=2005216 nbPropagations=72389 nbRevisions=1321153 nbUselessRevisions=1145495
1.47 nbAssignments=1582 nbFailedAssignments=773 nbBacktracks=749 nbVisitedNodes=2904 nbRestartNogoods=35
1.47 mapSize=736 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.629 cpuTime=0.57 mem=15M98
1.64
1.64 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=15M98)
1.68
1.68 search
1.68 run=9 nbConstraintChecks=2999967 nbPropagations=107742 nbRevisions=1996980 nbUselessRevisions=1730898
1.68 nbAssignments=2339 nbFailedAssignments=1141 nbBacktracks=1133 nbVisitedNodes=4310 nbRestartNogoods=48
1.69 => wckTime=0.845 cpuTime=0.78 mem=15M98
1.99
1.99 search
1.99 run=10 nbConstraintChecks=4459254 nbPropagations=159790 nbRevisions=3000088 nbUselessRevisions=2600173
1.99 nbAssignments=3449 nbFailedAssignments=1670 nbBacktracks=1709 nbVisitedNodes=6377 nbRestartNogoods=53
1.99 => wckTime=1.148 cpuTime=1.07 mem=15M98
2.44
2.44 search
2.44 run=11 nbConstraintChecks=6679688 nbPropagations=237338 nbRevisions=4503194 nbUselessRevisions=3902372
2.44 nbAssignments=5144 nbFailedAssignments=2496 nbBacktracks=2574 nbVisitedNodes=9536 nbRestartNogoods=60
2.44 => wckTime=1.597 cpuTime=1.51 mem=15M98
3.11
3.11 search
3.11 run=12 nbConstraintChecks=10086066 nbPropagations=353205 nbRevisions=6766064 nbUselessRevisions=5862486
3.11 nbAssignments=7699 nbFailedAssignments=3751 nbBacktracks=3871 nbVisitedNodes=14289 nbRestartNogoods=66
3.11 => wckTime=2.273 cpuTime=2.18 mem=15M98
4.11
4.11 search
4.11 run=13 nbConstraintChecks=15262383 nbPropagations=527541 nbRevisions=10194244 nbUselessRevisions=8834062
4.11 nbAssignments=11520 nbFailedAssignments=5621 nbBacktracks=5817 nbVisitedNodes=21465 nbRestartNogoods=73
4.11 => wckTime=3.272 cpuTime=3.17 mem=15M98
5.64
5.64 search
5.64 run=14 nbConstraintChecks=23089307 nbPropagations=788942 nbRevisions=15352809 nbUselessRevisions=13302734
5.64 nbAssignments=17301 nbFailedAssignments=8479 nbBacktracks=8736 nbVisitedNodes=32252 nbRestartNogoods=86
5.64 => wckTime=4.805 cpuTime=4.68 mem=15M98
7.87
7.87 search
7.87 run=15 nbConstraintChecks=34524162 nbPropagations=1179809 nbRevisions=23094648 nbUselessRevisions=20014863
7.87 nbAssignments=25897 nbFailedAssignments=12692 nbBacktracks=13114 nbVisitedNodes=48301 nbRestartNogoods=107
7.87 => wckTime=7.032 cpuTime=6.89 mem=15M98
11.35
11.35 search
11.35 run=16 nbConstraintChecks=52284194 nbPropagations=1768238 nbRevisions=34795247 nbUselessRevisions=30162234
11.35 nbAssignments=38892 nbFailedAssignments=19114 nbBacktracks=19682 nbVisitedNodes=72587 nbRestartNogoods=125
11.35 => wckTime=10.508 cpuTime=10.33 mem=15M98
16.50
16.50 search
16.50 run=17 nbConstraintChecks=77974707 nbPropagations=2647451 nbRevisions=52290037 nbUselessRevisions=45339831
16.50 nbAssignments=58217 nbFailedAssignments=28581 nbBacktracks=29534 nbVisitedNodes=108660 nbRestartNogoods=141
16.50 => wckTime=15.662 cpuTime=15.45 mem=15M98
24.12
24.12 search
24.12 run=18 nbConstraintChecks=116896839 nbPropagations=3963661 nbRevisions=78567806 nbUselessRevisions=68152137
24.12 nbAssignments=87195 nbFailedAssignments=42776 nbBacktracks=44313 nbVisitedNodes=162622 nbRestartNogoods=152
24.12 => wckTime=23.283 cpuTime=23.01 mem=15M98
34.92
34.92 search
34.92 run=19 nbConstraintChecks=175732079 nbPropagations=5938316 nbRevisions=118040490 nbUselessRevisions=102416772
34.92 nbAssignments=130840 nbFailedAssignments=64247 nbBacktracks=66483 nbVisitedNodes=244129 nbRestartNogoods=169
34.92 => wckTime=34.08 cpuTime=33.8 mem=15M98
51.70
51.70 search
51.70 run=20 nbConstraintChecks=265613392 nbPropagations=8909338 nbRevisions=177599205 nbUselessRevisions=154122142
51.70 nbAssignments=196717 nbFailedAssignments=96868 nbBacktracks=99735 nbVisitedNodes=367233 nbRestartNogoods=191
51.70 => wckTime=50.864 cpuTime=50.55 mem=15M98
76.49
76.50 search
76.50 run=21 nbConstraintChecks=400579034 nbPropagations=13376303 nbRevisions=267353619 nbUselessRevisions=232055884
76.50 nbAssignments=295323 nbFailedAssignments=145590 nbBacktracks=149615 nbVisitedNodes=551393 nbRestartNogoods=207
76.50 => wckTime=75.656 cpuTime=75.33 mem=15M98
114.37
114.37 search
114.37 run=22 nbConstraintChecks=608273481 nbPropagations=20115195 nbRevisions=403193791 nbUselessRevisions=350016624
114.37 nbAssignments=444660 nbFailedAssignments=220103 nbBacktracks=224433 nbVisitedNodes=830736 nbRestartNogoods=217
114.37 => wckTime=113.533 cpuTime=113.17 mem=15M98
147.54
147.54 search
147.54 run=23 nbConstraintChecks=788928608 nbPropagations=28826494 nbRevisions=579117989 nbUselessRevisions=502783982
147.54 nbAssignments=574096 nbFailedAssignments=284484 nbBacktracks=289453 nbVisitedNodes=1072674 nbRestartNogoods=237
147.54 => wckTime=146.703 cpuTime=146.3 mem=15M98
147.54
147.54 global
147.54 nbConstraintChecks=788976565 nbPropagations=28827120 nbRevisions=579124230 nbUselessRevisions=502789450
147.54 nbRestartNogoods=237 solvingWckTime=146.704 solvingCpuTime=146.3 expiredTime=no totalExploration=no
147.54 nbFoundSolutions=1 globalCpuTime=146.73
147.54 => wckTime=147.228 cpuTime=146.67 mem=15M98
147.55
147.55 s SATISFIABLE
147.55 v 1 21 10 19 0 10 1 3 9 1 8 0 8 11 22 2 1 18 7 15 18 8 1 15
147.55 d NODES 574096
147.55 d CHECKS 788976565
147.55
147.55 totalWckTime=147.31 totalCpuTime=146.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-221699-1168261032 -o ROOT/results/node17/solver-221699-1168261032 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221699-1168261032/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: 2.00 2.00 1.93 2/89 20919
/proc/meminfo: memFree=1611160/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=18540 CPUtime=0
/proc/20918/stat : 20918 (runsolver) R 20916 20918 20397 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174497967 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20918/statm: 4635 279 244 17 0 2626 0
[startup+0.103548 s]
/proc/loadavg: 2.00 2.00 1.93 2/89 20919
/proc/meminfo: memFree=1611160/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=914988 CPUtime=0.08
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 2962 0 1 0 7 1 0 0 17 0 8 0 174497967 936947712 2708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072920484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511586 s]
/proc/loadavg: 2.00 2.00 1.93 2/89 20919
/proc/meminfo: memFree=1611160/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915328 CPUtime=0.49
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 6932 0 1 0 44 5 0 0 18 0 8 0 174497967 937295872 6671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153705705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228832 6671 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33267 s]
/proc/loadavg: 2.00 2.00 1.93 3/96 20926
/proc/meminfo: memFree=1587232/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=1.29
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8704 0 1 0 122 7 0 0 24 0 8 0 174497967 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792362 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228863 8442 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.19
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 376 0 0 0 18 1 0 0 15 0 8 0 174497975 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.96984 s]
/proc/loadavg: 2.00 2.00 1.93 3/96 20926
/proc/meminfo: memFree=1586976/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=2.91
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8743 0 1 0 284 7 0 0 25 0 8 0 174497967 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228863 8480 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 174497972 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 389 0 0 0 20 2 0 0 15 0 8 0 174497975 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452
[startup+6.25818 s]
/proc/loadavg: 2.00 2.00 1.93 3/96 20926
/proc/meminfo: memFree=1586912/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=6.17
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8751 0 1 0 610 7 0 0 25 0 8 0 174497967 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228863 8487 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 389 0 0 0 20 2 0 0 15 0 8 0 174497975 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915452
[startup+12.7369 s]
/proc/loadavg: 2.00 2.00 1.93 3/96 20926
/proc/meminfo: memFree=1586856/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=12.59
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8759 0 1 0 1252 7 0 0 25 0 8 0 174497967 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789419 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228863 8494 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 391 0 0 0 20 2 0 0 16 0 8 0 174497975 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452
[startup+25.6042 s]
/proc/loadavg: 1.92 1.98 1.92 3/101 21000
/proc/meminfo: memFree=1614272/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=25.37
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8764 0 1 0 2529 8 0 0 25 0 8 0 174497967 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20918/statm: 228863 8499 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 391 0 0 0 20 2 0 0 16 0 8 0 174497975 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915452
[startup+51.2159 s]
/proc/loadavg: 1.95 1.98 1.92 3/101 21000
/proc/meminfo: memFree=1614216/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=50.95
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8767 0 1 0 5086 9 0 0 25 0 8 0 174497967 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20918/statm: 228863 8502 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 391 0 0 0 20 2 0 0 16 0 8 0 174497975 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915452
[startup+102.437 s]
/proc/loadavg: 1.97 1.98 1.92 3/101 21000
/proc/meminfo: memFree=1614280/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=102.12
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8772 0 1 0 10203 9 0 0 25 0 8 0 174497967 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20918/statm: 228863 8507 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 391 0 0 0 20 2 0 0 16 0 8 0 174497975 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 147.6
CPU time (s): 147.2
CPU user time (s): 147.099
CPU system time (s): 0.100984
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.099
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8867
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= 4099
involuntary context switches= 3551
runsolver used 0.181972 s user time and 0.490925 s system time
The end
Begin job on node17 on Mon Jan 8 12:57:12 UTC 2007
IDJOB= 221699
IDBENCH= 5464
FILE ID= node17/221699-1168261032
PBS_JOBID= 3482432
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221699-1168261032/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-221699-1168261032 -o ROOT/results/node17/solver-221699-1168261032 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221699-1168261032/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 094103c37843dc2a4de224366d3c3050
RANDOM SEED= 853828867
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1611640 kB
Buffers: 64608 kB
Cached: 222216 kB
SwapCached: 0 kB
Active: 236212 kB
Inactive: 143764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1611640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1984 kB
Writeback: 0 kB
Mapped: 113400 kB
Slab: 49092 kB
Committed_AS: 5054320 kB
PageTables: 2296 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= 66326 MiB
End job on node17 on Mon Jan 8 12:59:39 UTC 2007