0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/208705-1168074810/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.43 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.70
0.70 constraints being loaded...
0.86 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.86 => wckTime=0.531 cpuTime=0.49 mem=41M417
0.94
0.94 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.776 cpuTime=0.61 mem=20M951
1.11
1.11 preprocessing
1.11 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.11 detectedInconsistency=no
1.11 => wckTime=0.0020 cpuTime=0.0 mem=20M951
1.22
1.22 search
1.22 run=0 nbConstraintChecks=23934 nbValidityChecks=45488 nbPropagations=352 nbRevisions=3419
1.22 nbUselessRevisions=2587 nbAssignments=28 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=51
1.22 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.108 cpuTime=0.07 mem=20M951
1.27
1.27 search
1.27 run=1 nbConstraintChecks=58012 nbValidityChecks=112093 nbPropagations=1175 nbRevisions=11864
1.27 nbUselessRevisions=9064 nbAssignments=72 nbFailedAssignments=38 nbBacktracks=26 nbVisitedNodes=131
1.27 nbRestartNogoods=3 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.165 cpuTime=0.12 mem=20M951
1.37
1.37 search
1.37 run=2 nbConstraintChecks=116073 nbValidityChecks=234069 nbPropagations=2741 nbRevisions=29559
1.37 nbUselessRevisions=23015 nbAssignments=144 nbFailedAssignments=83 nbBacktracks=48 nbVisitedNodes=266
1.37 nbRestartNogoods=5 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.262 cpuTime=0.2 mem=20M951
1.48
1.48 search
1.48 run=3 nbConstraintChecks=196606 nbValidityChecks=399798 nbPropagations=5338 nbRevisions=59186
1.48 nbUselessRevisions=46194 nbAssignments=261 nbFailedAssignments=162 nbBacktracks=85 nbVisitedNodes=485
1.48 nbRestartNogoods=10 mapSize=79 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.372 cpuTime=0.31 mem=20M951
1.63
1.63 search
1.63 run=4 nbConstraintChecks=304376 nbValidityChecks=632595 nbPropagations=9790 nbRevisions=107384
1.63 nbUselessRevisions=83613 nbAssignments=398 nbFailedAssignments=244 nbBacktracks=136 nbVisitedNodes=748
1.63 nbRestartNogoods=11 mapSize=128 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.52 cpuTime=0.45 mem=20M951
1.82
1.82 search
1.82 run=5 nbConstraintChecks=451105 nbValidityChecks=917931 nbPropagations=16095 nbRevisions=176025
1.82 nbUselessRevisions=136781 nbAssignments=592 nbFailedAssignments=357 nbBacktracks=211 nbVisitedNodes=1104
1.82 nbRestartNogoods=21 mapSize=191 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.71 cpuTime=0.63 mem=20M951
2.11
2.11 search
2.11 run=6 nbConstraintChecks=673071 nbValidityChecks=1403161 nbPropagations=26159 nbRevisions=282428
2.11 nbUselessRevisions=218609 nbAssignments=904 nbFailedAssignments=552 nbBacktracks=324 nbVisitedNodes=1696
2.11 nbRestartNogoods=28 mapSize=302 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=1.002 cpuTime=0.92 mem=21M921
2.50
2.50 search
2.50 run=7 nbConstraintChecks=979987 nbValidityChecks=2004325 nbPropagations=40288 nbRevisions=431880
2.50 nbUselessRevisions=333643 nbAssignments=1312 nbFailedAssignments=786 nbBacktracks=494 nbVisitedNodes=2457
2.50 nbRestartNogoods=44 mapSize=456 nbInferences=0 nbTooLargeKeys=0
2.50 => wckTime=1.397 cpuTime=1.3 mem=21M921
3.00
3.00 search
3.00 run=8 nbConstraintChecks=1372569 nbValidityChecks=2773425 nbPropagations=59785 nbRevisions=636058
3.00 nbUselessRevisions=491123 nbAssignments=1842 nbFailedAssignments=1056 nbBacktracks=752 nbVisitedNodes=3403
3.00 nbRestartNogoods=50 mapSize=687 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=1.896 cpuTime=1.78 mem=21M921
3.76
3.76 search
3.76 run=9 nbConstraintChecks=1983669 nbValidityChecks=3991504 nbPropagations=87711 nbRevisions=924914
3.76 nbUselessRevisions=714590 nbAssignments=2633 nbFailedAssignments=1458 nbBacktracks=1139 nbVisitedNodes=4841
3.76 nbRestartNogoods=56 mapSize=1021 nbInferences=0 nbTooLargeKeys=0
3.76 => wckTime=2.648 cpuTime=2.52 mem=21M921
3.78
3.78 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=21M921)
5.42
5.42 search
5.42 run=10 nbConstraintChecks=3396887 nbValidityChecks=6764883 nbPropagations=131158 nbRevisions=1409181
5.42 nbUselessRevisions=1091836 nbAssignments=4104 nbFailedAssignments=2349 nbBacktracks=1715 nbVisitedNodes=7609
5.42 nbRestartNogoods=63
5.42 => wckTime=4.315 cpuTime=4.17 mem=21M921
7.19
7.19 search
7.19 run=11 nbConstraintChecks=4873663 nbValidityChecks=9774838 nbPropagations=195394 nbRevisions=2110931
7.19 nbUselessRevisions=1637559 nbAssignments=6140 nbFailedAssignments=3518 nbBacktracks=2581 nbVisitedNodes=11352
7.19 nbRestartNogoods=71
7.19 => wckTime=6.087 cpuTime=5.92 mem=21M921
10.31
10.31 search
10.31 run=12 nbConstraintChecks=7517635 nbValidityChecks=15123034 nbPropagations=295210 nbRevisions=3199521
10.31 nbUselessRevisions=2484606 nbAssignments=9439 nbFailedAssignments=5516 nbBacktracks=3878 nbVisitedNodes=17569
10.31 nbRestartNogoods=82
10.31 => wckTime=9.207 cpuTime=9.01 mem=21M921
14.79
14.79 search
14.79 run=13 nbConstraintChecks=11291963 nbValidityChecks=22832227 nbPropagations=447520 nbRevisions=4862979
14.79 nbUselessRevisions=3773960 nbAssignments=15064 nbFailedAssignments=9191 nbBacktracks=5824 nbVisitedNodes=28148
14.79 nbRestartNogoods=91
14.79 => wckTime=13.683 cpuTime=13.45 mem=21M921
20.68
20.68 search
20.68 run=14 nbConstraintChecks=16193938 nbValidityChecks=32722058 nbPropagations=670973 nbRevisions=7252962
20.68 nbUselessRevisions=5624222 nbAssignments=21403 nbFailedAssignments=12609 nbBacktracks=8743 nbVisitedNodes=39767
20.68 nbRestartNogoods=98
20.68 => wckTime=19.569 cpuTime=19.28 mem=21M921
24.60
24.61 search
24.61 run=15 nbConstraintChecks=19501145 nbValidityChecks=39440838 nbPropagations=942964 nbRevisions=10135767
24.61 nbUselessRevisions=7851661 nbAssignments=25815 nbFailedAssignments=15112 nbBacktracks=10632
24.61 nbVisitedNodes=47908 nbRestartNogoods=103
24.61 => wckTime=23.498 cpuTime=23.18 mem=21M921
24.61
24.61 global
24.61 nbConstraintChecks=19501145 nbValidityChecks=39440838 nbPropagations=942984 nbRevisions=10135767
24.61 nbUselessRevisions=7851661 nbRestartNogoods=103 solvingWckTime=23.5 solvingCpuTime=23.18 expiredTime=no
24.61 totalExploration=no nbFoundSolutions=1 globalCpuTime=23.83
24.61 => wckTime=24.278 cpuTime=23.79 mem=21M921
24.61
24.61 s SATISFIABLE
24.61 v 12 3 6 15 12 11 17 14 16 0 17 5 3 5 9 18 6 14 16 3
24.61 d NODES 25815
24.61 d CHECKS 19501145
24.61
24.61 totalWckTime=24.36 totalCpuTime=23.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-208705-1168074810 -o ROOT/results/node15/solver-208705-1168074810 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208705-1168074810/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.98 2.01 1.96 4/93 14121
/proc/meminfo: memFree=913384/2055920 swapFree=4174172/4192956
[pid=14120] ppid=14118 vsize=18540 CPUtime=0
/proc/14120/stat : 14120 (runsolver) R 14118 14120 14053 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155875851 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14120/statm: 4635 279 244 17 0 2626 0
[startup+0.107126 s]
/proc/loadavg: 1.98 2.01 1.96 4/93 14121
/proc/meminfo: memFree=913384/2055920 swapFree=4174172/4192956
[pid=14120] ppid=14118 vsize=914988 CPUtime=0.09
/proc/14120/stat : 14120 (java) R 14118 14120 14053 0 -1 0 2978 0 1 0 8 1 0 0 19 0 8 0 155875851 936947712 2724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14120/statm: 228747 2724 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515193 s]
/proc/loadavg: 1.98 2.01 1.96 4/93 14121
/proc/meminfo: memFree=913384/2055920 swapFree=4174172/4192956
[pid=14120] ppid=14118 vsize=915328 CPUtime=0.48
/proc/14120/stat : 14120 (java) R 14118 14120 14053 0 -1 0 7256 0 1 0 44 4 0 0 18 0 8 0 155875851 937295872 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14120/statm: 228832 6995 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34334 s]
/proc/loadavg: 1.98 2.01 1.96 4/100 14128
/proc/meminfo: memFree=857136/2055920 swapFree=4174172/4192956
[pid=14120] ppid=14118 vsize=915460 CPUtime=1.3
/proc/14120/stat : 14120 (java) R 14118 14120 14053 0 -1 0 16780 0 1 0 120 10 0 0 24 0 8 0 155875851 937431040 16517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14120/statm: 228865 16517 2517 14 0 215335 0
[pid=14120/tid=14122] ppid=14118 vsize=915460 CPUtime=0.06
/proc/14120/task/14122/stat : 14122 (java) S 14118 14120 14053 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 155875856 937431040 16517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14123] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14123/stat : 14123 (java) S 14118 14120 14053 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875856 937431040 16517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14124] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14124/stat : 14124 (java) S 14118 14120 14053 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875856 937431040 16517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14125] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14125/stat : 14125 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875860 937431040 16517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14126] ppid=14118 vsize=915460 CPUtime=0.18
/proc/14120/task/14126/stat : 14126 (java) S 14118 14120 14053 0 -1 64 356 0 0 0 17 1 0 0 15 0 8 0 155875860 937431040 16517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14127] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14127/stat : 14127 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875860 937431040 16517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14128] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14128/stat : 14128 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875860 937431040 16517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98262 s]
/proc/loadavg: 2.06 2.02 1.97 3/100 14128
/proc/meminfo: memFree=856944/2055920 swapFree=4174172/4192956
[pid=14120] ppid=14118 vsize=915460 CPUtime=2.93
/proc/14120/stat : 14120 (java) R 14118 14120 14053 0 -1 0 16798 0 1 0 282 11 0 0 25 0 8 0 155875851 937431040 16534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14120/statm: 228865 16534 2517 14 0 215335 0
[pid=14120/tid=14122] ppid=14118 vsize=915460 CPUtime=0.06
/proc/14120/task/14122/stat : 14122 (java) S 14118 14120 14053 0 -1 64 1744 0 0 0 6 0 0 0 17 0 8 0 155875856 937431040 16534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14123] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14123/stat : 14123 (java) S 14118 14120 14053 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875856 937431040 16534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14124] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14124/stat : 14124 (java) S 14118 14120 14053 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875856 937431040 16534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14125] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14125/stat : 14125 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875860 937431040 16534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14126] ppid=14118 vsize=915460 CPUtime=0.22
/proc/14120/task/14126/stat : 14126 (java) S 14118 14120 14053 0 -1 64 374 0 0 0 21 1 0 0 16 0 8 0 155875860 937431040 16534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14127] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14127/stat : 14127 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875860 937431040 16534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14128] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14128/stat : 14128 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875860 937431040 16534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.28218 s]
/proc/loadavg: 2.06 2.02 1.97 3/100 14128
/proc/meminfo: memFree=856880/2055920 swapFree=4174172/4192956
[pid=14120] ppid=14118 vsize=915460 CPUtime=6.2
/proc/14120/stat : 14120 (java) R 14118 14120 14053 0 -1 0 16810 0 1 0 609 11 0 0 25 0 8 0 155875851 937431040 16544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14120/statm: 228865 16544 2517 14 0 215335 0
[pid=14120/tid=14122] ppid=14118 vsize=915460 CPUtime=0.06
/proc/14120/task/14122/stat : 14122 (java) S 14118 14120 14053 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 155875856 937431040 16544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14123] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14123/stat : 14123 (java) S 14118 14120 14053 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875856 937431040 16544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14124] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14124/stat : 14124 (java) S 14118 14120 14053 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875856 937431040 16544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14125] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14125/stat : 14125 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875860 937431040 16544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14126] ppid=14118 vsize=915460 CPUtime=0.24
/proc/14120/task/14126/stat : 14126 (java) S 14118 14120 14053 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 155875860 937431040 16544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14127] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14127/stat : 14127 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875860 937431040 16544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14128] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14128/stat : 14128 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875860 937431040 16544 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+12.7643 s]
/proc/loadavg: 2.05 2.02 1.97 3/100 14128
/proc/meminfo: memFree=856944/2055920 swapFree=4174172/4192956
[pid=14120] ppid=14118 vsize=915460 CPUtime=12.62
/proc/14120/stat : 14120 (java) R 14118 14120 14053 0 -1 0 16812 0 1 0 1251 11 0 0 25 0 8 0 155875851 937431040 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14120/statm: 228865 16545 2517 14 0 215335 0
[pid=14120/tid=14122] ppid=14118 vsize=915460 CPUtime=0.06
/proc/14120/task/14122/stat : 14122 (java) S 14118 14120 14053 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 155875856 937431040 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14123] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14123/stat : 14123 (java) S 14118 14120 14053 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875856 937431040 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14124] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14124/stat : 14124 (java) S 14118 14120 14053 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875856 937431040 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14125] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14125/stat : 14125 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875860 937431040 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14126] ppid=14118 vsize=915460 CPUtime=0.24
/proc/14120/task/14126/stat : 14126 (java) S 14118 14120 14053 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155875860 937431040 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14127] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14127/stat : 14127 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875860 937431040 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14120/tid=14128] ppid=14118 vsize=915460 CPUtime=0
/proc/14120/task/14128/stat : 14128 (java) S 14118 14120 14053 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875860 937431040 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 24.6427
CPU time (s): 24.3843
CPU user time (s): 24.2543
CPU system time (s): 0.12998
CPU usage (%): 98.9512
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2543
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16818
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= 1558
involuntary context switches= 2903
runsolver used 0.034994 s user time and 0.080987 s system time
The end
Begin job on node15 on Sat Jan 6 09:13:30 UTC 2007
IDJOB= 208705
IDBENCH= 4427
FILE ID= node15/208705-1168074810
PBS_JOBID= 3475786
Free space on /tmp= 66277 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208705-1168074810/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-208705-1168074810 -o ROOT/results/node15/solver-208705-1168074810 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208705-1168074810/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 55c7f81cf11a56ea4e68593d3f2d1c40
RANDOM SEED= 587913687
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.276
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.276
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: 913864 kB
Buffers: 85184 kB
Cached: 796516 kB
SwapCached: 7128 kB
Active: 469272 kB
Inactive: 568880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 913864 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 3032 kB
Writeback: 0 kB
Mapped: 175064 kB
Slab: 88236 kB
Committed_AS: 4931656 kB
PageTables: 2668 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= 66277 MiB
End job on node15 on Sat Jan 6 09:13:55 UTC 2007