0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/232968-1168081324/unknown.xml
0.36
0.36 domains being loaded...
0.41
0.41 variables being loaded...
0.53 nbVariables=400 nbDomainTypes=400 minDomainSize=1250 maxDomainSize=1348
0.53 => wckTime=0.226 cpuTime=0.17 mem=20M607
0.53
0.53 predicates being loaded...
0.53
0.53 constraints being loaded...
4.45
4.45 INFO : Stopping converting binary constraints (cpu=4.04, mem = 38M535)
5.57 nbConstraints=7600 nbConvertedConstraints=8 nbConvertConstraintsChecks=13893610 nbExtensionStructures=8
5.57 nbSharedExtensionStructures=0 nbConflictsStructures=8 nbSharedConflictsStructures=0
5.57 nbSharedBinaryRepresentations=305 nbEvaluationManagers=7592 nbSharedEvaluationManagers=0 maxDegree=38
5.58 maxArity=2
5.58 => wckTime=5.275 cpuTime=4.98 mem=56M262
5.72
5.72 solver IterativeSystematicSolver being built...
6.17 => wckTime=5.865 cpuTime=5.26 mem=130M171
39.12
39.12 preprocessing
39.12 nbConstraintChecks=83130787 nbValidityChecks=522874 nbPropagations=400 nbRevisions=15184
39.12 nbUselessRevisions=15184 nbRemovedValues=0 detectedInconsistency=no
39.12 => wckTime=32.926 cpuTime=32.87 mem=130M171
117.45
117.45 search
117.45 run=0 nbConstraintChecks=176378416 nbValidityChecks=135969435 nbPropagations=6773 nbRevisions=186214
117.45 nbUselessRevisions=180234 nbAssignments=400 nbFailedAssignments=0 nbBacktracks=0 nbVisitedNodes=401
117.45 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=81
117.45 => wckTime=111.254 cpuTime=110.95 mem=140M771
117.45
117.45 global
117.45 nbConstraintChecks=259509203 nbValidityChecks=136492309 nbPropagations=7173 nbRevisions=201398
117.45 nbUselessRevisions=195418 nbRestartNogoods=0 solvingWckTime=111.257 solvingCpuTime=110.95 expiredTime=no
117.45 totalExploration=no nbFoundSolutions=1 globalCpuTime=116.28
117.45 => wckTime=117.147 cpuTime=116.23 mem=140M771
117.45
117.45 s SATISFIABLE
117.45 v 98 958 631 319 196 427 584 1128 1007 667 286 411 541 909 0 687 274 1300 313 646 283 620 0 170 528 909 333 189 840 958 76 712 447 1131 881 1062 1198 985 462 356 670 362 92 121 322 988 247 808 0 178 856 426 1049 749 191 560 576 231 495 967 1128 1164 628 1315 1027 872 1081 1192 366 438 552 695 188 465 96 0 276 944 792 1202 1214 319 255 1068 329 99 976 552 702 1081 799 462 911 163 625 0 964 427 845 64 744 1002 235 354 609 0 267 626 1036 76 158 717 1131 451 986 1223 840 941 528 915 625 172 1108 1164 919 85 244 0 901 456 940 812 366 760 338 1035 1005 682 510 841 1097 917 747 342 720 628 1012 150 538 317 0 1039 447 357 985 795 352 96 842 233 804 193 761 483 1096 98 831 1027 964 909 0 676 555 276 247 333 597 1236 427 189 621 705 1163 1217 789 841 488 1080 1005 737 576 76 150 980 196 1259 282 0 917 378 812 179 1108 0 988 356 890 919 566 760 502 1179 607 999 276 1203 1035 87 445 695 545 275 755 394 880 712 64 735 163 333 609 1040 681 525 443 0 179 72 207 244 909 621 510 755 831 668 566 795 369 897 195 451 856 99 286 877 904 911 714 0 1005 378 329 1108 900 999 233 648 1246 0 720 82 811 574 1179 502 492 750 163 185 195 830 700 72 376 648 214 552 992 206 857 82 681 904 294 465 668 96 1094 0 1078 85 682 239 542 857 158 176 150 495 447 1050 901 1033 72 1163 0 796 730 320 614 87 445 986 1108 913 520 1050 842 0 583 267 1187 495 357 1151 667 172 717 1057 317 275 1063 176 827 1145 0 967 369 897 714 602 518 483 96 781 1198 877 941 620 737 827 574 1122 1156 625 193 283 1177 1080 980 894 1040 686 376 454 750 542 0 96 1163 675 980 583 1012 1033 1132 730 352 0 755 93 188 541 440 322 808 262 1203 909
117.45 d NODES 400
117.45 d CHECKS 259509203
117.45
117.45 totalWckTime=117.223 totalCpuTime=116.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-232968-1168081324 -o ROOT/results/node62/solver-232968-1168081324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232968-1168081324/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.77 0.44 0.77 4/74 5600
/proc/meminfo: memFree=1114832/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=168 CPUtime=0
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 211 0 0 0 0 0 0 0 18 0 1 0 156531359 172032 18 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8055984 0 0 4096 0 0 0 0 17 1 0 0
/proc/5599/statm: 43 24 18 14 0 3 0
[startup+0.104701 s]
/proc/loadavg: 0.77 0.44 0.77 4/74 5600
/proc/meminfo: memFree=1114832/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=914988 CPUtime=0.08
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 3019 0 1 0 7 1 0 0 17 0 8 0 156531359 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155586217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5599/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513779 s]
/proc/loadavg: 0.77 0.44 0.77 4/74 5600
/proc/meminfo: memFree=1114832/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915328 CPUtime=0.5
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 8881 0 1 0 45 5 0 0 16 0 8 0 156531359 937295872 8620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228832 8625 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33494 s]
/proc/loadavg: 0.77 0.44 0.77 2/81 5609
/proc/meminfo: memFree=1043416/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=1.32
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 20192 0 1 0 121 11 0 0 17 0 8 0 156531359 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 19930 2178 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.04
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 3599 0 0 0 3 1 0 0 16 0 8 0 156531363 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.15
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 402 0 0 0 14 1 0 0 16 0 8 0 156531366 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 19930 18446744073709551615 134512640 134570532 4294956480 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) 915632
[startup+2.97226 s]
/proc/loadavg: 0.87 0.46 0.78 2/81 5617
/proc/meminfo: memFree=1043224/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=2.95
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 20197 0 1 0 284 11 0 0 18 0 8 0 156531359 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 19934 2178 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.04
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 3599 0 0 0 3 1 0 0 16 0 8 0 156531363 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.15
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 406 0 0 0 14 1 0 0 16 0 8 0 156531366 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632
[startup+6.26891 s]
/proc/loadavg: 0.87 0.46 0.78 2/81 5619
/proc/meminfo: memFree=1027864/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=6.26
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42492 0 1 0 606 20 0 0 17 0 8 0 156531359 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 42224 2533 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 17 0 8 0 156531363 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.24
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 466 0 0 0 23 1 0 0 16 0 8 0 156531366 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915632
[startup+12.7412 s]
/proc/loadavg: 0.89 0.48 0.78 2/81 5625
/proc/meminfo: memFree=955544/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=12.72
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42508 0 1 0 1252 20 0 0 18 0 8 0 156531359 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 42234 2533 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 17 0 8 0 156531363 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.25
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 478 0 0 0 24 1 0 0 16 0 8 0 156531366 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42234 18446744073709551615 134512640 134570532 4294956480 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) 915632
[startup+25.5927 s]
/proc/loadavg: 0.90 0.50 0.78 2/75 5648
/proc/meminfo: memFree=958400/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=25.55
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42512 0 1 0 2535 20 0 0 25 0 8 0 156531359 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 42235 2533 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 16 0 8 0 156531363 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.25
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 480 0 0 0 24 1 0 0 16 0 8 0 156531366 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42235 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.2808 s]
/proc/loadavg: 0.93 0.54 0.79 3/75 5680
/proc/meminfo: memFree=961792/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=51.22
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42523 0 1 0 5101 21 0 0 25 0 8 0 156531359 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5599/statm: 228908 42242 2534 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 16 0 8 0 156531363 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.27
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 485 0 0 0 25 2 0 0 16 0 8 0 156531366 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915632
[startup+102.571 s]
/proc/loadavg: 1.35 0.70 0.83 3/87 5785
/proc/meminfo: memFree=920280/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=102.36
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42534 0 1 0 10214 22 0 0 25 0 8 0 156531359 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5599/statm: 228908 42248 2534 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 16 0 8 0 156531363 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.29
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 494 0 0 0 27 2 0 0 16 0 8 0 156531366 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 117.496
CPU time (s): 117.223
CPU user time (s): 116.969
CPU system time (s): 0.253961
CPU usage (%): 99.7677
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.969
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42549
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= 3487
involuntary context switches= 2684
runsolver used 0.119981 s user time and 0.314952 s system time
The end
Begin job on node62 on Sat Jan 6 11:02:09 UTC 2007
IDJOB= 232968
IDBENCH= 6572
FILE ID= node62/232968-1168081324
PBS_JOBID= 3476224
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-105-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232968-1168081324/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-232968-1168081324 -o ROOT/results/node62/solver-232968-1168081324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232968-1168081324/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e4f07f5e15632e967d01c8f33a30aa21
RANDOM SEED= 758951623
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.259
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.259
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: 1090448 kB
Buffers: 60064 kB
Cached: 780892 kB
SwapCached: 0 kB
Active: 159156 kB
Inactive: 727188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1090448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2956 kB
Writeback: 0 kB
Mapped: 65944 kB
Slab: 63960 kB
Committed_AS: 3750768 kB
PageTables: 2200 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= 66548 MiB
End job on node62 on Sat Jan 6 11:04:14 UTC 2007