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/209904-1168074987/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=12 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.38 => wckTime=0.091 cpuTime=0.09 mem=6M951
0.38
0.38 predicates being loaded...
0.38
0.39 constraints being loaded...
0.44 nbConstraints=30 nbConflictsStructures=1 nbSharedConflictsStructures=29 nbSharedBinaryRepresentations=0
0.44 nbEvaluationManagers=1 nbSharedEvaluationManagers=29 maxDegree=10 maxArity=3
0.44 => wckTime=0.154 cpuTime=0.14 mem=7M959
0.48
0.48 solver IterativeSystematicSolver being built...
0.63 => wckTime=0.344 cpuTime=0.27 mem=13M380
0.64
0.64 preprocessing
0.64 nbConstraintChecks=0 nbPropagations=12 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.64 detectedInconsistency=no
0.64 => wckTime=0.0010 cpuTime=0.0 mem=13M380
0.67
0.67 search
0.67 run=0 nbConstraintChecks=2272 nbValidityChecks=2022 nbPropagations=179 nbRevisions=688 nbUselessRevisions=483
0.67 nbAssignments=26 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10
0.67 nbInferences=0 nbTooLargeKeys=0
0.67 => wckTime=0.038 cpuTime=0.02 mem=14M388
0.69
0.69 search
0.69 run=1 nbConstraintChecks=4692 nbValidityChecks=4272 nbPropagations=537 nbRevisions=2083
0.69 nbUselessRevisions=1445 nbAssignments=57 nbFailedAssignments=21 nbBacktracks=26 nbVisitedNodes=97
0.70 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
0.70 => wckTime=0.06 cpuTime=0.03 mem=14M388
0.71
0.71 search
0.71 run=2 nbConstraintChecks=9073 nbValidityChecks=8564 nbPropagations=1182 nbRevisions=4899
0.71 nbUselessRevisions=3477 nbAssignments=107 nbFailedAssignments=42 nbBacktracks=49 nbVisitedNodes=184
0.71 nbRestartNogoods=6 mapSize=45 nbInferences=0 nbTooLargeKeys=0
0.71 => wckTime=0.078 cpuTime=0.04 mem=14M388
0.73
0.73 search
0.73 run=3 nbConstraintChecks=15080 nbValidityChecks=14057 nbPropagations=2230 nbRevisions=9429
0.73 nbUselessRevisions=6689 nbAssignments=180 nbFailedAssignments=74 nbBacktracks=82 nbVisitedNodes=314
0.73 nbRestartNogoods=10 mapSize=75 nbInferences=3 nbTooLargeKeys=0
0.73 => wckTime=0.099 cpuTime=0.06 mem=14M388
0.77
0.77 search
0.77 run=4 nbConstraintChecks=23950 nbValidityChecks=23339 nbPropagations=3896 nbRevisions=16947
0.77 nbUselessRevisions=12033 nbAssignments=296 nbFailedAssignments=133 nbBacktracks=134 nbVisitedNodes=526
0.77 nbRestartNogoods=15 mapSize=124 nbInferences=3 nbTooLargeKeys=0
0.77 => wckTime=0.13 cpuTime=0.07 mem=14M388
0.78
0.78 search
0.78 run=5 nbConstraintChecks=32531 nbValidityChecks=33186 nbPropagations=6323 nbRevisions=27751
0.78 nbUselessRevisions=19651 nbAssignments=437 nbFailedAssignments=193 nbBacktracks=209 nbVisitedNodes=777
0.78 nbRestartNogoods=20 mapSize=193 nbInferences=3 nbTooLargeKeys=0
0.78 => wckTime=0.149 cpuTime=0.09 mem=14M388
0.82
0.82 search
0.82 run=6 nbConstraintChecks=49179 nbValidityChecks=51849 nbPropagations=10009 nbRevisions=44954
0.82 nbUselessRevisions=31964 nbAssignments=671 nbFailedAssignments=309 nbBacktracks=322 nbVisitedNodes=1206
0.82 nbRestartNogoods=25 mapSize=300 nbInferences=3 nbTooLargeKeys=0
0.82 => wckTime=0.182 cpuTime=0.12 mem=14M388
0.87
0.87 search
0.87 run=7 nbConstraintChecks=71514 nbValidityChecks=79424 nbPropagations=15635 nbRevisions=71649
0.87 nbUselessRevisions=51226 nbAssignments=1013 nbFailedAssignments=476 nbBacktracks=493 nbVisitedNodes=1833
0.87 nbRestartNogoods=32 mapSize=462 nbInferences=3 nbTooLargeKeys=0
0.87 => wckTime=0.231 cpuTime=0.17 mem=14M388
0.92
0.92 search
0.92 run=8 nbConstraintChecks=97525 nbValidityChecks=112158 nbPropagations=23566 nbRevisions=109784
0.92 nbUselessRevisions=78853 nbAssignments=1468 nbFailedAssignments=668 nbBacktracks=751 nbVisitedNodes=2638
0.92 nbRestartNogoods=38 mapSize=682 nbInferences=4 nbTooLargeKeys=0
0.92 => wckTime=0.288 cpuTime=0.22 mem=14M388
1.03
1.03 search
1.03 run=9 nbConstraintChecks=154658 nbValidityChecks=175992 nbPropagations=35914 nbRevisions=167642
1.03 nbUselessRevisions=120757 nbAssignments=2264 nbFailedAssignments=956 nbBacktracks=1136 nbVisitedNodes=4053
1.03 nbRestartNogoods=45 mapSize=1015 nbInferences=122 nbTooLargeKeys=0
1.03 => wckTime=0.389 cpuTime=0.31 mem=14M388
1.13
1.13 search
1.13 run=10 nbConstraintChecks=213179 nbValidityChecks=246755 nbPropagations=53547 nbRevisions=249991
1.13 nbUselessRevisions=180082 nbAssignments=3327 nbFailedAssignments=1439 nbBacktracks=1712 nbVisitedNodes=5953
1.13 nbRestartNogoods=55 mapSize=1506 nbInferences=122 nbTooLargeKeys=0
1.13 => wckTime=0.494 cpuTime=0.4 mem=14M388
1.26
1.26 search
1.26 run=11 nbConstraintChecks=296440 nbValidityChecks=345337 nbPropagations=78371 nbRevisions=366135
1.26 nbUselessRevisions=263470 nbAssignments=4844 nbFailedAssignments=2086 nbBacktracks=2576 nbVisitedNodes=8606
1.26 nbRestartNogoods=61 mapSize=2187 nbInferences=122 nbTooLargeKeys=0
1.26 => wckTime=0.626 cpuTime=0.53 mem=14M388
1.48
1.48 search
1.48 run=12 nbConstraintChecks=447394 nbValidityChecks=501548 nbPropagations=115707 nbRevisions=534308
1.48 nbUselessRevisions=383453 nbAssignments=7247 nbFailedAssignments=2941 nbBacktracks=3873 nbVisitedNodes=12803
1.48 nbRestartNogoods=67 mapSize=3235 nbInferences=369 nbTooLargeKeys=0
1.48 => wckTime=0.844 cpuTime=0.75 mem=14M388
1.77
1.77 search
1.77 run=13 nbConstraintChecks=650756 nbValidityChecks=724739 nbPropagations=170371 nbRevisions=779548
1.77 nbUselessRevisions=558646 nbAssignments=10748 nbFailedAssignments=4191 nbBacktracks=5820 nbVisitedNodes=18831
1.77 nbRestartNogoods=79 mapSize=4735 nbInferences=667 nbTooLargeKeys=0
1.77 => wckTime=1.139 cpuTime=1.04 mem=14M388
2.19
2.19 search
2.19 run=14 nbConstraintChecks=924949 nbValidityChecks=1048770 nbPropagations=249291 nbRevisions=1139329
2.19 nbUselessRevisions=817909 nbAssignments=15832 nbFailedAssignments=5908 nbBacktracks=8739 nbVisitedNodes=27446
2.19 nbRestartNogoods=88 mapSize=6850 nbInferences=1111 nbTooLargeKeys=0
2.19 => wckTime=1.553 cpuTime=1.45 mem=15M363
3.34
3.34 search
3.34 run=15 nbConstraintChecks=1879412 nbValidityChecks=1980809 nbPropagations=389994 nbRevisions=1788409
3.34 nbUselessRevisions=1294176 nbAssignments=26167 nbFailedAssignments=9581 nbBacktracks=13117 nbVisitedNodes=46209
3.34 nbRestartNogoods=103 mapSize=11010 nbInferences=3391 nbTooLargeKeys=0
3.34 => wckTime=2.703 cpuTime=2.6 mem=15M363
5.23
5.23 search
5.23 run=16 nbConstraintChecks=3521559 nbValidityChecks=3562485 nbPropagations=627487 nbRevisions=2894980
5.23 nbUselessRevisions=2130168 nbAssignments=41897 nbFailedAssignments=12940 nbBacktracks=19685
5.23 nbVisitedNodes=73612 nbRestartNogoods=111 mapSize=16314 nbInferences=9190 nbTooLargeKeys=0
5.23 => wckTime=4.594 cpuTime=4.5 mem=16M469
9.13
9.13 search
9.13 run=17 nbConstraintChecks=7106653 nbValidityChecks=6820509 nbPropagations=1058627 nbRevisions=4923846
9.13 nbUselessRevisions=3704657 nbAssignments=70379 nbFailedAssignments=17316 nbBacktracks=29538
9.13 nbVisitedNodes=123984 nbRestartNogoods=118 mapSize=25461 nbInferences=23440 nbTooLargeKeys=0
9.13 => wckTime=8.49 cpuTime=8.39 mem=18M419
16.50
16.50 search
16.50 run=18 nbConstraintChecks=14449590 nbValidityChecks=13146866 nbPropagations=1833352 nbRevisions=8618752
16.50 nbUselessRevisions=6667344 nbAssignments=114423 nbFailedAssignments=17462 nbBacktracks=40060
16.50 nbVisitedNodes=201659 nbRestartNogoods=127 mapSize=35981 nbInferences=56817 nbTooLargeKeys=0
16.50 => wckTime=15.864 cpuTime=15.77 mem=20M370
16.50
16.50 global
16.50 nbConstraintChecks=14449590 nbValidityChecks=13146866 nbPropagations=1833364 nbRevisions=8618752
16.50 nbUselessRevisions=6667344 nbRestartNogoods=127 solvingWckTime=15.865 solvingCpuTime=15.77 expiredTime=no
16.50 totalExploration=yes nbFoundSolutions=0 globalCpuTime=16.08
16.50 => wckTime=16.211 cpuTime=16.04 mem=20M370
16.50
16.50 s UNSATISFIABLE
16.50 d NODES 114423
16.50 d CHECKS 14449590
16.50
16.50 totalWckTime=16.288 totalCpuTime=16.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-209904-1168074987 -o ROOT/results/node16/solver-209904-1168074987 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209904-1168074987/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.60 1.89 1.91 4/93 21597
/proc/meminfo: memFree=1241872/2055920 swapFree=4191880/4192956
[pid=21596] ppid=21594 vsize=1788 CPUtime=0
/proc/21596/stat : 21596 (java) R 21594 21596 21529 0 -1 0 369 0 0 0 0 0 0 0 18 0 1 0 155893848 1830912 159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21596/statm: 446 160 125 14 0 91 0
[startup+0.108245 s]
/proc/loadavg: 1.60 1.89 1.91 4/93 21597
/proc/meminfo: memFree=1241872/2055920 swapFree=4191880/4192956
[pid=21596] ppid=21594 vsize=914988 CPUtime=0.09
/proc/21596/stat : 21596 (java) R 21594 21596 21529 0 -1 0 3119 0 1 0 8 1 0 0 24 0 8 0 155893848 936947712 2865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21596/statm: 228747 2866 1470 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517167 s]
/proc/loadavg: 1.60 1.89 1.91 4/93 21597
/proc/meminfo: memFree=1241872/2055920 swapFree=4191880/4192956
[pid=21596] ppid=21594 vsize=915452 CPUtime=0.5
/proc/21596/stat : 21596 (java) R 21594 21596 21529 0 -1 0 6754 0 1 0 46 4 0 0 25 0 8 0 155893848 937422848 6492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21596/statm: 228863 6492 2397 14 0 215333 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915452
[startup+1.34602 s]
/proc/loadavg: 1.60 1.89 1.91 3/100 21604
/proc/meminfo: memFree=1218904/2055920 swapFree=4191880/4192956
[pid=21596] ppid=21594 vsize=915452 CPUtime=1.33
/proc/21596/stat : 21596 (java) R 21594 21596 21529 0 -1 0 8517 0 1 0 126 7 0 0 25 0 8 0 155893848 937422848 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073579760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21596/statm: 228863 8254 2535 14 0 215333 0
[pid=21596/tid=21598] ppid=21594 vsize=915452 CPUtime=0.02
/proc/21596/task/21598/stat : 21598 (java) S 21594 21596 21529 0 -1 64 117 0 0 0 2 0 0 0 16 0 8 0 155893852 937422848 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21599] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21599/stat : 21599 (java) S 21594 21596 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893852 937422848 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21600] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21600/stat : 21600 (java) S 21594 21596 21529 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155893852 937422848 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21601] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21601/stat : 21601 (java) S 21594 21596 21529 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155893855 937422848 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21602] ppid=21594 vsize=915452 CPUtime=0.18
/proc/21596/task/21602/stat : 21602 (java) S 21594 21596 21529 0 -1 64 364 0 0 0 17 1 0 0 15 0 8 0 155893855 937422848 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21603] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21603/stat : 21603 (java) S 21594 21596 21529 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155893855 937422848 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21604] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21604/stat : 21604 (java) S 21594 21596 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155893855 937422848 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915452
[startup+2.98572 s]
/proc/loadavg: 1.60 1.89 1.91 3/100 21604
/proc/meminfo: memFree=1218136/2055920 swapFree=4191880/4192956
[pid=21596] ppid=21594 vsize=915452 CPUtime=2.97
/proc/21596/stat : 21596 (java) R 21594 21596 21529 0 -1 0 8752 0 1 0 290 7 0 0 25 0 8 0 155893848 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677029 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21596/statm: 228863 8488 2535 14 0 215333 0
[pid=21596/tid=21598] ppid=21594 vsize=915452 CPUtime=0.02
/proc/21596/task/21598/stat : 21598 (java) S 21594 21596 21529 0 -1 64 117 0 0 0 2 0 0 0 16 0 8 0 155893852 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21599] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21599/stat : 21599 (java) S 21594 21596 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893852 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21600] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21600/stat : 21600 (java) S 21594 21596 21529 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155893852 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21601] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21601/stat : 21601 (java) S 21594 21596 21529 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155893855 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21602] ppid=21594 vsize=915452 CPUtime=0.19
/proc/21596/task/21602/stat : 21602 (java) S 21594 21596 21529 0 -1 64 366 0 0 0 18 1 0 0 15 0 8 0 155893855 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21603] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21603/stat : 21603 (java) S 21594 21596 21529 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155893855 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21604] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21604/stat : 21604 (java) S 21594 21596 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155893855 937422848 8488 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+6.26412 s]
/proc/loadavg: 1.63 1.89 1.91 3/100 21604
/proc/meminfo: memFree=1216664/2055920 swapFree=4191880/4192956
[pid=21596] ppid=21594 vsize=915452 CPUtime=6.25
/proc/21596/stat : 21596 (java) R 21594 21596 21529 0 -1 0 9075 0 1 0 618 7 0 0 25 0 8 0 155893848 937422848 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073574765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21596/statm: 228863 8810 2535 14 0 215333 0
[pid=21596/tid=21598] ppid=21594 vsize=915452 CPUtime=0.02
/proc/21596/task/21598/stat : 21598 (java) S 21594 21596 21529 0 -1 64 117 0 0 0 2 0 0 0 16 0 8 0 155893852 937422848 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21599] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21599/stat : 21599 (java) S 21594 21596 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893852 937422848 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21600] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21600/stat : 21600 (java) S 21594 21596 21529 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155893852 937422848 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21601] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21601/stat : 21601 (java) S 21594 21596 21529 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155893855 937422848 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21602] ppid=21594 vsize=915452 CPUtime=0.19
/proc/21596/task/21602/stat : 21602 (java) S 21594 21596 21529 0 -1 64 367 0 0 0 18 1 0 0 16 0 8 0 155893855 937422848 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21603] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21603/stat : 21603 (java) S 21594 21596 21529 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155893855 937422848 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21604] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21604/stat : 21604 (java) S 21594 21596 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155893855 937422848 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
[startup+12.7559 s]
/proc/loadavg: 1.66 1.89 1.91 3/100 21604
/proc/meminfo: memFree=1214424/2055920 swapFree=4191880/4192956
[pid=21596] ppid=21594 vsize=915452 CPUtime=12.74
/proc/21596/stat : 21596 (java) R 21594 21596 21529 0 -1 0 9619 0 1 0 1267 7 0 0 25 0 8 0 155893848 937422848 9354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073709763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21596/statm: 228863 9354 2535 14 0 215333 0
[pid=21596/tid=21598] ppid=21594 vsize=915452 CPUtime=0.02
/proc/21596/task/21598/stat : 21598 (java) S 21594 21596 21529 0 -1 64 117 0 0 0 2 0 0 0 16 0 8 0 155893852 937422848 9354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21599] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21599/stat : 21599 (java) S 21594 21596 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893852 937422848 9354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21600] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21600/stat : 21600 (java) S 21594 21596 21529 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155893852 937422848 9354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21601] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21601/stat : 21601 (java) S 21594 21596 21529 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155893855 937422848 9354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21602] ppid=21594 vsize=915452 CPUtime=0.19
/proc/21596/task/21602/stat : 21602 (java) S 21594 21596 21529 0 -1 64 367 0 0 0 18 1 0 0 16 0 8 0 155893855 937422848 9354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21603] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21603/stat : 21603 (java) S 21594 21596 21529 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155893855 937422848 9354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21596/tid=21604] ppid=21594 vsize=915452 CPUtime=0
/proc/21596/task/21604/stat : 21604 (java) S 21594 21596 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155893855 937422848 9354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 16.5673
CPU time (s): 16.5085
CPU user time (s): 16.4265
CPU system time (s): 0.081987
CPU usage (%): 99.6449
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4265
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9956
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= 1328
involuntary context switches= 1930
runsolver used 0.012998 s user time and 0.070989 s system time
The end
Begin job on node16 on Sat Jan 6 09:16:28 UTC 2007
IDJOB= 209904
IDBENCH= 4579
FILE ID= node16/209904-1168074987
PBS_JOBID= 3475792
Free space on /tmp= 66495 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-12-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209904-1168074987/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-209904-1168074987 -o ROOT/results/node16/solver-209904-1168074987 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209904-1168074987/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3d49d2f245dda30a731f7833344c1bf4
RANDOM SEED= 563120679
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.220
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.220
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: 1242352 kB
Buffers: 64112 kB
Cached: 483020 kB
SwapCached: 268 kB
Active: 318380 kB
Inactive: 397568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1242352 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1952 kB
Writeback: 0 kB
Mapped: 197272 kB
Slab: 82068 kB
Committed_AS: 4655448 kB
PageTables: 2640 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= 66495 MiB
End job on node16 on Sat Jan 6 09:16:48 UTC 2007