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/240239-1168085205/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.44 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.44 => wckTime=0.145 cpuTime=0.12 mem=7M894
0.44
0.44 relations being loaded...
0.44
0.44 constraints being loaded...
0.79 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.79 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.79 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.79 => wckTime=0.498 cpuTime=0.36 mem=24M490
0.86
0.87 solver IterativeSystematicSolver being built...
1.03 => wckTime=0.741 cpuTime=0.5 mem=18M547
1.08
1.08 preprocessing
1.08 nbConstraintChecks=45204 nbPropagations=400 nbRevisions=4012 nbUselessRevisions=1085 nbRemovedValues=2927
1.08 detectedInconsistency=no
1.08 => wckTime=0.043 cpuTime=0.03 mem=18M547
1.16
1.16 search
1.16 run=0 nbConstraintChecks=6407 nbPropagations=936 nbRevisions=6159 nbUselessRevisions=2431 nbAssignments=292
1.16 nbFailedAssignments=6 nbBacktracks=15 nbVisitedNodes=304 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.16 nbTooLargeKeys=0
1.16 => wckTime=0.12 cpuTime=0.1 mem=19M520
1.21
1.21 search
1.21 run=1 nbConstraintChecks=12729 nbPropagations=2423 nbRevisions=14350 nbUselessRevisions=6129 nbAssignments=594
1.21 nbFailedAssignments=13 nbBacktracks=31 nbVisitedNodes=618 nbRestartNogoods=4 mapSize=15 nbInferences=0
1.21 nbTooLargeKeys=0
1.21 => wckTime=0.175 cpuTime=0.16 mem=19M520
1.26
1.26 search
1.26 run=2 nbConstraintChecks=17524 nbPropagations=4358 nbRevisions=23962 nbUselessRevisions=10679
1.26 nbAssignments=879 nbFailedAssignments=19 nbBacktracks=54 nbVisitedNodes=914 nbRestartNogoods=8 mapSize=23
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.22 cpuTime=0.2 mem=19M520
1.31
1.31 search
1.31 run=3 nbConstraintChecks=25911 nbPropagations=6975 nbRevisions=36469 nbUselessRevisions=17016
1.31 nbAssignments=1197 nbFailedAssignments=35 nbBacktracks=87 nbVisitedNodes=1262 nbRestartNogoods=11 mapSize=49
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.271 cpuTime=0.24 mem=19M520
1.37
1.37 search
1.37 run=4 nbConstraintChecks=37610 nbPropagations=10414 nbRevisions=53308 nbUselessRevisions=26121
1.37 nbAssignments=1528 nbFailedAssignments=43 nbBacktracks=144 nbVisitedNodes=1615 nbRestartNogoods=15 mapSize=70
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.335 cpuTime=0.29 mem=20M493
1.43
1.43 search
1.43 run=5 nbConstraintChecks=55811 nbPropagations=14961 nbRevisions=75550 nbUselessRevisions=38392
1.43 nbAssignments=1911 nbFailedAssignments=92 nbBacktracks=221 nbVisitedNodes=2077 nbRestartNogoods=16 mapSize=139
1.43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.394 cpuTime=0.35 mem=20M493
1.50
1.50 search
1.50 run=6 nbConstraintChecks=79334 nbPropagations=21031 nbRevisions=106031 nbUselessRevisions=55702
1.50 nbAssignments=2326 nbFailedAssignments=131 nbBacktracks=341 nbVisitedNodes=2570 nbRestartNogoods=18
1.50 mapSize=213 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.459 cpuTime=0.41 mem=20M493
1.56
1.56 search
1.56 run=7 nbConstraintChecks=101943 nbPropagations=28630 nbRevisions=144592 nbUselessRevisions=78213
1.56 nbAssignments=2818 nbFailedAssignments=172 nbBacktracks=523 nbVisitedNodes=3147 nbRestartNogoods=20
1.56 mapSize=293 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.527 cpuTime=0.48 mem=21M466
1.65
1.65 search
1.65 run=8 nbConstraintChecks=145830 nbPropagations=38838 nbRevisions=200446 nbUselessRevisions=112573
1.65 nbAssignments=3390 nbFailedAssignments=227 nbBacktracks=785 nbVisitedNodes=3812 nbRestartNogoods=25
1.65 mapSize=382 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.617 cpuTime=0.57 mem=21M466
1.77
1.77 search
1.77 run=9 nbConstraintChecks=201291 nbPropagations=51418 nbRevisions=288391 nbUselessRevisions=174182
1.77 nbAssignments=3931 nbFailedAssignments=269 nbBacktracks=1171 nbVisitedNodes=4433 nbRestartNogoods=29
1.77 mapSize=456 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.728 cpuTime=0.68 mem=22M439
1.94
1.94 search
1.94 run=10 nbConstraintChecks=299971 nbPropagations=67885 nbRevisions=432972 nbUselessRevisions=284403
1.94 nbAssignments=4625 nbFailedAssignments=331 nbBacktracks=1751 nbVisitedNodes=5264 nbRestartNogoods=35
1.94 mapSize=591 nbInferences=3 nbTooLargeKeys=0
1.94 => wckTime=0.901 cpuTime=0.84 mem=22M439
2.18
2.18 search
2.18 run=11 nbConstraintChecks=478381 nbPropagations=90805 nbRevisions=688704 nbUselessRevisions=491847
2.18 nbAssignments=5707 nbFailedAssignments=459 nbBacktracks=2635 nbVisitedNodes=6623 nbRestartNogoods=37
2.18 mapSize=859 nbInferences=3 nbTooLargeKeys=0
2.18 => wckTime=1.142 cpuTime=1.08 mem=23M412
2.32
2.32 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=23M412)
2.52
2.52 search
2.52 run=12 nbConstraintChecks=703088 nbPropagations=122486 nbRevisions=1079289 nbUselessRevisions=815978
2.52 nbAssignments=7266 nbFailedAssignments=640 nbBacktracks=3956 nbVisitedNodes=8601 nbRestartNogoods=42
2.52 => wckTime=1.478 cpuTime=1.41 mem=23M412
2.98
2.98 search
2.98 run=13 nbConstraintChecks=1086137 nbPropagations=167905 nbRevisions=1700362 nbUselessRevisions=1341009
2.98 nbAssignments=9632 nbFailedAssignments=975 nbBacktracks=5931 nbVisitedNodes=11649 nbRestartNogoods=48
2.98 => wckTime=1.947 cpuTime=1.88 mem=23M412
3.71
3.71 search
3.71 run=14 nbConstraintChecks=1713336 nbPropagations=235178 nbRevisions=2717919 nbUselessRevisions=2215773
3.71 nbAssignments=12997 nbFailedAssignments=1386 nbBacktracks=8862 nbVisitedNodes=15882 nbRestartNogoods=54
3.71 => wckTime=2.67 cpuTime=2.6 mem=23M412
5.06
5.06 search
5.06 run=15 nbConstraintChecks=2988608 nbPropagations=346739 nbRevisions=4550853 nbUselessRevisions=3811232
5.06 nbAssignments=18387 nbFailedAssignments=2357 nbBacktracks=13256 nbVisitedNodes=23120 nbRestartNogoods=55
5.06 => wckTime=4.026 cpuTime=3.95 mem=23M412
7.16
7.16 search
7.16 run=16 nbConstraintChecks=4961167 nbPropagations=525813 nbRevisions=7671871 nbUselessRevisions=6549419
7.16 nbAssignments=26036 nbFailedAssignments=3386 nbBacktracks=19825 nbVisitedNodes=32837 nbRestartNogoods=58
7.16 => wckTime=6.127 cpuTime=6.05 mem=23M412
10.45
10.45 search
10.45 run=17 nbConstraintChecks=8070374 nbPropagations=811854 nbRevisions=12724217 nbUselessRevisions=10984125
10.45 nbAssignments=37890 nbFailedAssignments=5362 nbBacktracks=29688 nbVisitedNodes=48598 nbRestartNogoods=64
10.45 => wckTime=9.411 cpuTime=9.34 mem=23M412
15.49
15.49 search
15.49 run=18 nbConstraintChecks=12993770 nbPropagations=1263371 nbRevisions=20957528 nbUselessRevisions=18242015
15.49 nbAssignments=56061 nbFailedAssignments=8723 nbBacktracks=44476 nbVisitedNodes=73265 nbRestartNogoods=68
15.49 => wckTime=14.449 cpuTime=14.37 mem=23M412
23.53
23.53 search
23.53 run=19 nbConstraintChecks=21483165 nbPropagations=1987462 nbRevisions=34842861 nbUselessRevisions=30555130
23.53 nbAssignments=83619 nbFailedAssignments=14071 nbBacktracks=66652 nbVisitedNodes=111443 nbRestartNogoods=76
23.53 => wckTime=22.489 cpuTime=22.41 mem=23M412
34.83
34.83 search
34.83 run=20 nbConstraintChecks=32496127 nbPropagations=3082300 nbRevisions=55655759 nbUselessRevisions=48965718
34.83 nbAssignments=124810 nbFailedAssignments=21973 nbBacktracks=99904 nbVisitedNodes=168290 nbRestartNogoods=85
34.83 => wckTime=33.794 cpuTime=33.71 mem=23M412
43.87
43.87 search
43.87 run=21 nbConstraintChecks=41460776 nbPropagations=4475248 nbRevisions=82505099 nbUselessRevisions=72801203
43.87 nbAssignments=160808 nbFailedAssignments=27839 nbBacktracks=129636 nbVisitedNodes=215877 nbRestartNogoods=91
43.87 => wckTime=42.83 cpuTime=42.73 mem=23M412
43.87
43.87 global
43.87 nbConstraintChecks=41505980 nbPropagations=4475648 nbRevisions=82509111 nbUselessRevisions=72802288
43.87 nbRestartNogoods=91 solvingWckTime=42.831 solvingCpuTime=42.73 expiredTime=no totalExploration=no
43.87 nbFoundSolutions=1 globalCpuTime=43.28
43.87 => wckTime=43.576 cpuTime=43.23 mem=23M412
43.87
43.87 s SATISFIABLE
43.87 v 7 3 4 18 6 19 12 0 17 16 5 15 1 9 11 2 13 8 14 10 5 15 16 8 9 4 2 12 13 1 3 17 19 11 0 18 7 6 10 14 9 10 15 6 1 12 19 2 18 8 7 11 3 13 16 5 14 4 0 17 19 1 17 13 10 9 5 7 16 11 6 14 12 4 8 3 0 18 15 2 0 6 2 16 13 8 10 5 12 9 11 1 14 15 4 17 19 7 3 18 12 16 7 15 17 3 8 19 5 6 14 2 11 1 10 4 18 9 13 0 11 18 1 5 3 0 15 10 8 4 9 13 6 17 7 14 2 12 19 16 3 9 12 17 2 16 13 11 10 5 8 6 4 19 14 0 15 1 18 7 4 12 18 19 7 6 11 3 1 17 13 10 0 14 2 8 16 5 9 15 6 8 11 1 18 13 4 15 14 2 0 16 9 5 12 7 10 19 17 3 18 17 13 14 19 2 9 1 4 7 10 12 16 8 3 15 11 0 5 6 2 5 19 10 0 17 1 4 15 14 16 18 7 12 13 9 6 3 11 8 1 7 14 4 5 10 6 8 11 13 17 3 15 0 18 19 9 16 2 12 14 4 0 2 11 15 7 18 6 3 1 9 17 10 19 16 12 13 8 5 8 2 9 7 14 18 0 13 19 15 12 4 5 16 17 1 3 10 6 11 15 11 5 0 16 1 17 14 3 10 19 8 18 7 9 6 4 2 12 13 16 0 3 12 8 11 14 17 2 18 4 19 10 6 1 13 5 15 7 9 17 14 10 9 4 5 3 6 0 19 18 7 13 2 15 12 8 11 16 1 13 19 8 11 12 7 18 16 9 0 15 5 2 3 6 10 17 14 1 4 10 13 6 3 15 14 16 9 7 12 2 0 8 18 5 11 1 17 4 19
43.87 d NODES 160808
43.87 d CHECKS 41505980
43.87
43.87 totalWckTime=43.651 totalCpuTime=43.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-240239-1168085205 -o ROOT/results/node47/solver-240239-1168085205 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240239-1168085205/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.95 1.70 1.81 4/68 4786
/proc/meminfo: memFree=1741064/2055920 swapFree=4192812/4192956
[pid=4785] ppid=4783 vsize=172 CPUtime=0
/proc/4785/stat : 4785 (java) R 4783 4785 4191 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156920953 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10519332 0 0 4096 0 0 0 0 17 1 0 0
/proc/4785/statm: 43 24 18 14 0 3 0
[startup+0.103591 s]
/proc/loadavg: 0.95 1.70 1.81 4/68 4786
/proc/meminfo: memFree=1741064/2055920 swapFree=4192812/4192956
[pid=4785] ppid=4783 vsize=914988 CPUtime=0.09
/proc/4785/stat : 4785 (java) R 4783 4785 4191 0 -1 0 3071 0 1 0 7 2 0 0 16 0 8 0 156920953 936947712 2817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4785/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511633 s]
/proc/loadavg: 0.95 1.70 1.81 4/68 4786
/proc/meminfo: memFree=1741064/2055920 swapFree=4192812/4192956
[pid=4785] ppid=4783 vsize=915328 CPUtime=0.49
/proc/4785/stat : 4785 (java) R 4783 4785 4191 0 -1 0 6573 0 1 0 45 4 0 0 16 0 8 0 156920953 937295872 6312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073550957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4785/statm: 228832 6313 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33372 s]
/proc/loadavg: 0.95 1.70 1.81 2/75 4793
/proc/meminfo: memFree=1703824/2055920 swapFree=4192812/4192956
[pid=4785] ppid=4783 vsize=915676 CPUtime=1.31
/proc/4785/stat : 4785 (java) R 4783 4785 4191 0 -1 0 12001 0 1 0 123 8 0 0 16 0 8 0 156920953 937652224 11739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073978334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4785/statm: 228919 11739 2513 14 0 215389 0
[pid=4785/tid=4787] ppid=4783 vsize=915676 CPUtime=0.06
/proc/4785/task/4787/stat : 4787 (java) S 4783 4785 4191 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156920957 937652224 11739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4788] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4788/stat : 4788 (java) S 4783 4785 4191 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4789] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4789/stat : 4789 (java) S 4783 4785 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4790] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4790/stat : 4790 (java) S 4783 4785 4191 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156920960 937652224 11739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4791] ppid=4783 vsize=915676 CPUtime=0.24
/proc/4785/task/4791/stat : 4791 (java) S 4783 4785 4191 0 -1 64 470 0 0 0 23 1 0 0 16 0 8 0 156920960 937652224 11739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4792] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4792/stat : 4792 (java) S 4783 4785 4191 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156920960 937652224 11739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4793] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4793/stat : 4793 (java) S 4783 4785 4191 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156920960 937652224 11739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915676
[startup+2.98589 s]
/proc/loadavg: 0.95 1.70 1.81 2/75 4793
/proc/meminfo: memFree=1703632/2055920 swapFree=4192812/4192956
[pid=4785] ppid=4783 vsize=915676 CPUtime=2.96
/proc/4785/stat : 4785 (java) R 4783 4785 4191 0 -1 0 12016 0 1 0 287 9 0 0 18 0 8 0 156920953 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4785/statm: 228919 11753 2513 14 0 215389 0
[pid=4785/tid=4787] ppid=4783 vsize=915676 CPUtime=0.06
/proc/4785/task/4787/stat : 4787 (java) S 4783 4785 4191 0 -1 64 904 0 0 0 6 0 0 0 17 0 8 0 156920957 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4788] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4788/stat : 4788 (java) S 4783 4785 4191 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4789] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4789/stat : 4789 (java) S 4783 4785 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4790] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4790/stat : 4790 (java) S 4783 4785 4191 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156920960 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4791] ppid=4783 vsize=915676 CPUtime=0.26
/proc/4785/task/4791/stat : 4791 (java) S 4783 4785 4191 0 -1 64 484 0 0 0 25 1 0 0 16 0 8 0 156920960 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4792] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4792/stat : 4792 (java) S 4783 4785 4191 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156920960 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4793] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4793/stat : 4793 (java) R 4783 4785 4191 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156920960 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915676
[startup+6.27424 s]
/proc/loadavg: 0.96 1.68 1.80 2/75 4793
/proc/meminfo: memFree=1703632/2055920 swapFree=4192812/4192956
[pid=4785] ppid=4783 vsize=915676 CPUtime=6.25
/proc/4785/stat : 4785 (java) R 4783 4785 4191 0 -1 0 12019 0 1 0 616 9 0 0 25 0 8 0 156920953 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4785/statm: 228919 11755 2513 14 0 215389 0
[pid=4785/tid=4787] ppid=4783 vsize=915676 CPUtime=0.06
/proc/4785/task/4787/stat : 4787 (java) S 4783 4785 4191 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4788] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4788/stat : 4788 (java) S 4783 4785 4191 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4789] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4789/stat : 4789 (java) S 4783 4785 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4790] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4790/stat : 4790 (java) S 4783 4785 4191 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4791] ppid=4783 vsize=915676 CPUtime=0.27
/proc/4785/task/4791/stat : 4791 (java) S 4783 4785 4191 0 -1 64 486 0 0 0 26 1 0 0 17 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4792] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4792/stat : 4792 (java) S 4783 4785 4191 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4793] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4793/stat : 4793 (java) S 4783 4785 4191 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915676
[startup+12.7529 s]
/proc/loadavg: 0.96 1.67 1.80 2/75 4793
/proc/meminfo: memFree=1703184/2055920 swapFree=4192812/4192956
[pid=4785] ppid=4783 vsize=915676 CPUtime=12.72
/proc/4785/stat : 4785 (java) R 4783 4785 4191 0 -1 0 12019 0 1 0 1263 9 0 0 25 0 8 0 156920953 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4785/statm: 228919 11755 2513 14 0 215389 0
[pid=4785/tid=4787] ppid=4783 vsize=915676 CPUtime=0.06
/proc/4785/task/4787/stat : 4787 (java) S 4783 4785 4191 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4788] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4788/stat : 4788 (java) S 4783 4785 4191 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4789] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4789/stat : 4789 (java) S 4783 4785 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4790] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4790/stat : 4790 (java) S 4783 4785 4191 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4791] ppid=4783 vsize=915676 CPUtime=0.27
/proc/4785/task/4791/stat : 4791 (java) S 4783 4785 4191 0 -1 64 486 0 0 0 26 1 0 0 17 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4792] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4792/stat : 4792 (java) S 4783 4785 4191 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4793] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4793/stat : 4793 (java) S 4783 4785 4191 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915676
[startup+25.5803 s]
/proc/loadavg: 0.97 1.64 1.79 2/75 4794
/proc/meminfo: memFree=1703184/2055920 swapFree=4192812/4192956
[pid=4785] ppid=4783 vsize=915676 CPUtime=25.55
/proc/4785/stat : 4785 (java) R 4783 4785 4191 0 -1 0 12019 0 1 0 2546 9 0 0 25 0 8 0 156920953 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074048610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4785/statm: 228919 11755 2513 14 0 215389 0
[pid=4785/tid=4787] ppid=4783 vsize=915676 CPUtime=0.06
/proc/4785/task/4787/stat : 4787 (java) S 4783 4785 4191 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4788] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4788/stat : 4788 (java) S 4783 4785 4191 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4789] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4789/stat : 4789 (java) S 4783 4785 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156920957 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4790] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4790/stat : 4790 (java) S 4783 4785 4191 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4791] ppid=4783 vsize=915676 CPUtime=0.27
/proc/4785/task/4791/stat : 4791 (java) S 4783 4785 4191 0 -1 64 486 0 0 0 26 1 0 0 17 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4785/tid=4792] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4792/stat : 4792 (java) S 4783 4785 4191 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4785/tid=4793] ppid=4783 vsize=915676 CPUtime=0
/proc/4785/task/4793/stat : 4793 (java) S 4783 4785 4191 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156920960 937652224 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 43.8921
CPU time (s): 43.8483
CPU user time (s): 43.7414
CPU system time (s): 0.106983
CPU usage (%): 99.9004
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.7413
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12026
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= 1852
involuntary context switches= 322
runsolver used 0.041993 s user time and 0.121981 s system time
The end
Begin job on node47 on Sat Jan 6 12:06:50 UTC 2007
IDJOB= 240239
IDBENCH= 7115
FILE ID= node47/240239-1168085205
PBS_JOBID= 3476260
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240239-1168085205/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-240239-1168085205 -o ROOT/results/node47/solver-240239-1168085205 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240239-1168085205/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c1a49e342b63eb07c99f6506994d089
RANDOM SEED= 247764759
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.240
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.240
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: 1741544 kB
Buffers: 29944 kB
Cached: 192620 kB
SwapCached: 0 kB
Active: 73736 kB
Inactive: 169452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1741544 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2184 kB
Writeback: 0 kB
Mapped: 30760 kB
Slab: 56884 kB
Committed_AS: 2827784 kB
PageTables: 1664 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= 66534 MiB
End job on node47 on Sat Jan 6 12:07:47 UTC 2007