0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.46
0.46 instance
0.46 name=/tmp/evaluation/202928-1168155030/unknown.xml
0.49
0.49 domains being loaded...
0.50
0.50 variables being loaded...
0.53 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.53 => wckTime=0.163 cpuTime=0.09 mem=6M951
0.53
0.53 relations being loaded...
0.63
0.63 constraints being loaded...
0.76 nbConstraints=332 nbRelationTypes=332 nbExtensionStructures=332 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=332 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2706 maxDegree=24
0.76 maxArity=2
0.76 => wckTime=0.387 cpuTime=0.23 mem=12M803
0.80
0.80 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.6 cpuTime=0.38 mem=15M7
1.03
1.03 preprocessing
1.03 nbConstraintChecks=69793 nbPropagations=969 nbRevisions=7386 nbUselessRevisions=6104 nbSingletonTests=53
1.03 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.03 => wckTime=0.053 cpuTime=0.03 mem=15M7
1.05
1.05 search
1.05 run=0 nbConstraintChecks=28186 nbPropagations=1375 nbRevisions=12047 nbUselessRevisions=9878 nbAssignments=25
1.05 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.075 cpuTime=0.05 mem=15M7
1.07
1.07 search
1.07 run=1 nbConstraintChecks=66614 nbPropagations=3363 nbRevisions=31242 nbUselessRevisions=25552 nbAssignments=60
1.07 nbFailedAssignments=18 nbBacktracks=29 nbVisitedNodes=93 nbRestartNogoods=1 mapSize=24 nbInferences=0
1.07 nbTooLargeKeys=0
1.07 => wckTime=0.097 cpuTime=0.06 mem=15M7
1.09
1.09 search
1.09 run=2 nbConstraintChecks=123381 nbPropagations=6211 nbRevisions=60827 nbUselessRevisions=49617
1.09 nbAssignments=107 nbFailedAssignments=33 nbBacktracks=51 nbVisitedNodes=169 nbRestartNogoods=2 mapSize=43
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.115 cpuTime=0.08 mem=15M7
1.11
1.11 search
1.11 run=3 nbConstraintChecks=207898 nbPropagations=10256 nbRevisions=106071 nbUselessRevisions=86373
1.11 nbAssignments=175 nbFailedAssignments=56 nbBacktracks=86 nbVisitedNodes=279 nbRestartNogoods=5 mapSize=72
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.134 cpuTime=0.1 mem=15M7
1.14
1.14 search
1.14 run=4 nbConstraintChecks=321323 nbPropagations=15952 nbRevisions=173125 nbUselessRevisions=140833
1.14 nbAssignments=263 nbFailedAssignments=86 nbBacktracks=137 nbVisitedNodes=424 nbRestartNogoods=8 mapSize=112
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.159 cpuTime=0.12 mem=15M7
1.18
1.18 search
1.18 run=5 nbConstraintChecks=469334 nbPropagations=23791 nbRevisions=269272 nbUselessRevisions=218941
1.18 nbAssignments=393 nbFailedAssignments=132 nbBacktracks=213 nbVisitedNodes=639 nbRestartNogoods=13 mapSize=175
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.203 cpuTime=0.15 mem=15M7
1.23
1.23 search
1.23 run=6 nbConstraintChecks=712749 nbPropagations=35357 nbRevisions=415764 nbUselessRevisions=338340
1.23 nbAssignments=599 nbFailedAssignments=214 nbBacktracks=326 nbVisitedNodes=995 nbRestartNogoods=18 mapSize=272
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.254 cpuTime=0.2 mem=15M7
1.30
1.30 search
1.30 run=7 nbConstraintChecks=1119408 nbPropagations=52570 nbRevisions=637627 nbUselessRevisions=517616
1.31 nbAssignments=909 nbFailedAssignments=346 nbBacktracks=496 nbVisitedNodes=1536 nbRestartNogoods=23 mapSize=419
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.333 cpuTime=0.28 mem=15M7
1.44
1.44 search
1.44 run=8 nbConstraintChecks=1793240 nbPropagations=78900 nbRevisions=979721 nbUselessRevisions=793022
1.44 nbAssignments=1415 nbFailedAssignments=559 nbBacktracks=753 nbVisitedNodes=2383 nbRestartNogoods=28
1.44 mapSize=642 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.464 cpuTime=0.4 mem=15M7
1.58
1.58 search
1.58 run=9 nbConstraintChecks=2426809 nbPropagations=115458 nbRevisions=1454983 nbUselessRevisions=1176571
1.58 nbAssignments=2046 nbFailedAssignments=785 nbBacktracks=1137 nbVisitedNodes=3419 nbRestartNogoods=36
1.58 mapSize=942 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.607 cpuTime=0.53 mem=15M7
1.63
1.63 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=15M7)
1.80
1.80 search
1.80 run=10 nbConstraintChecks=3585160 nbPropagations=169327 nbRevisions=2167128 nbUselessRevisions=1751795
1.80 nbAssignments=3020 nbFailedAssignments=1173 nbBacktracks=1713 nbVisitedNodes=5106 nbRestartNogoods=44
1.80 => wckTime=0.829 cpuTime=0.74 mem=15M7
2.13
2.13 search
2.13 run=11 nbConstraintChecks=5489523 nbPropagations=250033 nbRevisions=3255950 nbUselessRevisions=2633092
2.13 nbAssignments=4537 nbFailedAssignments=1801 nbBacktracks=2577 nbVisitedNodes=7773 nbRestartNogoods=54
2.13 => wckTime=1.154 cpuTime=1.06 mem=15M7
2.56
2.56 search
2.56 run=12 nbConstraintChecks=7958821 nbPropagations=368391 nbRevisions=4859612 nbUselessRevisions=3933754
2.56 nbAssignments=6700 nbFailedAssignments=2658 nbBacktracks=3875 nbVisitedNodes=11487 nbRestartNogoods=62
2.56 => wckTime=1.589 cpuTime=1.49 mem=15M7
3.29
3.29 search
3.29 run=13 nbConstraintChecks=12368741 nbPropagations=549205 nbRevisions=7320619 nbUselessRevisions=5925538
3.29 nbAssignments=10075 nbFailedAssignments=4080 nbBacktracks=5821 nbVisitedNodes=17464 nbRestartNogoods=73
3.29 => wckTime=2.321 cpuTime=2.21 mem=15M7
4.21
4.21 search
4.21 run=14 nbConstraintChecks=17781312 nbPropagations=809402 nbRevisions=10853067 nbUselessRevisions=8784903
4.21 nbAssignments=14587 nbFailedAssignments=5668 nbBacktracks=8740 nbVisitedNodes=25118 nbRestartNogoods=82
4.21 => wckTime=3.242 cpuTime=3.13 mem=15M7
5.81
5.81 search
5.81 run=15 nbConstraintChecks=27375070 nbPropagations=1203637 nbRevisions=16205010 nbUselessRevisions=13103426
5.81 nbAssignments=21998 nbFailedAssignments=8682 nbBacktracks=13118 nbVisitedNodes=37993 nbRestartNogoods=88
5.81 => wckTime=4.837 cpuTime=4.7 mem=15M7
7.96
7.96 search
7.96 run=16 nbConstraintChecks=39959469 nbPropagations=1783252 nbRevisions=24085655 nbUselessRevisions=19473049
7.96 nbAssignments=32514 nbFailedAssignments=12620 nbBacktracks=19689 nbVisitedNodes=55975 nbRestartNogoods=101
7.96 => wckTime=6.99 cpuTime=6.84 mem=15M7
11.60
11.60 search
11.60 run=17 nbConstraintChecks=62150683 nbPropagations=2673429 nbRevisions=36232087 nbUselessRevisions=29280462
11.60 nbAssignments=49518 nbFailedAssignments=19766 nbBacktracks=29542 nbVisitedNodes=85951 nbRestartNogoods=114
11.60 => wckTime=10.626 cpuTime=10.44 mem=15M982
16.42
16.42 search
16.42 run=18 nbConstraintChecks=90246924 nbPropagations=3987689 nbRevisions=54137590 nbUselessRevisions=43757540
16.42 nbAssignments=73389 nbFailedAssignments=28852 nbBacktracks=44322 nbVisitedNodes=127153 nbRestartNogoods=122
16.42 => wckTime=15.452 cpuTime=15.22 mem=15M982
23.99
23.99 search
23.99 run=19 nbConstraintChecks=134972916 nbPropagations=5943333 nbRevisions=80902272 nbUselessRevisions=65409505
23.99 nbAssignments=109149 nbFailedAssignments=42437 nbBacktracks=66491 nbVisitedNodes=188697 nbRestartNogoods=134
23.99 => wckTime=23.013 cpuTime=22.71 mem=15M982
35.91
35.91 search
35.91 run=20 nbConstraintChecks=207381706 nbPropagations=8912380 nbRevisions=121630697 nbUselessRevisions=98329397
35.91 nbAssignments=165426 nbFailedAssignments=65454 nbBacktracks=99744 nbVisitedNodes=286846 nbRestartNogoods=145
35.91 => wckTime=34.942 cpuTime=34.54 mem=15M982
52.58
52.58 search
52.58 run=21 nbConstraintChecks=306091066 nbPropagations=13307124 nbRevisions=181879003 nbUselessRevisions=147058090
52.58 nbAssignments=245042 nbFailedAssignments=95185 nbBacktracks=149623 nbVisitedNodes=423269 nbRestartNogoods=158
52.58 => wckTime=51.61 cpuTime=51.05 mem=15M982
79.64
79.64 search
79.64 run=22 nbConstraintChecks=470958338 nbPropagations=20003999 nbRevisions=273619058 nbUselessRevisions=221168696
79.64 nbAssignments=370071 nbFailedAssignments=145388 nbBacktracks=224444 nbVisitedNodes=641494 nbRestartNogoods=172
79.64 => wckTime=78.665 cpuTime=77.85 mem=15M982
98.94
98.94 search
98.94 run=23 nbConstraintChecks=586830559 nbPropagations=28346761 nbRevisions=387793228 nbUselessRevisions=313375053
98.94 nbAssignments=462706 nbFailedAssignments=180984 nbBacktracks=281443 nbVisitedNodes=800665 nbRestartNogoods=183
98.94 => wckTime=97.966 cpuTime=96.97 mem=15M982
98.94
98.94 global
98.94 nbConstraintChecks=586900352 nbPropagations=28347730 nbRevisions=387800614 nbUselessRevisions=313381157
98.94 nbRestartNogoods=183 solvingWckTime=97.967 solvingCpuTime=96.98 expiredTime=no totalExploration=no
98.94 nbFoundSolutions=1 globalCpuTime=97.41
98.94 => wckTime=98.571 cpuTime=97.36 mem=15M982
98.94
98.94 s SATISFIABLE
98.94 v 11 14 18 0 10 17 0 16 12 5 11 6 5 2 18 16 3 17 15 4 15 9 11 16 15 18 2 18 13 14 8 0 4 16 10 3 11 16 15 2
98.94 d NODES 462706
98.94 d CHECKS 586900352
98.94
98.94 totalWckTime=98.655 totalCpuTime=97.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-202928-1168155030 -o ROOT/results/node45/solver-202928-1168155030 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202928-1168155030/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.05 2.02 1.91 4/82 16419
/proc/meminfo: memFree=1372424/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=18540 CPUtime=0
/proc/16418/stat : 16418 (runsolver) R 16416 16418 15036 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 163901956 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16418/statm: 4635 279 244 17 0 2626 0
[startup+0.108719 s]
/proc/loadavg: 2.05 2.02 1.91 4/82 16419
/proc/meminfo: memFree=1372424/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=907808 CPUtime=0.06
/proc/16418/stat : 16418 (java) D 16416 16418 15036 0 -1 0 2506 0 1 0 5 1 0 0 17 0 4 0 163901956 929595392 2253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/16418/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.520794 s]
/proc/loadavg: 2.05 2.02 1.91 4/82 16419
/proc/meminfo: memFree=1372424/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=915328 CPUtime=0.38
/proc/16418/stat : 16418 (java) R 16416 16418 15036 0 -1 0 6079 0 1 0 35 3 0 0 18 0 8 0 163901956 937295872 5818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155889344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16418/statm: 228832 5818 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328
[startup+1.34594 s]
/proc/loadavg: 2.13 2.04 1.92 3/89 16426
/proc/meminfo: memFree=1348496/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=915456 CPUtime=1.19
/proc/16418/stat : 16418 (java) R 16416 16418 15036 0 -1 0 8711 0 1 0 114 5 0 0 23 0 8 0 163901956 937426944 8449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16418/statm: 228864 8449 2524 14 0 215334 0
[pid=16418/tid=16420] ppid=16416 vsize=915456 CPUtime=0.03
/proc/16418/task/16420/stat : 16420 (java) S 16416 16418 15036 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163901960 937426944 8449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16421] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16421/stat : 16421 (java) S 16416 16418 15036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163901960 937426944 8449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16422] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16422/stat : 16422 (java) S 16416 16418 15036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163901961 937426944 8449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16423] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16423/stat : 16423 (java) S 16416 16418 15036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163901968 937426944 8449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16424] ppid=16416 vsize=915456 CPUtime=0.2
/proc/16418/task/16424/stat : 16424 (java) S 16416 16418 15036 0 -1 64 377 0 0 0 19 1 0 0 15 0 8 0 163901968 937426944 8449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16425] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16425/stat : 16425 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163901968 937426944 8449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16426] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16426/stat : 16426 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163901969 937426944 8449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915456
[startup+2.98324 s]
/proc/loadavg: 2.13 2.04 1.92 3/89 16426
/proc/meminfo: memFree=1348176/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=915456 CPUtime=2.82
/proc/16418/stat : 16418 (java) R 16416 16418 15036 0 -1 0 8771 0 1 0 276 6 0 0 25 0 8 0 163901956 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805530 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16418/statm: 228864 8508 2524 14 0 215334 0
[pid=16418/tid=16420] ppid=16416 vsize=915456 CPUtime=0.03
/proc/16418/task/16420/stat : 16420 (java) S 16416 16418 15036 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 163901960 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16421] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16421/stat : 16421 (java) S 16416 16418 15036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163901960 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16422] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16422/stat : 16422 (java) S 16416 16418 15036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163901961 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16423] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16423/stat : 16423 (java) S 16416 16418 15036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163901968 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16424] ppid=16416 vsize=915456 CPUtime=0.24
/proc/16418/task/16424/stat : 16424 (java) S 16416 16418 15036 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 163901968 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16425] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16425/stat : 16425 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163901968 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16426] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16426/stat : 16426 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163901969 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915456
[startup+6.28083 s]
/proc/loadavg: 2.12 2.04 1.92 3/89 16426
/proc/meminfo: memFree=1348048/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=915456 CPUtime=6.09
/proc/16418/stat : 16418 (java) R 16416 16418 15036 0 -1 0 8779 0 1 0 603 6 0 0 25 0 8 0 163901956 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16418/statm: 228864 8515 2524 14 0 215334 0
[pid=16418/tid=16420] ppid=16416 vsize=915456 CPUtime=0.03
/proc/16418/task/16420/stat : 16420 (java) S 16416 16418 15036 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163901960 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16421] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16421/stat : 16421 (java) S 16416 16418 15036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163901960 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16422] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16422/stat : 16422 (java) S 16416 16418 15036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163901961 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16423] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16423/stat : 16423 (java) S 16416 16418 15036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163901968 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16424] ppid=16416 vsize=915456 CPUtime=0.24
/proc/16418/task/16424/stat : 16424 (java) S 16416 16418 15036 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 163901968 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16425] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16425/stat : 16425 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163901968 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16426] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16426/stat : 16426 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163901969 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915456
[startup+12.756 s]
/proc/loadavg: 2.11 2.03 1.92 3/89 16426
/proc/meminfo: memFree=1348048/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=915456 CPUtime=12.5
/proc/16418/stat : 16418 (java) R 16416 16418 15036 0 -1 0 8786 0 1 0 1244 6 0 0 25 0 8 0 163901956 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16418/statm: 228864 8521 2524 14 0 215334 0
[pid=16418/tid=16420] ppid=16416 vsize=915456 CPUtime=0.03
/proc/16418/task/16420/stat : 16420 (java) S 16416 16418 15036 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163901960 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16421] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16421/stat : 16421 (java) S 16416 16418 15036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163901960 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16422] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16422/stat : 16422 (java) S 16416 16418 15036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163901961 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16423] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16423/stat : 16423 (java) S 16416 16418 15036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163901968 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16424] ppid=16416 vsize=915456 CPUtime=0.24
/proc/16418/task/16424/stat : 16424 (java) S 16416 16418 15036 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 163901968 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16425] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16425/stat : 16425 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163901968 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16426] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16426/stat : 16426 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163901969 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915456
[startup+25.6093 s]
/proc/loadavg: 2.09 2.03 1.92 3/89 16426
/proc/meminfo: memFree=1348048/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=915456 CPUtime=25.24
/proc/16418/stat : 16418 (java) R 16416 16418 15036 0 -1 0 8791 0 1 0 2518 6 0 0 25 0 8 0 163901956 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16418/statm: 228864 8526 2524 14 0 215334 0
[pid=16418/tid=16420] ppid=16416 vsize=915456 CPUtime=0.03
/proc/16418/task/16420/stat : 16420 (java) S 16416 16418 15036 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163901960 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16421] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16421/stat : 16421 (java) S 16416 16418 15036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163901960 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16422] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16422/stat : 16422 (java) S 16416 16418 15036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163901961 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16423] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16423/stat : 16423 (java) S 16416 16418 15036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163901968 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16424] ppid=16416 vsize=915456 CPUtime=0.24
/proc/16418/task/16424/stat : 16424 (java) S 16416 16418 15036 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 163901968 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16425] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16425/stat : 16425 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163901968 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16426] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16426/stat : 16426 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163901969 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915456
[startup+51.216 s]
/proc/loadavg: 2.06 2.03 1.92 3/89 16426
/proc/meminfo: memFree=1348112/2055920 swapFree=4184048/4192956
[pid=16418] ppid=16416 vsize=915456 CPUtime=50.61
/proc/16418/stat : 16418 (java) R 16416 16418 15036 0 -1 0 8793 0 1 0 5055 6 0 0 25 0 8 0 163901956 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16418/statm: 228864 8528 2524 14 0 215334 0
[pid=16418/tid=16420] ppid=16416 vsize=915456 CPUtime=0.03
/proc/16418/task/16420/stat : 16420 (java) S 16416 16418 15036 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163901960 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16421] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16421/stat : 16421 (java) S 16416 16418 15036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163901960 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16422] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16422/stat : 16422 (java) S 16416 16418 15036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163901961 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16423] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16423/stat : 16423 (java) S 16416 16418 15036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163901968 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16424] ppid=16416 vsize=915456 CPUtime=0.24
/proc/16418/task/16424/stat : 16424 (java) S 16416 16418 15036 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 163901968 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16425] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16425/stat : 16425 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163901968 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16418/tid=16426] ppid=16416 vsize=915456 CPUtime=0
/proc/16418/task/16426/stat : 16426 (java) S 16416 16418 15036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163901969 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 98.9799
CPU time (s): 97.9131
CPU user time (s): 97.8421
CPU system time (s): 0.070989
CPU usage (%): 98.9222
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.8421
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8892
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= 3131
involuntary context switches= 7232
runsolver used 0.107983 s user time and 0.343947 s system time
The end
Begin job on node45 on Sun Jan 7 07:30:30 UTC 2007
IDJOB= 202928
IDBENCH= 3899
FILE ID= node45/202928-1168155030
PBS_JOBID= 3478481
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202928-1168155030/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-202928-1168155030 -o ROOT/results/node45/solver-202928-1168155030 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202928-1168155030/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f5b0c13291162361c9841fc745919b19
RANDOM SEED= 972576643
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 : 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.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: 1372904 kB
Buffers: 40312 kB
Cached: 468744 kB
SwapCached: 3188 kB
Active: 355568 kB
Inactive: 267496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1372904 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 128468 kB
Slab: 45108 kB
Committed_AS: 3808184 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= 66543 MiB
End job on node45 on Sun Jan 7 07:32:09 UTC 2007