0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/233459-1168081370/unknown.xml
0.40
0.40 domains being loaded...
0.45
0.45 variables being loaded...
0.51 nbVariables=225 nbDomainTypes=225 minDomainSize=861 maxDomainSize=959
0.51 => wckTime=0.164 cpuTime=0.14 mem=12M769
0.51
0.51 predicates being loaded...
0.51
0.51 constraints being loaded...
4.55
4.56 INFO : Stopping converting binary constraints (cpu=4.1, mem = 39M133)
5.07 nbConstraints=3150 nbConvertedConstraints=18 nbConvertConstraintsChecks=15493847 nbExtensionStructures=18
5.07 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
5.07 nbSharedBinaryRepresentations=8395 nbEvaluationManagers=3132 nbSharedEvaluationManagers=0 maxDegree=28
5.07 maxArity=2
5.07 => wckTime=4.729 cpuTime=4.45 mem=25M853
5.16
5.16 solver IterativeSystematicSolver being built...
5.44 => wckTime=5.091 cpuTime=4.63 mem=44M136
16.76
16.76 preprocessing
16.76 nbConstraintChecks=30916999 nbValidityChecks=209202 nbPropagations=225 nbRevisions=6264 nbUselessRevisions=6264
16.76 nbRemovedValues=0 detectedInconsistency=no
16.76 => wckTime=11.312 cpuTime=11.21 mem=44M136
40.99
40.99 search
40.99 run=0 nbConstraintChecks=55946235 nbValidityChecks=40063022 nbPropagations=3782 nbRevisions=84020
40.99 nbUselessRevisions=75876 nbAssignments=256 nbFailedAssignments=157 nbBacktracks=10 nbVisitedNodes=423
40.99 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
40.99 => wckTime=35.539 cpuTime=35.2 mem=47M78
58.86
58.86 search
58.86 run=1 nbConstraintChecks=95621462 nbValidityChecks=106537435 nbPropagations=12605 nbRevisions=280444
58.86 nbUselessRevisions=254388 nbAssignments=644 nbFailedAssignments=471 nbBacktracks=25 nbVisitedNodes=1140
58.86 nbRestartNogoods=1 mapSize=25 nbInferences=0 nbTooLargeKeys=0
58.86 => wckTime=53.414 cpuTime=52.93 mem=49M37
84.08
84.08 search
84.08 run=2 nbConstraintChecks=156881924 nbValidityChecks=157812348 nbPropagations=27245 nbRevisions=601450
84.08 nbUselessRevisions=529842 nbAssignments=1364 nbFailedAssignments=1062 nbBacktracks=47 nbVisitedNodes=2473
84.08 nbRestartNogoods=16 mapSize=47 nbInferences=0 nbTooLargeKeys=0
84.08 => wckTime=78.628 cpuTime=77.93 mem=50M997
104.96
104.96 search
104.96 run=3 nbConstraintChecks=206093692 nbValidityChecks=209727168 nbPropagations=49197 nbRevisions=1050113
104.96 nbUselessRevisions=911848 nbAssignments=2195 nbFailedAssignments=1741 nbBacktracks=81 nbVisitedNodes=4010
104.96 nbRestartNogoods=180 mapSize=78 nbInferences=0 nbTooLargeKeys=0
104.96 => wckTime=99.508 cpuTime=98.63 mem=53M936
125.20
125.20 search
125.20 run=4 nbConstraintChecks=255096080 nbValidityChecks=255482669 nbPropagations=79807 nbRevisions=1637923
125.20 nbUselessRevisions=1405418 nbAssignments=3251 nbFailedAssignments=2598 nbBacktracks=131 nbVisitedNodes=5973
125.20 nbRestartNogoods=184 mapSize=128 nbInferences=0 nbTooLargeKeys=0
125.20 => wckTime=119.75 cpuTime=118.68 mem=56M875
141.04
141.04 search
141.04 run=5 nbConstraintChecks=294377300 nbValidityChecks=289714386 nbPropagations=113908 nbRevisions=2292647
141.04 nbUselessRevisions=1961013 nbAssignments=3525 nbFailedAssignments=2644 nbBacktracks=134 nbVisitedNodes=6296
141.04 nbRestartNogoods=243 mapSize=131 nbInferences=0 nbTooLargeKeys=0
141.04 => wckTime=135.588 cpuTime=134.39 mem=59M336
141.04
141.04 global
141.04 nbConstraintChecks=325294299 nbValidityChecks=289923588 nbPropagations=114133 nbRevisions=2298911
141.04 nbUselessRevisions=1967277 nbRestartNogoods=243 solvingWckTime=135.589 solvingCpuTime=134.4 expiredTime=no
141.04 totalExploration=no nbFoundSolutions=1 globalCpuTime=139.08
141.04 => wckTime=140.691 cpuTime=139.04 mem=59M336
141.04
141.04 s SATISFIABLE
141.04 v 682 245 87 32 678 80 149 0 232 93 792 483 912 405 279 15 303 263 298 900 53 96 232 373 186 840 551 438 467 344 0 827 80 601 160 53 438 394 931 507 686 752 202 350 279 736 47 845 405 0 196 728 685 8 256 602 331 67 153 327 689 492 728 251 427 827 599 0 860 45 152 310 395 66 600 737 483 302 0 390 93 53 153 641 560 109 675 214 900 602 0 881 373 741 470 496 507 72 149 664 576 840 310 908 212 263 481 394 815 327 184 67 530 752 887 668 552 98 635 0 662 560 898 0 420 45 745 244 186 72 599 815 366 481 208 251 79 482 467 203 0 797 395 245 573 745 344 623 306 682 480 124 214 208 387 754 303 641 32 562 160 680 745 675 0 184 0 664 162 420 82 77 741 573 480 348 277 846 786 876 420 482 625 0 685 790 331 750 82 249 124 864 556 768 196 626 277 875 855 0 541 437 178 98 435 786 724 366 751 463 147 175 109 555 601 256 500 317 478 390 689 855 0 625 212
141.04 d NODES 3525
141.04 d CHECKS 325294299
141.04
141.04 totalWckTime=140.768 totalCpuTime=139.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-233459-1168081370 -o ROOT/results/node50/solver-233459-1168081370 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233459-1168081370/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.00 1.00 0.93 4/80 4229
/proc/meminfo: memFree=1428000/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=18540 CPUtime=0
/proc/4228/stat : 4228 (runsolver) R 4226 4228 3795 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156536866 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/4228/statm: 4635 279 244 17 0 2626 0
[startup+0.103121 s]
/proc/loadavg: 1.00 1.00 0.93 4/80 4229
/proc/meminfo: memFree=1428000/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=907676 CPUtime=0.04
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 2333 0 1 0 3 1 0 0 20 0 4 0 156536866 929460224 2080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925084 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 226919 2080 1166 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.515112 s]
/proc/loadavg: 1.00 1.00 0.93 4/80 4229
/proc/meminfo: memFree=1428000/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915328 CPUtime=0.44
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 7474 0 1 0 40 4 0 0 25 0 8 0 156536866 937295872 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228832 7213 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33925 s]
/proc/loadavg: 1.08 1.02 0.93 4/87 4236
/proc/meminfo: memFree=1386984/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915632 CPUtime=1.26
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 12689 0 1 0 118 8 0 0 25 0 8 0 156536866 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228908 12427 2167 14 0 215378 0
[pid=4228/tid=4230] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156536875 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156536875 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156536875 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915632 CPUtime=0.15
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 156536878 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915632
[startup+2.97652 s]
/proc/loadavg: 1.08 1.02 0.93 3/87 4236
/proc/meminfo: memFree=1385256/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915632 CPUtime=2.89
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 13373 0 1 0 281 8 0 0 25 0 8 0 156536866 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786190 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228908 13110 2167 14 0 215378 0
[pid=4228/tid=4230] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156536875 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156536875 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156536875 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915632 CPUtime=0.15
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 156536878 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915632
[startup+6.27108 s]
/proc/loadavg: 1.08 1.02 0.93 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=6.15
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28262 0 1 0 599 16 0 0 25 0 8 0 156536866 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 27996 2533 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11169 0 0 0 15 5 0 0 16 0 8 0 156536875 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.26
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 475 0 0 0 25 1 0 0 15 0 8 0 156536878 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915716
[startup+12.7422 s]
/proc/loadavg: 1.22 1.05 0.94 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=12.58
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28273 0 1 0 1242 16 0 0 25 0 8 0 156536866 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 28002 2533 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11169 0 0 0 15 5 0 0 16 0 8 0 156536875 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.27
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 486 0 0 0 26 1 0 0 16 0 8 0 156536878 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915716
[startup+25.5923 s]
/proc/loadavg: 1.34 1.08 0.95 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=25.31
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28288 0 1 0 2515 16 0 0 25 0 8 0 156536866 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785515 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 28012 2534 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11169 0 0 0 15 5 0 0 16 0 8 0 156536875 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.29
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 494 0 0 0 28 1 0 0 15 0 8 0 156536878 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915716
[startup+51.1976 s]
/proc/loadavg: 1.57 1.15 0.98 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=50.71
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28308 0 1 0 5055 16 0 0 25 0 8 0 156536866 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782637 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 28025 2538 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11170 0 0 0 15 5 0 0 17 0 8 0 156536875 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.31
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 502 0 0 0 30 1 0 0 16 0 8 0 156536878 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915716
[startup+102.405 s]
/proc/loadavg: 1.90 1.31 1.04 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=101.51
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28325 0 1 0 10134 17 0 0 25 0 8 0 156536866 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 28034 2538 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11170 0 0 0 15 5 0 0 16 0 8 0 156536875 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.32
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 519 0 0 0 31 1 0 0 16 0 8 0 156536878 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915716
Child status: 0
Real time (s): 141.066
CPU time (s): 139.854
CPU user time (s): 139.662
CPU system time (s): 0.19197
CPU usage (%): 99.1408
Max. virtual memory (cumulated for all children) (KiB): 915772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.662
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28341
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= 4472
involuntary context switches= 10527
runsolver used 0.138978 s user time and 0.372943 s system time
The end
Begin job on node50 on Sat Jan 6 11:02:58 UTC 2007
IDJOB= 233459
IDBENCH= 6609
FILE ID= node50/233459-1168081370
PBS_JOBID= 3476195
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-100-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233459-1168081370/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-233459-1168081370 -o ROOT/results/node50/solver-233459-1168081370 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233459-1168081370/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d426cad722d5bc2bb5dc5b0719d02128
RANDOM SEED= 464981773
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.263
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 : 5931.00
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.263
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: 1428736 kB
Buffers: 38396 kB
Cached: 447668 kB
SwapCached: 0 kB
Active: 131960 kB
Inactive: 416644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1428736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2148 kB
Writeback: 0 kB
Mapped: 82788 kB
Slab: 63796 kB
Committed_AS: 4154884 kB
PageTables: 1988 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 node50 on Sat Jan 6 11:05:24 UTC 2007