0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/233225-1168081342/unknown.xml
0.35
0.35 domains being loaded...
0.41
0.41 variables being loaded...
0.52 nbVariables=400 nbDomainTypes=400 minDomainSize=1277 maxDomainSize=1375
0.52 => wckTime=0.228 cpuTime=0.17 mem=20M639
0.52
0.52 predicates being loaded...
0.52
0.52 constraints being loaded...
4.77
4.77 INFO : Stopping converting binary constraints (cpu=4.35, mem = 39M748)
5.89 nbConstraints=7600 nbConvertedConstraints=9 nbConvertConstraintsChecks=15883072 nbExtensionStructures=9
5.89 nbSharedExtensionStructures=0 nbConflictsStructures=9 nbSharedConflictsStructures=0
5.89 nbSharedBinaryRepresentations=2386 nbEvaluationManagers=7591 nbSharedEvaluationManagers=0 maxDegree=38
5.89 maxArity=2
5.89 => wckTime=5.599 cpuTime=5.29 mem=56M873
6.04
6.04 solver IterativeSystematicSolver being built...
6.49 => wckTime=6.192 cpuTime=5.57 mem=133M461
38.25
38.25 preprocessing
38.25 nbConstraintChecks=85257615 nbValidityChecks=527160 nbPropagations=400 nbRevisions=15182
38.25 nbUselessRevisions=15182 nbRemovedValues=0 detectedInconsistency=no
38.25 => wckTime=31.738 cpuTime=31.69 mem=133M461
124.21
124.21 search
124.21 run=0 nbConstraintChecks=185926173 nbValidityChecks=177303477 nbPropagations=10325 nbRevisions=269513
124.21 nbUselessRevisions=255593 nbAssignments=496 nbFailedAssignments=260 nbBacktracks=10 nbVisitedNodes=767
124.21 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=86
124.21 => wckTime=117.698 cpuTime=117.06 mem=141M629
188.20
188.20 search
188.20 run=1 nbConstraintChecks=343895286 nbValidityChecks=321885144 nbPropagations=27394 nbRevisions=719164
188.20 nbUselessRevisions=684830 nbAssignments=896 nbFailedAssignments=260 nbBacktracks=10 nbVisitedNodes=1167
188.20 nbRestartNogoods=10 mapSize=10 nbInferences=0 nbTooLargeKeys=172
188.20 => wckTime=181.693 cpuTime=180.96 mem=130M940
188.21
188.21 global
188.21 nbConstraintChecks=429152901 nbValidityChecks=322412304 nbPropagations=27794 nbRevisions=734346
188.21 nbUselessRevisions=700012 nbRestartNogoods=10 solvingWckTime=181.695 solvingCpuTime=180.96 expiredTime=no
188.21 totalExploration=no nbFoundSolutions=1 globalCpuTime=186.59
188.21 => wckTime=187.912 cpuTime=186.55 mem=130M940
188.21
188.21 s SATISFIABLE
188.21 v 1117 975 140 1045 638 521 0 550 703 219 813 747 1249 293 1329 357 256 53 441 1169 1263 543 190 461 1142 922 775 530 985 0 969 285 697 539 629 791 96 374 809 861 184 153 1264 718 192 400 1219 726 912 1106 794 315 609 0 589 486 264 125 1007 829 1169 861 627 120 449 235 0 939 702 359 539 839 922 775 268 1082 1005 98 479 962 653 400 547 798 315 722 337 523 0 632 1007 312 76 244 362 418 1223 1173 148 1083 659 269 96 1142 1282 0 495 396 1118 900 565 1037 852 362 192 800 721 428 974 91 1327 858 183 92 772 721 923 897 874 354 543 610 256 449 912 932 798 680 0 759 790 174 1172 1226 951 659 333 70 0 807 486 1087 622 348 831 912 747 268 539 441 561 219 573 1249 1108 606 449 431 374 316 669 1046 1162 140 884 932 133 92 0 790 269 734 1339 98 800 0 1086 613 501 333 856 650 998 954 1139 1287 529 189 402 727 219 315 550 809 612 402 486 931 772 844 653 878 0 954 905 694 975 120 734 53 179 759 991 503 317 573 662 1050 1235 72 254 1162 359 530 1125 0 635 244 275 441 433 706 886 1081 178 550 422 483 985 414 1173 816 840 354 645 694 98 254 190 0 743 219 893 91 1160 178 1046 195 413 680 575 1001 0 1298 1091 1176 943 479 844 317 333 905 178 1298 550 418 610 1229 743 822 682 285 77 158 536 586 1095 1005 0 46 884 1117 687 565 1290 1193 974 273 1046 497 371 420 627 747 922 192 80 0 1137 768 650 275 520 179 822 776 433 927 711 348 985 962 91 993 0 889 856 998 885 573 0 184 1001 125 442 467 816 74 405 521 623 274 669 317 732 922 1223 146 1084 483 219 293 662 1253 1124 573 98 388 304 793 815 905 1172 486 428 719 0 307 337 986 357 1282 78 606 70 314 425 146 486 0 230 776 912 979 31 1106 1045 652 1204 1329
188.21 d NODES 896
188.21 d CHECKS 429152901
188.21
188.21 totalWckTime=187.988 totalCpuTime=186.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-233225-1168081342 -o ROOT/results/node16/solver-233225-1168081342 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233225-1168081342/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: 0.36 0.90 1.34 3/87 23450
/proc/meminfo: memFree=1353368/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=9788 CPUtime=0
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 426 0 0 0 0 0 0 0 18 0 1 0 156529547 10022912 213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7175457 0 0 4096 0 0 0 0 17 0 0 0
/proc/23449/statm: 2447 222 167 14 0 1138 0
[startup+0.104431 s]
/proc/loadavg: 0.36 0.90 1.34 3/87 23450
/proc/meminfo: memFree=1353368/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=914988 CPUtime=0.08
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 3064 0 1 0 7 1 0 0 22 0 8 0 156529547 936947712 2810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228747 2810 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512363 s]
/proc/loadavg: 0.36 0.90 1.34 3/87 23450
/proc/meminfo: memFree=1353368/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915328 CPUtime=0.5
/proc/23449/stat : 23449 (java) S 23447 23449 23365 0 -1 0 9088 0 1 0 45 5 0 0 16 0 8 0 156529547 937295872 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23449/statm: 228832 8827 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33321 s]
/proc/loadavg: 0.36 0.90 1.34 2/94 23457
/proc/meminfo: memFree=1281760/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=1.31
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 20249 0 1 0 121 10 0 0 17 0 8 0 156529547 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 19987 2178 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.04
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 3657 0 0 0 3 1 0 0 16 0 8 0 156529551 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.14
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 402 0 0 0 14 0 0 0 16 0 8 0 156529554 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632
[startup+2.96991 s]
/proc/loadavg: 0.36 0.90 1.34 2/94 23459
/proc/meminfo: memFree=1281632/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=2.94
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 20254 0 1 0 284 10 0 0 18 0 8 0 156529547 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 19991 2178 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.04
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 3657 0 0 0 3 1 0 0 16 0 8 0 156529551 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.15
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 405 0 0 0 15 0 0 0 15 0 8 0 156529554 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632
[startup+6.26232 s]
/proc/loadavg: 0.41 0.90 1.34 2/94 23461
/proc/meminfo: memFree=1266080/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=6.23
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 33574 0 1 0 607 16 0 0 17 0 8 0 156529547 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 33308 2498 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.33
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 16573 0 0 0 28 5 0 0 16 0 8 0 156529551 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.21
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 451 0 0 0 20 1 0 0 16 0 8 0 156529554 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915632
[startup+12.7381 s]
/proc/loadavg: 0.46 0.91 1.34 2/88 23483
/proc/meminfo: memFree=1194000/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=12.7
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42705 0 1 0 1250 20 0 0 18 0 8 0 156529547 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 42434 2533 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25614 0 0 0 32 8 0 0 17 0 8 0 156529551 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.26
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 479 0 0 0 25 1 0 0 16 0 8 0 156529554 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42434 18446744073709551615 134512640 134570532 4294956480 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) 915632
[startup+25.5988 s]
/proc/loadavg: 0.58 0.91 1.33 2/88 23483
/proc/meminfo: memFree=1194152/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=25.55
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42707 0 1 0 2535 20 0 0 25 0 8 0 156529547 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 42435 2533 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25614 0 0 0 32 8 0 0 16 0 8 0 156529551 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.26
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 481 0 0 0 25 1 0 0 15 0 8 0 156529554 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915632
[startup+51.2002 s]
/proc/loadavg: 0.94 0.97 1.34 3/100 23528
/proc/meminfo: memFree=1087944/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=51.03
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42719 0 1 0 5082 21 0 0 25 0 8 0 156529547 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23449/statm: 228908 42442 2534 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25614 0 0 0 32 8 0 0 16 0 8 0 156529551 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.27
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 486 0 0 0 26 1 0 0 16 0 8 0 156529554 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915632
[startup+102.409 s]
/proc/loadavg: 1.46 1.11 1.37 2/88 23539
/proc/meminfo: memFree=1193568/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=101.84
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42729 0 1 0 10162 22 0 0 25 0 8 0 156529547 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035566 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 42447 2534 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25614 0 0 0 32 8 0 0 16 0 8 0 156529551 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.28
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 495 0 0 0 27 1 0 0 15 0 8 0 156529554 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915632
[startup+162.449 s]
/proc/loadavg: 1.77 1.25 1.40 3/100 23584
/proc/meminfo: memFree=1126024/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=161.8
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42746 0 1 0 16157 23 0 0 25 0 8 0 156529547 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 42459 2538 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25615 0 0 0 32 8 0 0 16 0 8 0 156529551 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.29
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 501 0 0 0 28 1 0 0 16 0 8 0 156529554 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 188.264
CPU time (s): 187.605
CPU user time (s): 187.306
CPU system time (s): 0.299954
CPU usage (%): 99.6505
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.306
system time used= 0.299954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50219
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= 4946
involuntary context switches= 6467
runsolver used 0.234964 s user time and 0.58591 s system time
The end
Begin job on node16 on Sat Jan 6 11:02:24 UTC 2007
IDJOB= 233225
IDBENCH= 6588
FILE ID= node16/233225-1168081342
PBS_JOBID= 3476227
Free space on /tmp= 66501 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-105-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233225-1168081342/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-233225-1168081342 -o ROOT/results/node16/solver-233225-1168081342 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233225-1168081342/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= af76b8d5f9d1f307c434b42c9d393cf0
RANDOM SEED= 220533912
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.220
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.220
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: 1353720 kB
Buffers: 64736 kB
Cached: 491032 kB
SwapCached: 268 kB
Active: 202648 kB
Inactive: 401852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1353720 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2984 kB
Writeback: 0 kB
Mapped: 67576 kB
Slab: 82272 kB
Committed_AS: 3888528 kB
PageTables: 2432 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= 66499 MiB
End job on node16 on Sat Jan 6 11:05:35 UTC 2007