0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/235253-1168336688/unknown.xml
0.40
0.40 domains being loaded...
0.42
0.42 variables being loaded...
0.47 nbVariables=100 nbDomainTypes=100 minDomainSize=491 maxDomainSize=587
0.47 => wckTime=0.138 cpuTime=0.11 mem=8M845
0.47
0.47 predicates being loaded...
0.48
0.48 constraints being loaded...
73.45 nbConstraints=900 nbConvertedConstraints=900 nbConvertConstraintsChecks=262379244 nbExtensionStructures=900
73.45 nbSharedExtensionStructures=0 nbConflictsStructures=900 nbSharedConflictsStructures=0
73.45 nbSharedBinaryRepresentations=311972 maxDegree=18 maxArity=2
73.45 => wckTime=73.121 cpuTime=71.18 mem=100M71
73.71
73.71 solver IterativeSystematicSolver being built...
73.88 => wckTime=73.552 cpuTime=71.33 mem=110M365
74.11
74.11 preprocessing
74.11 nbConstraintChecks=3050985 nbPropagations=1655 nbRevisions=2435 nbUselessRevisions=826 nbSingletonTests=108
74.11 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
74.11 => wckTime=0.222 cpuTime=0.19 mem=110M365
74.47
74.47 search
74.47 run=0 nbConstraintChecks=1546265 nbPropagations=2341 nbRevisions=4344 nbUselessRevisions=1756 nbAssignments=52
74.47 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=73 nbRestartNogoods=0 mapSize=8 nbInferences=0
74.47 nbTooLargeKeys=0
74.47 => wckTime=0.579 cpuTime=0.54 mem=111M321
75.18
75.18 search
75.18 run=1 nbConstraintChecks=18421536 nbPropagations=6970 nbRevisions=28445 nbUselessRevisions=10015
75.18 nbAssignments=520 nbFailedAssignments=446 nbBacktracks=25 nbVisitedNodes=988 nbRestartNogoods=4 mapSize=23
75.18 nbInferences=0 nbTooLargeKeys=0
75.18 => wckTime=1.294 cpuTime=1.24 mem=111M321
80.29
80.29 search
80.29 run=2 nbConstraintChecks=65123200 nbPropagations=62142 nbRevisions=142316 nbUselessRevisions=46510
80.29 nbAssignments=4230 nbFailedAssignments=918 nbBacktracks=48 nbVisitedNodes=2004 nbRestartNogoods=114 mapSize=44
80.29 nbInferences=0 nbTooLargeKeys=0
80.29 => wckTime=6.403 cpuTime=6.28 mem=111M321
80.76
80.76 search
80.76 run=3 nbConstraintChecks=70546906 nbPropagations=119324 nbRevisions=268256 nbUselessRevisions=88385
80.76 nbAssignments=4588 nbFailedAssignments=1226 nbBacktracks=81 nbVisitedNodes=2703 nbRestartNogoods=119
80.76 mapSize=77 nbInferences=0 nbTooLargeKeys=0
80.76 => wckTime=6.866 cpuTime=6.74 mem=111M321
82.42
82.42 search
82.42 run=4 nbConstraintChecks=123787174 nbPropagations=183391 nbRevisions=427326 nbUselessRevisions=141048
82.42 nbAssignments=5305 nbFailedAssignments=1877 nbBacktracks=131 nbVisitedNodes=4121 nbRestartNogoods=124
82.42 mapSize=127 nbInferences=0 nbTooLargeKeys=0
82.43 => wckTime=8.534 cpuTime=8.38 mem=112M272
88.51
88.51 search
88.51 run=5 nbConstraintChecks=209269229 nbPropagations=309410 nbRevisions=699138 nbUselessRevisions=223745
88.51 nbAssignments=9674 nbFailedAssignments=2923 nbBacktracks=206 nbVisitedNodes=6383 nbRestartNogoods=332
88.51 mapSize=202 nbInferences=0 nbTooLargeKeys=0
88.51 => wckTime=14.617 cpuTime=14.4 mem=112M272
96.83
96.83 search
96.83 run=6 nbConstraintChecks=305726679 nbPropagations=520774 nbRevisions=1135324 nbUselessRevisions=371337
96.83 nbAssignments=15543 nbFailedAssignments=3744 nbBacktracks=319 nbVisitedNodes=8267 nbRestartNogoods=491
96.83 mapSize=315 nbInferences=0 nbTooLargeKeys=0
96.83 => wckTime=22.942 cpuTime=22.65 mem=113M223
107.11
107.11 search
107.11 run=7 nbConstraintChecks=476181863 nbPropagations=821571 nbRevisions=1798074 nbUselessRevisions=612867
107.11 nbAssignments=21773 nbFailedAssignments=5754 nbBacktracks=489 nbVisitedNodes=12643 nbRestartNogoods=716
107.11 mapSize=485 nbInferences=0 nbTooLargeKeys=0
107.11 => wckTime=33.223 cpuTime=32.84 mem=114M174
114.86
114.86 search
114.86 run=8 nbConstraintChecks=559665241 nbPropagations=1196115 nbRevisions=2681396 nbUselessRevisions=949276
114.86 nbAssignments=29163 nbFailedAssignments=10845 nbBacktracks=745 nbVisitedNodes=23317 nbRestartNogoods=838
114.86 mapSize=736 nbInferences=0 nbTooLargeKeys=0
114.86 => wckTime=40.975 cpuTime=40.51 mem=116M75
126.70
126.70 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=117M977)
127.91
127.91 search
127.91 run=9 nbConstraintChecks=686727892 nbPropagations=1696796 nbRevisions=3982866 nbUselessRevisions=1474953
127.91 nbAssignments=40735 nbFailedAssignments=21283 nbBacktracks=1129 nbVisitedNodes=44948 nbRestartNogoods=914
127.91 => wckTime=54.017 cpuTime=53.44 mem=117M977
151.48
151.48 search
151.48 run=10 nbConstraintChecks=901702068 nbPropagations=2368114 nbRevisions=5901246 nbUselessRevisions=2269390
151.48 nbAssignments=56386 nbFailedAssignments=36335 nbBacktracks=1628 nbVisitedNodes=76143 nbRestartNogoods=927
151.48 => wckTime=77.593 cpuTime=76.79 mem=117M977
151.48
151.48 global
151.48 nbConstraintChecks=904753053 nbPropagations=2369769 nbRevisions=5903681 nbUselessRevisions=2270216
151.48 nbRestartNogoods=927 solvingWckTime=77.594 solvingCpuTime=76.79 expiredTime=no totalExploration=no
151.48 nbFoundSolutions=1 globalCpuTime=148.17
151.48 => wckTime=151.151 cpuTime=148.12 mem=117M977
151.49
151.49 s SATISFIABLE
151.49 v 341 437 178 570 534 0 77 214 127 244 490 0 171 216 77 458 53 368 65 304 194 452 152 162 53 338 0 539 267 381 76 465 288 522 381 172 80 0 267 170 0 436 338 180 566 464 271 537 112 216 187 456 91 271 0 225 537 530 128 400 504 0 365 82 393 449 498 220 426 271 225 433 192 0 311 82 169 501 402 416 571 244 306 225 535 481 0 431 59 158 402 381 367 500 65 431 0 83 174 304
151.49 d NODES 56386
151.49 d CHECKS 904753053
151.49
151.49 totalWckTime=151.232 totalCpuTime=148.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-235253-1168336688 -o ROOT/results/node12/solver-235253-1168336688 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235253-1168336688/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.99 1.98 1.99 4/87 4491
/proc/meminfo: memFree=1564232/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=18540 CPUtime=0
/proc/4490/stat : 4490 (runsolver) R 4488 4490 4329 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 182063882 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4490/statm: 4635 279 244 17 0 2626 0
[startup+0.102603 s]
/proc/loadavg: 1.99 1.98 1.99 4/87 4491
/proc/meminfo: memFree=1564232/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=911488 CPUtime=0.06
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 2593 0 1 0 5 1 0 0 19 0 8 0 182063882 933363712 2340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155275712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 227872 2340 1273 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.510675 s]
/proc/loadavg: 1.99 1.98 1.99 4/87 4491
/proc/meminfo: memFree=1564232/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=915328 CPUtime=0.47
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 6652 0 1 0 43 4 0 0 18 0 8 0 182063882 937295872 6391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073594078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 228832 6391 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33382 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 4498
/proc/meminfo: memFree=1540624/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=915448 CPUtime=1.28
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 8371 0 1 0 123 5 0 0 25 0 8 0 182063882 937418752 8109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 228862 8109 2167 14 0 215332 0
[pid=4490/tid=4492] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4492/stat : 4492 (java) S 4488 4490 4329 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 182063886 937418752 8109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4493] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4493/stat : 4493 (java) S 4488 4490 4329 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182063886 937418752 8109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4494] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4494/stat : 4494 (java) S 4488 4490 4329 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 182063886 937418752 8109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4495] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4495/stat : 4495 (java) S 4488 4490 4329 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 182063891 937418752 8109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4496] ppid=4488 vsize=915448 CPUtime=0.14
/proc/4490/task/4496/stat : 4496 (java) S 4488 4490 4329 0 -1 64 358 0 0 0 14 0 0 0 16 0 8 0 182063891 937418752 8109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4497] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4497/stat : 4497 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 182063891 937418752 8109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4498] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4498/stat : 4498 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182063891 937418752 8109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915448
[startup+2.98412 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 4498
/proc/meminfo: memFree=1538128/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=915448 CPUtime=2.91
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 9223 0 1 0 286 5 0 0 25 0 8 0 182063882 937418752 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 228862 8960 2167 14 0 215332 0
[pid=4490/tid=4492] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4492/stat : 4492 (java) S 4488 4490 4329 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 182063886 937418752 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4493] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4493/stat : 4493 (java) S 4488 4490 4329 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182063886 937418752 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4494] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4494/stat : 4494 (java) S 4488 4490 4329 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 182063886 937418752 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4495] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4495/stat : 4495 (java) S 4488 4490 4329 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 182063891 937418752 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4496] ppid=4488 vsize=915448 CPUtime=0.14
/proc/4490/task/4496/stat : 4496 (java) S 4488 4490 4329 0 -1 64 358 0 0 0 14 0 0 0 15 0 8 0 182063891 937418752 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4497] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4497/stat : 4497 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 182063891 937418752 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4498] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4498/stat : 4498 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182063891 937418752 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915448
[startup+6.26971 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 4498
/proc/meminfo: memFree=1531216/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=915448 CPUtime=6.18
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 10866 0 1 0 612 6 0 0 25 0 8 0 182063882 937418752 10603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 228862 10603 2167 14 0 215332 0
[pid=4490/tid=4492] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4492/stat : 4492 (java) S 4488 4490 4329 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182063886 937418752 10603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4493] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4493/stat : 4493 (java) S 4488 4490 4329 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182063886 937418752 10603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4494] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4494/stat : 4494 (java) S 4488 4490 4329 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 182063886 937418752 10603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4495] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4495/stat : 4495 (java) S 4488 4490 4329 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 182063891 937418752 10603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4496] ppid=4488 vsize=915448 CPUtime=0.14
/proc/4490/task/4496/stat : 4496 (java) S 4488 4490 4329 0 -1 64 360 0 0 0 14 0 0 0 15 0 8 0 182063891 937418752 10603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4497] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4497/stat : 4497 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 182063891 937418752 10603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4498] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4498/stat : 4498 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182063891 937418752 10603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915448
[startup+12.7599 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 4498
/proc/meminfo: memFree=1518096/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=915448 CPUtime=12.61
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 13987 0 1 0 1253 8 0 0 25 0 8 0 182063882 937418752 13724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 228862 13724 2168 14 0 215332 0
[pid=4490/tid=4492] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4492/stat : 4492 (java) S 4488 4490 4329 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182063886 937418752 13724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4493] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4493/stat : 4493 (java) S 4488 4490 4329 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182063886 937418752 13724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4494] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4494/stat : 4494 (java) S 4488 4490 4329 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 182063886 937418752 13724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4495] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4495/stat : 4495 (java) S 4488 4490 4329 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 182063891 937418752 13724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4496] ppid=4488 vsize=915448 CPUtime=0.17
/proc/4490/task/4496/stat : 4496 (java) S 4488 4490 4329 0 -1 64 372 0 0 0 16 1 0 0 15 0 8 0 182063891 937418752 13724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4497] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4497/stat : 4497 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 182063891 937418752 13724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4498] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4498/stat : 4498 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182063891 937418752 13724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915448
[startup+25.6052 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 4498
/proc/meminfo: memFree=1477840/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=915448 CPUtime=25.33
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 23929 0 1 0 2520 13 0 0 25 0 8 0 182063882 937418752 23664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757494 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 228862 23664 2179 14 0 215332 0
[pid=4490/tid=4492] ppid=4488 vsize=915448 CPUtime=0.28
/proc/4490/task/4492/stat : 4492 (java) S 4488 4490 4329 0 -1 64 7370 0 0 0 25 3 0 0 16 0 8 0 182063886 937418752 23664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4493] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4493/stat : 4493 (java) S 4488 4490 4329 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182063886 937418752 23664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4494] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4494/stat : 4494 (java) S 4488 4490 4329 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182063886 937418752 23664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4495] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4495/stat : 4495 (java) S 4488 4490 4329 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 182063891 937418752 23664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4496] ppid=4488 vsize=915448 CPUtime=0.17
/proc/4490/task/4496/stat : 4496 (java) S 4488 4490 4329 0 -1 64 372 0 0 0 16 1 0 0 16 0 8 0 182063891 937418752 23664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4497] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4497/stat : 4497 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 182063891 937418752 23664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4498] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4498/stat : 4498 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182063891 937418752 23664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915448
[startup+51.2218 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 4498
/proc/meminfo: memFree=1438416/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=915448 CPUtime=50.7
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 33763 0 1 0 5052 18 0 0 25 0 8 0 182063882 937418752 33496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 228862 33496 2179 14 0 215332 0
[pid=4490/tid=4492] ppid=4488 vsize=915448 CPUtime=0.66
/proc/4490/task/4492/stat : 4492 (java) S 4488 4490 4329 0 -1 64 17197 0 0 0 59 7 0 0 16 0 8 0 182063886 937418752 33496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4493] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4493/stat : 4493 (java) S 4488 4490 4329 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182063886 937418752 33496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4494] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4494/stat : 4494 (java) S 4488 4490 4329 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182063886 937418752 33496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4495] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4495/stat : 4495 (java) S 4488 4490 4329 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 182063891 937418752 33496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4496] ppid=4488 vsize=915448 CPUtime=0.18
/proc/4490/task/4496/stat : 4496 (java) S 4488 4490 4329 0 -1 64 377 0 0 0 17 1 0 0 15 0 8 0 182063891 937418752 33496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4497] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4497/stat : 4497 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 182063891 937418752 33496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4498] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4498/stat : 4498 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182063891 937418752 33496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915448
[startup+102.463 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 4498
/proc/meminfo: memFree=1402448/2055920 swapFree=4160348/4192956
[pid=4490] ppid=4488 vsize=915448 CPUtime=101.48
/proc/4490/stat : 4490 (java) R 4488 4490 4329 0 -1 0 43039 0 1 0 10124 24 0 0 25 0 8 0 182063882 937418752 42761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4490/statm: 228862 42761 2546 14 0 215332 0
[pid=4490/tid=4492] ppid=4488 vsize=915448 CPUtime=1.34
/proc/4490/task/4492/stat : 4492 (java) S 4488 4490 4329 0 -1 64 25955 0 0 0 124 10 0 0 16 0 8 0 182063886 937418752 42761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4493] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4493/stat : 4493 (java) S 4488 4490 4329 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182063886 937418752 42761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4494] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4494/stat : 4494 (java) S 4488 4490 4329 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182063886 937418752 42761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4495] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4495/stat : 4495 (java) S 4488 4490 4329 0 -1 64 0 0 0 0 0 0 0 0 17 0 8 0 182063891 937418752 42761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4496] ppid=4488 vsize=915448 CPUtime=0.32
/proc/4490/task/4496/stat : 4496 (java) S 4488 4490 4329 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 182063891 937418752 42761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4497] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4497/stat : 4497 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 182063891 937418752 42761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4490/tid=4498] ppid=4488 vsize=915448 CPUtime=0
/proc/4490/task/4498/stat : 4498 (java) S 4488 4490 4329 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182063891 937418752 42761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915448
Child status: 0
Real time (s): 151.523
CPU time (s): 150.101
CPU user time (s): 149.816
CPU system time (s): 0.284956
CPU usage (%): 99.0616
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.816
system time used= 0.284956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43051
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= 4560
involuntary context switches= 10283
runsolver used 0.170974 s user time and 0.507922 s system time
The end
Begin job on node12 on Tue Jan 9 09:58:08 UTC 2007
IDJOB= 235253
IDBENCH= 6754
FILE ID= node12/235253-1168336688
PBS_JOBID= 3503120
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-100-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235253-1168336688/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-235253-1168336688 -o ROOT/results/node12/solver-235253-1168336688 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235253-1168336688/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 74cf29d3ab94d83fc52e373a6d01ad7d
RANDOM SEED= 708142201
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1564648 kB
Buffers: 80156 kB
Cached: 264276 kB
SwapCached: 4816 kB
Active: 232268 kB
Inactive: 198444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1564648 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1792 kB
Writeback: 0 kB
Mapped: 96980 kB
Slab: 45360 kB
Committed_AS: 5413168 kB
PageTables: 2176 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= 66542 MiB
End job on node12 on Tue Jan 9 10:00:41 UTC 2007