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/228107-1168080853/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.39 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8214 maxDegree=28
0.57 maxArity=2
0.57 => wckTime=0.276 cpuTime=0.19 mem=10M852
0.61
0.61 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.458 cpuTime=0.31 mem=13M696
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0070 cpuTime=0.0 mem=13M696
0.80
0.80 search
0.80 run=0 nbConstraintChecks=15435 nbPropagations=393 nbRevisions=3721 nbUselessRevisions=3043 nbAssignments=21
0.80 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.042 cpuTime=0.02 mem=14M671
0.82
0.82 search
0.82 run=1 nbConstraintChecks=38228 nbPropagations=1246 nbRevisions=12940 nbUselessRevisions=10562 nbAssignments=49
0.82 nbFailedAssignments=11 nbBacktracks=28 nbVisitedNodes=77 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.064 cpuTime=0.04 mem=14M671
0.84
0.84 search
0.84 run=2 nbConstraintChecks=69786 nbPropagations=2719 nbRevisions=30180 nbUselessRevisions=24557 nbAssignments=87
0.84 nbFailedAssignments=22 nbBacktracks=51 nbVisitedNodes=138 nbRestartNogoods=3 mapSize=39 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.081 cpuTime=0.05 mem=14M671
0.85
0.85 search
0.85 run=3 nbConstraintChecks=107052 nbPropagations=4961 nbRevisions=57378 nbUselessRevisions=46863
0.85 nbAssignments=138 nbFailedAssignments=35 nbBacktracks=84 nbVisitedNodes=218 nbRestartNogoods=4 mapSize=64
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.095 cpuTime=0.06 mem=14M671
0.87
0.87 search
0.87 run=4 nbConstraintChecks=171054 nbPropagations=8454 nbRevisions=101563 nbUselessRevisions=83261
0.87 nbAssignments=219 nbFailedAssignments=58 nbBacktracks=136 nbVisitedNodes=348 nbRestartNogoods=6 mapSize=102
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.114 cpuTime=0.08 mem=14M671
0.90
0.90 search
0.90 run=5 nbConstraintChecks=272026 nbPropagations=13777 nbRevisions=171505 nbUselessRevisions=140760
0.90 nbAssignments=339 nbFailedAssignments=96 nbBacktracks=215 nbVisitedNodes=543 nbRestartNogoods=9 mapSize=160
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.144 cpuTime=0.1 mem=14M671
0.94
0.94 search
0.94 run=6 nbConstraintChecks=397917 nbPropagations=21548 nbRevisions=276428 nbUselessRevisions=227267
0.94 nbAssignments=523 nbFailedAssignments=159 nbBacktracks=333 nbVisitedNodes=841 nbRestartNogoods=10 mapSize=254
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.18 cpuTime=0.14 mem=14M671
0.99
0.99 search
0.99 run=7 nbConstraintChecks=633678 nbPropagations=33590 nbRevisions=443042 nbUselessRevisions=364739
0.99 nbAssignments=798 nbFailedAssignments=256 nbBacktracks=503 nbVisitedNodes=1303 nbRestartNogoods=11 mapSize=399
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.24 cpuTime=0.19 mem=14M671
1.09
1.09 search
1.09 run=8 nbConstraintChecks=991326 nbPropagations=52051 nbRevisions=705194 nbUselessRevisions=580951
1.09 nbAssignments=1216 nbFailedAssignments=414 nbBacktracks=760 nbVisitedNodes=2016 nbRestartNogoods=14
1.09 mapSize=616 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.331 cpuTime=0.28 mem=14M671
1.21
1.21 search
1.21 run=9 nbConstraintChecks=1455699 nbPropagations=79027 nbRevisions=1092260 nbUselessRevisions=900744
1.21 nbAssignments=1795 nbFailedAssignments=605 nbBacktracks=1144 nbVisitedNodes=2972 nbRestartNogoods=15
1.21 mapSize=918 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.458 cpuTime=0.39 mem=14M671
1.25
1.25 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=14M671)
1.39
1.39 search
1.39 run=10 nbConstraintChecks=2254781 nbPropagations=120130 nbRevisions=1680748 nbUselessRevisions=1384371
1.39 nbAssignments=2706 nbFailedAssignments=931 nbBacktracks=1723 nbVisitedNodes=4502 nbRestartNogoods=19
1.39 => wckTime=0.634 cpuTime=0.55 mem=14M671
1.62
1.62 search
1.62 run=11 nbConstraintChecks=3402899 nbPropagations=181686 nbRevisions=2572171 nbUselessRevisions=2118219
1.62 nbAssignments=4041 nbFailedAssignments=1396 nbBacktracks=2589 nbVisitedNodes=6747 nbRestartNogoods=24
1.62 => wckTime=0.868 cpuTime=0.78 mem=14M671
1.98
1.98 search
1.98 run=12 nbConstraintChecks=5137341 nbPropagations=274417 nbRevisions=3915591 nbUselessRevisions=3223312
1.98 nbAssignments=6043 nbFailedAssignments=2094 nbBacktracks=3887 nbVisitedNodes=10111 nbRestartNogoods=33
1.98 => wckTime=1.221 cpuTime=1.14 mem=14M671
2.51
2.51 search
2.51 run=13 nbConstraintChecks=7699520 nbPropagations=412368 nbRevisions=5929786 nbUselessRevisions=4882505
2.51 nbAssignments=8979 nbFailedAssignments=3076 nbBacktracks=5837 nbVisitedNodes=15060 nbRestartNogoods=41
2.51 => wckTime=1.758 cpuTime=1.67 mem=14M671
3.36
3.36 search
3.36 run=14 nbConstraintChecks=11620057 nbPropagations=619712 nbRevisions=8972380 nbUselessRevisions=7391862
3.36 nbAssignments=13405 nbFailedAssignments=4575 nbBacktracks=8757 nbVisitedNodes=22508 nbRestartNogoods=47
3.36 => wckTime=2.603 cpuTime=2.51 mem=14M671
4.63
4.63 search
4.63 run=15 nbConstraintChecks=17492705 nbPropagations=931927 nbRevisions=13581622 nbUselessRevisions=11200229
4.63 nbAssignments=20135 nbFailedAssignments=6920 nbBacktracks=13135 nbVisitedNodes=33941 nbRestartNogoods=56
4.63 => wckTime=3.877 cpuTime=3.79 mem=14M671
6.48
6.48 search
6.48 run=16 nbConstraintChecks=26058527 nbPropagations=1396408 nbRevisions=20463965 nbUselessRevisions=16892994
6.48 nbAssignments=30087 nbFailedAssignments=10295 nbBacktracks=19707 nbVisitedNodes=50728 nbRestartNogoods=62
6.48 => wckTime=5.726 cpuTime=5.64 mem=14M671
9.20
9.20 search
9.20 run=17 nbConstraintChecks=38588010 nbPropagations=2086161 nbRevisions=30651557 nbUselessRevisions=25317194
9.20 nbAssignments=44841 nbFailedAssignments=15189 nbBacktracks=29560 nbVisitedNodes=75357 nbRestartNogoods=72
9.20 => wckTime=8.447 cpuTime=8.35 mem=14M671
13.36
13.36 search
13.36 run=18 nbConstraintChecks=57972696 nbPropagations=3119903 nbRevisions=45996606 nbUselessRevisions=38021805
13.36 nbAssignments=67053 nbFailedAssignments=22616 nbBacktracks=44340 nbVisitedNodes=112654 nbRestartNogoods=82
13.36 => wckTime=12.603 cpuTime=12.51 mem=14M671
16.50
16.50 search
16.50 run=19 nbConstraintChecks=72740185 nbPropagations=4411454 nbRevisions=65241256 nbUselessRevisions=53960449
16.50 nbAssignments=83423 nbFailedAssignments=28170 nbBacktracks=55157 nbVisitedNodes=140409 nbRestartNogoods=94
16.50 => wckTime=15.745 cpuTime=15.66 mem=14M671
16.50
16.50 global
16.50 nbConstraintChecks=72740185 nbPropagations=4411494 nbRevisions=65241256 nbUselessRevisions=53960449
16.50 nbRestartNogoods=94 solvingWckTime=15.747 solvingCpuTime=15.66 expiredTime=no totalExploration=yes
16.50 nbFoundSolutions=0 globalCpuTime=16.01
16.50 => wckTime=16.207 cpuTime=15.97 mem=14M671
16.50
16.50 s UNSATISFIABLE
16.50 d NODES 83423
16.50 d CHECKS 72740185
16.50
16.50 totalWckTime=16.281 totalCpuTime=16.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-228107-1168080853 -o ROOT/results/node39/solver-228107-1168080853 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228107-1168080853/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.22 0.52 1.10 3/68 21704
/proc/meminfo: memFree=1733512/2055920 swapFree=4192812/4192956
[pid=21703] ppid=21701 vsize=1784 CPUtime=0
/proc/21703/stat : 21703 (java) D 21701 21703 21355 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 156485856 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21703/statm: 446 140 106 14 0 91 0
[startup+0.107323 s]
/proc/loadavg: 0.22 0.52 1.10 3/68 21704
/proc/meminfo: memFree=1733512/2055920 swapFree=4192812/4192956
[pid=21703] ppid=21701 vsize=915720 CPUtime=0.08
/proc/21703/stat : 21703 (java) R 21701 21703 21355 0 -1 0 3015 0 1 0 7 1 0 0 18 0 8 0 156485856 937697280 2761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155274508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21703/statm: 228930 2761 1435 14 0 215425 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915720
[startup+0.515361 s]
/proc/loadavg: 0.22 0.52 1.10 3/68 21704
/proc/meminfo: memFree=1733512/2055920 swapFree=4192812/4192956
[pid=21703] ppid=21701 vsize=916068 CPUtime=0.48
/proc/21703/stat : 21703 (java) R 21701 21703 21355 0 -1 0 6743 0 1 0 44 4 0 0 16 0 8 0 156485856 938053632 6482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152817521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21703/statm: 229017 6482 2145 14 0 215487 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916068
[startup+1.33643 s]
/proc/loadavg: 0.28 0.53 1.10 2/75 21711
/proc/meminfo: memFree=1710032/2055920 swapFree=4192812/4192956
[pid=21703] ppid=21701 vsize=916068 CPUtime=1.29
/proc/21703/stat : 21703 (java) R 21701 21703 21355 0 -1 0 8595 0 1 0 123 6 0 0 16 0 8 0 156485856 938053632 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21703/statm: 229017 8333 2513 14 0 215487 0
[pid=21703/tid=21705] ppid=21701 vsize=916068 CPUtime=0.03
/proc/21703/task/21705/stat : 21705 (java) S 21701 21703 21355 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156485860 938053632 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21706] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21706/stat : 21706 (java) S 21701 21703 21355 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156485861 938053632 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21707] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21707/stat : 21707 (java) S 21701 21703 21355 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156485861 938053632 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21708] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21708/stat : 21708 (java) S 21701 21703 21355 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156485864 938053632 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21709] ppid=21701 vsize=916068 CPUtime=0.21
/proc/21703/task/21709/stat : 21709 (java) S 21701 21703 21355 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 156485864 938053632 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21710] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21710/stat : 21710 (java) S 21701 21703 21355 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156485864 938053632 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21711] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21711/stat : 21711 (java) S 21701 21703 21355 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156485864 938053632 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916068
[startup+2.97358 s]
/proc/loadavg: 0.28 0.53 1.10 2/75 21711
/proc/meminfo: memFree=1709840/2055920 swapFree=4192812/4192956
[pid=21703] ppid=21701 vsize=916068 CPUtime=2.92
/proc/21703/stat : 21703 (java) R 21701 21703 21355 0 -1 0 8606 0 1 0 286 6 0 0 18 0 8 0 156485856 938053632 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21703/statm: 229017 8343 2513 14 0 215487 0
[pid=21703/tid=21705] ppid=21701 vsize=916068 CPUtime=0.03
/proc/21703/task/21705/stat : 21705 (java) S 21701 21703 21355 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156485860 938053632 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21706] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21706/stat : 21706 (java) S 21701 21703 21355 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156485861 938053632 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21707] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21707/stat : 21707 (java) S 21701 21703 21355 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156485861 938053632 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21708] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21708/stat : 21708 (java) S 21701 21703 21355 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156485864 938053632 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21709] ppid=21701 vsize=916068 CPUtime=0.21
/proc/21703/task/21709/stat : 21709 (java) S 21701 21703 21355 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 156485864 938053632 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21710] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21710/stat : 21710 (java) S 21701 21703 21355 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156485864 938053632 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21711] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21711/stat : 21711 (java) S 21701 21703 21355 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156485864 938053632 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916068
[startup+6.27588 s]
/proc/loadavg: 0.28 0.53 1.10 2/75 21711
/proc/meminfo: memFree=1709776/2055920 swapFree=4192812/4192956
[pid=21703] ppid=21701 vsize=916068 CPUtime=6.22
/proc/21703/stat : 21703 (java) R 21701 21703 21355 0 -1 0 8612 0 1 0 616 6 0 0 25 0 8 0 156485856 938053632 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21703/statm: 229017 8348 2513 14 0 215487 0
[pid=21703/tid=21705] ppid=21701 vsize=916068 CPUtime=0.03
/proc/21703/task/21705/stat : 21705 (java) S 21701 21703 21355 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156485860 938053632 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21706] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21706/stat : 21706 (java) S 21701 21703 21355 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156485861 938053632 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21707] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21707/stat : 21707 (java) S 21701 21703 21355 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156485861 938053632 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21708] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21708/stat : 21708 (java) S 21701 21703 21355 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156485864 938053632 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21709] ppid=21701 vsize=916068 CPUtime=0.21
/proc/21703/task/21709/stat : 21709 (java) S 21701 21703 21355 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 156485864 938053632 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21710] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21710/stat : 21710 (java) S 21701 21703 21355 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156485864 938053632 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21711] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21711/stat : 21711 (java) S 21701 21703 21355 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156485864 938053632 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 916068
[startup+12.7375 s]
/proc/loadavg: 0.39 0.54 1.10 2/75 21712
/proc/meminfo: memFree=1711376/2055920 swapFree=4192812/4192956
[pid=21703] ppid=21701 vsize=916068 CPUtime=12.68
/proc/21703/stat : 21703 (java) R 21701 21703 21355 0 -1 0 8617 0 1 0 1262 6 0 0 25 0 8 0 156485856 938053632 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21703/statm: 229017 8353 2513 14 0 215487 0
[pid=21703/tid=21705] ppid=21701 vsize=916068 CPUtime=0.03
/proc/21703/task/21705/stat : 21705 (java) S 21701 21703 21355 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156485860 938053632 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21706] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21706/stat : 21706 (java) S 21701 21703 21355 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156485861 938053632 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21707] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21707/stat : 21707 (java) S 21701 21703 21355 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156485861 938053632 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21708] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21708/stat : 21708 (java) S 21701 21703 21355 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156485864 938053632 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21703/tid=21709] ppid=21701 vsize=916068 CPUtime=0.21
/proc/21703/task/21709/stat : 21709 (java) S 21701 21703 21355 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 156485864 938053632 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21710] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21710/stat : 21710 (java) S 21701 21703 21355 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156485864 938053632 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21703/tid=21711] ppid=21701 vsize=916068 CPUtime=0
/proc/21703/task/21711/stat : 21711 (java) S 21701 21703 21355 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156485864 938053632 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 916068
Child status: 0
Real time (s): 16.5246
CPU time (s): 16.4685
CPU user time (s): 16.3965
CPU system time (s): 0.071989
CPU usage (%): 99.6605
Max. virtual memory (cumulated for all children) (KiB): 916068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3965
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8714
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= 1147
involuntary context switches= 406
runsolver used 0.021996 s user time and 0.046992 s system time
The end
Begin job on node39 on Sat Jan 6 10:54:17 UTC 2007
IDJOB= 228107
IDBENCH= 6153
FILE ID= node39/228107-1168080853
PBS_JOBID= 3476107
Free space on /tmp= 66530 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228107-1168080853/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-228107-1168080853 -o ROOT/results/node39/solver-228107-1168080853 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228107-1168080853/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f0952897d1570a9d4666c5a8502dbb2
RANDOM SEED= 474703964
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.236
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.236
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: 1734000 kB
Buffers: 27512 kB
Cached: 203620 kB
SwapCached: 0 kB
Active: 75384 kB
Inactive: 175964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1734000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 30364 kB
Slab: 56332 kB
Committed_AS: 3010808 kB
PageTables: 1620 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= 66532 MiB
End job on node39 on Sat Jan 6 10:54:44 UTC 2007