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/226844-1168080737/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.39 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.50
0.50 constraints being loaded...
0.58 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.58 => wckTime=0.292 cpuTime=0.25 mem=15M730
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.479 cpuTime=0.37 mem=13M789
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0020 cpuTime=0.0 mem=13M789
0.82
0.82 search
0.82 run=0 nbConstraintChecks=52363 nbPropagations=772 nbRevisions=4323 nbUselessRevisions=2683 nbAssignments=25
0.82 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.051 cpuTime=0.03 mem=14M764
0.85
0.85 search
0.85 run=1 nbConstraintChecks=134603 nbPropagations=2652 nbRevisions=15139 nbUselessRevisions=9401 nbAssignments=68
0.85 nbFailedAssignments=32 nbBacktracks=27 nbVisitedNodes=122 nbRestartNogoods=4 mapSize=24 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.074 cpuTime=0.05 mem=14M764
0.86
0.86 search
0.86 run=2 nbConstraintChecks=200829 nbPropagations=5639 nbRevisions=31788 nbUselessRevisions=19734
0.86 nbAssignments=116 nbFailedAssignments=51 nbBacktracks=51 nbVisitedNodes=203 nbRestartNogoods=12 mapSize=44
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.09 cpuTime=0.06 mem=14M764
0.88
0.88 search
0.88 run=3 nbConstraintChecks=284976 nbPropagations=10045 nbRevisions=56009 nbUselessRevisions=34716
0.88 nbAssignments=184 nbFailedAssignments=80 nbBacktracks=86 nbVisitedNodes=316 nbRestartNogoods=16 mapSize=71
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.108 cpuTime=0.08 mem=14M764
0.91
0.91 search
0.91 run=4 nbConstraintChecks=477702 nbPropagations=17374 nbRevisions=97274 nbUselessRevisions=60189
0.91 nbAssignments=299 nbFailedAssignments=138 nbBacktracks=137 nbVisitedNodes=524 nbRestartNogoods=21 mapSize=120
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.139 cpuTime=0.11 mem=14M764
0.95
0.95 search
0.95 run=5 nbConstraintChecks=705832 nbPropagations=28658 nbRevisions=160781 nbUselessRevisions=99226
0.95 nbAssignments=462 nbFailedAssignments=220 nbBacktracks=212 nbVisitedNodes=818 nbRestartNogoods=24 mapSize=184
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.174 cpuTime=0.14 mem=14M764
1.01
1.01 search
1.01 run=6 nbConstraintChecks=1174563 nbPropagations=46450 nbRevisions=262711 nbUselessRevisions=161446
1.01 nbAssignments=725 nbFailedAssignments=361 nbBacktracks=328 nbVisitedNodes=1307 nbRestartNogoods=28 mapSize=292
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.238 cpuTime=0.2 mem=14M764
1.09
1.09 search
1.09 run=7 nbConstraintChecks=1681937 nbPropagations=72531 nbRevisions=411911 nbUselessRevisions=252952
1.09 nbAssignments=1057 nbFailedAssignments=518 nbBacktracks=498 nbVisitedNodes=1906 nbRestartNogoods=31
1.09 mapSize=436 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.313 cpuTime=0.27 mem=14M764
1.23
1.23 search
1.23 run=8 nbConstraintChecks=2673320 nbPropagations=113179 nbRevisions=648295 nbUselessRevisions=397938
1.23 nbAssignments=1645 nbFailedAssignments=843 nbBacktracks=754 nbVisitedNodes=2986 nbRestartNogoods=41
1.23 mapSize=662 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.456 cpuTime=0.4 mem=14M764
1.36
1.36 search
1.36 run=9 nbConstraintChecks=3635670 nbPropagations=170390 nbRevisions=976842 nbUselessRevisions=599000
1.36 nbAssignments=2343 nbFailedAssignments=1151 nbBacktracks=1138 nbVisitedNodes=4204 nbRestartNogoods=52
1.36 mapSize=962 nbInferences=1 nbTooLargeKeys=0
1.36 => wckTime=0.589 cpuTime=0.53 mem=14M764
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=14M764)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=5914165 nbPropagations=261765 nbRevisions=1506272 nbUselessRevisions=923256
1.63 nbAssignments=3643 nbFailedAssignments=1868 nbBacktracks=1714 nbVisitedNodes=6638 nbRestartNogoods=59
1.63 => wckTime=0.861 cpuTime=0.79 mem=14M764
1.95
1.95 search
1.95 run=11 nbConstraintChecks=8560661 nbPropagations=396473 nbRevisions=2281815 nbUselessRevisions=1397079
1.95 nbAssignments=5335 nbFailedAssignments=2692 nbBacktracks=2578 nbVisitedNodes=9681 nbRestartNogoods=68
1.95 => wckTime=1.179 cpuTime=1.11 mem=14M764
2.52
2.52 search
2.52 run=12 nbConstraintChecks=13677994 nbPropagations=606573 nbRevisions=3498667 nbUselessRevisions=2140798
2.52 nbAssignments=8065 nbFailedAssignments=4118 nbBacktracks=3877 nbVisitedNodes=14711 nbRestartNogoods=74
2.52 => wckTime=1.746 cpuTime=1.67 mem=14M764
3.12
3.12 search
3.12 run=13 nbConstraintChecks=18904840 nbPropagations=906485 nbRevisions=5224751 nbUselessRevisions=3197558
3.12 nbAssignments=11768 nbFailedAssignments=5870 nbBacktracks=5826 nbVisitedNodes=21288 nbRestartNogoods=81
3.12 => wckTime=2.347 cpuTime=2.27 mem=14M764
4.41
4.41 search
4.41 run=14 nbConstraintChecks=31011957 nbPropagations=1385852 nbRevisions=8031518 nbUselessRevisions=4915785
4.41 nbAssignments=18679 nbFailedAssignments=9859 nbBacktracks=8745 nbVisitedNodes=34327 nbRestartNogoods=94
4.41 => wckTime=3.64 cpuTime=3.56 mem=14M764
5.86
5.86 search
5.86 run=15 nbConstraintChecks=44179322 nbPropagations=2081774 nbRevisions=12067299 nbUselessRevisions=7389705
5.86 nbAssignments=27159 nbFailedAssignments=13956 nbBacktracks=13123 nbVisitedNodes=49638 nbRestartNogoods=110
5.86 => wckTime=5.089 cpuTime=5.01 mem=14M764
8.43
8.43 search
8.43 run=16 nbConstraintChecks=68837779 nbPropagations=3137004 nbRevisions=18218423 nbUselessRevisions=11162559
8.43 nbAssignments=41047 nbFailedAssignments=21271 nbBacktracks=19691 nbVisitedNodes=75062 nbRestartNogoods=115
8.43 => wckTime=7.662 cpuTime=7.58 mem=14M764
12.19
12.19 search
12.19 run=17 nbConstraintChecks=103397683 nbPropagations=4727373 nbRevisions=27507865 nbUselessRevisions=16862198
12.19 nbAssignments=61657 nbFailedAssignments=32024 nbBacktracks=29543 nbVisitedNodes=112802 nbRestartNogoods=129
12.19 => wckTime=11.416 cpuTime=11.33 mem=14M764
17.30
17.30 search
17.30 run=18 nbConstraintChecks=149832479 nbPropagations=7047941 nbRevisions=41008492 nbUselessRevisions=25138366
17.30 nbAssignments=90437 nbFailedAssignments=46020 nbBacktracks=44321 nbVisitedNodes=164499 nbRestartNogoods=145
17.30 => wckTime=16.53 cpuTime=16.43 mem=14M764
25.63
25.63 search
25.63 run=19 nbConstraintChecks=226971178 nbPropagations=10546753 nbRevisions=61367131 nbUselessRevisions=37605474
25.63 nbAssignments=135632 nbFailedAssignments=69040 nbBacktracks=66491 nbVisitedNodes=246561 nbRestartNogoods=158
25.63 => wckTime=24.862 cpuTime=24.76 mem=14M764
37.74
37.74 search
37.74 run=20 nbConstraintChecks=338714064 nbPropagations=15790571 nbRevisions=91826948 nbUselessRevisions=56258678
37.74 nbAssignments=203776 nbFailedAssignments=103927 nbBacktracks=99743 nbVisitedNodes=370380 nbRestartNogoods=172
37.74 => wckTime=36.97 cpuTime=36.86 mem=14M764
49.76
49.76 search
49.76 run=21 nbConstraintChecks=448740023 nbPropagations=22753333 nbRevisions=132188596 nbUselessRevisions=80947313
49.76 nbAssignments=270882 nbFailedAssignments=137150 nbBacktracks=133627 nbVisitedNodes=491130 nbRestartNogoods=183
49.76 => wckTime=48.986 cpuTime=48.87 mem=14M764
49.76
49.76 global
49.76 nbConstraintChecks=448740023 nbPropagations=22753373 nbRevisions=132188596 nbUselessRevisions=80947313
49.76 nbRestartNogoods=183 solvingWckTime=48.987 solvingCpuTime=48.87 expiredTime=no totalExploration=yes
49.76 nbFoundSolutions=0 globalCpuTime=49.29
49.76 => wckTime=49.47 cpuTime=49.24 mem=14M764
49.76
49.76 s UNSATISFIABLE
49.76 d NODES 270882
49.76 d CHECKS 448740023
49.76
49.76 totalWckTime=49.546 totalCpuTime=49.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-226844-1168080737 -o ROOT/results/node45/solver-226844-1168080737 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226844-1168080737/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.19 0.55 0.89 3/68 23433
/proc/meminfo: memFree=1410800/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=1784 CPUtime=0
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 156473868 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/23432/statm: 454 146 111 14 0 99 0
[startup+0.104949 s]
/proc/loadavg: 0.19 0.55 0.89 3/68 23433
/proc/meminfo: memFree=1410800/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=914988 CPUtime=0.08
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 3088 0 1 0 7 1 0 0 22 0 8 0 156473868 936947712 2834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513028 s]
/proc/loadavg: 0.19 0.55 0.89 3/68 23433
/proc/meminfo: memFree=1410800/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915328 CPUtime=0.5
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 7774 0 1 0 45 5 0 0 16 0 8 0 156473868 937295872 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073591907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23432/statm: 228832 7513 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34017 s]
/proc/loadavg: 0.19 0.55 0.89 2/75 23440
/proc/meminfo: memFree=1385400/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=1.32
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9078 0 1 0 125 7 0 0 16 0 8 0 156473868 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23432/statm: 228866 8816 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.18
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 372 0 0 0 17 1 0 0 15 0 8 0 156473875 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464
[startup+2.97847 s]
/proc/loadavg: 0.19 0.55 0.89 2/75 23440
/proc/meminfo: memFree=1385336/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=2.95
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9083 0 1 0 288 7 0 0 18 0 8 0 156473868 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228866 8820 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.19
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 376 0 0 0 18 1 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.27307 s]
/proc/loadavg: 0.34 0.57 0.90 2/75 23440
/proc/meminfo: memFree=1385336/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=6.26
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9084 0 1 0 618 8 0 0 25 0 8 0 156473868 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228866 8820 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.19
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915464
[startup+12.7462 s]
/proc/loadavg: 0.44 0.59 0.90 2/75 23443
/proc/meminfo: memFree=1385088/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=12.72
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9084 0 1 0 1264 8 0 0 25 0 8 0 156473868 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228866 8820 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.19
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915464
[startup+25.5986 s]
/proc/loadavg: 0.60 0.62 0.90 3/87 23485
/proc/meminfo: memFree=1358816/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=25.55
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9084 0 1 0 2547 8 0 0 25 0 8 0 156473868 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228866 8820 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.19
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 49.8259
CPU time (s): 49.7224
CPU user time (s): 49.6255
CPU system time (s): 0.096985
CPU usage (%): 99.7924
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.6255
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9092
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= 1751
involuntary context switches= 592
runsolver used 0.06299 s user time and 0.143978 s system time
The end
Begin job on node45 on Sat Jan 6 10:52:24 UTC 2007
IDJOB= 226844
IDBENCH= 6018
FILE ID= node45/226844-1168080737
PBS_JOBID= 3476166
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226844-1168080737/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-226844-1168080737 -o ROOT/results/node45/solver-226844-1168080737 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226844-1168080737/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7ef1b211576735d3286234aa6bdf6c61
RANDOM SEED= 694068052
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.259
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.259
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: 1411408 kB
Buffers: 49188 kB
Cached: 509472 kB
SwapCached: 2748 kB
Active: 53724 kB
Inactive: 519096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1411408 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 2232 kB
Writeback: 0 kB
Mapped: 20176 kB
Slab: 57464 kB
Committed_AS: 2675136 kB
PageTables: 1596 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= 66541 MiB
End job on node45 on Sat Jan 6 10:53:23 UTC 2007