0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/202760-1168154104/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=346 nbRelationTypes=346 nbExtensionStructures=346 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=346 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3155 maxDegree=25
0.61 maxArity=2
0.61 => wckTime=0.309 cpuTime=0.23 mem=12M804
0.65
0.65 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.502 cpuTime=0.36 mem=15M24
0.85
0.85 preprocessing
0.85 nbConstraintChecks=65981 nbPropagations=913 nbRevisions=6865 nbUselessRevisions=5662 nbSingletonTests=50
0.85 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.048 cpuTime=0.02 mem=15M24
0.87
0.88 search
0.88 run=0 nbConstraintChecks=35711 nbPropagations=1416 nbRevisions=12812 nbUselessRevisions=10560 nbAssignments=26
0.88 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.069 cpuTime=0.04 mem=15M24
0.89
0.90 search
0.90 run=1 nbConstraintChecks=81314 nbPropagations=3502 nbRevisions=34227 nbUselessRevisions=28172 nbAssignments=63
0.90 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=104 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.089 cpuTime=0.06 mem=15M24
0.91
0.91 search
0.91 run=2 nbConstraintChecks=144545 nbPropagations=6478 nbRevisions=67231 nbUselessRevisions=55232
0.91 nbAssignments=108 nbFailedAssignments=39 nbBacktracks=48 nbVisitedNodes=180 nbRestartNogoods=5 mapSize=44
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.106 cpuTime=0.07 mem=15M24
0.93
0.93 search
0.93 run=3 nbConstraintChecks=220392 nbPropagations=10591 nbRevisions=115033 nbUselessRevisions=94328
0.93 nbAssignments=167 nbFailedAssignments=57 nbBacktracks=83 nbVisitedNodes=276 nbRestartNogoods=8 mapSize=72
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.122 cpuTime=0.08 mem=15M24
0.95
0.95 search
0.95 run=4 nbConstraintChecks=328190 nbPropagations=16314 nbRevisions=184572 nbUselessRevisions=151261
0.95 nbAssignments=257 nbFailedAssignments=89 nbBacktracks=135 nbVisitedNodes=424 nbRestartNogoods=12 mapSize=114
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.145 cpuTime=0.1 mem=15M24
0.99
0.99 search
0.99 run=5 nbConstraintChecks=503784 nbPropagations=24556 nbRevisions=290166 nbUselessRevisions=237820
0.99 nbAssignments=396 nbFailedAssignments=144 nbBacktracks=211 nbVisitedNodes=669 nbRestartNogoods=15 mapSize=182
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.183 cpuTime=0.14 mem=15M24
1.05
1.05 search
1.05 run=6 nbConstraintChecks=837030 nbPropagations=37196 nbRevisions=456439 nbUselessRevisions=373285
1.05 nbAssignments=628 nbFailedAssignments=236 nbBacktracks=325 nbVisitedNodes=1052 nbRestartNogoods=19 mapSize=283
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.241 cpuTime=0.2 mem=15M24
1.12
1.12 search
1.12 run=7 nbConstraintChecks=1254002 nbPropagations=55499 nbRevisions=706591 nbUselessRevisions=577353
1.12 nbAssignments=938 nbFailedAssignments=369 nbBacktracks=496 nbVisitedNodes=1598 nbRestartNogoods=24 mapSize=435
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.315 cpuTime=0.27 mem=15M24
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1781943 nbPropagations=81474 nbRevisions=1064494 nbUselessRevisions=869138
1.22 nbAssignments=1371 nbFailedAssignments=538 nbBacktracks=754 nbVisitedNodes=2349 nbRestartNogoods=29
1.22 mapSize=660 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.414 cpuTime=0.37 mem=15M24
1.37
1.37 search
1.37 run=9 nbConstraintChecks=2572401 nbPropagations=118783 nbRevisions=1576172 nbUselessRevisions=1284817
1.37 nbAssignments=2020 nbFailedAssignments=795 nbBacktracks=1140 nbVisitedNodes=3443 nbRestartNogoods=37
1.37 mapSize=969 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.561 cpuTime=0.5 mem=15M24
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=15M24)
1.59
1.59 search
1.59 run=10 nbConstraintChecks=3809218 nbPropagations=173738 nbRevisions=2341988 nbUselessRevisions=1908512
1.59 nbAssignments=3018 nbFailedAssignments=1207 nbBacktracks=1716 nbVisitedNodes=5185 nbRestartNogoods=44
1.59 => wckTime=0.785 cpuTime=0.72 mem=15M24
1.92
1.92 search
1.92 run=11 nbConstraintChecks=5788666 nbPropagations=256364 nbRevisions=3496238 nbUselessRevisions=2848294
1.92 nbAssignments=4513 nbFailedAssignments=1819 nbBacktracks=2581 nbVisitedNodes=7803 nbRestartNogoods=51
1.92 => wckTime=1.111 cpuTime=1.04 mem=15M24
2.41
2.42 search
2.42 run=12 nbConstraintChecks=8976786 nbPropagations=380943 nbRevisions=5257602 nbUselessRevisions=4279645
2.42 nbAssignments=6784 nbFailedAssignments=2786 nbBacktracks=3879 nbVisitedNodes=11770 nbRestartNogoods=58
2.42 => wckTime=1.61 cpuTime=1.53 mem=15M24
3.04
3.04 search
3.04 run=13 nbConstraintChecks=13081771 nbPropagations=562869 nbRevisions=7826751 nbUselessRevisions=6365186
3.04 nbAssignments=10017 nbFailedAssignments=4067 nbBacktracks=5826 nbVisitedNodes=17382 nbRestartNogoods=64
3.04 => wckTime=2.23 cpuTime=2.15 mem=15M24
3.97
3.97 search
3.97 run=14 nbConstraintChecks=19246156 nbPropagations=830999 nbRevisions=11589434 nbUselessRevisions=9413866
3.97 nbAssignments=14731 nbFailedAssignments=5854 nbBacktracks=8745 nbVisitedNodes=25494 nbRestartNogoods=70
3.97 => wckTime=3.164 cpuTime=3.09 mem=15M24
5.58
5.58 search
5.58 run=15 nbConstraintChecks=30120280 nbPropagations=1242211 nbRevisions=17410717 nbUselessRevisions=14125022
5.58 nbAssignments=22382 nbFailedAssignments=9118 nbBacktracks=13123 nbVisitedNodes=39020 nbRestartNogoods=74
5.58 => wckTime=4.77 cpuTime=4.69 mem=15M24
7.83
7.83 search
7.83 run=16 nbConstraintChecks=44829757 nbPropagations=1859657 nbRevisions=26181519 nbUselessRevisions=21239617
7.83 nbAssignments=33455 nbFailedAssignments=13614 nbBacktracks=19691 nbVisitedNodes=58415 nbRestartNogoods=83
7.83 => wckTime=7.02 cpuTime=6.94 mem=15M24
11.18
11.18 search
11.18 run=17 nbConstraintChecks=66997642 nbPropagations=2780062 nbRevisions=39338190 nbUselessRevisions=31927870
11.18 nbAssignments=50002 nbFailedAssignments=20300 nbBacktracks=29546 nbVisitedNodes=87371 nbRestartNogoods=94
11.18 => wckTime=10.372 cpuTime=10.29 mem=15M24
16.20
16.20 search
16.20 run=18 nbConstraintChecks=100652530 nbPropagations=4156665 nbRevisions=59018366 nbUselessRevisions=47911965
16.20 nbAssignments=74599 nbFailedAssignments=30112 nbBacktracks=44326 nbVisitedNodes=130365 nbRestartNogoods=103
16.20 => wckTime=15.394 cpuTime=15.31 mem=15M999
23.81
23.81 search
23.81 run=19 nbConstraintChecks=151653540 nbPropagations=6227475 nbRevisions=88685964 nbUselessRevisions=72007050
23.81 nbAssignments=112200 nbFailedAssignments=45536 nbBacktracks=66495 nbVisitedNodes=196129 nbRestartNogoods=116
23.81 => wckTime=23.007 cpuTime=22.92 mem=15M999
35.40
35.40 search
35.40 run=20 nbConstraintChecks=223375333 nbPropagations=9299591 nbRevisions=132609669 nbUselessRevisions=107704409
35.40 nbAssignments=167100 nbFailedAssignments=67175 nbBacktracks=99748 nbVisitedNodes=291423 nbRestartNogoods=125
35.40 => wckTime=34.591 cpuTime=34.49 mem=15M999
53.51
53.51 search
53.51 run=21 nbConstraintChecks=336894605 nbPropagations=13897957 nbRevisions=198548878 nbUselessRevisions=161292976
53.51 nbAssignments=250236 nbFailedAssignments=100425 nbBacktracks=149626 nbVisitedNodes=436214 nbRestartNogoods=135
53.51 => wckTime=52.709 cpuTime=52.61 mem=15M999
64.22
64.22 search
64.22 run=22 nbConstraintChecks=403096472 nbPropagations=19407484 nbRevisions=277470998 nbUselessRevisions=225435901
64.22 nbAssignments=299827 nbFailedAssignments=120292 nbBacktracks=179310 nbVisitedNodes=522722 nbRestartNogoods=142
64.22 => wckTime=63.417 cpuTime=63.32 mem=15M999
64.22
64.22 global
64.22 nbConstraintChecks=403162453 nbPropagations=19408397 nbRevisions=277477863 nbUselessRevisions=225441563
64.22 nbRestartNogoods=142 solvingWckTime=63.418 solvingCpuTime=63.32 expiredTime=no totalExploration=no
64.22 nbFoundSolutions=1 globalCpuTime=63.73
64.22 => wckTime=63.923 cpuTime=63.68 mem=15M999
64.23
64.23 s SATISFIABLE
64.23 v 15 4 0 17 1 9 10 17 0 3 15 2 17 18 6 12 14 2 6 2 11 2 1 14 2 9 14 13 15 1 18 9 13 8 1 6 5 4 4 4
64.23 d NODES 299827
64.23 d CHECKS 403162453
64.23
64.23 totalWckTime=63.999 totalCpuTime=63.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-202760-1168154104 -o ROOT/results/node61/solver-202760-1168154104 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202760-1168154104/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.01 1.21 4/65 2069
/proc/meminfo: memFree=1745336/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=168 CPUtime=0
/proc/2068/stat : 2068 (java) R 2066 2068 1050 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 163808212 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10383659 0 0 4096 0 0 0 0 17 1 0 0
/proc/2068/statm: 42 23 18 14 0 2 0
[startup+0.104874 s]
/proc/loadavg: 1.00 1.01 1.21 4/65 2069
/proc/meminfo: memFree=1745336/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=914988 CPUtime=0.08
/proc/2068/stat : 2068 (java) R 2066 2068 1050 0 -1 0 3017 0 1 0 7 1 0 0 16 0 8 0 163808212 936947712 2763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153984976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2068/statm: 228747 2763 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512945 s]
/proc/loadavg: 1.00 1.01 1.21 4/65 2069
/proc/meminfo: memFree=1745336/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=915328 CPUtime=0.49
/proc/2068/stat : 2068 (java) S 2066 2068 1050 0 -1 0 6918 0 1 0 46 3 0 0 17 0 8 0 163808212 937295872 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2068/statm: 228832 6657 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33508 s]
/proc/loadavg: 1.00 1.01 1.21 3/72 2076
/proc/meminfo: memFree=1721344/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=915456 CPUtime=1.31
/proc/2068/stat : 2068 (java) R 2066 2068 1050 0 -1 0 8744 0 1 0 126 5 0 0 16 0 8 0 163808212 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2068/statm: 228864 8482 2524 14 0 215334 0
[pid=2068/tid=2070] ppid=2066 vsize=915456 CPUtime=0.03
/proc/2068/task/2070/stat : 2070 (java) S 2066 2068 1050 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163808216 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2068/tid=2071] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2071/stat : 2071 (java) S 2066 2068 1050 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2072] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2072/stat : 2072 (java) S 2066 2068 1050 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2073] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2073/stat : 2073 (java) S 2066 2068 1050 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163808220 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2074] ppid=2066 vsize=915456 CPUtime=0.19
/proc/2068/task/2074/stat : 2074 (java) S 2066 2068 1050 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 163808220 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2075] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2075/stat : 2075 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 163808220 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2076] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2076/stat : 2076 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163808220 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.98737 s]
/proc/loadavg: 1.00 1.01 1.21 2/72 2076
/proc/meminfo: memFree=1721088/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=915456 CPUtime=2.96
/proc/2068/stat : 2068 (java) R 2066 2068 1050 0 -1 0 8771 0 1 0 291 5 0 0 18 0 8 0 163808212 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2068/statm: 228864 8508 2524 14 0 215334 0
[pid=2068/tid=2070] ppid=2066 vsize=915456 CPUtime=0.03
/proc/2068/task/2070/stat : 2070 (java) S 2066 2068 1050 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163808216 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2068/tid=2071] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2071/stat : 2071 (java) S 2066 2068 1050 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2072] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2072/stat : 2072 (java) S 2066 2068 1050 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2073] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2073/stat : 2073 (java) S 2066 2068 1050 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163808220 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2074] ppid=2066 vsize=915456 CPUtime=0.21
/proc/2068/task/2074/stat : 2074 (java) S 2066 2068 1050 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 163808220 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2075] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2075/stat : 2075 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 163808220 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2076] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2076/stat : 2076 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163808220 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456
[startup+6.26495 s]
/proc/loadavg: 1.00 1.01 1.21 2/72 2076
/proc/meminfo: memFree=1720896/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=915456 CPUtime=6.23
/proc/2068/stat : 2068 (java) R 2066 2068 1050 0 -1 0 8778 0 1 0 618 5 0 0 25 0 8 0 163808212 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2068/statm: 228864 8515 2524 14 0 215334 0
[pid=2068/tid=2070] ppid=2066 vsize=915456 CPUtime=0.03
/proc/2068/task/2070/stat : 2070 (java) S 2066 2068 1050 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163808216 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2068/tid=2071] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2071/stat : 2071 (java) S 2066 2068 1050 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2072] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2072/stat : 2072 (java) S 2066 2068 1050 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2073] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2073/stat : 2073 (java) S 2066 2068 1050 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163808220 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2074] ppid=2066 vsize=915456 CPUtime=0.21
/proc/2068/task/2074/stat : 2074 (java) S 2066 2068 1050 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 163808220 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2075] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2075/stat : 2075 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 163808220 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2076] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2076/stat : 2076 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163808220 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456
[startup+12.7491 s]
/proc/loadavg: 1.00 1.01 1.20 2/72 2076
/proc/meminfo: memFree=1720896/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=915456 CPUtime=12.71
/proc/2068/stat : 2068 (java) R 2066 2068 1050 0 -1 0 8785 0 1 0 1266 5 0 0 25 0 8 0 163808212 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2068/statm: 228864 8521 2524 14 0 215334 0
[pid=2068/tid=2070] ppid=2066 vsize=915456 CPUtime=0.03
/proc/2068/task/2070/stat : 2070 (java) S 2066 2068 1050 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163808216 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2068/tid=2071] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2071/stat : 2071 (java) S 2066 2068 1050 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2072] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2072/stat : 2072 (java) S 2066 2068 1050 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2073] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2073/stat : 2073 (java) S 2066 2068 1050 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163808220 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2074] ppid=2066 vsize=915456 CPUtime=0.21
/proc/2068/task/2074/stat : 2074 (java) S 2066 2068 1050 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 163808220 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2075] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2075/stat : 2075 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 163808220 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2076] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2076/stat : 2076 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163808220 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915456
[startup+25.5873 s]
/proc/loadavg: 1.00 1.01 1.20 2/72 2076
/proc/meminfo: memFree=1720960/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=915456 CPUtime=25.54
/proc/2068/stat : 2068 (java) R 2066 2068 1050 0 -1 0 8790 0 1 0 2549 5 0 0 25 0 8 0 163808212 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2068/statm: 228864 8526 2524 14 0 215334 0
[pid=2068/tid=2070] ppid=2066 vsize=915456 CPUtime=0.03
/proc/2068/task/2070/stat : 2070 (java) S 2066 2068 1050 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163808216 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2068/tid=2071] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2071/stat : 2071 (java) S 2066 2068 1050 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2072] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2072/stat : 2072 (java) S 2066 2068 1050 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2073] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2073/stat : 2073 (java) S 2066 2068 1050 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163808220 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2074] ppid=2066 vsize=915456 CPUtime=0.21
/proc/2068/task/2074/stat : 2074 (java) S 2066 2068 1050 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 163808220 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2075] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2075/stat : 2075 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 163808220 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2076] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2076/stat : 2076 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163808220 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915456
[startup+51.2646 s]
/proc/loadavg: 1.00 1.00 1.19 2/72 2076
/proc/meminfo: memFree=1720960/2055920 swapFree=4192812/4192956
[pid=2068] ppid=2066 vsize=915456 CPUtime=51.22
/proc/2068/stat : 2068 (java) R 2066 2068 1050 0 -1 0 8792 0 1 0 5116 6 0 0 25 0 8 0 163808212 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2068/statm: 228864 8528 2524 14 0 215334 0
[pid=2068/tid=2070] ppid=2066 vsize=915456 CPUtime=0.03
/proc/2068/task/2070/stat : 2070 (java) S 2066 2068 1050 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163808216 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2068/tid=2071] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2071/stat : 2071 (java) S 2066 2068 1050 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2072] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2072/stat : 2072 (java) S 2066 2068 1050 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163808216 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2073] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2073/stat : 2073 (java) S 2066 2068 1050 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163808220 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2074] ppid=2066 vsize=915456 CPUtime=0.21
/proc/2068/task/2074/stat : 2074 (java) S 2066 2068 1050 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 163808220 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2075] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2075/stat : 2075 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 163808220 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2068/tid=2076] ppid=2066 vsize=915456 CPUtime=0
/proc/2068/task/2076/stat : 2076 (java) S 2066 2068 1050 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163808220 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 64.2847
CPU time (s): 64.1932
CPU user time (s): 64.1243
CPU system time (s): 0.068989
CPU usage (%): 99.8577
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1243
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8884
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= 2197
involuntary context switches= 890
runsolver used 0.050992 s user time and 0.188971 s system time
The end
Begin job on node61 on Sun Jan 7 07:15:04 UTC 2007
IDJOB= 202760
IDBENCH= 3881
FILE ID= node61/202760-1168154104
PBS_JOBID= 3478440
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202760-1168154104/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-202760-1168154104 -o ROOT/results/node61/solver-202760-1168154104 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202760-1168154104/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c046588c38b55c6da3459e0e52b840b
RANDOM SEED= 539728026
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: 1745688 kB
Buffers: 42844 kB
Cached: 188900 kB
SwapCached: 0 kB
Active: 123536 kB
Inactive: 124104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1745688 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 26040 kB
Slab: 48712 kB
Committed_AS: 3358672 kB
PageTables: 1388 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= 66518 MiB
End job on node61 on Sun Jan 7 07:16:08 UTC 2007