0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/202619-1168072589/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.38 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.38
0.38 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=346 nbRelationTypes=346 nbExtensionStructures=346 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=346 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3145 maxDegree=24
0.59 maxArity=2
0.59 => wckTime=0.301 cpuTime=0.22 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.487 cpuTime=0.34 mem=13M934
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0050 cpuTime=0.0 mem=13M934
0.82
0.82 search
0.82 run=0 nbConstraintChecks=23347 nbPropagations=385 nbRevisions=3928 nbUselessRevisions=3275 nbAssignments=23
0.82 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.045 cpuTime=0.03 mem=14M909
0.84
0.84 search
0.84 run=1 nbConstraintChecks=63727 nbPropagations=1335 nbRevisions=14869 nbUselessRevisions=12347 nbAssignments=54
0.84 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=79 nbRestartNogoods=2 mapSize=16 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.068 cpuTime=0.04 mem=14M909
0.87
0.87 search
0.87 run=2 nbConstraintChecks=124312 nbPropagations=3113 nbRevisions=36293 nbUselessRevisions=30004
0.87 nbAssignments=101 nbFailedAssignments=27 nbBacktracks=53 nbVisitedNodes=156 nbRestartNogoods=6 mapSize=37
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.09 cpuTime=0.06 mem=14M909
0.88
0.88 search
0.88 run=3 nbConstraintChecks=190690 nbPropagations=5874 nbRevisions=70495 nbUselessRevisions=57946
0.88 nbAssignments=164 nbFailedAssignments=49 nbBacktracks=89 nbVisitedNodes=261 nbRestartNogoods=8 mapSize=66
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.106 cpuTime=0.07 mem=14M909
0.90
0.90 search
0.90 run=4 nbConstraintChecks=311480 nbPropagations=10124 nbRevisions=123994 nbUselessRevisions=101331
0.90 nbAssignments=249 nbFailedAssignments=77 nbBacktracks=140 nbVisitedNodes=401 nbRestartNogoods=9 mapSize=107
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.129 cpuTime=0.09 mem=14M909
0.94
0.94 search
0.94 run=5 nbConstraintChecks=445289 nbPropagations=16363 nbRevisions=203171 nbUselessRevisions=165659
0.94 nbAssignments=372 nbFailedAssignments=115 nbBacktracks=217 nbVisitedNodes=599 nbRestartNogoods=15 mapSize=169
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.159 cpuTime=0.12 mem=14M909
0.98
0.98 search
0.98 run=6 nbConstraintChecks=692201 nbPropagations=25982 nbRevisions=328918 nbUselessRevisions=267614
0.98 nbAssignments=566 nbFailedAssignments=185 nbBacktracks=332 nbVisitedNodes=924 nbRestartNogoods=18 mapSize=257
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.205 cpuTime=0.17 mem=14M909
1.05
1.05 search
1.05 run=7 nbConstraintChecks=1107533 nbPropagations=40687 nbRevisions=529136 nbUselessRevisions=430010
1.05 nbAssignments=854 nbFailedAssignments=297 nbBacktracks=503 nbVisitedNodes=1417 nbRestartNogoods=24 mapSize=394
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.275 cpuTime=0.23 mem=14M909
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1670219 nbPropagations=62641 nbRevisions=828977 nbUselessRevisions=671570
1.15 nbAssignments=1255 nbFailedAssignments=438 nbBacktracks=760 nbVisitedNodes=2088 nbRestartNogoods=29
1.15 mapSize=596 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.376 cpuTime=0.33 mem=14M909
1.32
1.32 search
1.32 run=9 nbConstraintChecks=2657545 nbPropagations=96865 nbRevisions=1299980 nbUselessRevisions=1048771
1.32 nbAssignments=1920 nbFailedAssignments=712 nbBacktracks=1144 nbVisitedNodes=3254 nbRestartNogoods=32
1.32 mapSize=924 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.546 cpuTime=0.49 mem=14M909
1.37
1.37 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=14M909)
1.51
1.51 search
1.51 run=10 nbConstraintChecks=3802708 nbPropagations=146828 nbRevisions=1991391 nbUselessRevisions=1603840
1.51 nbAssignments=2829 nbFailedAssignments=1038 nbBacktracks=1721 nbVisitedNodes=4793 nbRestartNogoods=36
1.51 => wckTime=0.737 cpuTime=0.67 mem=14M909
1.79
1.79 search
1.79 run=11 nbConstraintChecks=5667831 nbPropagations=221814 nbRevisions=3034338 nbUselessRevisions=2442259
1.79 nbAssignments=4226 nbFailedAssignments=1567 nbBacktracks=2585 nbVisitedNodes=7194 nbRestartNogoods=46
1.79 => wckTime=1.016 cpuTime=0.95 mem=14M909
2.22
2.22 search
2.22 run=12 nbConstraintChecks=8708802 nbPropagations=334853 nbRevisions=4612571 nbUselessRevisions=3709458
2.22 nbAssignments=6411 nbFailedAssignments=2450 nbBacktracks=3882 nbVisitedNodes=11001 nbRestartNogoods=55
2.22 => wckTime=1.445 cpuTime=1.38 mem=14M909
2.84
2.84 search
2.84 run=13 nbConstraintChecks=12905166 nbPropagations=504621 nbRevisions=6990280 nbUselessRevisions=5622277
2.84 nbAssignments=9622 nbFailedAssignments=3708 nbBacktracks=5828 nbVisitedNodes=16567 nbRestartNogoods=60
2.84 => wckTime=2.065 cpuTime=2.0 mem=14M909
3.81
3.81 search
3.81 run=14 nbConstraintChecks=19849965 nbPropagations=761294 nbRevisions=10577975 nbUselessRevisions=8501150
3.81 nbAssignments=14382 nbFailedAssignments=5544 nbBacktracks=8749 nbVisitedNodes=24763 nbRestartNogoods=68
3.81 => wckTime=3.035 cpuTime=2.97 mem=14M909
5.21
5.21 search
5.21 run=15 nbConstraintChecks=29536599 nbPropagations=1145267 nbRevisions=15928442 nbUselessRevisions=12795824
5.21 nbAssignments=21443 nbFailedAssignments=8220 nbBacktracks=13127 nbVisitedNodes=36902 nbRestartNogoods=78
5.21 => wckTime=4.435 cpuTime=4.37 mem=14M909
7.39
7.39 search
7.39 run=16 nbConstraintChecks=44958896 nbPropagations=1725085 nbRevisions=24020996 nbUselessRevisions=19285449
7.39 nbAssignments=32346 nbFailedAssignments=12545 nbBacktracks=19699 nbVisitedNodes=55792 nbRestartNogoods=87
7.39 => wckTime=6.617 cpuTime=6.55 mem=14M909
10.54
10.54 search
10.54 run=17 nbConstraintChecks=66501242 nbPropagations=2593412 nbRevisions=36184521 nbUselessRevisions=29062736
10.54 nbAssignments=48674 nbFailedAssignments=19014 nbBacktracks=29551 nbVisitedNodes=84091 nbRestartNogoods=93
10.54 => wckTime=9.763 cpuTime=9.69 mem=14M909
15.61
15.61 search
15.61 run=18 nbConstraintChecks=102810675 nbPropagations=3914686 nbRevisions=54867186 nbUselessRevisions=44086793
15.61 nbAssignments=73750 nbFailedAssignments=29305 nbBacktracks=44329 nbVisitedNodes=127878 nbRestartNogoods=104
15.61 => wckTime=14.833 cpuTime=14.76 mem=14M909
22.83
22.83 search
22.83 run=19 nbConstraintChecks=153524923 nbPropagations=5894445 nbRevisions=82813445 nbUselessRevisions=66561221
22.83 nbAssignments=110417 nbFailedAssignments=43799 nbBacktracks=66499 nbVisitedNodes=191425 nbRestartNogoods=115
22.83 => wckTime=22.054 cpuTime=21.98 mem=14M909
34.38
34.38 search
34.38 run=20 nbConstraintChecks=235928353 nbPropagations=8907473 nbRevisions=125506537 nbUselessRevisions=100906282
34.38 nbAssignments=166673 nbFailedAssignments=66798 nbBacktracks=99752 nbVisitedNodes=289868 nbRestartNogoods=121
34.38 => wckTime=33.609 cpuTime=33.49 mem=14M909
51.56
51.56 search
51.56 run=21 nbConstraintChecks=357963776 nbPropagations=13465591 nbRevisions=190266408 nbUselessRevisions=153011364
51.56 nbAssignments=250374 nbFailedAssignments=100612 nbBacktracks=149632 nbVisitedNodes=436144 nbRestartNogoods=125
51.56 => wckTime=50.783 cpuTime=50.66 mem=14M909
77.27
77.27 search
77.27 run=22 nbConstraintChecks=539973732 nbPropagations=20340081 nbRevisions=288130055 nbUselessRevisions=231770729
77.27 nbAssignments=376505 nbFailedAssignments=151918 nbBacktracks=224451 nbVisitedNodes=656689 nbRestartNogoods=136
77.27 => wckTime=76.494 cpuTime=76.32 mem=14M909
82.31
82.31 search
82.31 run=23 nbConstraintChecks=576195353 nbPropagations=27664879 nbRevisions=392462588 nbUselessRevisions=315729907
82.31 nbAssignments=400431 nbFailedAssignments=161787 nbBacktracks=238509 nbVisitedNodes=698653 nbRestartNogoods=147
82.31 => wckTime=81.532 cpuTime=81.35 mem=14M909
82.31
82.31 global
82.31 nbConstraintChecks=576195353 nbPropagations=27664919 nbRevisions=392462588 nbUselessRevisions=315729907
82.31 nbRestartNogoods=147 solvingWckTime=81.533 solvingCpuTime=81.35 expiredTime=no totalExploration=yes
82.31 nbFoundSolutions=0 globalCpuTime=81.73
82.31 => wckTime=82.023 cpuTime=81.69 mem=14M909
82.31
82.31 s UNSATISFIABLE
82.31 d NODES 400431
82.31 d CHECKS 576195353
82.31
82.31 totalWckTime=82.099 totalCpuTime=81.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-202619-1168072589 -o ROOT/results/node12/solver-202619-1168072589 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202619-1168072589/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.42 1.71 1.84 3/93 20026
/proc/meminfo: memFree=1157552/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=1784 CPUtime=0
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155653944 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9696036 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/20025/statm: 446 163 128 14 0 91 0
[startup+0.107648 s]
/proc/loadavg: 1.42 1.71 1.84 3/93 20026
/proc/meminfo: memFree=1157552/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=914988 CPUtime=0.1
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 3127 0 1 0 8 2 0 0 24 0 8 0 155653944 936947712 2873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228747 2873 1472 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.515723 s]
/proc/loadavg: 1.42 1.71 1.84 3/93 20026
/proc/meminfo: memFree=1157552/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=915328 CPUtime=0.5
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 7112 0 1 0 45 5 0 0 25 0 8 0 155653944 937295872 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228832 6851 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33687 s]
/proc/loadavg: 1.42 1.71 1.84 3/100 20033
/proc/meminfo: memFree=1133944/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=915456 CPUtime=1.32
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 8652 0 1 0 125 7 0 0 25 0 8 0 155653944 937426944 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073335887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228864 8390 2513 14 0 215334 0
[pid=20025/tid=20027] ppid=20023 vsize=915456 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19790 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155653947 937426944 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155653947 937426944 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155653947 937426944 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155653950 937426944 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915456 CPUtime=0.21
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19790 0 -1 64 385 0 0 0 20 1 0 0 15 0 8 0 155653950 937426944 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155653950 937426944 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155653950 937426944 8390 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.98217 s]
/proc/loadavg: 1.42 1.71 1.84 3/100 20033
/proc/meminfo: memFree=1133752/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=915456 CPUtime=2.96
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 8673 0 1 0 289 7 0 0 25 0 8 0 155653944 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857678 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228864 8410 2513 14 0 215334 0
[pid=20025/tid=20027] ppid=20023 vsize=915456 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19790 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155653947 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155653947 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155653947 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155653950 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915456 CPUtime=0.22
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19790 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155653950 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155653950 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155653950 937426944 8410 18446744073709551615 134512640 134570532 4294956464 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.27276 s]
/proc/loadavg: 1.47 1.72 1.84 3/100 20033
/proc/meminfo: memFree=1133688/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=915456 CPUtime=6.25
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 8680 0 1 0 618 7 0 0 25 0 8 0 155653944 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228864 8416 2513 14 0 215334 0
[pid=20025/tid=20027] ppid=20023 vsize=915456 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19790 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155653947 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155653947 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155653947 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155653950 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915456 CPUtime=0.22
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19790 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155653950 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155653950 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155653950 937426944 8416 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.7509 s]
/proc/loadavg: 1.51 1.72 1.84 3/100 20033
/proc/meminfo: memFree=1133688/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=915456 CPUtime=12.72
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 8685 0 1 0 1265 7 0 0 25 0 8 0 155653944 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228864 8421 2513 14 0 215334 0
[pid=20025/tid=20027] ppid=20023 vsize=915456 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19790 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155653947 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155653947 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155653947 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155653950 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915456 CPUtime=0.22
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19790 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155653950 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155653950 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155653950 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915456
[startup+25.6072 s]
/proc/loadavg: 1.62 1.73 1.84 3/100 20033
/proc/meminfo: memFree=1092216/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=915456 CPUtime=25.57
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 8690 0 1 0 2550 7 0 0 25 0 8 0 155653944 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228864 8426 2513 14 0 215334 0
[pid=20025/tid=20027] ppid=20023 vsize=915456 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19790 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155653947 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155653947 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155653947 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155653950 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915456 CPUtime=0.22
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19790 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155653950 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155653950 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155653950 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915456
[startup+51.2148 s]
/proc/loadavg: 1.75 1.75 1.84 3/100 20033
/proc/meminfo: memFree=1092216/2055920 swapFree=4160348/4192956
[pid=20025] ppid=20023 vsize=915456 CPUtime=51.14
/proc/20025/stat : 20025 (java) R 20023 20025 19790 0 -1 0 8692 0 1 0 5107 7 0 0 25 0 8 0 155653944 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20025/statm: 228864 8428 2513 14 0 215334 0
[pid=20025/tid=20027] ppid=20023 vsize=915456 CPUtime=0.03
/proc/20025/task/20027/stat : 20027 (java) S 20023 20025 19790 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155653947 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20028] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20028/stat : 20028 (java) S 20023 20025 19790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155653947 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20029] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20029/stat : 20029 (java) S 20023 20025 19790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155653947 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20030] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20030/stat : 20030 (java) S 20023 20025 19790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155653950 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20031] ppid=20023 vsize=915456 CPUtime=0.22
/proc/20025/task/20031/stat : 20031 (java) S 20023 20025 19790 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155653950 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20032] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20032/stat : 20032 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155653950 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20025/tid=20033] ppid=20023 vsize=915456 CPUtime=0
/proc/20025/task/20033/stat : 20033 (java) S 20023 20025 19790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155653950 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 82.3675
CPU time (s): 82.2015
CPU user time (s): 82.1155
CPU system time (s): 0.085986
CPU usage (%): 99.7984
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.1155
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8789
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= 2782
involuntary context switches= 5222
runsolver used 0.076988 s user time and 0.295955 s system time
The end
Begin job on node12 on Sat Jan 6 08:36:29 UTC 2007
IDJOB= 202619
IDBENCH= 3870
FILE ID= node12/202619-1168072589
PBS_JOBID= 3475752
Free space on /tmp= 66316 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202619-1168072589/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-202619-1168072589 -o ROOT/results/node12/solver-202619-1168072589 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202619-1168072589/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 745238c24d77c42b64b045bb1e956fec
RANDOM SEED= 975579201
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.265
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.265
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: 1158032 kB
Buffers: 27728 kB
Cached: 231632 kB
SwapCached: 4684 kB
Active: 606292 kB
Inactive: 209816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1158032 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2060 kB
Writeback: 0 kB
Mapped: 576520 kB
Slab: 65692 kB
Committed_AS: 4711248 kB
PageTables: 3140 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= 66316 MiB
End job on node12 on Sat Jan 6 08:37:52 UTC 2007