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/227173-1168080760/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.38 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.48
0.48 constraints being loaded...
0.65 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11897 maxDegree=39
0.65 maxArity=2
0.65 => wckTime=0.355 cpuTime=0.23 mem=11M848
0.69
0.69 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.545 cpuTime=0.36 mem=14M15
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.012 cpuTime=0.01 mem=14M15
0.88
0.88 search
0.88 run=0 nbConstraintChecks=12446 nbPropagations=337 nbRevisions=3636 nbUselessRevisions=3054 nbAssignments=23
0.88 nbFailedAssignments=4 nbBacktracks=13 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.046 cpuTime=0.04 mem=15M7
0.91
0.91 search
0.91 run=1 nbConstraintChecks=38307 nbPropagations=1184 nbRevisions=14806 nbUselessRevisions=12374 nbAssignments=57
0.91 nbFailedAssignments=14 nbBacktracks=31 nbVisitedNodes=88 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.076 cpuTime=0.05 mem=15M7
0.92
0.92 search
0.93 run=2 nbConstraintChecks=52296 nbPropagations=2367 nbRevisions=30153 nbUselessRevisions=25255 nbAssignments=93
0.93 nbFailedAssignments=19 nbBacktracks=53 nbVisitedNodes=135 nbRestartNogoods=4 mapSize=34 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.089 cpuTime=0.06 mem=15M7
0.94
0.94 search
0.94 run=3 nbConstraintChecks=85782 nbPropagations=4246 nbRevisions=56404 nbUselessRevisions=47412
0.94 nbAssignments=146 nbFailedAssignments=33 nbBacktracks=87 nbVisitedNodes=220 nbRestartNogoods=6 mapSize=64
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.107 cpuTime=0.08 mem=15M7
0.96
0.97 search
0.97 run=4 nbConstraintChecks=135296 nbPropagations=7134 nbRevisions=98528 nbUselessRevisions=83123
0.97 nbAssignments=224 nbFailedAssignments=51 nbBacktracks=138 nbVisitedNodes=347 nbRestartNogoods=7 mapSize=108
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.129 cpuTime=0.1 mem=15M7
1.00
1.00 search
1.00 run=5 nbConstraintChecks=210295 nbPropagations=11563 nbRevisions=165760 nbUselessRevisions=140361
1.00 nbAssignments=336 nbFailedAssignments=80 nbBacktracks=216 nbVisitedNodes=527 nbRestartNogoods=11 mapSize=170
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.161 cpuTime=0.13 mem=15M7
1.05
1.05 search
1.05 run=6 nbConstraintChecks=332443 nbPropagations=18297 nbRevisions=273245 nbUselessRevisions=232097
1.05 nbAssignments=504 nbFailedAssignments=127 nbBacktracks=332 nbVisitedNodes=808 nbRestartNogoods=13 mapSize=271
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.211 cpuTime=0.17 mem=15M7
1.11
1.11 search
1.11 run=7 nbConstraintChecks=494324 nbPropagations=28098 nbRevisions=432394 nbUselessRevisions=367927
1.11 nbAssignments=753 nbFailedAssignments=199 nbBacktracks=503 nbVisitedNodes=1211 nbRestartNogoods=17 mapSize=405
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.272 cpuTime=0.23 mem=15M7
1.20
1.20 search
1.20 run=8 nbConstraintChecks=722480 nbPropagations=42211 nbRevisions=668711 nbUselessRevisions=570482
1.20 nbAssignments=1130 nbFailedAssignments=312 nbBacktracks=760 nbVisitedNodes=1804 nbRestartNogoods=22
1.20 mapSize=603 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.364 cpuTime=0.32 mem=15M7
1.35
1.35 search
1.35 run=9 nbConstraintChecks=1092290 nbPropagations=63420 nbRevisions=1026200 nbUselessRevisions=876686
1.35 nbAssignments=1690 nbFailedAssignments=480 nbBacktracks=1144 nbVisitedNodes=2718 nbRestartNogoods=27
1.35 mapSize=923 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.51 cpuTime=0.45 mem=15M7
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=15M7)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=1596569 nbPropagations=94368 nbRevisions=1553413 nbUselessRevisions=1328590
1.52 nbAssignments=2518 nbFailedAssignments=724 nbBacktracks=1722 nbVisitedNodes=4054 nbRestartNogoods=31
1.52 => wckTime=0.681 cpuTime=0.61 mem=15M7
1.76
1.76 search
1.76 run=11 nbConstraintChecks=2402254 nbPropagations=140424 nbRevisions=2348244 nbUselessRevisions=2010493
1.76 nbAssignments=3751 nbFailedAssignments=1084 nbBacktracks=2589 nbVisitedNodes=6055 nbRestartNogoods=35
1.76 => wckTime=0.922 cpuTime=0.85 mem=15M7
2.13
2.13 search
2.13 run=12 nbConstraintChecks=3657465 nbPropagations=209672 nbRevisions=3549624 nbUselessRevisions=3040297
2.13 nbAssignments=5591 nbFailedAssignments=1622 nbBacktracks=3886 nbVisitedNodes=9049 nbRestartNogoods=40
2.13 => wckTime=1.293 cpuTime=1.21 mem=15M7
2.70
2.70 search
2.70 run=13 nbConstraintChecks=5574974 nbPropagations=314427 nbRevisions=5370449 nbUselessRevisions=4600616
2.70 nbAssignments=8364 nbFailedAssignments=2443 nbBacktracks=5833 nbVisitedNodes=13593 nbRestartNogoods=47
2.70 => wckTime=1.862 cpuTime=1.78 mem=15M7
3.51
3.51 search
3.51 run=14 nbConstraintChecks=8323915 nbPropagations=469855 nbRevisions=8103267 nbUselessRevisions=6946351
3.51 nbAssignments=12505 nbFailedAssignments=3659 nbBacktracks=8752 nbVisitedNodes=20287 nbRestartNogoods=54
3.51 => wckTime=2.673 cpuTime=2.58 mem=15M7
4.80
4.80 search
4.80 run=15 nbConstraintChecks=12546456 nbPropagations=703595 nbRevisions=12228423 nbUselessRevisions=10488737
4.80 nbAssignments=18742 nbFailedAssignments=5511 nbBacktracks=13130 nbVisitedNodes=30464 nbRestartNogoods=60
4.80 => wckTime=3.969 cpuTime=3.87 mem=15M7
6.69
6.69 search
6.69 run=16 nbConstraintChecks=18982693 nbPropagations=1056444 nbRevisions=18418960 nbUselessRevisions=15795078
6.69 nbAssignments=28110 nbFailedAssignments=8301 nbBacktracks=19698 nbVisitedNodes=45739 nbRestartNogoods=69
6.69 => wckTime=5.855 cpuTime=5.76 mem=15M7
9.58
9.58 search
9.58 run=17 nbConstraintChecks=28830746 nbPropagations=1590874 nbRevisions=27800802 nbUselessRevisions=23832097
9.58 nbAssignments=42197 nbFailedAssignments=12527 nbBacktracks=29553 nbVisitedNodes=68831 nbRestartNogoods=77
9.58 => wckTime=8.743 cpuTime=8.64 mem=15M7
13.90
13.90 search
13.90 run=18 nbConstraintChecks=43601533 nbPropagations=2397259 nbRevisions=41953710 nbUselessRevisions=35951940
13.90 nbAssignments=63272 nbFailedAssignments=18818 nbBacktracks=44332 nbVisitedNodes=103214 nbRestartNogoods=80
13.90 => wckTime=13.068 cpuTime=12.97 mem=15M7
14.24
14.24 search
14.24 run=19 nbConstraintChecks=44751461 nbPropagations=3224646 nbRevisions=56476905 nbUselessRevisions=48387748
14.24 nbAssignments=64841 nbFailedAssignments=19293 nbBacktracks=45427 nbVisitedNodes=105800 nbRestartNogoods=86
14.24 => wckTime=13.405 cpuTime=13.3 mem=15M7
14.24
14.24 global
14.24 nbConstraintChecks=44751461 nbPropagations=3224686 nbRevisions=56476905 nbUselessRevisions=48387748
14.24 nbRestartNogoods=86 solvingWckTime=13.406 solvingCpuTime=13.3 expiredTime=no totalExploration=yes
14.24 nbFoundSolutions=0 globalCpuTime=13.71
14.24 => wckTime=13.953 cpuTime=13.66 mem=15M7
14.25
14.25 s UNSATISFIABLE
14.25 d NODES 64841
14.25 d CHECKS 44751461
14.25
14.25 totalWckTime=14.028 totalCpuTime=13.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-227173-1168080760 -o ROOT/results/node21/solver-227173-1168080760 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227173-1168080760/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.03 0.45 1.05 5/86 21539
/proc/meminfo: memFree=1694680/2055920 swapFree=4192812/4192956
[pid=21538] ppid=21533 vsize=172 CPUtime=0
/proc/21538/stat : 21538 (java) R 21533 21538 21178 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 156471542 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 0 0 0
/proc/21538/statm: 43 24 18 14 0 3 0
[startup+0.106677 s]
/proc/loadavg: 0.03 0.45 1.05 5/86 21539
/proc/meminfo: memFree=1694680/2055920 swapFree=4192812/4192956
[pid=21538] ppid=21533 vsize=914988 CPUtime=0.09
/proc/21538/stat : 21538 (java) R 21533 21538 21178 0 -1 0 3088 0 1 0 8 1 0 0 24 0 8 0 156471542 936947712 2834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21538/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515754 s]
/proc/loadavg: 0.03 0.45 1.05 5/86 21539
/proc/meminfo: memFree=1694680/2055920 swapFree=4192812/4192956
[pid=21538] ppid=21533 vsize=915328 CPUtime=0.49
/proc/21538/stat : 21538 (java) R 21533 21538 21178 0 -1 0 6541 0 1 0 45 4 0 0 25 0 8 0 156471542 937295872 6280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073575790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21538/statm: 228832 6281 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33691 s]
/proc/loadavg: 0.03 0.45 1.05 4/100 21553
/proc/meminfo: memFree=1647144/2055920 swapFree=4192812/4192956
[pid=21538] ppid=21533 vsize=915584 CPUtime=1.32
/proc/21538/stat : 21538 (java) R 21533 21538 21178 0 -1 0 8673 0 1 0 125 7 0 0 25 0 8 0 156471542 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21538/statm: 228896 8411 2513 14 0 215366 0
[pid=21538/tid=21540] ppid=21533 vsize=915584 CPUtime=0.03
/proc/21538/task/21540/stat : 21540 (java) S 21533 21538 21178 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156471546 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21542] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21542/stat : 21542 (java) S 21533 21538 21178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156471546 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21543] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21543/stat : 21543 (java) S 21533 21538 21178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156471546 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21546] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21546/stat : 21546 (java) S 21533 21538 21178 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156471549 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21547] ppid=21533 vsize=915584 CPUtime=0.24
/proc/21538/task/21547/stat : 21547 (java) S 21533 21538 21178 0 -1 64 411 0 0 0 23 1 0 0 15 0 8 0 156471549 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21548] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21548/stat : 21548 (java) S 21533 21538 21178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156471550 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21549] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21549/stat : 21549 (java) S 21533 21538 21178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156471550 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915584
[startup+2.97421 s]
/proc/loadavg: 0.19 0.47 1.05 4/100 21553
/proc/meminfo: memFree=1646568/2055920 swapFree=4192812/4192956
[pid=21538] ppid=21533 vsize=915584 CPUtime=2.94
/proc/21538/stat : 21538 (java) R 21533 21538 21178 0 -1 0 8698 0 1 0 287 7 0 0 25 0 8 0 156471542 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21538/statm: 228896 8435 2513 14 0 215366 0
[pid=21538/tid=21540] ppid=21533 vsize=915584 CPUtime=0.03
/proc/21538/task/21540/stat : 21540 (java) S 21533 21538 21178 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156471546 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21542] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21542/stat : 21542 (java) S 21533 21538 21178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156471546 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21543] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21543/stat : 21543 (java) S 21533 21538 21178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156471546 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21546] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21546/stat : 21546 (java) S 21533 21538 21178 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156471549 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21547] ppid=21533 vsize=915584 CPUtime=0.26
/proc/21538/task/21547/stat : 21547 (java) S 21533 21538 21178 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 156471549 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21548] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21548/stat : 21548 (java) S 21533 21538 21178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156471550 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21549] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21549/stat : 21549 (java) S 21533 21538 21178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156471550 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915584
[startup+6.27283 s]
/proc/loadavg: 0.19 0.47 1.05 2/88 21553
/proc/meminfo: memFree=1671048/2055920 swapFree=4192812/4192956
[pid=21538] ppid=21533 vsize=915584 CPUtime=6.23
/proc/21538/stat : 21538 (java) R 21533 21538 21178 0 -1 0 8704 0 1 0 616 7 0 0 25 0 8 0 156471542 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21538/statm: 228896 8440 2513 14 0 215366 0
[pid=21538/tid=21540] ppid=21533 vsize=915584 CPUtime=0.03
/proc/21538/task/21540/stat : 21540 (java) S 21533 21538 21178 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156471546 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21542] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21542/stat : 21542 (java) S 21533 21538 21178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156471546 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21543] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21543/stat : 21543 (java) S 21533 21538 21178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156471546 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21546] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21546/stat : 21546 (java) S 21533 21538 21178 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156471549 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21547] ppid=21533 vsize=915584 CPUtime=0.26
/proc/21538/task/21547/stat : 21547 (java) S 21533 21538 21178 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 156471549 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21548] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21548/stat : 21548 (java) S 21533 21538 21178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156471550 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21549] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21549/stat : 21549 (java) S 21533 21538 21178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156471550 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915584
[startup+12.7481 s]
/proc/loadavg: 0.31 0.49 1.05 2/88 21561
/proc/meminfo: memFree=1671000/2055920 swapFree=4192812/4192956
[pid=21538] ppid=21533 vsize=915584 CPUtime=12.7
/proc/21538/stat : 21538 (java) R 21533 21538 21178 0 -1 0 8708 0 1 0 1263 7 0 0 25 0 8 0 156471542 937558016 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912946 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21538/statm: 228896 8444 2513 14 0 215366 0
[pid=21538/tid=21540] ppid=21533 vsize=915584 CPUtime=0.03
/proc/21538/task/21540/stat : 21540 (java) S 21533 21538 21178 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156471546 937558016 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21542] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21542/stat : 21542 (java) S 21533 21538 21178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156471546 937558016 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21543] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21543/stat : 21543 (java) S 21533 21538 21178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156471546 937558016 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21546] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21546/stat : 21546 (java) S 21533 21538 21178 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156471549 937558016 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21547] ppid=21533 vsize=915584 CPUtime=0.26
/proc/21538/task/21547/stat : 21547 (java) S 21533 21538 21178 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 156471549 937558016 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21548] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21548/stat : 21548 (java) S 21533 21538 21178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156471550 937558016 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21538/tid=21549] ppid=21533 vsize=915584 CPUtime=0
/proc/21538/task/21549/stat : 21549 (java) S 21533 21538 21178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156471550 937558016 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 14.2834
CPU time (s): 14.2218
CPU user time (s): 14.1398
CPU system time (s): 0.081987
CPU usage (%): 99.5689
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1398
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= 8805
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= 1539
involuntary context switches= 2154
runsolver used 0.018997 s user time and 0.046992 s system time
The end
Begin job on node21 on Sat Jan 6 10:52:47 UTC 2007
IDJOB= 227173
IDBENCH= 6055
FILE ID= node21/227173-1168080760
PBS_JOBID= 3476104
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227173-1168080760/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-227173-1168080760 -o ROOT/results/node21/solver-227173-1168080760 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227173-1168080760/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4737fa27592665f0d0d4d0fbdc360c52
RANDOM SEED= 21865776
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.261
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.261
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: 1695848 kB
Buffers: 34348 kB
Cached: 192160 kB
SwapCached: 0 kB
Active: 180380 kB
Inactive: 108964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1695848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3656 kB
Writeback: 0 kB
Mapped: 81824 kB
Slab: 55996 kB
Committed_AS: 2932540 kB
PageTables: 1988 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= 66544 MiB
End job on node21 on Sat Jan 6 10:53:08 UTC 2007