0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/217680-1168079481/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=55 nbDomainTypes=2 minDomainSize=55 maxDomainSize=56
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
0.75 nbConstraints=1080 nbConvertedConstraints=1035 nbConvertConstraintsChecks=6161 nbExtensionStructures=2
0.75 nbSharedExtensionStructures=1033 nbConflictsStructures=2 nbSharedConflictsStructures=1033
0.75 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=57 nbEvaluationManagers=1
0.75 nbSharedEvaluationManagers=44 maxDegree=45 maxArity=3
0.75 => wckTime=0.443 cpuTime=0.33 mem=11M827
0.79
0.79 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.64 cpuTime=0.46 mem=14M954
2.17
2.17 preprocessing
2.17 nbConstraintChecks=4081497 nbValidityChecks=16349 nbPropagations=65 nbRevisions=674 nbUselessRevisions=512
2.17 nbRemovedValues=330 detectedInconsistency=no
2.17 => wckTime=1.228 cpuTime=1.21 mem=14M954
3.68
3.68 search
3.68 run=0 nbConstraintChecks=4991926 nbValidityChecks=121757 nbPropagations=1540 nbRevisions=14394
3.68 nbUselessRevisions=10380 nbAssignments=25 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=45
3.68 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
3.68 => wckTime=2.738 cpuTime=2.71 mem=14M954
4.75
4.75 search
4.75 run=1 nbConstraintChecks=8543315 nbValidityChecks=332963 nbPropagations=5389 nbRevisions=52016
4.75 nbUselessRevisions=37539 nbAssignments=64 nbFailedAssignments=27 nbBacktracks=26 nbVisitedNodes=118
4.75 nbRestartNogoods=7 mapSize=26 nbInferences=0 nbTooLargeKeys=0
4.75 => wckTime=3.805 cpuTime=3.76 mem=14M954
6.08
6.08 search
6.08 run=2 nbConstraintChecks=13052440 nbValidityChecks=603997 nbPropagations=12346 nbRevisions=116616
6.08 nbUselessRevisions=83960 nbAssignments=126 nbFailedAssignments=62 nbBacktracks=49 nbVisitedNodes=228
6.08 nbRestartNogoods=17 mapSize=39 nbInferences=0 nbTooLargeKeys=0
6.08 => wckTime=5.132 cpuTime=5.09 mem=14M954
7.25
7.25 search
7.25 run=3 nbConstraintChecks=16892821 nbValidityChecks=869249 nbPropagations=23899 nbRevisions=211535
7.25 nbUselessRevisions=152163 nbAssignments=234 nbFailedAssignments=129 nbBacktracks=87 nbVisitedNodes=417
7.25 nbRestartNogoods=26 mapSize=53 nbInferences=0 nbTooLargeKeys=0
7.25 => wckTime=6.309 cpuTime=6.26 mem=14M954
7.88
7.88 search
7.88 run=4 nbConstraintChecks=18917315 nbValidityChecks=968403 nbPropagations=39017 nbRevisions=328782
7.88 nbUselessRevisions=236547 nbAssignments=326 nbFailedAssignments=169 nbBacktracks=137 nbVisitedNodes=574
7.88 nbRestartNogoods=34 mapSize=79 nbInferences=0 nbTooLargeKeys=0
7.88 => wckTime=6.931 cpuTime=6.89 mem=14M954
8.80
8.80 search
8.80 run=5 nbConstraintChecks=21940542 nbValidityChecks=1172167 nbPropagations=58647 nbRevisions=476040
8.80 nbUselessRevisions=341020 nbAssignments=464 nbFailedAssignments=224 nbBacktracks=215 nbVisitedNodes=798
8.80 nbRestartNogoods=36 mapSize=115 nbInferences=0 nbTooLargeKeys=0
8.80 => wckTime=7.85 cpuTime=7.8 mem=14M954
9.60
9.60 search
9.60 run=6 nbConstraintChecks=24730327 nbValidityChecks=1339228 nbPropagations=81040 nbRevisions=645576
9.60 nbUselessRevisions=460444 nbAssignments=606 nbFailedAssignments=250 nbBacktracks=329 nbVisitedNodes=991
9.60 nbRestartNogoods=45 mapSize=142 nbInferences=0 nbTooLargeKeys=0
9.60 => wckTime=8.657 cpuTime=8.61 mem=14M954
11.81
11.81 search
11.81 run=7 nbConstraintChecks=32036212 nbValidityChecks=1945814 nbPropagations=113838 nbRevisions=909522
11.81 nbUselessRevisions=645729 nbAssignments=896 nbFailedAssignments=366 nbBacktracks=500 nbVisitedNodes=1453
11.81 nbRestartNogoods=51 mapSize=199 nbInferences=0 nbTooLargeKeys=0
11.81 => wckTime=10.868 cpuTime=10.82 mem=15M929
13.12
13.12 search
13.12 run=8 nbConstraintChecks=36301758 nbValidityChecks=2329356 nbPropagations=157726 nbRevisions=1273045
13.12 nbUselessRevisions=901530 nbAssignments=1314 nbFailedAssignments=517 nbBacktracks=762 nbVisitedNodes=2094
13.12 nbRestartNogoods=54 mapSize=278 nbInferences=0 nbTooLargeKeys=0
13.12 => wckTime=12.177 cpuTime=12.13 mem=15M929
13.86
13.86 search
13.86 run=9 nbConstraintChecks=38389054 nbValidityChecks=2547645 nbPropagations=214667 nbRevisions=1741686
13.86 nbUselessRevisions=1238220 nbAssignments=1923 nbFailedAssignments=731 nbBacktracks=1150 nbVisitedNodes=2992
13.86 nbRestartNogoods=63 mapSize=371 nbInferences=0 nbTooLargeKeys=0
13.86 => wckTime=12.915 cpuTime=12.85 mem=15M929
19.94
19.94 search
19.94 run=10 nbConstraintChecks=60157288 nbValidityChecks=3568468 nbPropagations=293965 nbRevisions=2397018
19.94 nbUselessRevisions=1708733 nbAssignments=2831 nbFailedAssignments=1062 nbBacktracks=1727 nbVisitedNodes=4411
19.94 nbRestartNogoods=76 mapSize=581 nbInferences=0 nbTooLargeKeys=0
19.94 => wckTime=18.998 cpuTime=18.91 mem=15M929
25.17
25.17 search
25.17 run=11 nbConstraintChecks=79186706 nbValidityChecks=4596535 nbPropagations=399441 nbRevisions=3228952
25.17 nbUselessRevisions=2297139 nbAssignments=4011 nbFailedAssignments=1365 nbBacktracks=2599 nbVisitedNodes=6113
25.17 nbRestartNogoods=76 mapSize=847 nbInferences=0 nbTooLargeKeys=0
25.17 => wckTime=24.226 cpuTime=24.14 mem=16M904
28.42
28.42 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=16M904)
32.85
32.85 search
32.85 run=12 nbConstraintChecks=106112126 nbValidityChecks=6165623 nbPropagations=554074 nbRevisions=4373425
32.85 nbUselessRevisions=3095456 nbAssignments=5876 nbFailedAssignments=1929 nbBacktracks=3896 nbVisitedNodes=8951
32.85 nbRestartNogoods=86
32.85 => wckTime=31.908 cpuTime=31.8 mem=16M904
44.17
44.17 search
44.17 run=13 nbConstraintChecks=145264340 nbValidityChecks=8870056 nbPropagations=811578 nbRevisions=6173235
44.17 nbUselessRevisions=4340912 nbAssignments=9134 nbFailedAssignments=3235 nbBacktracks=5844 nbVisitedNodes=14324
44.17 nbRestartNogoods=95
44.17 => wckTime=43.229 cpuTime=43.12 mem=16M904
60.89
60.89 search
60.89 run=14 nbConstraintChecks=201643501 nbValidityChecks=13723298 nbPropagations=1288248 nbRevisions=9707691
60.89 nbUselessRevisions=6847505 nbAssignments=15406 nbFailedAssignments=6586 nbBacktracks=8763 nbVisitedNodes=25440
60.89 nbRestartNogoods=99
60.89 => wckTime=59.948 cpuTime=59.82 mem=16M904
86.27
86.27 search
86.27 run=15 nbConstraintChecks=285266227 nbValidityChecks=21962310 nbPropagations=2155831 nbRevisions=16328498
86.27 nbUselessRevisions=11599918 nbAssignments=26045 nbFailedAssignments=12843 nbBacktracks=13141
86.27 nbVisitedNodes=44926 nbRestartNogoods=106
86.27 => wckTime=85.323 cpuTime=85.18 mem=16M904
129.90
129.90 search
129.90 run=16 nbConstraintChecks=432843547 nbValidityChecks=36618483 nbPropagations=3678569 nbRevisions=28894409
129.90 nbUselessRevisions=20685008 nbAssignments=43776 nbFailedAssignments=24000 nbBacktracks=19712
129.90 nbVisitedNodes=77538 nbRestartNogoods=112
129.90 => wckTime=128.958 cpuTime=128.79 mem=16M904
130.48
130.48 search
130.48 run=17 nbConstraintChecks=434834051 nbValidityChecks=36835231 nbPropagations=5209548 nbRevisions=41540742
130.48 nbUselessRevisions=29827286 nbAssignments=44051 nbFailedAssignments=24153 nbBacktracks=19779
130.48 nbVisitedNodes=78007 nbRestartNogoods=125
130.48 => wckTime=129.532 cpuTime=129.36 mem=16M904
130.48
130.48 global
130.48 nbConstraintChecks=438915548 nbValidityChecks=36851580 nbPropagations=5209613 nbRevisions=41541416
130.48 nbUselessRevisions=29827798 nbRestartNogoods=125 solvingWckTime=129.533 solvingCpuTime=129.36 expiredTime=no
130.48 totalExploration=no nbFoundSolutions=1 globalCpuTime=129.87
130.48 => wckTime=130.174 cpuTime=129.82 mem=16M904
130.48
130.48 s SATISFIABLE
130.48 v 0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2
130.48 d NODES 44051
130.48 d CHECKS 438915548
130.48
130.48 totalWckTime=130.251 totalCpuTime=129.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-217680-1168079481 -o ROOT/results/node50/solver-217680-1168079481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217680-1168079481/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.90 0.98 1.08 3/65 2475
/proc/meminfo: memFree=1490320/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=168 CPUtime=0
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156347017 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7917867 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 42 23 18 14 0 2 0
[startup+0.103069 s]
/proc/loadavg: 0.90 0.98 1.08 3/65 2475
/proc/meminfo: memFree=1490320/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=914988 CPUtime=0.07
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 2995 0 1 0 6 1 0 0 18 0 8 0 156347017 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511135 s]
/proc/loadavg: 0.90 0.98 1.08 3/65 2475
/proc/meminfo: memFree=1490320/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915328 CPUtime=0.49
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 6394 0 1 0 45 4 0 0 16 0 8 0 156347017 937295872 6133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228832 6133 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33127 s]
/proc/loadavg: 0.90 0.98 1.08 3/72 2482
/proc/meminfo: memFree=1466712/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=1.32
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 8636 0 1 0 120 12 0 0 16 0 8 0 156347017 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228895 8374 2528 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.2
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 401 0 0 0 19 1 0 0 15 0 8 0 156347024 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915580
[startup+2.96854 s]
/proc/loadavg: 0.90 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1466264/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=2.95
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 8733 0 1 0 283 12 0 0 17 0 8 0 156347017 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073918300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228895 8468 2529 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 261 0 0 0 3 0 0 0 17 0 8 0 156347021 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.21
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 407 0 0 0 20 1 0 0 16 0 8 0 156347024 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915580
[startup+6.2631 s]
/proc/loadavg: 0.91 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1466144/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=6.26
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 8775 0 1 0 613 13 0 0 17 0 8 0 156347017 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228895 8508 2533 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.23
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 419 0 0 0 22 1 0 0 16 0 8 0 156347024 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915580
[startup+12.7312 s]
/proc/loadavg: 0.92 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1465832/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=12.72
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 8859 0 1 0 1259 13 0 0 17 0 8 0 156347017 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228895 8590 2533 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 17 0 8 0 156347021 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.23
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 423 0 0 0 22 1 0 0 15 0 8 0 156347024 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915580
[startup+25.5765 s]
/proc/loadavg: 0.93 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1465192/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=25.55
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 9091 0 1 0 2542 13 0 0 25 0 8 0 156347017 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942767 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2474/statm: 228895 8818 2533 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.26
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 437 0 0 0 25 1 0 0 16 0 8 0 156347024 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915580
[startup+51.2659 s]
/proc/loadavg: 0.96 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1464872/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=51.21
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 9140 0 1 0 5108 13 0 0 25 0 8 0 156347017 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2474/statm: 228895 8865 2534 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.27
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 438 0 0 0 26 1 0 0 16 0 8 0 156347024 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915580
[startup+102.535 s]
/proc/loadavg: 0.98 0.98 1.07 2/72 2482
/proc/meminfo: memFree=1464808/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=102.45
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 9147 0 1 0 10232 13 0 0 25 0 8 0 156347017 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2474/statm: 228895 8871 2534 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.27
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 439 0 0 0 26 1 0 0 16 0 8 0 156347024 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 130.546
CPU time (s): 130.402
CPU user time (s): 130.255
CPU system time (s): 0.146977
CPU usage (%): 99.8897
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.255
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9242
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= 3681
involuntary context switches= 2903
runsolver used 0.12798 s user time and 0.344947 s system time
The end
Begin job on node50 on Sat Jan 6 10:31:23 UTC 2007
IDJOB= 217680
IDBENCH= 5164
FILE ID= node50/217680-1168079481
PBS_JOBID= 3476067
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-55-10-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217680-1168079481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-217680-1168079481 -o ROOT/results/node50/solver-217680-1168079481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217680-1168079481/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 52e1a20218303240f1ed977654e67c18
RANDOM SEED= 160941306
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: 1490864 kB
Buffers: 37544 kB
Cached: 434104 kB
SwapCached: 0 kB
Active: 77552 kB
Inactive: 409740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1490864 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 25796 kB
Slab: 63764 kB
Committed_AS: 3272596 kB
PageTables: 1460 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= 66550 MiB
End job on node50 on Sat Jan 6 10:33:35 UTC 2007