0.68
0.68 Abscon 109 (November, 2006)
0.68
0.68 configuration
0.68 name=mac.xml
0.72
0.72 instance
0.72 name=/tmp/evaluation/194377-1168069358/unknown.xml
0.75
0.75 domains being loaded...
0.75
0.75 variables being loaded...
0.79 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.79 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.79
0.79 relations being loaded...
0.93
0.93 constraints being loaded...
1.07 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
1.07 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2289 maxDegree=25
1.07 maxArity=2
1.07 => wckTime=0.381 cpuTime=0.29 mem=16M965
1.11
1.11 solver IterativeSystematicSolver being built...
1.26 => wckTime=0.572 cpuTime=0.42 mem=15M359
1.27
1.27 preprocessing
1.27 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.27 detectedInconsistency=no
1.27 => wckTime=0.0080 cpuTime=0.0 mem=15M359
1.32
1.32 search
1.32 run=0 nbConstraintChecks=35714 nbPropagations=508 nbRevisions=4947 nbUselessRevisions=4140 nbAssignments=24
1.32 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.32 nbTooLargeKeys=0
1.32 => wckTime=0.053 cpuTime=0.03 mem=15M359
1.34
1.34 search
1.34 run=1 nbConstraintChecks=88487 nbPropagations=1686 nbRevisions=18294 nbUselessRevisions=15099 nbAssignments=61
1.34 nbFailedAssignments=13 nbBacktracks=29 nbVisitedNodes=87 nbRestartNogoods=2 mapSize=19 nbInferences=0
1.34 nbTooLargeKeys=0
1.34 => wckTime=0.079 cpuTime=0.05 mem=15M359
1.36
1.36 search
1.36 run=2 nbConstraintChecks=161858 nbPropagations=3755 nbRevisions=43225 nbUselessRevisions=35483
1.36 nbAssignments=112 nbFailedAssignments=30 nbBacktracks=51 nbVisitedNodes=165 nbRestartNogoods=3 mapSize=37
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.099 cpuTime=0.06 mem=15M359
1.38
1.38 search
1.38 run=3 nbConstraintChecks=267070 nbPropagations=7161 nbRevisions=86984 nbUselessRevisions=71577
1.38 nbAssignments=178 nbFailedAssignments=52 nbBacktracks=84 nbVisitedNodes=271 nbRestartNogoods=5 mapSize=64
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.121 cpuTime=0.08 mem=15M359
1.41
1.41 search
1.41 run=4 nbConstraintChecks=405324 nbPropagations=12195 nbRevisions=153879 nbUselessRevisions=126783
1.41 nbAssignments=266 nbFailedAssignments=79 nbBacktracks=134 nbVisitedNodes=410 nbRestartNogoods=9 mapSize=101
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.146 cpuTime=0.11 mem=15M359
1.45
1.45 search
1.45 run=5 nbConstraintChecks=632393 nbPropagations=19898 nbRevisions=260307 nbUselessRevisions=214413
1.45 nbAssignments=414 nbFailedAssignments=138 nbBacktracks=210 nbVisitedNodes=658 nbRestartNogoods=14 mapSize=162
1.45 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.19 cpuTime=0.15 mem=15M359
1.51
1.51 search
1.51 run=6 nbConstraintChecks=971645 nbPropagations=31738 nbRevisions=429147 nbUselessRevisions=353160
1.51 nbAssignments=616 nbFailedAssignments=216 nbBacktracks=325 nbVisitedNodes=999 nbRestartNogoods=20 mapSize=256
1.51 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.249 cpuTime=0.2 mem=15M359
1.60
1.60 search
1.60 run=7 nbConstraintChecks=1430417 nbPropagations=49212 nbRevisions=684885 nbUselessRevisions=563499
1.60 nbAssignments=910 nbFailedAssignments=331 nbBacktracks=496 nbVisitedNodes=1503 nbRestartNogoods=23 mapSize=399
1.60 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.334 cpuTime=0.28 mem=15M359
1.72
1.72 search
1.72 run=8 nbConstraintChecks=2141206 nbPropagations=74979 nbRevisions=1067698 nbUselessRevisions=877910
1.72 nbAssignments=1332 nbFailedAssignments=485 nbBacktracks=752 nbVisitedNodes=2214 nbRestartNogoods=25
1.72 mapSize=609 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.455 cpuTime=0.4 mem=15M359
1.90
1.90 search
1.90 run=9 nbConstraintChecks=3166767 nbPropagations=112813 nbRevisions=1638565 nbUselessRevisions=1347357
1.90 nbAssignments=1969 nbFailedAssignments=724 nbBacktracks=1141 nbVisitedNodes=3292 nbRestartNogoods=28
1.90 mapSize=917 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.633 cpuTime=0.56 mem=15M359
1.94
1.94 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=15M359)
2.13
2.13 search
2.13 run=10 nbConstraintChecks=4602315 nbPropagations=168659 nbRevisions=2481785 nbUselessRevisions=2039302
2.13 nbAssignments=2929 nbFailedAssignments=1097 nbBacktracks=1720 nbVisitedNodes=4943 nbRestartNogoods=32
2.13 => wckTime=0.865 cpuTime=0.79 mem=15M359
2.47
2.47 search
2.47 run=11 nbConstraintChecks=6954215 nbPropagations=253624 nbRevisions=3778318 nbUselessRevisions=3104601
2.47 nbAssignments=4412 nbFailedAssignments=1705 nbBacktracks=2587 nbVisitedNodes=7522 nbRestartNogoods=40
2.47 => wckTime=1.213 cpuTime=1.13 mem=15M359
2.97
2.97 search
2.97 run=12 nbConstraintChecks=10237014 nbPropagations=379586 nbRevisions=5711715 nbUselessRevisions=4692559
2.97 nbAssignments=6598 nbFailedAssignments=2586 nbBacktracks=3885 nbVisitedNodes=11287 nbRestartNogoods=46
2.97 => wckTime=1.707 cpuTime=1.62 mem=15M359
3.66
3.66 search
3.66 run=13 nbConstraintChecks=14975233 nbPropagations=565433 nbRevisions=8567622 nbUselessRevisions=7041481
3.66 nbAssignments=9705 nbFailedAssignments=3736 nbBacktracks=5834 nbVisitedNodes=16622 nbRestartNogoods=50
3.66 => wckTime=2.4 cpuTime=2.31 mem=15M359
4.82
4.82 search
4.82 run=14 nbConstraintChecks=23381840 nbPropagations=844447 nbRevisions=12876968 nbUselessRevisions=10577922
4.82 nbAssignments=14569 nbFailedAssignments=5672 nbBacktracks=8753 nbVisitedNodes=24927 nbRestartNogoods=56
4.82 => wckTime=3.556 cpuTime=3.46 mem=15M359
6.32
6.32 search
6.32 run=15 nbConstraintChecks=33772623 nbPropagations=1251118 nbRevisions=19074910 nbUselessRevisions=15650181
6.32 nbAssignments=21255 nbFailedAssignments=7971 nbBacktracks=13131 nbVisitedNodes=36077 nbRestartNogoods=64
6.32 => wckTime=5.063 cpuTime=4.96 mem=15M359
8.96
8.96 search
8.96 run=16 nbConstraintChecks=52379540 nbPropagations=1873437 nbRevisions=28720616 nbUselessRevisions=23562112
8.96 nbAssignments=32183 nbFailedAssignments=12319 nbBacktracks=19700 nbVisitedNodes=54916 nbRestartNogoods=71
8.96 => wckTime=7.703 cpuTime=7.59 mem=15M359
12.49
12.49 search
12.49 run=17 nbConstraintChecks=76383286 nbPropagations=2793949 nbRevisions=42987106 nbUselessRevisions=35281786
12.49 nbAssignments=47819 nbFailedAssignments=18096 nbBacktracks=29552 nbVisitedNodes=81458 nbRestartNogoods=80
12.49 => wckTime=11.231 cpuTime=11.11 mem=15M359
17.97
17.97 search
17.97 run=18 nbConstraintChecks=113932567 nbPropagations=4174749 nbRevisions=64151174 nbUselessRevisions=52638626
17.97 nbAssignments=71356 nbFailedAssignments=26843 nbBacktracks=44335 nbVisitedNodes=121513 nbRestartNogoods=89
17.97 => wckTime=16.713 cpuTime=16.54 mem=15M359
25.64
25.64 search
25.64 run=19 nbConstraintChecks=165042204 nbPropagations=6212568 nbRevisions=95447999 nbUselessRevisions=78367017
25.64 nbAssignments=106680 nbFailedAssignments=39987 nbBacktracks=66503 nbVisitedNodes=181740 nbRestartNogoods=99
25.64 => wckTime=24.38 cpuTime=24.18 mem=15M359
38.43
38.43 search
38.43 run=20 nbConstraintChecks=254915990 nbPropagations=9306439 nbRevisions=143396436 nbUselessRevisions=117810156
38.43 nbAssignments=161247 nbFailedAssignments=61290 nbBacktracks=99755 nbVisitedNodes=275540 nbRestartNogoods=109
38.43 => wckTime=37.166 cpuTime=36.9 mem=15M359
57.03
57.03 search
57.03 run=21 nbConstraintChecks=383755146 nbPropagations=13957834 nbRevisions=215449379 nbUselessRevisions=177063390
57.03 nbAssignments=241901 nbFailedAssignments=92053 nbBacktracks=149636 nbVisitedNodes=413541 nbRestartNogoods=119
57.03 => wckTime=55.768 cpuTime=55.43 mem=15M359
83.90
83.90 search
83.90 run=22 nbConstraintChecks=565531230 nbPropagations=20884541 nbRevisions=322468273 nbUselessRevisions=265116556
83.90 nbAssignments=362985 nbFailedAssignments=138307 nbBacktracks=224455 nbVisitedNodes=619991 nbRestartNogoods=131
83.90 => wckTime=82.637 cpuTime=82.17 mem=15M359
123.11
123.11 search
123.11 run=23 nbConstraintChecks=833329976 nbPropagations=31144130 nbRevisions=480513444 nbUselessRevisions=395100405
123.11 nbAssignments=541260 nbFailedAssignments=204342 nbBacktracks=336683 nbVisitedNodes=922044 nbRestartNogoods=143
123.11 => wckTime=121.849 cpuTime=121.2 mem=15M359
185.40
185.40 search
185.40 run=24 nbConstraintChecks=1262037625 nbPropagations=46657711 nbRevisions=720033694 nbUselessRevisions=592167948
185.40 nbAssignments=814852 nbFailedAssignments=309579 nbBacktracks=505026 nbVisitedNodes=1390575 nbRestartNogoods=159
185.40 => wckTime=184.143 cpuTime=183.2 mem=15M359
196.43
196.43 search
196.43 run=25 nbConstraintChecks=1335280719 nbPropagations=63130999 nbRevisions=974417979 nbUselessRevisions=801541134
196.43 nbAssignments=866976 nbFailedAssignments=329313 nbBacktracks=537366 nbVisitedNodes=1479743 nbRestartNogoods=178
196.43 => wckTime=195.167 cpuTime=194.16 mem=15M359
196.43
196.43 global
196.43 nbConstraintChecks=1335280719 nbPropagations=63131049 nbRevisions=974417979 nbUselessRevisions=801541134
196.43 nbRestartNogoods=178 solvingWckTime=195.168 solvingCpuTime=194.16 expiredTime=no totalExploration=no
196.43 nbFoundSolutions=1 globalCpuTime=194.64
196.43 => wckTime=195.743 cpuTime=194.59 mem=15M359
196.43
196.43 s SATISFIABLE
196.43 v 9 4 4 10 13 22 21 6 16 20 12 11 14 16 11 18 7 6 3 15 22 2 13 16 13 22 16 12 11 0 0 18 6 3 9 19 11 6 16 20 2 2 21 18 21 10 16 10 12 12
196.43 d NODES 866976
196.43 d CHECKS 1335280719
196.43
196.43 totalWckTime=195.825 totalCpuTime=194.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-194377-1168069358 -o ROOT/results/node20/solver-194377-1168069358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194377-1168069358/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.53 1.86 1.88 3/86 21605
/proc/meminfo: memFree=1601880/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=18540 CPUtime=0
/proc/21604/stat : 21604 (runsolver) R 21602 21604 20819 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155330894 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21604/statm: 4635 279 244 17 0 2626 0
[startup+0.102915 s]
/proc/loadavg: 1.53 1.86 1.88 3/86 21605
/proc/meminfo: memFree=1601880/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=9740 CPUtime=0.01
/proc/21604/stat : 21604 (java) D 21602 21604 20819 0 -1 0 588 0 18 0 0 1 0 0 18 0 1 0 155330894 9973760 382 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/21604/statm: 2435 387 308 14 0 1138 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9740
[startup+0.510966 s]
/proc/loadavg: 1.53 1.86 1.88 3/86 21605
/proc/meminfo: memFree=1601880/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915120 CPUtime=0.21
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 3603 0 63 0 14 7 0 0 18 0 8 0 155330894 937082880 3411 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 8054395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228780 3411 1704 14 0 215275 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 915120
[startup+1.33406 s]
/proc/loadavg: 1.53 1.86 1.88 4/93 21612
/proc/meminfo: memFree=1552544/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=0.98
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9512 0 76 0 85 13 0 0 22 0 8 0 155330894 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9325 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 155330912 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.18
/proc/21604/task/21610/stat : 21610 (java) R 21602 21604 20819 0 -1 64 370 0 0 0 17 1 0 0 15 0 8 0 155330922 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 915460
[startup+2.98726 s]
/proc/loadavg: 1.53 1.86 1.88 3/93 21612
/proc/meminfo: memFree=1552032/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=2.63
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9538 0 76 0 249 14 0 0 25 0 8 0 155330894 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9350 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 155330912 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 915460
[startup+6.28466 s]
/proc/loadavg: 1.57 1.86 1.88 3/93 21612
/proc/meminfo: memFree=1551776/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=5.92
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9539 0 76 0 578 14 0 0 25 0 8 0 155330894 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073827354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9350 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 915460
[startup+12.7764 s]
/proc/loadavg: 1.60 1.87 1.88 3/93 21612
/proc/meminfo: memFree=1550624/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=12.39
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9539 0 76 0 1225 14 0 0 25 0 8 0 155330894 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9350 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 915460
[startup+25.629 s]
/proc/loadavg: 1.69 1.87 1.88 3/93 21612
/proc/meminfo: memFree=1548448/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=25.16
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9539 0 76 0 2502 14 0 0 25 0 8 0 155330894 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9350 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 915460
[startup+51.2631 s]
/proc/loadavg: 1.79 1.88 1.88 3/93 21612
/proc/meminfo: memFree=1544544/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=50.68
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9540 0 76 0 5054 14 0 0 25 0 8 0 155330894 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073850099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9351 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915460
[startup+102.523 s]
/proc/loadavg: 1.91 1.90 1.89 3/93 21612
/proc/meminfo: memFree=1535712/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=101.7
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9541 0 76 0 10156 14 0 0 25 0 8 0 155330894 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073860110 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9351 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915460
[startup+162.528 s]
/proc/loadavg: 2.04 1.93 1.90 3/93 21612
/proc/meminfo: memFree=1529376/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=161.42
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9541 0 76 0 16128 14 0 0 25 0 8 0 155330894 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073923855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9351 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 196.45
CPU time (s): 195.182
CPU user time (s): 195.027
CPU system time (s): 0.154976
CPU usage (%): 99.3548
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.027
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9549
page faults= 76
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5308
involuntary context switches= 8773
runsolver used 0.271958 s user time and 0.607907 s system time
The end
Begin job on node20 on Sat Jan 6 07:42:42 UTC 2007
IDJOB= 194377
IDBENCH= 3211
FILE ID= node20/194377-1168069358
PBS_JOBID= 3475611
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-34_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194377-1168069358/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-194377-1168069358 -o ROOT/results/node20/solver-194377-1168069358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194377-1168069358/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ff5f2154b2fd6690bcea6f080eb30d5f
RANDOM SEED= 577207765
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.216
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.216
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: 1602488 kB
Buffers: 34380 kB
Cached: 121868 kB
SwapCached: 2668 kB
Active: 259912 kB
Inactive: 124152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1602488 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 2164 kB
Writeback: 0 kB
Mapped: 245912 kB
Slab: 53748 kB
Committed_AS: 3027184 kB
PageTables: 2812 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 node20 on Sat Jan 6 07:46:00 UTC 2007