0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/202723-1168072649/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3022 maxDegree=26
0.64 maxArity=2
0.64 => wckTime=0.321 cpuTime=0.24 mem=12M803
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.516 cpuTime=0.38 mem=13M923
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0050 cpuTime=0.0 mem=13M923
0.89
0.89 search
0.89 run=0 nbConstraintChecks=30283 nbPropagations=518 nbRevisions=5313 nbUselessRevisions=4387 nbAssignments=24
0.89 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.053 cpuTime=0.03 mem=14M898
0.91
0.91 search
0.91 run=1 nbConstraintChecks=75618 nbPropagations=1681 nbRevisions=18376 nbUselessRevisions=15010 nbAssignments=55
0.91 nbFailedAssignments=14 nbBacktracks=27 nbVisitedNodes=86 nbRestartNogoods=3 mapSize=19 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.04 mem=14M898
0.93
0.93 search
0.93 run=2 nbConstraintChecks=139648 nbPropagations=3693 nbRevisions=42561 nbUselessRevisions=34546
0.93 nbAssignments=101 nbFailedAssignments=32 nbBacktracks=50 nbVisitedNodes=164 nbRestartNogoods=7 mapSize=41
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.099 cpuTime=0.06 mem=14M898
0.95
0.95 search
0.95 run=3 nbConstraintChecks=217281 nbPropagations=6758 nbRevisions=80638 nbUselessRevisions=65356
0.95 nbAssignments=162 nbFailedAssignments=54 nbBacktracks=84 nbVisitedNodes=267 nbRestartNogoods=9 mapSize=70
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.117 cpuTime=0.08 mem=14M898
0.98
0.98 search
0.98 run=4 nbConstraintChecks=333730 nbPropagations=11428 nbRevisions=139362 nbUselessRevisions=112646
0.98 nbAssignments=249 nbFailedAssignments=84 nbBacktracks=134 nbVisitedNodes=414 nbRestartNogoods=11 mapSize=110
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.143 cpuTime=0.1 mem=14M898
1.02
1.02 search
1.02 run=5 nbConstraintChecks=537888 nbPropagations=18929 nbRevisions=236344 nbUselessRevisions=190621
1.02 nbAssignments=393 nbFailedAssignments=143 nbBacktracks=210 nbVisitedNodes=667 nbRestartNogoods=14 mapSize=180
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.186 cpuTime=0.14 mem=14M898
1.08
1.08 search
1.08 run=6 nbConstraintChecks=814736 nbPropagations=30219 nbRevisions=386575 nbUselessRevisions=311938
1.08 nbAssignments=590 nbFailedAssignments=220 nbBacktracks=323 nbVisitedNodes=1008 nbRestartNogoods=16 mapSize=276
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.242 cpuTime=0.2 mem=14M898
1.16
1.16 search
1.16 run=7 nbConstraintChecks=1257538 nbPropagations=47096 nbRevisions=613177 nbUselessRevisions=493694
1.16 nbAssignments=879 nbFailedAssignments=333 nbBacktracks=493 nbVisitedNodes=1508 nbRestartNogoods=19 mapSize=417
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.328 cpuTime=0.28 mem=14M898
1.27
1.27 search
1.27 run=8 nbConstraintChecks=1835512 nbPropagations=71840 nbRevisions=947601 nbUselessRevisions=762504
1.27 nbAssignments=1317 nbFailedAssignments=506 nbBacktracks=752 nbVisitedNodes=2258 nbRestartNogoods=27
1.27 mapSize=629 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.439 cpuTime=0.38 mem=14M898
1.44
1.44 search
1.44 run=9 nbConstraintChecks=2643135 nbPropagations=108056 nbRevisions=1445903 nbUselessRevisions=1164979
1.44 nbAssignments=1945 nbFailedAssignments=744 nbBacktracks=1136 nbVisitedNodes=3350 nbRestartNogoods=31
1.44 mapSize=951 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.601 cpuTime=0.53 mem=14M898
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=14M898)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=4070202 nbPropagations=163105 nbRevisions=2205082 nbUselessRevisions=1776778
1.68 nbAssignments=2943 nbFailedAssignments=1158 nbBacktracks=1713 nbVisitedNodes=5092 nbRestartNogoods=34
1.68 => wckTime=0.841 cpuTime=0.75 mem=14M898
2.00
2.00 search
2.00 run=11 nbConstraintChecks=6096681 nbPropagations=245656 nbRevisions=3346944 nbUselessRevisions=2697229
2.00 nbAssignments=4397 nbFailedAssignments=1741 nbBacktracks=2579 nbVisitedNodes=7626 nbRestartNogoods=41
2.00 => wckTime=1.162 cpuTime=1.07 mem=14M898
2.48
2.48 search
2.48 run=12 nbConstraintChecks=9088780 nbPropagations=369617 nbRevisions=5056758 nbUselessRevisions=4074968
2.48 nbAssignments=6603 nbFailedAssignments=2644 nbBacktracks=3877 nbVisitedNodes=11508 nbRestartNogoods=53
2.48 => wckTime=1.641 cpuTime=1.55 mem=14M898
3.23
3.23 search
3.23 run=13 nbConstraintChecks=14010522 nbPropagations=557252 nbRevisions=7653200 nbUselessRevisions=6162938
3.23 nbAssignments=9906 nbFailedAssignments=3997 nbBacktracks=5823 nbVisitedNodes=17272 nbRestartNogoods=57
3.23 => wckTime=2.391 cpuTime=2.3 mem=14M898
4.29
4.29 search
4.29 run=14 nbConstraintChecks=20845534 nbPropagations=835564 nbRevisions=11521975 nbUselessRevisions=9273669
4.29 nbAssignments=14800 nbFailedAssignments=5964 nbBacktracks=8744 nbVisitedNodes=25782 nbRestartNogoods=67
4.29 => wckTime=3.459 cpuTime=3.36 mem=14M898
5.98
5.98 search
5.98 run=15 nbConstraintChecks=31772148 nbPropagations=1257601 nbRevisions=17410864 nbUselessRevisions=14009970
5.98 nbAssignments=22416 nbFailedAssignments=9193 nbBacktracks=13125 nbVisitedNodes=39220 nbRestartNogoods=75
5.98 => wckTime=5.144 cpuTime=5.03 mem=14M898
8.39
8.39 search
8.39 run=16 nbConstraintChecks=47392401 nbPropagations=1884958 nbRevisions=26148211 nbUselessRevisions=21029458
8.39 nbAssignments=33375 nbFailedAssignments=13576 nbBacktracks=19695 nbVisitedNodes=58292 nbRestartNogoods=86
8.39 => wckTime=7.55 cpuTime=7.43 mem=14M898
12.05
12.07 search
12.07 run=17 nbConstraintChecks=71019450 nbPropagations=2829148 nbRevisions=39310492 nbUselessRevisions=31610144
12.07 nbAssignments=50219 nbFailedAssignments=20561 nbBacktracks=29548 nbVisitedNodes=87846 nbRestartNogoods=97
12.07 => wckTime=11.216 cpuTime=11.08 mem=14M898
17.25
17.25 search
17.25 run=18 nbConstraintChecks=104031165 nbPropagations=4226817 nbRevisions=58890462 nbUselessRevisions=47399162
17.25 nbAssignments=74939 nbFailedAssignments=30496 nbBacktracks=44327 nbVisitedNodes=130957 nbRestartNogoods=103
17.25 => wckTime=16.419 cpuTime=16.25 mem=14M898
25.25
25.25 search
25.25 run=19 nbConstraintChecks=155107606 nbPropagations=6311924 nbRevisions=87983635 nbUselessRevisions=70832207
25.25 nbAssignments=111893 nbFailedAssignments=45274 nbBacktracks=66496 nbVisitedNodes=195170 nbRestartNogoods=114
25.25 => wckTime=24.414 cpuTime=24.21 mem=14M898
37.63
37.63 search
37.63 run=20 nbConstraintChecks=235701094 nbPropagations=9464408 nbRevisions=131940967 nbUselessRevisions=106217844
37.63 nbAssignments=167849 nbFailedAssignments=67971 nbBacktracks=99751 nbVisitedNodes=292963 nbRestartNogoods=126
37.63 => wckTime=36.797 cpuTime=36.54 mem=14M898
56.27
56.27 search
56.27 run=21 nbConstraintChecks=357048908 nbPropagations=14204348 nbRevisions=198239555 nbUselessRevisions=159590913
56.27 nbAssignments=251859 nbFailedAssignments=102095 nbBacktracks=149632 nbVisitedNodes=439473 nbRestartNogoods=134
56.27 => wckTime=55.432 cpuTime=55.09 mem=14M898
83.52
83.52 search
83.52 run=22 nbConstraintChecks=531639310 nbPropagations=21297750 nbRevisions=297391253 nbUselessRevisions=239472018
83.52 nbAssignments=377510 nbFailedAssignments=152920 nbBacktracks=224450 nbVisitedNodes=658386 nbRestartNogoods=145
83.52 => wckTime=82.682 cpuTime=82.22 mem=14M898
125.05
125.05 search
125.05 run=23 nbConstraintChecks=801045017 nbPropagations=31956176 nbRevisions=446269577 nbUselessRevisions=359334431
125.05 nbAssignments=566634 nbFailedAssignments=229809 nbBacktracks=336677 nbVisitedNodes=988157 nbRestartNogoods=154
125.05 => wckTime=124.211 cpuTime=123.55 mem=14M898
148.71
148.71 search
148.71 run=24 nbConstraintChecks=955109046 nbPropagations=44636836 nbRevisions=623851861 nbUselessRevisions=502374407
148.71 nbAssignments=672649 nbFailedAssignments=273581 nbBacktracks=398921 nbVisitedNodes=1173689 nbRestartNogoods=165
148.71 => wckTime=147.875 cpuTime=147.1 mem=14M898
148.71
148.71 global
148.71 nbConstraintChecks=955109046 nbPropagations=44636876 nbRevisions=623851861 nbUselessRevisions=502374407
148.71 nbRestartNogoods=165 solvingWckTime=147.876 solvingCpuTime=147.1 expiredTime=no totalExploration=yes
148.71 nbFoundSolutions=0 globalCpuTime=147.52
148.71 => wckTime=148.396 cpuTime=147.48 mem=14M898
148.71
148.72 s UNSATISFIABLE
148.72 d NODES 672649
148.72 d CHECKS 955109046
148.72
148.72 totalWckTime=148.477 totalCpuTime=147.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-202723-1168072649 -o ROOT/results/node58/solver-202723-1168072649 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202723-1168072649/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.91 1.95 1.73 4/80 27576
/proc/meminfo: memFree=1654928/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=18540 CPUtime=0
/proc/27575/stat : 27575 (runsolver) R 27573 27575 27094 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155662932 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27575/statm: 4635 279 244 17 0 2626 0
[startup+0.107675 s]
/proc/loadavg: 1.91 1.95 1.73 4/80 27576
/proc/meminfo: memFree=1654928/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=914988 CPUtime=0.08
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 155662932 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51571 s]
/proc/loadavg: 1.91 1.95 1.73 4/80 27576
/proc/meminfo: memFree=1654928/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=915328 CPUtime=0.49
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 6832 0 1 0 44 5 0 0 18 0 8 0 155662932 937295872 6571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073588016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228832 6571 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33778 s]
/proc/loadavg: 1.91 1.95 1.73 3/87 27583
/proc/meminfo: memFree=1631320/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=915456 CPUtime=1.31
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 8632 0 1 0 124 7 0 0 24 0 8 0 155662932 937426944 8370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228864 8370 2513 14 0 215334 0
[pid=27575/tid=27577] ppid=27573 vsize=915456 CPUtime=0.03
/proc/27575/task/27577/stat : 27577 (java) S 27573 27575 27094 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155662936 937426944 8370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27578] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27578/stat : 27578 (java) S 27573 27575 27094 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155662936 937426944 8370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27579] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27579/stat : 27579 (java) S 27573 27575 27094 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155662936 937426944 8370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27580] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27580/stat : 27580 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155662940 937426944 8370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27581] ppid=27573 vsize=915456 CPUtime=0.21
/proc/27575/task/27581/stat : 27581 (java) R 27573 27575 27094 0 -1 64 381 0 0 0 20 1 0 0 16 0 8 0 155662940 937426944 8370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153938534 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27582] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27582/stat : 27582 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155662940 937426944 8370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27583] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27583/stat : 27583 (java) S 27573 27575 27094 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155662940 937426944 8370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.98591 s]
/proc/loadavg: 1.91 1.95 1.73 4/87 27583
/proc/meminfo: memFree=1631000/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=915456 CPUtime=2.95
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 8668 0 1 0 288 7 0 0 25 0 8 0 155662932 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228864 8405 2513 14 0 215334 0
[pid=27575/tid=27577] ppid=27573 vsize=915456 CPUtime=0.03
/proc/27575/task/27577/stat : 27577 (java) S 27573 27575 27094 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 155662936 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27578] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27578/stat : 27578 (java) S 27573 27575 27094 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155662936 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27579] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27579/stat : 27579 (java) S 27573 27575 27094 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155662936 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27580] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27580/stat : 27580 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155662940 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27581] ppid=27573 vsize=915456 CPUtime=0.23
/proc/27575/task/27581/stat : 27581 (java) S 27573 27575 27094 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155662940 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27582] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27582/stat : 27582 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155662940 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27583] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27583/stat : 27583 (java) S 27573 27575 27094 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155662940 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.18819 s]
/proc/loadavg: 1.92 1.95 1.73 3/87 27583
/proc/meminfo: memFree=1630936/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=915456 CPUtime=6.14
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 8676 0 1 0 607 7 0 0 25 0 8 0 155662932 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228864 8412 2513 14 0 215334 0
[pid=27575/tid=27577] ppid=27573 vsize=915456 CPUtime=0.03
/proc/27575/task/27577/stat : 27577 (java) S 27573 27575 27094 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155662936 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27578] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27578/stat : 27578 (java) S 27573 27575 27094 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155662936 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27579] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27579/stat : 27579 (java) S 27573 27575 27094 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155662936 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27580] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27580/stat : 27580 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155662940 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27581] ppid=27573 vsize=915456 CPUtime=0.23
/proc/27575/task/27581/stat : 27581 (java) S 27573 27575 27094 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155662940 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27582] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27582/stat : 27582 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155662940 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27583] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27583/stat : 27583 (java) S 27573 27575 27094 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155662940 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456
[startup+12.6587 s]
/proc/loadavg: 1.93 1.95 1.73 3/87 27583
/proc/meminfo: memFree=1631008/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=915456 CPUtime=12.57
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 8682 0 1 0 1250 7 0 0 25 0 8 0 155662932 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803469 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228864 8417 2513 14 0 215334 0
[pid=27575/tid=27577] ppid=27573 vsize=915456 CPUtime=0.03
/proc/27575/task/27577/stat : 27577 (java) S 27573 27575 27094 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155662936 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27578] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27578/stat : 27578 (java) S 27573 27575 27094 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155662936 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27579] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27579/stat : 27579 (java) S 27573 27575 27094 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155662936 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27580] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27580/stat : 27580 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155662940 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27581] ppid=27573 vsize=915456 CPUtime=0.23
/proc/27575/task/27581/stat : 27581 (java) S 27573 27575 27094 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155662940 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27582] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27582/stat : 27582 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155662940 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27583] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27583/stat : 27583 (java) S 27573 27575 27094 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155662940 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915456
[startup+25.5098 s]
/proc/loadavg: 2.01 1.97 1.74 3/87 27583
/proc/meminfo: memFree=1631072/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=915456 CPUtime=25.37
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 8687 0 1 0 2530 7 0 0 25 0 8 0 155662932 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228864 8422 2513 14 0 215334 0
[pid=27575/tid=27577] ppid=27573 vsize=915456 CPUtime=0.03
/proc/27575/task/27577/stat : 27577 (java) S 27573 27575 27094 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155662936 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27578] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27578/stat : 27578 (java) S 27573 27575 27094 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155662936 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27579] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27579/stat : 27579 (java) S 27573 27575 27094 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155662936 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27580] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27580/stat : 27580 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155662940 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27581] ppid=27573 vsize=915456 CPUtime=0.23
/proc/27575/task/27581/stat : 27581 (java) S 27573 27575 27094 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155662940 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27582] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27582/stat : 27582 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155662940 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27583] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27583/stat : 27583 (java) S 27573 27575 27094 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155662940 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915456
[startup+51.112 s]
/proc/loadavg: 2.01 1.97 1.74 3/87 27583
/proc/meminfo: memFree=1631072/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=915456 CPUtime=50.85
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 8689 0 1 0 5078 7 0 0 25 0 8 0 155662932 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228864 8424 2513 14 0 215334 0
[pid=27575/tid=27577] ppid=27573 vsize=915456 CPUtime=0.03
/proc/27575/task/27577/stat : 27577 (java) S 27573 27575 27094 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155662936 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27578] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27578/stat : 27578 (java) S 27573 27575 27094 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155662936 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27579] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27579/stat : 27579 (java) S 27573 27575 27094 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155662936 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27580] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27580/stat : 27580 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155662940 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27581] ppid=27573 vsize=915456 CPUtime=0.23
/proc/27575/task/27581/stat : 27581 (java) S 27573 27575 27094 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155662940 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27582] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27582/stat : 27582 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155662940 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27583] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27583/stat : 27583 (java) S 27573 27575 27094 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155662940 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915456
[startup+102.314 s]
/proc/loadavg: 2.00 1.97 1.75 3/87 27583
/proc/meminfo: memFree=1631072/2055920 swapFree=4192812/4192956
[pid=27575] ppid=27573 vsize=915456 CPUtime=101.81
/proc/27575/stat : 27575 (java) R 27573 27575 27094 0 -1 0 8694 0 1 0 10174 7 0 0 25 0 8 0 155662932 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27575/statm: 228864 8429 2513 14 0 215334 0
[pid=27575/tid=27577] ppid=27573 vsize=915456 CPUtime=0.03
/proc/27575/task/27577/stat : 27577 (java) S 27573 27575 27094 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155662936 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27578] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27578/stat : 27578 (java) S 27573 27575 27094 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155662936 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27579] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27579/stat : 27579 (java) S 27573 27575 27094 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155662936 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27580] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27580/stat : 27580 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155662940 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27581] ppid=27573 vsize=915456 CPUtime=0.23
/proc/27575/task/27581/stat : 27581 (java) S 27573 27575 27094 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155662940 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27582] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27582/stat : 27582 (java) S 27573 27575 27094 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155662940 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27575/tid=27583] ppid=27573 vsize=915456 CPUtime=0
/proc/27575/task/27583/stat : 27583 (java) S 27573 27575 27094 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155662940 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 148.745
CPU time (s): 148.017
CPU user time (s): 147.935
CPU system time (s): 0.081987
CPU usage (%): 99.5102
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.935
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8790
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= 4110
involuntary context switches= 7528
runsolver used 0.217966 s user time and 0.449931 s system time
The end
Begin job on node58 on Sat Jan 6 08:37:30 UTC 2007
IDJOB= 202723
IDBENCH= 3878
FILE ID= node58/202723-1168072649
PBS_JOBID= 3475954
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202723-1168072649/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-202723-1168072649 -o ROOT/results/node58/solver-202723-1168072649 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202723-1168072649/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6da4f32a4ed68f8febed201b3b722854
RANDOM SEED= 170086379
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: 1655344 kB
Buffers: 19696 kB
Cached: 264408 kB
SwapCached: 0 kB
Active: 87548 kB
Inactive: 246944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 70560 kB
Slab: 51332 kB
Committed_AS: 2989740 kB
PageTables: 1836 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= 66534 MiB
End job on node58 on Sat Jan 6 08:39:58 UTC 2007