0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/208131-1168185549/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.49 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.60
0.60 constraints being loaded...
0.73 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=910 maxDegree=25
0.73 maxArity=2
0.73 => wckTime=0.342 cpuTime=0.25 mem=14M786
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.543 cpuTime=0.4 mem=15M258
0.98
0.98 preprocessing
0.98 nbConstraintChecks=61809 nbPropagations=723 nbRevisions=7163 nbUselessRevisions=6294 nbSingletonTests=35
0.98 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.047 cpuTime=0.02 mem=15M258
1.01
1.01 search
1.01 run=0 nbConstraintChecks=41761 nbPropagations=1218 nbRevisions=15492 nbUselessRevisions=13533 nbAssignments=28
1.01 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.074 cpuTime=0.04 mem=15M258
1.03
1.03 search
1.03 run=1 nbConstraintChecks=116605 nbPropagations=3297 nbRevisions=43866 nbUselessRevisions=38272
1.03 nbAssignments=79 nbFailedAssignments=25 nbBacktracks=26 nbVisitedNodes=111 nbRestartNogoods=6 mapSize=24
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.095 cpuTime=0.06 mem=15M258
1.05
1.05 search
1.05 run=2 nbConstraintChecks=192496 nbPropagations=6152 nbRevisions=87428 nbUselessRevisions=76168
1.05 nbAssignments=130 nbFailedAssignments=49 nbBacktracks=48 nbVisitedNodes=202 nbRestartNogoods=9 mapSize=46
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.115 cpuTime=0.07 mem=15M258
1.08
1.08 search
1.08 run=3 nbConstraintChecks=304869 nbPropagations=10209 nbRevisions=155450 nbUselessRevisions=135592
1.08 nbAssignments=200 nbFailedAssignments=80 nbBacktracks=81 nbVisitedNodes=326 nbRestartNogoods=12 mapSize=77
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.143 cpuTime=0.09 mem=15M258
1.11
1.11 search
1.11 run=4 nbConstraintChecks=451601 nbPropagations=15886 nbRevisions=255920 nbUselessRevisions=223280
1.11 nbAssignments=299 nbFailedAssignments=124 nbBacktracks=131 nbVisitedNodes=509 nbRestartNogoods=15 mapSize=126
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.172 cpuTime=0.12 mem=15M258
1.16
1.16 search
1.16 run=5 nbConstraintChecks=681321 nbPropagations=24057 nbRevisions=407874 nbUselessRevisions=356032
1.16 nbAssignments=457 nbFailedAssignments=201 nbBacktracks=207 nbVisitedNodes=801 nbRestartNogoods=17 mapSize=201
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.226 cpuTime=0.17 mem=15M258
1.23
1.23 search
1.23 run=6 nbConstraintChecks=1038480 nbPropagations=35969 nbRevisions=639836 nbUselessRevisions=558655
1.23 nbAssignments=695 nbFailedAssignments=319 nbBacktracks=321 nbVisitedNodes=1243 nbRestartNogoods=23 mapSize=312
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.293 cpuTime=0.23 mem=15M258
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1520134 nbPropagations=52869 nbRevisions=976635 nbUselessRevisions=852591
1.31 nbAssignments=1020 nbFailedAssignments=466 nbBacktracks=492 nbVisitedNodes=1840 nbRestartNogoods=31
1.31 mapSize=474 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.38 cpuTime=0.31 mem=15M258
1.45
1.45 search
1.45 run=8 nbConstraintChecks=2166772 nbPropagations=77164 nbRevisions=1464054 nbUselessRevisions=1278270
1.45 nbAssignments=1521 nbFailedAssignments=704 nbBacktracks=748 nbVisitedNodes=2758 nbRestartNogoods=34
1.45 mapSize=725 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.517 cpuTime=0.44 mem=15M258
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=15M258)
1.65
1.65 search
1.65 run=9 nbConstraintChecks=3329975 nbPropagations=113473 nbRevisions=2211061 nbUselessRevisions=1930626
1.65 nbAssignments=2286 nbFailedAssignments=1078 nbBacktracks=1132 nbVisitedNodes=4182 nbRestartNogoods=39
1.65 => wckTime=0.715 cpuTime=0.63 mem=15M258
1.91
1.91 search
1.91 run=10 nbConstraintChecks=4921359 nbPropagations=166607 nbRevisions=3314420 nbUselessRevisions=2894328
1.91 nbAssignments=3393 nbFailedAssignments=1604 nbBacktracks=1708 nbVisitedNodes=6227 nbRestartNogoods=45
1.91 => wckTime=0.974 cpuTime=0.88 mem=15M258
2.29
2.29 search
2.29 run=11 nbConstraintChecks=7357294 nbPropagations=245394 nbRevisions=4964560 nbUselessRevisions=4335909
2.29 nbAssignments=5074 nbFailedAssignments=2413 nbBacktracks=2572 nbVisitedNodes=9336 nbRestartNogoods=49
2.29 => wckTime=1.352 cpuTime=1.25 mem=15M258
2.85
2.85 search
2.85 run=12 nbConstraintChecks=11034183 nbPropagations=363090 nbRevisions=7448015 nbUselessRevisions=6507601
2.85 nbAssignments=7600 nbFailedAssignments=3622 nbBacktracks=3869 nbVisitedNodes=14009 nbRestartNogoods=59
2.85 => wckTime=1.913 cpuTime=1.81 mem=15M258
3.69
3.69 search
3.69 run=13 nbConstraintChecks=16553821 nbPropagations=538630 nbRevisions=11167179 nbUselessRevisions=9759293
3.69 nbAssignments=11339 nbFailedAssignments=5408 nbBacktracks=5815 nbVisitedNodes=20945 nbRestartNogoods=69
3.69 => wckTime=2.755 cpuTime=2.64 mem=15M258
5.00
5.00 search
5.00 run=14 nbConstraintChecks=25249053 nbPropagations=803903 nbRevisions=16818981 nbUselessRevisions=14702170
5.00 nbAssignments=17132 nbFailedAssignments=8263 nbBacktracks=8734 nbVisitedNodes=31676 nbRestartNogoods=80
5.00 => wckTime=4.068 cpuTime=3.95 mem=15M258
6.90
6.90 search
6.90 run=15 nbConstraintChecks=37644837 nbPropagations=1198732 nbRevisions=25255179 nbUselessRevisions=22080388
6.90 nbAssignments=25591 nbFailedAssignments=12338 nbBacktracks=13112 nbVisitedNodes=47393 nbRestartNogoods=88
6.90 => wckTime=5.962 cpuTime=5.84 mem=15M258
9.72
9.72 search
9.72 run=16 nbConstraintChecks=56055512 nbPropagations=1787916 nbRevisions=37837813 nbUselessRevisions=33088314
9.72 nbAssignments=38236 nbFailedAssignments=18409 nbBacktracks=19680 nbVisitedNodes=70838 nbRestartNogoods=99
9.72 => wckTime=8.782 cpuTime=8.64 mem=15M258
13.98
13.98 search
13.98 run=17 nbConstraintChecks=83736927 nbPropagations=2668221 nbRevisions=56664640 nbUselessRevisions=49560114
13.98 nbAssignments=57258 nbFailedAssignments=27573 nbBacktracks=29533 nbVisitedNodes=106172 nbRestartNogoods=110
13.98 => wckTime=13.043 cpuTime=12.88 mem=15M258
20.50
20.50 search
20.50 run=18 nbConstraintChecks=126667837 nbPropagations=3992756 nbRevisions=85088918 nbUselessRevisions=74434732
20.50 nbAssignments=85703 nbFailedAssignments=41234 nbBacktracks=44311 nbVisitedNodes=159072 nbRestartNogoods=121
20.50 => wckTime=19.571 cpuTime=19.38 mem=15M258
30.00
30.00 search
30.00 run=19 nbConstraintChecks=188389618 nbPropagations=5969746 nbRevisions=127555728 nbUselessRevisions=111614049
30.00 nbAssignments=128270 nbFailedAssignments=61614 nbBacktracks=66480 nbVisitedNodes=238015 nbRestartNogoods=132
30.00 => wckTime=29.068 cpuTime=28.83 mem=15M258
44.42
44.42 search
44.42 run=20 nbConstraintChecks=282473100 nbPropagations=8933801 nbRevisions=191298715 nbUselessRevisions=167424104
44.42 nbAssignments=192557 nbFailedAssignments=92642 nbBacktracks=99733 nbVisitedNodes=357308 nbRestartNogoods=142
44.42 => wckTime=43.483 cpuTime=43.17 mem=15M258
66.51
66.51 search
66.51 run=21 nbConstraintChecks=428803440 nbPropagations=13390321 nbRevisions=287534626 nbUselessRevisions=251695239
66.51 nbAssignments=288124 nbFailedAssignments=138325 nbBacktracks=149612 nbVisitedNodes=534613 nbRestartNogoods=155
66.51 => wckTime=65.573 cpuTime=65.17 mem=15M258
99.29
99.29 search
99.29 run=22 nbConstraintChecks=644597186 nbPropagations=20083380 nbRevisions=432316702 nbUselessRevisions=378521470
99.29 nbAssignments=432046 nbFailedAssignments=207423 nbBacktracks=224430 nbVisitedNodes=802108 nbRestartNogoods=167
99.29 => wckTime=98.356 cpuTime=97.79 mem=15M258
148.75
148.75 search
148.75 run=23 nbConstraintChecks=968447405 nbPropagations=30120907 nbRevisions=649826229 nbUselessRevisions=569090471
148.75 nbAssignments=648249 nbFailedAssignments=311393 nbBacktracks=336657 nbVisitedNodes=1203333 nbRestartNogoods=185
148.75 => wckTime=147.814 cpuTime=146.89 mem=15M258
156.89
156.89 search
156.89 run=24 nbConstraintChecks=1021999465 nbPropagations=40710920 nbRevisions=879243158 nbUselessRevisions=770070400
156.89 nbAssignments=684119 nbFailedAssignments=328886 nbBacktracks=355008 nbVisitedNodes=1270092 nbRestartNogoods=209
156.89 => wckTime=155.954 cpuTime=154.98 mem=15M258
156.89
156.89 global
156.89 nbConstraintChecks=1022061274 nbPropagations=40711643 nbRevisions=879250321 nbUselessRevisions=770076694
156.89 nbRestartNogoods=209 solvingWckTime=155.955 solvingCpuTime=154.98 expiredTime=no totalExploration=no
156.89 nbFoundSolutions=1 globalCpuTime=155.43
156.89 => wckTime=156.501 cpuTime=155.38 mem=15M258
156.89
156.89 s SATISFIABLE
156.89 v 12 1 4 7 16 5 6 14 0 5 4 2 7 4 5 21 17 15 20 2 7 15 23 15 3 9
156.89 d NODES 684119
156.89 d CHECKS 1022061274
156.89
156.89 totalWckTime=156.581 totalCpuTime=155.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-208131-1168185549 -o ROOT/results/node15/solver-208131-1168185549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208131-1168185549/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.92 2.00 1.99 2/93 19707
/proc/meminfo: memFree=1620696/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=18540 CPUtime=0
/proc/19706/stat : 19706 (runsolver) R 19704 19706 19163 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 166949725 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19706/statm: 4635 279 244 17 0 2626 0
[startup+0.101812 s]
/proc/loadavg: 1.92 2.00 1.99 2/93 19707
/proc/meminfo: memFree=1620696/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=907808 CPUtime=0.05
/proc/19706/stat : 19706 (java) D 19704 19706 19163 0 -1 0 2506 0 1 0 4 1 0 0 17 0 4 0 166949725 929595392 2253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.509883 s]
/proc/loadavg: 1.92 2.00 1.99 2/93 19707
/proc/meminfo: memFree=1620696/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=915328 CPUtime=0.4
/proc/19706/stat : 19706 (java) R 19704 19706 19163 0 -1 0 6128 0 1 0 37 3 0 0 18 0 8 0 166949725 937295872 5867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 228832 5867 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33102 s]
/proc/loadavg: 1.92 2.00 1.99 3/100 19714
/proc/meminfo: memFree=1595616/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=915456 CPUtime=1.22
/proc/19706/stat : 19706 (java) R 19704 19706 19163 0 -1 0 8984 0 1 0 116 6 0 0 24 0 8 0 166949725 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 228864 8722 2524 14 0 215334 0
[pid=19706/tid=19708] ppid=19704 vsize=915456 CPUtime=0.03
/proc/19706/task/19708/stat : 19708 (java) S 19704 19706 19163 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166949729 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19709] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19709/stat : 19709 (java) S 19704 19706 19163 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166949730 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19710] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19710/stat : 19710 (java) S 19704 19706 19163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166949730 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19711] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19711/stat : 19711 (java) S 19704 19706 19163 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166949740 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19712] ppid=19704 vsize=915456 CPUtime=0.2
/proc/19706/task/19712/stat : 19712 (java) S 19704 19706 19163 0 -1 64 376 0 0 0 20 0 0 0 15 0 8 0 166949740 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19713] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19713/stat : 19713 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166949740 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19714] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19714/stat : 19714 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166949740 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915456
[startup+2.9803 s]
/proc/loadavg: 1.92 2.00 1.99 3/100 19714
/proc/meminfo: memFree=1595488/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=915456 CPUtime=2.86
/proc/19706/stat : 19706 (java) R 19704 19706 19163 0 -1 0 9002 0 1 0 280 6 0 0 25 0 8 0 166949725 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 228864 8738 2524 14 0 215334 0
[pid=19706/tid=19708] ppid=19704 vsize=915456 CPUtime=0.03
/proc/19706/task/19708/stat : 19708 (java) S 19704 19706 19163 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 166949729 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19709] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19709/stat : 19709 (java) S 19704 19706 19163 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19710] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19710/stat : 19710 (java) S 19704 19706 19163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19711] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19711/stat : 19711 (java) S 19704 19706 19163 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19712] ppid=19704 vsize=915456 CPUtime=0.24
/proc/19706/task/19712/stat : 19712 (java) S 19704 19706 19163 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19713] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19713/stat : 19713 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19714] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19714/stat : 19714 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915456
[startup+6.27087 s]
/proc/loadavg: 1.93 2.00 1.99 3/100 19714
/proc/meminfo: memFree=1595424/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=915456 CPUtime=6.13
/proc/19706/stat : 19706 (java) R 19704 19706 19163 0 -1 0 9002 0 1 0 607 6 0 0 25 0 8 0 166949725 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 228864 8738 2524 14 0 215334 0
[pid=19706/tid=19708] ppid=19704 vsize=915456 CPUtime=0.03
/proc/19706/task/19708/stat : 19708 (java) S 19704 19706 19163 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166949729 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19709] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19709/stat : 19709 (java) S 19704 19706 19163 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19710] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19710/stat : 19710 (java) S 19704 19706 19163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19711] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19711/stat : 19711 (java) S 19704 19706 19163 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19712] ppid=19704 vsize=915456 CPUtime=0.24
/proc/19706/task/19712/stat : 19712 (java) S 19704 19706 19163 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19713] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19713/stat : 19713 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19714] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19714/stat : 19714 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456
[startup+12.751 s]
/proc/loadavg: 1.93 2.00 1.99 3/100 19714
/proc/meminfo: memFree=1595432/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=915456 CPUtime=12.58
/proc/19706/stat : 19706 (java) R 19704 19706 19163 0 -1 0 9002 0 1 0 1252 6 0 0 25 0 8 0 166949725 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 228864 8738 2524 14 0 215334 0
[pid=19706/tid=19708] ppid=19704 vsize=915456 CPUtime=0.03
/proc/19706/task/19708/stat : 19708 (java) S 19704 19706 19163 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166949729 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19709] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19709/stat : 19709 (java) S 19704 19706 19163 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19710] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19710/stat : 19710 (java) S 19704 19706 19163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19711] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19711/stat : 19711 (java) S 19704 19706 19163 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19712] ppid=19704 vsize=915456 CPUtime=0.24
/proc/19706/task/19712/stat : 19712 (java) S 19704 19706 19163 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19713] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19713/stat : 19713 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19714] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19714/stat : 19714 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915456
[startup+25.6072 s]
/proc/loadavg: 1.95 2.00 1.99 3/100 19714
/proc/meminfo: memFree=1595432/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=915456 CPUtime=25.38
/proc/19706/stat : 19706 (java) R 19704 19706 19163 0 -1 0 9003 0 1 0 2531 7 0 0 25 0 8 0 166949725 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 228864 8738 2524 14 0 215334 0
[pid=19706/tid=19708] ppid=19704 vsize=915456 CPUtime=0.03
/proc/19706/task/19708/stat : 19708 (java) S 19704 19706 19163 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166949729 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19709] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19709/stat : 19709 (java) S 19704 19706 19163 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19710] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19710/stat : 19710 (java) S 19704 19706 19163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19711] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19711/stat : 19711 (java) S 19704 19706 19163 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19712] ppid=19704 vsize=915456 CPUtime=0.24
/proc/19706/task/19712/stat : 19712 (java) S 19704 19706 19163 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19713] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19713/stat : 19713 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19714] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19714/stat : 19714 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915456
[startup+51.2186 s]
/proc/loadavg: 1.96 2.00 1.99 3/100 19714
/proc/meminfo: memFree=1595496/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=915456 CPUtime=50.87
/proc/19706/stat : 19706 (java) R 19704 19706 19163 0 -1 0 9003 0 1 0 5080 7 0 0 25 0 8 0 166949725 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 228864 8738 2524 14 0 215334 0
[pid=19706/tid=19708] ppid=19704 vsize=915456 CPUtime=0.03
/proc/19706/task/19708/stat : 19708 (java) S 19704 19706 19163 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166949729 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19709] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19709/stat : 19709 (java) S 19704 19706 19163 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19710] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19710/stat : 19710 (java) S 19704 19706 19163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19711] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19711/stat : 19711 (java) S 19704 19706 19163 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19712] ppid=19704 vsize=915456 CPUtime=0.24
/proc/19706/task/19712/stat : 19712 (java) S 19704 19706 19163 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19713] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19713/stat : 19713 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19714] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19714/stat : 19714 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915456
[startup+102.429 s]
/proc/loadavg: 2.05 2.01 2.00 3/100 19714
/proc/meminfo: memFree=1595560/2055920 swapFree=4174172/4192956
[pid=19706] ppid=19704 vsize=915456 CPUtime=101.83
/proc/19706/stat : 19706 (java) R 19704 19706 19163 0 -1 0 9003 0 1 0 10176 7 0 0 25 0 8 0 166949725 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19706/statm: 228864 8738 2524 14 0 215334 0
[pid=19706/tid=19708] ppid=19704 vsize=915456 CPUtime=0.03
/proc/19706/task/19708/stat : 19708 (java) S 19704 19706 19163 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166949729 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19709] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19709/stat : 19709 (java) S 19704 19706 19163 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19710] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19710/stat : 19710 (java) S 19704 19706 19163 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166949730 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19711] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19711/stat : 19711 (java) S 19704 19706 19163 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19712] ppid=19704 vsize=915456 CPUtime=0.24
/proc/19706/task/19712/stat : 19712 (java) S 19704 19706 19163 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19713] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19713/stat : 19713 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19706/tid=19714] ppid=19704 vsize=915456 CPUtime=0
/proc/19706/task/19714/stat : 19714 (java) S 19704 19706 19163 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166949740 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 156.906
CPU time (s): 155.928
CPU user time (s): 155.843
CPU system time (s): 0.084987
CPU usage (%): 99.3767
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.843
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9013
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= 4289
involuntary context switches= 9226
runsolver used 0.211967 s user time and 0.497924 s system time
The end
Begin job on node15 on Sun Jan 7 15:59:09 UTC 2007
IDJOB= 208131
IDBENCH= 4354
FILE ID= node15/208131-1168185549
PBS_JOBID= 3478935
Free space on /tmp= 66327 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208131-1168185549/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-208131-1168185549 -o ROOT/results/node15/solver-208131-1168185549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208131-1168185549/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 54698638fe0987e45b8e84e29f50723c
RANDOM SEED= 78002973
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.276
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.276
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: 1621176 kB
Buffers: 65868 kB
Cached: 250324 kB
SwapCached: 6400 kB
Active: 162520 kB
Inactive: 215392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1621176 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 81112 kB
Slab: 41364 kB
Committed_AS: 5454276 kB
PageTables: 2492 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= 66327 MiB
End job on node15 on Sun Jan 7 16:01:46 UTC 2007