0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/211278-1168075492/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.46 nbVariables=540 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.143 cpuTime=0.12 mem=8M25
0.46
0.46 predicates being loaded...
0.47
0.47 constraints being loaded...
1.46 nbConstraints=4476 nbMergedConstraints=150 nbConvertedConstraints=630 nbConvertConstraintsChecks=3256
1.46 nbExtensionStructures=2 nbSharedExtensionStructures=628 nbConflictsStructures=17
1.46 nbSharedConflictsStructures=4417 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5
1.46 nbEvaluationManagers=16 nbSharedEvaluationManagers=3830 maxDegree=76 maxArity=20
1.46 => wckTime=1.146 cpuTime=0.95 mem=46M731
1.55
1.55 solver IterativeSystematicSolver being built...
1.89 => wckTime=1.575 cpuTime=1.2 mem=13M717
1.94
1.94 preprocessing
1.94 nbConstraintChecks=882 nbValidityChecks=798 nbPropagations=540 nbRevisions=840 nbUselessRevisions=840
1.94 nbRemovedValues=0 detectedInconsistency=no
1.94 => wckTime=0.045 cpuTime=0.03 mem=14M705
2.11
2.11 search
2.11 run=0 nbConstraintChecks=15878 nbValidityChecks=46502 nbPropagations=852 nbRevisions=41656
2.11 nbUselessRevisions=41372 nbAssignments=130 nbFailedAssignments=4 nbBacktracks=16 nbVisitedNodes=138
2.11 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=0.215 cpuTime=0.18 mem=14M705
2.21
2.21 search
2.21 run=1 nbConstraintChecks=19590 nbValidityChecks=96345 nbPropagations=1970 nbRevisions=119349
2.21 nbUselessRevisions=118571 nbAssignments=256 nbFailedAssignments=6 nbBacktracks=39 nbVisitedNodes=268
2.21 nbRestartNogoods=2 mapSize=8 nbInferences=0 nbTooLargeKeys=0
2.21 => wckTime=0.317 cpuTime=0.28 mem=14M705
2.33
2.33 search
2.33 run=2 nbConstraintChecks=26584 nbValidityChecks=156264 nbPropagations=3422 nbRevisions=240381
2.33 nbUselessRevisions=238804 nbAssignments=397 nbFailedAssignments=11 nbBacktracks=69 nbVisitedNodes=417
2.33 nbRestartNogoods=3 mapSize=14 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=0.445 cpuTime=0.4 mem=14M705
2.61
2.61 search
2.61 run=3 nbConstraintChecks=33965 nbValidityChecks=226192 nbPropagations=5432 nbRevisions=413470
2.61 nbUselessRevisions=410607 nbAssignments=710 nbFailedAssignments=13 nbBacktracks=147 nbVisitedNodes=735
2.61 nbRestartNogoods=5 mapSize=17 nbInferences=0 nbTooLargeKeys=0
2.61 => wckTime=0.718 cpuTime=0.66 mem=14M705
2.90
2.90 search
2.90 run=4 nbConstraintChecks=40781 nbValidityChecks=284903 nbPropagations=7946 nbRevisions=630519
2.90 nbUselessRevisions=625941 nbAssignments=1030 nbFailedAssignments=15 nbBacktracks=232 nbVisitedNodes=1059
2.90 nbRestartNogoods=7 mapSize=20 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=1.012 cpuTime=0.95 mem=15M692
3.24
3.24 search
3.24 run=5 nbConstraintChecks=47464 nbValidityChecks=351753 nbPropagations=11316 nbRevisions=899531
3.24 nbUselessRevisions=892297 nbAssignments=1376 nbFailedAssignments=22 nbBacktracks=335 nbVisitedNodes=1423
3.24 nbRestartNogoods=8 mapSize=36 nbInferences=0 nbTooLargeKeys=0
3.24 => wckTime=1.351 cpuTime=1.28 mem=15M692
3.59
3.59 search
3.59 run=6 nbConstraintChecks=54660 nbValidityChecks=420760 nbPropagations=15529 nbRevisions=1221417
3.59 nbUselessRevisions=1210641 nbAssignments=1740 nbFailedAssignments=32 nbBacktracks=449 nbVisitedNodes=1806
3.59 nbRestartNogoods=10 mapSize=53 nbInferences=0 nbTooLargeKeys=0
3.59 => wckTime=1.7 cpuTime=1.62 mem=15M692
4.00
4.00 search
4.00 run=7 nbConstraintChecks=66975 nbValidityChecks=505857 nbPropagations=21049 nbRevisions=1611083
4.00 nbUselessRevisions=1595266 nbAssignments=2153 nbFailedAssignments=44 nbBacktracks=633 nbVisitedNodes=2259
4.00 nbRestartNogoods=12 mapSize=92 nbInferences=0 nbTooLargeKeys=0
4.00 => wckTime=2.109 cpuTime=2.02 mem=15M692
4.48
4.48 search
4.48 run=8 nbConstraintChecks=84136 nbValidityChecks=614336 nbPropagations=28163 nbRevisions=2086542
4.48 nbUselessRevisions=2063897 nbAssignments=2636 nbFailedAssignments=58 nbBacktracks=906 nbVisitedNodes=2779
4.48 nbRestartNogoods=13 mapSize=127 nbInferences=0 nbTooLargeKeys=0
4.48 => wckTime=2.586 cpuTime=2.49 mem=16M680
5.23
5.23 search
5.23 run=9 nbConstraintChecks=118732 nbValidityChecks=781259 nbPropagations=38097 nbRevisions=2698487
5.23 nbUselessRevisions=2665456 nbAssignments=3277 nbFailedAssignments=89 nbBacktracks=1341 nbVisitedNodes=3497
5.23 nbRestartNogoods=15 mapSize=202 nbInferences=0 nbTooLargeKeys=0
5.23 => wckTime=3.345 cpuTime=3.24 mem=16M680
6.10
6.10 search
6.10 run=10 nbConstraintChecks=158374 nbValidityChecks=1015858 nbPropagations=51582 nbRevisions=3493227
6.10 nbUselessRevisions=3445728 nbAssignments=4107 nbFailedAssignments=124 nbBacktracks=1934 nbVisitedNodes=4402
6.10 nbRestartNogoods=17 mapSize=275 nbInferences=0 nbTooLargeKeys=0
6.10 => wckTime=4.214 cpuTime=4.09 mem=17M668
7.28
7.28 search
7.28 run=11 nbConstraintChecks=218458 nbValidityChecks=1380654 nbPropagations=70298 nbRevisions=4572036
7.28 nbUselessRevisions=4503730 nbAssignments=5230 nbFailedAssignments=172 nbBacktracks=2829 nbVisitedNodes=5639
7.28 nbRestartNogoods=19 mapSize=387 nbInferences=0 nbTooLargeKeys=0
7.28 => wckTime=5.39 cpuTime=5.26 mem=18M656
9.10
9.10 search
9.10 run=12 nbConstraintChecks=354947 nbValidityChecks=2355375 nbPropagations=99140 nbRevisions=6354700
9.10 nbUselessRevisions=6253709 nbAssignments=6730 nbFailedAssignments=236 nbBacktracks=4176 nbVisitedNodes=7317
9.10 nbRestartNogoods=21 mapSize=564 nbInferences=0 nbTooLargeKeys=0
9.10 => wckTime=7.206 cpuTime=7.05 mem=19M644
12.88
12.91 search
12.91 run=13 nbConstraintChecks=542663 nbValidityChecks=3211623 nbPropagations=142353 nbRevisions=8892334
12.91 nbUselessRevisions=8741391 nbAssignments=9013 nbFailedAssignments=387 nbBacktracks=6127 nbVisitedNodes=9991
12.91 nbRestartNogoods=22 mapSize=952 nbInferences=0 nbTooLargeKeys=0
12.91 => wckTime=10.99 cpuTime=10.8 mem=20M632
13.74
13.74 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=21M620)
14.01
14.01 search
14.01 run=14 nbConstraintChecks=629383 nbValidityChecks=3713384 nbPropagations=191834 nbRevisions=11847682
14.01 nbUselessRevisions=11639036 nbAssignments=10390 nbFailedAssignments=440 nbBacktracks=6911 nbVisitedNodes=11512
14.01 nbRestartNogoods=25
14.02 => wckTime=12.126 cpuTime=11.93 mem=21M620
14.02
14.02 global
14.02 nbConstraintChecks=630265 nbValidityChecks=3714182 nbPropagations=192374 nbRevisions=11848522
14.02 nbUselessRevisions=11639876 nbRestartNogoods=25 solvingWckTime=12.127 solvingCpuTime=11.93 expiredTime=no
14.02 totalExploration=no nbFoundSolutions=1 globalCpuTime=13.17
14.02 => wckTime=13.704 cpuTime=13.13 mem=21M620
14.02
14.02 s SATISFIABLE
14.02 v 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0
14.02 d NODES 10390
14.02 d CHECKS 630265
14.02
14.02 totalWckTime=13.785 totalCpuTime=13.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-211278-1168075492 -o ROOT/results/node43/solver-211278-1168075492 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211278-1168075492/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.86 1.91 1.87 4/80 7588
/proc/meminfo: memFree=1616336/2055920 swapFree=4192812/4192956
[pid=7587] ppid=7585 vsize=18540 CPUtime=0
/proc/7587/stat : 7587 (runsolver) R 7585 7587 7133 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155948378 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7587/statm: 4635 279 244 17 0 2626 0
[startup+0.108944 s]
/proc/loadavg: 1.86 1.91 1.87 4/80 7588
/proc/meminfo: memFree=1616336/2055920 swapFree=4192812/4192956
[pid=7587] ppid=7585 vsize=914988 CPUtime=0.09
/proc/7587/stat : 7587 (java) R 7585 7587 7133 0 -1 0 3049 0 1 0 8 1 0 0 17 0 8 0 155948378 936947712 2795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7587/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517008 s]
/proc/loadavg: 1.86 1.91 1.87 4/80 7588
/proc/meminfo: memFree=1616336/2055920 swapFree=4192812/4192956
[pid=7587] ppid=7585 vsize=915328 CPUtime=0.49
/proc/7587/stat : 7587 (java) R 7585 7587 7133 0 -1 0 6616 0 1 0 46 3 0 0 18 0 8 0 155948378 937295872 6355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073533671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7587/statm: 228832 6355 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33814 s]
/proc/loadavg: 1.86 1.91 1.87 4/87 7595
/proc/meminfo: memFree=1557272/2055920 swapFree=4192812/4192956
[pid=7587] ppid=7585 vsize=915628 CPUtime=1.31
/proc/7587/stat : 7587 (java) R 7585 7587 7133 0 -1 0 17110 0 1 0 107 24 0 0 20 0 8 0 155948378 937603072 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5148704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7587/statm: 228907 16848 2178 14 0 215377 0
[pid=7587/tid=7589] ppid=7585 vsize=915628 CPUtime=0.02
/proc/7587/task/7589/stat : 7589 (java) S 7585 7587 7133 0 -1 64 500 0 0 0 2 0 0 0 16 0 8 0 155948382 937603072 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7590] ppid=7585 vsize=915628 CPUtime=0
/proc/7587/task/7590/stat : 7590 (java) S 7585 7587 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155948382 937603072 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7591] ppid=7585 vsize=915628 CPUtime=0
/proc/7587/task/7591/stat : 7591 (java) S 7585 7587 7133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155948382 937603072 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7592] ppid=7585 vsize=915628 CPUtime=0
/proc/7587/task/7592/stat : 7592 (java) S 7585 7587 7133 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155948386 937603072 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7593] ppid=7585 vsize=915628 CPUtime=0.2
/proc/7587/task/7593/stat : 7593 (java) S 7585 7587 7133 0 -1 64 426 0 0 0 19 1 0 0 19 0 8 0 155948386 937603072 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7594] ppid=7585 vsize=915628 CPUtime=0
/proc/7587/task/7594/stat : 7594 (java) S 7585 7587 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155948386 937603072 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7595] ppid=7585 vsize=915628 CPUtime=0
/proc/7587/task/7595/stat : 7595 (java) S 7585 7587 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155948386 937603072 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915628
[startup+2.99042 s]
/proc/loadavg: 1.86 1.91 1.87 3/87 7595
/proc/meminfo: memFree=1545176/2055920 swapFree=4192812/4192956
[pid=7587] ppid=7585 vsize=915720 CPUtime=2.95
/proc/7587/stat : 7587 (java) R 7585 7587 7133 0 -1 0 20492 0 1 0 265 30 0 0 25 0 8 0 155948378 937697280 20227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7587/statm: 228930 20227 2537 14 0 215400 0
[pid=7587/tid=7589] ppid=7585 vsize=915720 CPUtime=0.12
/proc/7587/task/7589/stat : 7589 (java) S 7585 7587 7133 0 -1 64 3377 0 0 0 11 1 0 0 16 0 8 0 155948382 937697280 20227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7590] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7590/stat : 7590 (java) S 7585 7587 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155948382 937697280 20227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7591] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7591/stat : 7591 (java) S 7585 7587 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155948382 937697280 20227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7592] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7592/stat : 7592 (java) S 7585 7587 7133 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155948386 937697280 20227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7593] ppid=7585 vsize=915720 CPUtime=0.32
/proc/7587/task/7593/stat : 7593 (java) S 7585 7587 7133 0 -1 64 497 0 0 0 31 1 0 0 15 0 8 0 155948386 937697280 20227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7594] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7594/stat : 7594 (java) S 7585 7587 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155948386 937697280 20227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7595] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7595/stat : 7595 (java) S 7585 7587 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155948386 937697280 20227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915720
[startup+6.27897 s]
/proc/loadavg: 1.87 1.92 1.88 3/87 7595
/proc/meminfo: memFree=1545048/2055920 swapFree=4192812/4192956
[pid=7587] ppid=7585 vsize=915720 CPUtime=6.2
/proc/7587/stat : 7587 (java) R 7585 7587 7133 0 -1 0 20510 0 1 0 590 30 0 0 25 0 8 0 155948378 937697280 20241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7587/statm: 228930 20241 2537 14 0 215400 0
[pid=7587/tid=7589] ppid=7585 vsize=915720 CPUtime=0.13
/proc/7587/task/7589/stat : 7589 (java) S 7585 7587 7133 0 -1 64 3377 0 0 0 12 1 0 0 17 0 8 0 155948382 937697280 20241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7590] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7590/stat : 7590 (java) S 7585 7587 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155948382 937697280 20241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7591] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7591/stat : 7591 (java) S 7585 7587 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155948382 937697280 20241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7592] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7592/stat : 7592 (java) S 7585 7587 7133 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155948386 937697280 20241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7593] ppid=7585 vsize=915720 CPUtime=0.36
/proc/7587/task/7593/stat : 7593 (java) S 7585 7587 7133 0 -1 64 511 0 0 0 35 1 0 0 15 0 8 0 155948386 937697280 20241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7594] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7594/stat : 7594 (java) S 7585 7587 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155948386 937697280 20241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7595] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7595/stat : 7595 (java) S 7585 7587 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155948386 937697280 20241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915720
[startup+12.769 s]
/proc/loadavg: 1.89 1.92 1.88 3/87 7595
/proc/meminfo: memFree=1545176/2055920 swapFree=4192812/4192956
[pid=7587] ppid=7585 vsize=915720 CPUtime=12.63
/proc/7587/stat : 7587 (java) R 7585 7587 7133 0 -1 0 20511 0 1 0 1233 30 0 0 25 0 8 0 155948378 937697280 20242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7587/statm: 228930 20242 2537 14 0 215400 0
[pid=7587/tid=7589] ppid=7585 vsize=915720 CPUtime=0.13
/proc/7587/task/7589/stat : 7589 (java) S 7585 7587 7133 0 -1 64 3377 0 0 0 12 1 0 0 16 0 8 0 155948382 937697280 20242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7590] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7590/stat : 7590 (java) S 7585 7587 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155948382 937697280 20242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7591] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7591/stat : 7591 (java) S 7585 7587 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155948382 937697280 20242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7592] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7592/stat : 7592 (java) S 7585 7587 7133 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155948386 937697280 20242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7593] ppid=7585 vsize=915720 CPUtime=0.36
/proc/7587/task/7593/stat : 7593 (java) S 7585 7587 7133 0 -1 64 512 0 0 0 35 1 0 0 15 0 8 0 155948386 937697280 20242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7594] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7594/stat : 7594 (java) S 7585 7587 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155948386 937697280 20242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7587/tid=7595] ppid=7585 vsize=915720 CPUtime=0
/proc/7587/task/7595/stat : 7595 (java) S 7585 7587 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155948386 937697280 20242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915720
Child status: 0
Real time (s): 14.0687
CPU time (s): 13.9009
CPU user time (s): 13.5819
CPU system time (s): 0.318951
CPU usage (%): 98.8075
Max. virtual memory (cumulated for all children) (KiB): 915756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5819
system time used= 0.318951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20519
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= 1597
involuntary context switches= 2075
runsolver used 0.015997 s user time and 0.054991 s system time
The end
Begin job on node43 on Sat Jan 6 09:24:53 UTC 2007
IDJOB= 211278
IDBENCH= 4682
FILE ID= node43/211278-1168075492
PBS_JOBID= 3476027
Free space on /tmp= 66481 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ttp/data-6-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211278-1168075492/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-211278-1168075492 -o ROOT/results/node43/solver-211278-1168075492 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211278-1168075492/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= da017596c28c0b2d818f8283f0e2f4e6
RANDOM SEED= 984755671
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.278
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.278
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: 1616752 kB
Buffers: 26308 kB
Cached: 294108 kB
SwapCached: 0 kB
Active: 104400 kB
Inactive: 267240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1616752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2552 kB
Writeback: 0 kB
Mapped: 71448 kB
Slab: 52704 kB
Committed_AS: 3714484 kB
PageTables: 1860 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= 66481 MiB
End job on node43 on Sat Jan 6 09:25:07 UTC 2007