0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/235529-1168083061/unknown.xml
0.35
0.35 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=100 nbDomainTypes=100 minDomainSize=440 maxDomainSize=538
0.42 => wckTime=0.124 cpuTime=0.1 mem=8M840
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
4.41
4.41 INFO : Stopping converting binary constraints (cpu=4.06, mem = 23M17)
4.59 nbConstraints=900 nbConvertedConstraints=63 nbConvertConstraintsChecks=15196783 nbExtensionStructures=63
4.59 nbSharedExtensionStructures=0 nbConflictsStructures=63 nbSharedConflictsStructures=0
4.59 nbSharedBinaryRepresentations=11340 nbEvaluationManagers=837 nbSharedEvaluationManagers=0 maxDegree=18
4.59 maxArity=2
4.59 => wckTime=4.295 cpuTime=4.16 mem=29M844
4.66
4.66 solver IterativeSystematicSolver being built...
4.84 => wckTime=4.545 cpuTime=4.29 mem=28M660
7.19
7.19 preprocessing
7.19 nbConstraintChecks=6532106 nbValidityChecks=53786 nbPropagations=100 nbRevisions=1674 nbUselessRevisions=1674
7.19 nbRemovedValues=0 detectedInconsistency=no
7.19 => wckTime=2.346 cpuTime=2.32 mem=28M660
10.22
10.22 search
10.23 run=0 nbConstraintChecks=6534123 nbValidityChecks=8889437 nbPropagations=1926 nbRevisions=27551
10.23 nbUselessRevisions=24133 nbAssignments=169 nbFailedAssignments=145 nbBacktracks=10 nbVisitedNodes=325
10.23 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
10.23 => wckTime=5.383 cpuTime=5.33 mem=28M660
15.07
15.07 search
15.07 run=1 nbConstraintChecks=18372934 nbValidityChecks=20758331 nbPropagations=7329 nbRevisions=100005
15.07 nbUselessRevisions=84562 nbAssignments=507 nbFailedAssignments=440 nbBacktracks=25 nbVisitedNodes=972
15.07 nbRestartNogoods=10 mapSize=25 nbInferences=0 nbTooLargeKeys=0
15.07 => wckTime=10.234 cpuTime=10.18 mem=29M625
19.27
19.27 search
19.27 run=2 nbConstraintChecks=32005746 nbValidityChecks=26429481 nbPropagations=16042 nbRevisions=207291
19.27 nbUselessRevisions=171153 nbAssignments=1118 nbFailedAssignments=977 nbBacktracks=47 nbVisitedNodes=2142
19.27 nbRestartNogoods=63 mapSize=47 nbInferences=0 nbTooLargeKeys=0
19.27 => wckTime=14.434 cpuTime=14.37 mem=29M625
24.89
24.89 search
24.89 run=3 nbConstraintChecks=45307975 nbValidityChecks=40849806 nbPropagations=33071 nbRevisions=409178
24.89 nbUselessRevisions=330715 nbAssignments=2073 nbFailedAssignments=1845 nbBacktracks=80 nbVisitedNodes=3997
24.89 nbRestartNogoods=67 mapSize=80 nbInferences=0 nbTooLargeKeys=0
24.89 => wckTime=20.053 cpuTime=19.96 mem=29M625
28.04
28.04 search
28.04 run=4 nbConstraintChecks=53780087 nbValidityChecks=46863128 nbPropagations=53849 nbRevisions=654567
28.04 nbUselessRevisions=526637 nbAssignments=2474 nbFailedAssignments=2154 nbBacktracks=130 nbVisitedNodes=4728
28.04 nbRestartNogoods=82 mapSize=108 nbInferences=0 nbTooLargeKeys=0
28.04 => wckTime=23.197 cpuTime=23.1 mem=30M591
39.21
39.21 search
39.21 run=5 nbConstraintChecks=80905606 nbValidityChecks=70228788 nbPropagations=86954 nbRevisions=1044175
39.21 nbUselessRevisions=831196 nbAssignments=3825 nbFailedAssignments=3390 nbBacktracks=205 nbVisitedNodes=7386
39.21 nbRestartNogoods=94 mapSize=182 nbInferences=0 nbTooLargeKeys=0
39.21 => wckTime=34.365 cpuTime=34.26 mem=30M591
42.88
42.88 search
42.88 run=6 nbConstraintChecks=90236309 nbValidityChecks=76711876 nbPropagations=124416 nbRevisions=1484744
42.88 nbUselessRevisions=1176338 nbAssignments=4164 nbFailedAssignments=3615 nbBacktracks=219 nbVisitedNodes=7961
42.88 nbRestartNogoods=107 mapSize=195 nbInferences=0 nbTooLargeKeys=0
42.88 => wckTime=38.043 cpuTime=37.94 mem=30M591
42.88
42.89 global
42.89 nbConstraintChecks=96768415 nbValidityChecks=76765662 nbPropagations=124516 nbRevisions=1486418
42.89 nbUselessRevisions=1178012 nbRestartNogoods=107 solvingWckTime=38.044 solvingCpuTime=37.94 expiredTime=no
42.89 totalExploration=no nbFoundSolutions=1 globalCpuTime=42.28
42.89 => wckTime=42.594 cpuTime=42.24 mem=30M591
42.89
42.89 s SATISFIABLE
42.89 v 140 203 212 169 0 120 471 434 407 320 0 100 291 183 237 347 518 363 33 78 183 130 241 440 49 187 218 0 284 78 385 187 261 21 347 522 120 427 218 325 407 169 266 0 249 385 212 360 446 92 200 46 431 365 168 515 0 446 290 13 274 33 172 291 471 261 97 0 375 427 169 325 200 241 49 432 95 26 0 365 138 249 410 471 97 343 130 0 537 431 194 274 527 360 26 0 309 90 432 120
42.89 d NODES 4164
42.89 d CHECKS 96768415
42.89
42.89 totalWckTime=42.669 totalCpuTime=42.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-235529-1168083061 -o ROOT/results/node29/solver-235529-1168083061 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235529-1168083061/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.00 1.99 1.86 4/93 18177
/proc/meminfo: memFree=1522464/2055920 swapFree=4192812/4192956
[pid=18176] ppid=18174 vsize=172 CPUtime=0
/proc/18176/stat : 18176 (java) R 18174 18176 17405 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156700287 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4129067 0 0 4096 0 0 0 0 17 0 0 0
/proc/18176/statm: 43 24 18 14 0 3 0
[startup+0.10751 s]
/proc/loadavg: 2.00 1.99 1.86 4/93 18177
/proc/meminfo: memFree=1522464/2055920 swapFree=4192812/4192956
[pid=18176] ppid=18174 vsize=914988 CPUtime=0.08
/proc/18176/stat : 18176 (java) R 18174 18176 17405 0 -1 0 3075 0 1 0 7 1 0 0 24 0 8 0 156700287 936947712 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18176/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515534 s]
/proc/loadavg: 2.00 1.99 1.86 4/93 18177
/proc/meminfo: memFree=1522464/2055920 swapFree=4192812/4192956
[pid=18176] ppid=18174 vsize=915328 CPUtime=0.49
/proc/18176/stat : 18176 (java) R 18174 18176 17405 0 -1 0 7061 0 1 0 45 4 0 0 25 0 8 0 156700287 937295872 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18176/statm: 228832 6800 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33658 s]
/proc/loadavg: 2.00 1.99 1.86 3/100 18184
/proc/meminfo: memFree=1498536/2055920 swapFree=4192812/4192956
[pid=18176] ppid=18174 vsize=915448 CPUtime=1.31
/proc/18176/stat : 18176 (java) R 18174 18176 17405 0 -1 0 8424 0 1 0 126 5 0 0 25 0 8 0 156700287 937418752 8162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18176/statm: 228862 8162 2167 14 0 215332 0
[pid=18176/tid=18178] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18178/stat : 18178 (java) S 18174 18176 17405 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 156700290 937418752 8162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 17405 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 156700291 937418752 8162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 17405 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156700291 937418752 8162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156700294 937418752 8162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=915448 CPUtime=0.14
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 17405 0 -1 64 358 0 0 0 14 0 0 0 16 0 8 0 156700294 937418752 8162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156700294 937418752 8162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700294 937418752 8162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.98869 s]
/proc/loadavg: 2.00 1.99 1.86 3/100 18184
/proc/meminfo: memFree=1495976/2055920 swapFree=4192812/4192956
[pid=18176] ppid=18174 vsize=915448 CPUtime=2.97
/proc/18176/stat : 18176 (java) R 18174 18176 17405 0 -1 0 9382 0 1 0 291 6 0 0 25 0 8 0 156700287 937418752 9120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18176/statm: 228862 9120 2167 14 0 215332 0
[pid=18176/tid=18178] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18178/stat : 18178 (java) S 18174 18176 17405 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 156700290 937418752 9120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 17405 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 156700291 937418752 9120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 17405 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156700291 937418752 9120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156700294 937418752 9120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=915448 CPUtime=0.14
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 17405 0 -1 64 359 0 0 0 14 0 0 0 16 0 8 0 156700294 937418752 9120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156700294 937418752 9120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=915448 CPUtime=0
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700294 937418752 9120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915448
[startup+6.28993 s]
/proc/loadavg: 2.00 1.99 1.86 3/100 18184
/proc/meminfo: memFree=1476648/2055920 swapFree=4192812/4192956
[pid=18176] ppid=18174 vsize=915584 CPUtime=6.27
/proc/18176/stat : 18176 (java) R 18174 18176 17405 0 -1 0 14140 0 1 0 617 10 0 0 25 0 8 0 156700287 937558016 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757429 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18176/statm: 228896 13876 2529 14 0 215366 0
[pid=18176/tid=18178] ppid=18174 vsize=915584 CPUtime=0.06
/proc/18176/task/18178/stat : 18178 (java) S 18174 18176 17405 0 -1 64 1883 0 0 0 5 1 0 0 17 0 8 0 156700290 937558016 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 17405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700291 937558016 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 17405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700291 937558016 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156700294 937558016 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=915584 CPUtime=0.24
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 17405 0 -1 64 416 0 0 0 23 1 0 0 15 0 8 0 156700294 937558016 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156700294 937558016 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700294 937558016 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915584
[startup+12.7743 s]
/proc/loadavg: 2.00 1.99 1.87 3/100 18184
/proc/meminfo: memFree=1476584/2055920 swapFree=4192812/4192956
[pid=18176] ppid=18174 vsize=915584 CPUtime=12.75
/proc/18176/stat : 18176 (java) R 18174 18176 17405 0 -1 0 14175 0 1 0 1265 10 0 0 25 0 8 0 156700287 937558016 13905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18176/statm: 228896 13905 2535 14 0 215366 0
[pid=18176/tid=18178] ppid=18174 vsize=915584 CPUtime=0.06
/proc/18176/task/18178/stat : 18178 (java) S 18174 18176 17405 0 -1 64 1884 0 0 0 5 1 0 0 16 0 8 0 156700290 937558016 13905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 17405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700291 937558016 13905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 17405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700291 937558016 13905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156700294 937558016 13905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=915584 CPUtime=0.27
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 17405 0 -1 64 435 0 0 0 26 1 0 0 15 0 8 0 156700294 937558016 13905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156700294 937558016 13905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700294 937558016 13905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 915584
[startup+25.6271 s]
/proc/loadavg: 2.00 1.99 1.87 3/100 18184
/proc/meminfo: memFree=1476584/2055920 swapFree=4192812/4192956
[pid=18176] ppid=18174 vsize=915584 CPUtime=25.59
/proc/18176/stat : 18176 (java) R 18174 18176 17405 0 -1 0 14193 0 1 0 2549 10 0 0 25 0 8 0 156700287 937558016 13919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18176/statm: 228896 13919 2535 14 0 215366 0
[pid=18176/tid=18178] ppid=18174 vsize=915584 CPUtime=0.06
/proc/18176/task/18178/stat : 18178 (java) S 18174 18176 17405 0 -1 64 1884 0 0 0 5 1 0 0 17 0 8 0 156700290 937558016 13919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 17405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700291 937558016 13919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 17405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700291 937558016 13919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156700294 937558016 13919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=915584 CPUtime=0.32
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 17405 0 -1 64 452 0 0 0 30 2 0 0 15 0 8 0 156700294 937558016 13919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156700294 937558016 13919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=915584 CPUtime=0
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 17405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700294 937558016 13919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 42.9469
CPU time (s): 42.8735
CPU user time (s): 42.7535
CPU system time (s): 0.119981
CPU usage (%): 99.829
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.7535
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14202
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= 2342
involuntary context switches= 4377
runsolver used 0.06199 s user time and 0.137979 s system time
The end
Begin job on node29 on Sat Jan 6 11:31:02 UTC 2007
IDJOB= 235529
IDBENCH= 6776
FILE ID= node29/235529-1168083061
PBS_JOBID= 3476089
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-100-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235529-1168083061/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-235529-1168083061 -o ROOT/results/node29/solver-235529-1168083061 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235529-1168083061/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b441aa0fb65ae62982067745281981f0
RANDOM SEED= 93847349
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.241
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.241
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: 1522880 kB
Buffers: 43336 kB
Cached: 212208 kB
SwapCached: 0 kB
Active: 257568 kB
Inactive: 197976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1522880 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 229012 kB
Slab: 61828 kB
Committed_AS: 3836100 kB
PageTables: 2716 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= 66546 MiB
End job on node29 on Sat Jan 6 11:31:46 UTC 2007