0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/233708-1168327477/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.49 nbVariables=225 nbDomainTypes=225 minDomainSize=837 maxDomainSize=935
0.49 => wckTime=0.169 cpuTime=0.13 mem=12M755
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
203.87
203.87 INFO : Stopping converting binary constraints (cpu=200.01, mem = 242M912)
204.16 nbConstraints=3150 nbConvertedConstraints=973 nbConvertConstraintsChecks=766462639 nbExtensionStructures=973
204.16 nbSharedExtensionStructures=0 nbConflictsStructures=973 nbSharedConflictsStructures=0
204.16 nbSharedBinaryRepresentations=528631 nbEvaluationManagers=2177 nbSharedEvaluationManagers=0 maxDegree=28
204.16 maxArity=2
204.16 => wckTime=203.839 cpuTime=200.24 mem=259M106
204.86
204.86 solver IterativeSystematicSolver being built...
205.10 => wckTime=204.784 cpuTime=200.45 mem=266M115
241.41
241.41 preprocessing
241.41 nbConstraintChecks=95391947 nbValidityChecks=36102489 nbPropagations=4170 nbRevisions=65446
241.41 nbUselessRevisions=61650 nbSingletonTests=227 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
241.41 detectedInconsistency=no
241.41 => wckTime=36.295 cpuTime=36.16 mem=266M115
253.84
253.84 search
253.84 run=0 nbConstraintChecks=31232287 nbValidityChecks=20441579 nbPropagations=6793 nbRevisions=107419
253.84 nbUselessRevisions=99686 nbAssignments=160 nbFailedAssignments=26 nbBacktracks=10 nbVisitedNodes=197
253.84 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
253.84 => wckTime=48.722 cpuTime=48.55 mem=269M165
314.41
314.41 search
314.41 run=1 nbConstraintChecks=124111180 nbValidityChecks=606708833 nbPropagations=80760 nbRevisions=1310233
314.41 nbUselessRevisions=1223122 nbAssignments=4141 nbFailedAssignments=369 nbBacktracks=25 nbVisitedNodes=974
314.41 nbRestartNogoods=25 mapSize=25 nbInferences=0 nbTooLargeKeys=0
314.41 => wckTime=109.293 cpuTime=108.95 mem=250M176
326.37
326.37 search
326.37 run=2 nbConstraintChecks=156754242 nbValidityChecks=631885763 nbPropagations=158644 nbRevisions=2568765
326.37 nbUselessRevisions=2396708 nbAssignments=4477 nbFailedAssignments=478 nbBacktracks=27 nbVisitedNodes=1421
326.37 nbRestartNogoods=40 mapSize=27 nbInferences=0 nbTooLargeKeys=0
326.37 => wckTime=121.251 cpuTime=120.9 mem=252M807
326.37
326.37 global
326.37 nbConstraintChecks=252146189 nbValidityChecks=667988252 nbPropagations=162814 nbRevisions=2634211
326.37 nbUselessRevisions=2458358 nbRestartNogoods=40 solvingWckTime=121.252 solvingCpuTime=120.9 expiredTime=no
326.37 totalExploration=no nbFoundSolutions=1 globalCpuTime=321.41
326.37 => wckTime=326.047 cpuTime=321.36 mem=252M807
326.37
326.37 s SATISFIABLE
326.37 v 126 863 355 0 676 403 416 556 193 274 772 688 478 429 47 617 455 263 696 81 331 395 0 836 657 771 566 740 511 176 838 527 455 176 805 436 881 466 245 554 698 331 657 614 0 456 140 408 587 563 850 0 734 774 648 180 216 365 564 297 617 676 290 215 837 725 447 823 764 556 122 0 416 900 317 900 726 0 196 815 381 182 623 330 463 534 233 666 104 373 476 378 791 726 848 692 261 166 0 74 534 337 436 365 624 228 724 378 308 463 827 0 556 89 155 786 528 654 838 624 288 245 384 0 175 402 869 608 456 800 433 97 733 625 527 548 0 194 383 351 89 648 758 587 144 692 850 460 498 267 478 47 228 774 297 384 0 517 703 160 907 563 821 74 403 488 142 843 263 233 0 395 608 791 195 355 666 836 890 726 267 604 703 333 902 39 896 196 449 0 517 787 308 351 81 456 478 648 74 288 142 375 556 842 703 747 0 196 160 787 337 304 727 97 545 60 648 455 257 836 170 703 0 746 416
326.37 d NODES 4477
326.37 d CHECKS 252146189
326.37
326.37 totalWckTime=326.128 totalCpuTime=321.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-233708-1168327477 -o ROOT/results/node22/solver-233708-1168327477 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233708-1168327477/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: 2.74 2.34 2.05 2/87 29900
/proc/meminfo: memFree=1021848/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=18540 CPUtime=0
/proc/29899/stat : 29899 (runsolver) R 29897 29899 29722 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 181142147 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29899/statm: 4635 279 244 17 0 2626 0
[startup+0.102115 s]
/proc/loadavg: 2.74 2.34 2.05 2/87 29900
/proc/meminfo: memFree=1021848/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=913068 CPUtime=0.08
/proc/29899/stat : 29899 (java) S 29897 29899 29722 0 -1 0 2888 0 1 0 6 2 0 0 17 0 8 0 181142147 934981632 2634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228267 2634 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.510176 s]
/proc/loadavg: 2.74 2.34 2.05 2/87 29900
/proc/meminfo: memFree=1021848/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915328 CPUtime=0.49
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 7495 0 1 0 44 5 0 0 18 0 8 0 181142147 937295872 7234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228832 7234 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3313 s]
/proc/loadavg: 2.76 2.35 2.06 3/94 29907
/proc/meminfo: memFree=981088/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=1.3
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 12641 0 1 0 122 8 0 0 25 0 8 0 181142147 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 12379 2167 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181142151 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181142152 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181142152 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.16
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 181142155 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632
[startup+2.97855 s]
/proc/loadavg: 2.76 2.35 2.06 3/94 29907
/proc/meminfo: memFree=979168/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=2.94
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 13295 0 1 0 286 8 0 0 25 0 8 0 181142147 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 13032 2167 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181142151 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181142152 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181142152 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.16
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 181142155 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632
[startup+6.26706 s]
/proc/loadavg: 2.70 2.34 2.06 3/94 29907
/proc/meminfo: memFree=973856/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=6.22
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 14560 0 1 0 613 9 0 0 25 0 8 0 181142147 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785541 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 14297 2167 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181142151 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181142152 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181142152 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.16
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 181142155 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915632
[startup+12.7521 s]
/proc/loadavg: 2.64 2.33 2.06 4/94 29907
/proc/meminfo: memFree=946016/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=12.66
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 21290 0 1 0 1255 11 0 0 25 0 8 0 181142147 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 21026 2178 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0.13
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 4694 0 0 0 12 1 0 0 16 0 8 0 181142151 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.16
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 181142155 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915632
[startup+25.612 s]
/proc/loadavg: 2.54 2.32 2.06 3/94 29907
/proc/meminfo: memFree=946016/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=25.47
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 21301 0 1 0 2535 12 0 0 25 0 8 0 181142147 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 21037 2178 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0.13
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 4694 0 0 0 12 1 0 0 16 0 8 0 181142151 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.17
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 423 0 0 0 17 0 0 0 17 0 8 0 181142155 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915632
[startup+51.228 s]
/proc/loadavg: 2.33 2.29 2.05 3/94 29907
/proc/meminfo: memFree=910432/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=50.96
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 30186 0 1 0 5077 19 0 0 25 0 8 0 181142147 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 29920 2179 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0.43
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 13568 0 0 0 36 7 0 0 16 0 8 0 181142151 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.18
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 429 0 0 0 18 0 0 0 16 0 8 0 181142155 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915632
[startup+102.459 s]
/proc/loadavg: 2.14 2.24 2.05 3/94 29907
/proc/meminfo: memFree=868256/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=101.95
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 40706 0 1 0 10170 25 0 0 25 0 8 0 181142147 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 40439 2179 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0.87
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 24086 0 0 0 75 12 0 0 16 0 8 0 181142151 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.18
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 430 0 0 0 18 0 0 0 16 0 8 0 181142155 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915632
[startup+162.538 s]
/proc/loadavg: 2.08 2.21 2.05 3/94 29907
/proc/meminfo: memFree=787744/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=161.75
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 60799 0 1 0 16140 35 0 0 25 0 8 0 181142147 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 60528 2179 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=1.7
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 44170 0 0 0 150 20 0 0 16 0 8 0 181142151 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.19
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 435 0 0 0 19 0 0 0 17 0 8 0 181142155 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 915632
[startup+222.632 s]
/proc/loadavg: 2.03 2.17 2.04 3/95 29971
/proc/meminfo: memFree=754968/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=221.57
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 77119 0 1 0 22111 46 0 0 25 0 8 0 181142147 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29899/statm: 228908 76836 2545 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=3.12
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 59992 0 0 0 285 27 0 0 16 0 8 0 181142151 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.3
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 491 0 0 0 29 1 0 0 15 0 8 0 181142155 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.57
Current children cumulated vsize (KiB) 915632
[startup+282.662 s]
/proc/loadavg: 2.13 2.17 2.05 3/101 30052
/proc/meminfo: memFree=498800/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=281.52
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 77157 0 1 0 28103 49 0 0 25 0 8 0 181142147 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074022101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29899/statm: 228908 76861 2548 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=3.12
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 59992 0 0 0 285 27 0 0 16 0 8 0 181142151 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.35
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 517 0 0 0 34 1 0 0 16 0 8 0 181142155 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) R 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.52
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 326.438
CPU time (s): 325.235
CPU user time (s): 324.677
CPU system time (s): 0.557915
CPU usage (%): 99.6312
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 324.677
system time used= 0.557915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79400
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= 8156
involuntary context switches= 13348
runsolver used 0.350946 s user time and 1.10183 s system time
The end
Begin job on node22 on Tue Jan 9 07:24:37 UTC 2007
IDJOB= 233708
IDBENCH= 6628
FILE ID= node22/233708-1168327477
PBS_JOBID= 3503019
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-100-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233708-1168327477/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-233708-1168327477 -o ROOT/results/node22/solver-233708-1168327477 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233708-1168327477/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bf3ae01f7ee0d46a4b8c500f7d319d1f
RANDOM SEED= 743832421
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.279
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.279
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: 1022328 kB
Buffers: 11716 kB
Cached: 895168 kB
SwapCached: 11252 kB
Active: 428472 kB
Inactive: 551980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1022328 kB
SwapTotal: 4192956 kB
SwapFree: 4157544 kB
Dirty: 2164 kB
Writeback: 0 kB
Mapped: 92344 kB
Slab: 37948 kB
Committed_AS: 3484516 kB
PageTables: 2320 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= 66559 MiB
End job on node22 on Tue Jan 9 07:30:04 UTC 2007