0.29
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/202835-1168154513/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.096 cpuTime=0.07 mem=6M951
0.39
0.39 relations being loaded...
0.50
0.50 constraints being loaded...
0.60 nbConstraints=343 nbRelationTypes=343 nbExtensionStructures=343 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=343 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3028 maxDegree=21
0.60 maxArity=2
0.60 => wckTime=0.306 cpuTime=0.22 mem=12M803
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.502 cpuTime=0.34 mem=15M22
0.85
0.85 preprocessing
0.85 nbConstraintChecks=72267 nbPropagations=971 nbRevisions=7659 nbUselessRevisions=6153 nbSingletonTests=52
0.85 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.051 cpuTime=0.03 mem=15M22
0.87
0.87 search
0.87 run=0 nbConstraintChecks=28208 nbPropagations=1361 nbRevisions=11881 nbUselessRevisions=9606 nbAssignments=24
0.87 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.071 cpuTime=0.05 mem=15M22
0.89
0.89 search
0.89 run=1 nbConstraintChecks=78883 nbPropagations=3471 nbRevisions=33136 nbUselessRevisions=26716 nbAssignments=60
0.89 nbFailedAssignments=16 nbBacktracks=31 nbVisitedNodes=96 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.092 cpuTime=0.06 mem=15M22
0.91
0.91 search
0.91 run=2 nbConstraintChecks=134245 nbPropagations=6319 nbRevisions=63860 nbUselessRevisions=51257
0.91 nbAssignments=106 nbFailedAssignments=34 nbBacktracks=53 nbVisitedNodes=172 nbRestartNogoods=3 mapSize=45
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.108 cpuTime=0.07 mem=15M22
0.93
0.93 search
0.93 run=3 nbConstraintChecks=232683 nbPropagations=10444 nbRevisions=111274 nbUselessRevisions=89179
0.93 nbAssignments=172 nbFailedAssignments=60 nbBacktracks=87 nbVisitedNodes=285 nbRestartNogoods=5 mapSize=77
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.126 cpuTime=0.09 mem=15M22
0.95
0.95 search
0.95 run=4 nbConstraintChecks=338004 nbPropagations=16147 nbRevisions=179119 nbUselessRevisions=143792
0.95 nbAssignments=261 nbFailedAssignments=88 nbBacktracks=139 nbVisitedNodes=431 nbRestartNogoods=9 mapSize=118
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.149 cpuTime=0.11 mem=15M22
0.99
0.99 search
0.99 run=5 nbConstraintChecks=535243 nbPropagations=24571 nbRevisions=283185 nbUselessRevisions=227453
0.99 nbAssignments=396 nbFailedAssignments=141 nbBacktracks=214 nbVisitedNodes=669 nbRestartNogoods=13 mapSize=186
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.19 cpuTime=0.15 mem=15M22
1.04
1.04 search
1.04 run=6 nbConstraintChecks=800399 nbPropagations=36536 nbRevisions=435926 nbUselessRevisions=350350
1.04 nbAssignments=598 nbFailedAssignments=221 nbBacktracks=329 nbVisitedNodes=1014 nbRestartNogoods=16 mapSize=281
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.237 cpuTime=0.19 mem=15M22
1.09
1.09 search
1.09 run=7 nbConstraintChecks=1080640 nbPropagations=52772 nbRevisions=645523 nbUselessRevisions=519287
1.10 nbAssignments=864 nbFailedAssignments=310 nbBacktracks=499 nbVisitedNodes=1456 nbRestartNogoods=22 mapSize=414
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.293 cpuTime=0.25 mem=15M22
1.20
1.20 search
1.20 run=8 nbConstraintChecks=1615503 nbPropagations=76447 nbRevisions=958446 nbUselessRevisions=771441
1.20 nbAssignments=1301 nbFailedAssignments=483 nbBacktracks=757 nbVisitedNodes=2210 nbRestartNogoods=28
1.20 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.393 cpuTime=0.34 mem=15M22
1.33
1.33 search
1.33 run=9 nbConstraintChecks=2315469 nbPropagations=110450 nbRevisions=1413866 nbUselessRevisions=1139301
1.33 nbAssignments=1912 nbFailedAssignments=704 nbBacktracks=1141 nbVisitedNodes=3236 nbRestartNogoods=32
1.33 mapSize=934 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.532 cpuTime=0.48 mem=15M22
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M22)
1.53
1.53 search
1.53 run=10 nbConstraintChecks=3497640 nbPropagations=161291 nbRevisions=2107457 nbUselessRevisions=1701140
1.53 nbAssignments=2872 nbFailedAssignments=1081 nbBacktracks=1717 nbVisitedNodes=4897 nbRestartNogoods=39
1.53 => wckTime=0.731 cpuTime=0.66 mem=15M22
1.80
1.80 search
1.80 run=11 nbConstraintChecks=5227962 nbPropagations=236034 nbRevisions=3130978 nbUselessRevisions=2529228
1.80 nbAssignments=4245 nbFailedAssignments=1582 nbBacktracks=2582 nbVisitedNodes=7255 nbRestartNogoods=45
1.80 => wckTime=0.996 cpuTime=0.93 mem=15M22
2.17
2.17 search
2.17 run=12 nbConstraintChecks=7580464 nbPropagations=345877 nbRevisions=4644685 nbUselessRevisions=3757758
2.17 nbAssignments=6344 nbFailedAssignments=2375 nbBacktracks=3879 nbVisitedNodes=10825 nbRestartNogoods=51
2.17 => wckTime=1.372 cpuTime=1.3 mem=15M22
2.80
2.80 search
2.80 run=13 nbConstraintChecks=11811003 nbPropagations=512440 nbRevisions=6966301 nbUselessRevisions=5643896
2.80 nbAssignments=9553 nbFailedAssignments=3630 nbBacktracks=5827 nbVisitedNodes=16414 nbRestartNogoods=63
2.80 => wckTime=1.997 cpuTime=1.93 mem=15M22
3.61
3.61 search
3.61 run=14 nbConstraintChecks=16974319 nbPropagations=754019 nbRevisions=10328586 nbUselessRevisions=8374169
3.61 nbAssignments=14089 nbFailedAssignments=5242 nbBacktracks=8746 nbVisitedNodes=24017 nbRestartNogoods=72
3.61 => wckTime=2.806 cpuTime=2.74 mem=15M22
5.03
5.03 search
5.03 run=15 nbConstraintChecks=26398977 nbPropagations=1125188 nbRevisions=15541881 nbUselessRevisions=12611540
5.03 nbAssignments=21407 nbFailedAssignments=8173 nbBacktracks=13127 nbVisitedNodes=36704 nbRestartNogoods=80
5.03 => wckTime=4.225 cpuTime=4.15 mem=15M22
7.02
7.02 search
7.02 run=16 nbConstraintChecks=39620272 nbPropagations=1680157 nbRevisions=23328839 nbUselessRevisions=18934788
7.02 nbAssignments=32061 nbFailedAssignments=12252 nbBacktracks=19697 nbVisitedNodes=54938 nbRestartNogoods=89
7.02 => wckTime=6.221 cpuTime=6.15 mem=15M22
10.07
10.07 search
10.07 run=17 nbConstraintChecks=59518729 nbPropagations=2517202 nbRevisions=35063668 nbUselessRevisions=28467927
10.07 nbAssignments=48138 nbFailedAssignments=18467 nbBacktracks=29553 nbVisitedNodes=82618 nbRestartNogoods=94
10.07 => wckTime=9.265 cpuTime=9.17 mem=15M997
14.56
14.56 search
14.56 run=18 nbConstraintChecks=88820230 nbPropagations=3770558 nbRevisions=52714041 nbUselessRevisions=42826188
14.56 nbAssignments=72353 nbFailedAssignments=27894 nbBacktracks=44332 nbVisitedNodes=124300 nbRestartNogoods=101
14.56 => wckTime=13.761 cpuTime=13.64 mem=15M997
21.81
21.81 search
21.81 run=19 nbConstraintChecks=138092884 nbPropagations=5682428 nbRevisions=79833177 nbUselessRevisions=64895988
21.81 nbAssignments=108960 nbFailedAssignments=42323 nbBacktracks=66502 nbVisitedNodes=188034 nbRestartNogoods=113
21.81 => wckTime=21.011 cpuTime=20.89 mem=15M997
32.06
32.06 search
32.06 run=20 nbConstraintChecks=205692991 nbPropagations=8542301 nbRevisions=120330949 nbUselessRevisions=97852055
32.06 nbAssignments=162793 nbFailedAssignments=62896 nbBacktracks=99755 nbVisitedNodes=280496 nbRestartNogoods=123
32.06 => wckTime=31.255 cpuTime=31.13 mem=15M997
48.47
48.47 search
48.47 run=21 nbConstraintChecks=316262715 nbPropagations=12897130 nbRevisions=182387917 nbUselessRevisions=148362919
48.47 nbAssignments=246005 nbFailedAssignments=96222 nbBacktracks=149633 nbVisitedNodes=425303 nbRestartNogoods=133
48.47 => wckTime=47.671 cpuTime=47.53 mem=15M997
71.56
71.56 search
71.56 run=22 nbConstraintChecks=470175797 nbPropagations=19362590 nbRevisions=274474730 nbUselessRevisions=223289878
71.56 nbAssignments=367012 nbFailedAssignments=142403 nbBacktracks=224453 nbVisitedNodes=632907 nbRestartNogoods=149
71.56 => wckTime=70.762 cpuTime=70.59 mem=15M997
107.01
107.01 search
107.01 run=23 nbConstraintChecks=707252865 nbPropagations=29070457 nbRevisions=413036739 nbUselessRevisions=336086069
107.01 nbAssignments=549723 nbFailedAssignments=212875 nbBacktracks=336684 nbVisitedNodes=947892 nbRestartNogoods=160
107.01 => wckTime=106.209 cpuTime=105.99 mem=15M997
139.87
139.88 search
139.88 run=24 nbConstraintChecks=926206025 nbPropagations=41808911 nbRevisions=594365552 nbUselessRevisions=483589588
139.88 nbAssignments=722375 nbFailedAssignments=277942 nbBacktracks=444216 nbVisitedNodes=1244193 nbRestartNogoods=167
139.88 => wckTime=139.073 cpuTime=138.84 mem=15M997
139.88
139.88 global
139.88 nbConstraintChecks=926278292 nbPropagations=41809882 nbRevisions=594373211 nbUselessRevisions=483595741
139.88 nbRestartNogoods=167 solvingWckTime=139.074 solvingCpuTime=138.84 expiredTime=no totalExploration=no
139.88 nbFoundSolutions=1 globalCpuTime=139.23
139.88 => wckTime=139.579 cpuTime=139.18 mem=15M997
139.88
139.88 s SATISFIABLE
139.88 v 3 12 17 11 4 12 14 13 9 9 16 16 7 12 12 10 14 6 6 6 9 9 9 10 9 2 13 1 16 2 0 1 11 11 14 15 8 13 7 7
139.88 d NODES 722375
139.88 d CHECKS 926278292
139.88
139.88 totalWckTime=139.659 totalCpuTime=139.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-202835-1168154513 -o ROOT/results/node4/solver-202835-1168154513 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202835-1168154513/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.93 1.98 1.99 4/95 9916
/proc/meminfo: memFree=1778856/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=172 CPUtime=0
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 163847026 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588459 0 0 4096 0 0 0 0 17 0 0 0
/proc/9915/statm: 43 24 18 14 0 3 0
[startup+0.107165 s]
/proc/loadavg: 1.93 1.98 1.99 4/95 9916
/proc/meminfo: memFree=1778856/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=914988 CPUtime=0.08
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 3059 0 1 0 7 1 0 0 22 0 8 0 163847026 936947712 2805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228747 2806 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515205 s]
/proc/loadavg: 1.93 1.98 1.99 4/95 9916
/proc/meminfo: memFree=1778856/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=915328 CPUtime=0.49
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 6946 0 1 0 44 5 0 0 25 0 8 0 163847026 937295872 6685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073647035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228832 6685 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33628 s]
/proc/loadavg: 1.93 1.98 1.99 3/102 9923
/proc/meminfo: memFree=1754928/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=915456 CPUtime=1.32
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 8749 0 1 0 125 7 0 0 25 0 8 0 163847026 937426944 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228864 8487 2524 14 0 215334 0
[pid=9915/tid=9917] ppid=9913 vsize=915456 CPUtime=0.03
/proc/9915/task/9917/stat : 9917 (java) S 9913 9915 9848 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 163847029 937426944 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9918] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9918/stat : 9918 (java) S 9913 9915 9848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163847030 937426944 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9919] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9919/stat : 9919 (java) S 9913 9915 9848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163847030 937426944 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9920] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9920/stat : 9920 (java) S 9913 9915 9848 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163847033 937426944 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9921] ppid=9913 vsize=915456 CPUtime=0.21
/proc/9915/task/9921/stat : 9921 (java) S 9913 9915 9848 0 -1 64 385 0 0 0 21 0 0 0 15 0 8 0 163847033 937426944 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9922] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9922/stat : 9922 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163847033 937426944 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9923] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9923/stat : 9923 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163847033 937426944 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.97344 s]
/proc/loadavg: 1.93 1.98 1.99 3/102 9923
/proc/meminfo: memFree=1754672/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=915456 CPUtime=2.95
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 8776 0 1 0 288 7 0 0 25 0 8 0 163847026 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819018 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228864 8513 2524 14 0 215334 0
[pid=9915/tid=9917] ppid=9913 vsize=915456 CPUtime=0.03
/proc/9915/task/9917/stat : 9917 (java) S 9913 9915 9848 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 163847029 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9918] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9918/stat : 9918 (java) S 9913 9915 9848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163847030 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9919] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9919/stat : 9919 (java) S 9913 9915 9848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163847030 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9920] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9920/stat : 9920 (java) S 9913 9915 9848 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163847033 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9921] ppid=9913 vsize=915456 CPUtime=0.23
/proc/9915/task/9921/stat : 9921 (java) S 9913 9915 9848 0 -1 64 394 0 0 0 22 1 0 0 15 0 8 0 163847033 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9922] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9922/stat : 9922 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163847033 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9923] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9923/stat : 9923 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163847033 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.27376 s]
/proc/loadavg: 1.93 1.98 1.99 3/102 9923
/proc/meminfo: memFree=1754552/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=915456 CPUtime=6.25
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 8783 0 1 0 618 7 0 0 25 0 8 0 163847026 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228864 8519 2524 14 0 215334 0
[pid=9915/tid=9917] ppid=9913 vsize=915456 CPUtime=0.03
/proc/9915/task/9917/stat : 9917 (java) S 9913 9915 9848 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 163847029 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9918] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9918/stat : 9918 (java) S 9913 9915 9848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163847030 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9919] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9919/stat : 9919 (java) S 9913 9915 9848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163847030 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9920] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9920/stat : 9920 (java) S 9913 9915 9848 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163847033 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9921] ppid=9913 vsize=915456 CPUtime=0.23
/proc/9915/task/9921/stat : 9921 (java) S 9913 9915 9848 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163847033 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9922] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9922/stat : 9922 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163847033 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9923] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9923/stat : 9923 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163847033 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915456
[startup+12.7504 s]
/proc/loadavg: 1.94 1.98 1.99 3/102 9923
/proc/meminfo: memFree=1754552/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=915456 CPUtime=12.7
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 8788 0 1 0 1263 7 0 0 25 0 8 0 163847026 937426944 8524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228864 8524 2524 14 0 215334 0
[pid=9915/tid=9917] ppid=9913 vsize=915456 CPUtime=0.03
/proc/9915/task/9917/stat : 9917 (java) S 9913 9915 9848 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 163847029 937426944 8524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9918] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9918/stat : 9918 (java) S 9913 9915 9848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163847030 937426944 8524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9919] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9919/stat : 9919 (java) S 9913 9915 9848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163847030 937426944 8524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9920] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9920/stat : 9920 (java) S 9913 9915 9848 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163847033 937426944 8524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9921] ppid=9913 vsize=915456 CPUtime=0.23
/proc/9915/task/9921/stat : 9921 (java) S 9913 9915 9848 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163847033 937426944 8524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9922] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9922/stat : 9922 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163847033 937426944 8524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9923] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9923/stat : 9923 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163847033 937426944 8524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915456
[startup+25.6366 s]
/proc/loadavg: 1.95 1.98 1.99 3/102 9923
/proc/meminfo: memFree=1754552/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=915456 CPUtime=25.56
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 8792 0 1 0 2549 7 0 0 25 0 8 0 163847026 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228864 8528 2524 14 0 215334 0
[pid=9915/tid=9917] ppid=9913 vsize=915456 CPUtime=0.03
/proc/9915/task/9917/stat : 9917 (java) S 9913 9915 9848 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 163847029 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9918] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9918/stat : 9918 (java) S 9913 9915 9848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163847030 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9919] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9919/stat : 9919 (java) S 9913 9915 9848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163847030 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9920] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9920/stat : 9920 (java) S 9913 9915 9848 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163847033 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9921] ppid=9913 vsize=915456 CPUtime=0.23
/proc/9915/task/9921/stat : 9921 (java) S 9913 9915 9848 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163847033 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9922] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9922/stat : 9922 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163847033 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9923] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9923/stat : 9923 (java) R 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163847033 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915456
[startup+51.2711 s]
/proc/loadavg: 1.97 1.98 1.99 3/102 9923
/proc/meminfo: memFree=1754552/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=915456 CPUtime=51.18
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 8797 0 1 0 5111 7 0 0 25 0 8 0 163847026 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794450 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228864 8533 2524 14 0 215334 0
[pid=9915/tid=9917] ppid=9913 vsize=915456 CPUtime=0.03
/proc/9915/task/9917/stat : 9917 (java) S 9913 9915 9848 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 163847029 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9918] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9918/stat : 9918 (java) S 9913 9915 9848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163847030 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9919] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9919/stat : 9919 (java) S 9913 9915 9848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163847030 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9920] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9920/stat : 9920 (java) S 9913 9915 9848 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163847033 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9921] ppid=9913 vsize=915456 CPUtime=0.23
/proc/9915/task/9921/stat : 9921 (java) S 9913 9915 9848 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163847033 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9922] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9922/stat : 9922 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163847033 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9923] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9923/stat : 9923 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163847033 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915456
[startup+102.551 s]
/proc/loadavg: 1.98 1.98 1.99 3/102 9923
/proc/meminfo: memFree=1754552/2055920 swapFree=4182144/4192956
[pid=9915] ppid=9913 vsize=915456 CPUtime=102.39
/proc/9915/stat : 9915 (java) R 9913 9915 9848 0 -1 0 8800 0 1 0 10232 7 0 0 25 0 8 0 163847026 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9915/statm: 228864 8536 2524 14 0 215334 0
[pid=9915/tid=9917] ppid=9913 vsize=915456 CPUtime=0.03
/proc/9915/task/9917/stat : 9917 (java) S 9913 9915 9848 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 163847029 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9918] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9918/stat : 9918 (java) S 9913 9915 9848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163847030 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9919] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9919/stat : 9919 (java) S 9913 9915 9848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163847030 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9920] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9920/stat : 9920 (java) S 9913 9915 9848 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163847033 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9921] ppid=9913 vsize=915456 CPUtime=0.23
/proc/9915/task/9921/stat : 9921 (java) S 9913 9915 9848 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163847033 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9922] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9922/stat : 9922 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163847033 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9915/tid=9923] ppid=9913 vsize=915456 CPUtime=0
/proc/9915/task/9923/stat : 9923 (java) S 9913 9915 9848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163847033 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 139.934
CPU time (s): 139.722
CPU user time (s): 139.634
CPU system time (s): 0.087986
CPU usage (%): 99.8482
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.634
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8895
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= 4008
involuntary context switches= 2658
runsolver used 0.143978 s user time and 0.518921 s system time
The end
Begin job on node4 on Sun Jan 7 07:21:55 UTC 2007
IDJOB= 202835
IDBENCH= 3888
FILE ID= node4/202835-1168154513
PBS_JOBID= 3478257
Free space on /tmp= 66305 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202835-1168154513/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-202835-1168154513 -o ROOT/results/node4/solver-202835-1168154513 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202835-1168154513/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 652a7595e8712e979f7b00edd72f1dec
RANDOM SEED= 524426863
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.223
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.223
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: 1779336 kB
Buffers: 22252 kB
Cached: 63900 kB
SwapCached: 2520 kB
Active: 184880 kB
Inactive: 39308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1779336 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2036 kB
Writeback: 0 kB
Mapped: 156440 kB
Slab: 36720 kB
Committed_AS: 4928656 kB
PageTables: 2692 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= 66305 MiB
End job on node4 on Sun Jan 7 07:24:15 UTC 2007