0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/221250-1168080017/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=37 nbDomainTypes=2 minDomainSize=6 maxDomainSize=36
0.41 => wckTime=0.097 cpuTime=0.08 mem=6M902
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
0.69 nbConstraints=641 nbConvertedConstraints=641 nbConvertConstraintsChecks=2808 nbExtensionStructures=3
0.69 nbSharedExtensionStructures=638 nbConflictsStructures=3 nbSharedConflictsStructures=638
0.69 nbSharedBinaryRepresentations=83 maxDegree=36 maxArity=2
0.69 => wckTime=0.377 cpuTime=0.27 mem=11M779
0.73
0.73 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.563 cpuTime=0.39 mem=13M543
0.89
0.89 preprocessing
0.89 nbConstraintChecks=1182 nbPropagations=37 nbRevisions=33 nbUselessRevisions=22 nbRemovedValues=33
0.89 detectedInconsistency=no
0.89 => wckTime=0.011 cpuTime=0.0 mem=13M543
0.93
0.93 search
0.93 run=0 nbConstraintChecks=19569 nbPropagations=538 nbRevisions=2021 nbUselessRevisions=1112 nbAssignments=31
0.93 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.052 cpuTime=0.03 mem=14M519
0.95
0.95 search
0.95 run=1 nbConstraintChecks=41787 nbPropagations=1681 nbRevisions=6267 nbUselessRevisions=3421 nbAssignments=62
0.95 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=97 nbRestartNogoods=5 mapSize=21 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.074 cpuTime=0.05 mem=14M519
0.97
0.97 search
0.97 run=2 nbConstraintChecks=70993 nbPropagations=3594 nbRevisions=13593 nbUselessRevisions=7449 nbAssignments=104
0.97 nbFailedAssignments=32 nbBacktracks=51 nbVisitedNodes=169 nbRestartNogoods=9 mapSize=43 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.093 cpuTime=0.07 mem=14M519
0.99
0.99 search
0.99 run=3 nbConstraintChecks=107769 nbPropagations=6440 nbRevisions=25637 nbUselessRevisions=14284
0.99 nbAssignments=173 nbFailedAssignments=58 nbBacktracks=85 nbVisitedNodes=280 nbRestartNogoods=12 mapSize=66
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.11 cpuTime=0.08 mem=14M519
1.00
1.00 search
1.00 run=4 nbConstraintChecks=150698 nbPropagations=10229 nbRevisions=43270 nbUselessRevisions=24482
1.00 nbAssignments=260 nbFailedAssignments=81 nbBacktracks=142 nbVisitedNodes=405 nbRestartNogoods=16 mapSize=88
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.127 cpuTime=0.1 mem=14M519
1.03
1.03 search
1.03 run=5 nbConstraintChecks=208360 nbPropagations=15585 nbRevisions=69152 nbUselessRevisions=39746
1.03 nbAssignments=386 nbFailedAssignments=117 nbBacktracks=217 nbVisitedNodes=601 nbRestartNogoods=21 mapSize=139
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.152 cpuTime=0.12 mem=14M519
1.07
1.07 search
1.07 run=6 nbConstraintChecks=294013 nbPropagations=23168 nbRevisions=108408 nbUselessRevisions=63429
1.07 nbAssignments=565 nbFailedAssignments=174 nbBacktracks=331 nbVisitedNodes=876 nbRestartNogoods=28 mapSize=201
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.192 cpuTime=0.16 mem=14M519
1.13
1.13 search
1.13 run=7 nbConstraintChecks=427637 nbPropagations=34465 nbRevisions=169957 nbUselessRevisions=101039
1.13 nbAssignments=834 nbFailedAssignments=262 nbBacktracks=504 nbVisitedNodes=1311 nbRestartNogoods=34 mapSize=315
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.25 cpuTime=0.22 mem=14M519
1.21
1.21 search
1.21 run=8 nbConstraintChecks=650909 nbPropagations=50954 nbRevisions=264109 nbUselessRevisions=158676
1.21 nbAssignments=1244 nbFailedAssignments=405 nbBacktracks=762 nbVisitedNodes=1965 nbRestartNogoods=38
1.21 mapSize=458 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.336 cpuTime=0.3 mem=14M519
1.35
1.35 search
1.35 run=9 nbConstraintChecks=963528 nbPropagations=75858 nbRevisions=414719 nbUselessRevisions=252447
1.35 nbAssignments=1926 nbFailedAssignments=689 nbBacktracks=1149 nbVisitedNodes=3079 nbRestartNogoods=45
1.35 mapSize=662 nbInferences=2 nbTooLargeKeys=0
1.35 => wckTime=0.468 cpuTime=0.42 mem=14M519
1.51
1.51 search
1.51 run=10 nbConstraintChecks=1398377 nbPropagations=112065 nbRevisions=646708 nbUselessRevisions=401552
1.51 nbAssignments=2851 nbFailedAssignments=1024 nbBacktracks=1728 nbVisitedNodes=4566 nbRestartNogoods=49
1.51 mapSize=1007 nbInferences=2 nbTooLargeKeys=0
1.51 => wckTime=0.63 cpuTime=0.57 mem=14M519
1.52
1.52 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=14M519)
1.75
1.75 search
1.75 run=11 nbConstraintChecks=2174129 nbPropagations=167658 nbRevisions=1009936 nbUselessRevisions=633305
1.75 nbAssignments=4254 nbFailedAssignments=1551 nbBacktracks=2592 nbVisitedNodes=6899 nbRestartNogoods=56
1.75 => wckTime=0.874 cpuTime=0.81 mem=14M519
2.08
2.08 search
2.08 run=12 nbConstraintChecks=3243780 nbPropagations=250089 nbRevisions=1567700 nbUselessRevisions=991395
2.08 nbAssignments=6484 nbFailedAssignments=2470 nbBacktracks=3889 nbVisitedNodes=10596 nbRestartNogoods=65
2.08 => wckTime=1.205 cpuTime=1.14 mem=14M519
2.61
2.61 search
2.61 run=13 nbConstraintChecks=4870406 nbPropagations=374429 nbRevisions=2449038 nbUselessRevisions=1570218
2.61 nbAssignments=9805 nbFailedAssignments=3835 nbBacktracks=5839 nbVisitedNodes=16183 nbRestartNogoods=76
2.61 => wckTime=1.728 cpuTime=1.66 mem=14M519
3.39
3.39 search
3.39 run=14 nbConstraintChecks=7639646 nbPropagations=563113 nbRevisions=3778556 nbUselessRevisions=2432613
3.39 nbAssignments=14502 nbFailedAssignments=5603 nbBacktracks=8761 nbVisitedNodes=23977 nbRestartNogoods=84
3.39 => wckTime=2.511 cpuTime=2.45 mem=14M519
4.57
4.57 search
4.57 run=15 nbConstraintChecks=11263864 nbPropagations=849349 nbRevisions=5781923 nbUselessRevisions=3736305
4.57 nbAssignments=22021 nbFailedAssignments=8732 nbBacktracks=13142 nbVisitedNodes=36608 nbRestartNogoods=91
4.57 => wckTime=3.696 cpuTime=3.63 mem=14M519
6.33
6.33 search
6.33 run=16 nbConstraintChecks=17116646 nbPropagations=1279262 nbRevisions=8865183 nbUselessRevisions=5771713
6.33 nbAssignments=32679 nbFailedAssignments=12816 nbBacktracks=19710 nbVisitedNodes=54395 nbRestartNogoods=103
6.33 => wckTime=5.457 cpuTime=5.39 mem=14M519
8.80
8.80 search
8.80 run=17 nbConstraintChecks=25169721 nbPropagations=1910426 nbRevisions=13441597 nbUselessRevisions=8801525
8.80 nbAssignments=48678 nbFailedAssignments=18957 nbBacktracks=29562 nbVisitedNodes=80861 nbRestartNogoods=111
8.80 => wckTime=7.918 cpuTime=7.85 mem=14M519
12.54
12.54 search
12.54 run=18 nbConstraintChecks=36592635 nbPropagations=2849523 nbRevisions=20453279 nbUselessRevisions=13543200
12.54 nbAssignments=72709 nbFailedAssignments=28199 nbBacktracks=44341 nbVisitedNodes=120932 nbRestartNogoods=114
12.54 => wckTime=11.659 cpuTime=11.58 mem=14M519
18.12
18.12 search
18.12 run=19 nbConstraintChecks=54142670 nbPropagations=4253258 nbRevisions=30799342 nbUselessRevisions=20498477
18.12 nbAssignments=109145 nbFailedAssignments=42458 nbBacktracks=66513 nbVisitedNodes=181407 nbRestartNogoods=122
18.12 => wckTime=17.241 cpuTime=17.16 mem=14M519
26.72
26.72 search
26.72 run=20 nbConstraintChecks=81373056 nbPropagations=6383341 nbRevisions=46484390 nbUselessRevisions=31081497
26.72 nbAssignments=163692 nbFailedAssignments=63742 nbBacktracks=99765 nbVisitedNodes=272901 nbRestartNogoods=134
26.72 => wckTime=25.842 cpuTime=25.74 mem=14M519
39.32
39.32 search
39.32 run=21 nbConstraintChecks=122183009 nbPropagations=9543651 nbRevisions=69716431 nbUselessRevisions=46700862
39.32 nbAssignments=245384 nbFailedAssignments=95548 nbBacktracks=149643 nbVisitedNodes=408742 nbRestartNogoods=150
39.32 => wckTime=38.439 cpuTime=38.28 mem=14M519
59.13
59.13 search
59.13 run=22 nbConstraintChecks=183594863 nbPropagations=14320067 nbRevisions=105551478 nbUselessRevisions=70964925
59.13 nbAssignments=372988 nbFailedAssignments=148324 nbBacktracks=224461 nbVisitedNodes=623083 nbRestartNogoods=159
59.13 => wckTime=58.255 cpuTime=58.08 mem=14M519
86.58
86.58 search
86.58 run=23 nbConstraintChecks=267108358 nbPropagations=21426166 nbRevisions=158262396 nbUselessRevisions=106583117
86.58 nbAssignments=557718 nbFailedAssignments=220814 nbBacktracks=336692 nbVisitedNodes=932010 nbRestartNogoods=174
86.58 => wckTime=85.707 cpuTime=85.5 mem=14M519
121.85
121.85 search
121.85 run=24 nbConstraintChecks=374998680 nbPropagations=31486307 nbRevisions=233035771 nbUselessRevisions=157184159
121.85 nbAssignments=790044 nbFailedAssignments=313125 nbBacktracks=476670 nbVisitedNodes=1321198 nbRestartNogoods=189
121.85 => wckTime=120.971 cpuTime=120.76 mem=14M519
121.85
121.85 global
121.85 nbConstraintChecks=374999862 nbPropagations=31486344 nbRevisions=233035804 nbUselessRevisions=157184181
121.85 nbRestartNogoods=189 solvingWckTime=120.972 solvingCpuTime=120.76 expiredTime=no totalExploration=no
121.85 nbFoundSolutions=1 globalCpuTime=121.21
121.85 => wckTime=121.538 cpuTime=121.15 mem=14M519
121.85
121.85 s SATISFIABLE
121.85 v 7 4 8 0 13 2 6 19 30 26 22 35 27 31 20 24 32 28 15 11 3 7 18 14 10 23 34 21 17 9 1 12 25 33 29 16 5
121.85 d NODES 790044
121.85 d CHECKS 374999862
121.85
121.85 totalWckTime=121.614 totalCpuTime=121.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-221250-1168080017 -o ROOT/results/node39/solver-221250-1168080017 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221250-1168080017/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.70 1.93 1.89 4/69 19650
/proc/meminfo: memFree=1742960/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=72 CPUtime=0
/proc/19648/stat : 19648 (java) R 19645 19648 19465 0 -1 0 17 0 0 0 0 0 0 0 18 0 1 0 156402188 73728 1 18446744073709551615 0 0 4294957040 18446744073709551615 231493659943 0 0 4096 0 0 0 0 17 1 0 0
/proc/19648/statm: 41 3 0 14 0 1 0
[startup+0.102714 s]
/proc/loadavg: 1.70 1.93 1.89 4/69 19650
/proc/meminfo: memFree=1742960/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=913068 CPUtime=0.08
/proc/19648/stat : 19648 (java) S 19645 19648 19465 0 -1 0 2871 0 1 0 7 1 0 0 24 0 8 0 156402188 934981632 2617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228267 2617 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.510749 s]
/proc/loadavg: 1.70 1.93 1.89 4/69 19650
/proc/meminfo: memFree=1742960/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=915328 CPUtime=0.48
/proc/19648/stat : 19648 (java) S 19645 19648 19465 0 -1 0 6356 0 1 0 45 3 0 0 16 0 8 0 156402188 937295872 6095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228832 6095 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33182 s]
/proc/loadavg: 1.70 1.93 1.89 2/75 19660
/proc/meminfo: memFree=1723712/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=915492 CPUtime=1.3
/proc/19648/stat : 19648 (java) R 19645 19648 19465 0 -1 0 8528 0 1 0 123 7 0 0 17 0 8 0 156402188 937463808 8266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228873 8266 2530 14 0 215343 0
[pid=19648/tid=19653] ppid=19645 vsize=915492 CPUtime=0.03
/proc/19648/task/19653/stat : 19653 (java) S 19645 19648 19465 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 156402193 937463808 8266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19654] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19654/stat : 19654 (java) S 19645 19648 19465 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19655] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19655/stat : 19655 (java) S 19645 19648 19465 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19657] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19657/stat : 19657 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402196 937463808 8266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19658] ppid=19645 vsize=915492 CPUtime=0.22
/proc/19648/task/19658/stat : 19658 (java) S 19645 19648 19465 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 156402196 937463808 8266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19659] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19659/stat : 19659 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156402196 937463808 8266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19660] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19660/stat : 19660 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402196 937463808 8266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915492
[startup+2.97897 s]
/proc/loadavg: 1.70 1.93 1.89 2/75 19660
/proc/meminfo: memFree=1723336/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=915492 CPUtime=2.94
/proc/19648/stat : 19648 (java) R 19645 19648 19465 0 -1 0 8581 0 1 0 287 7 0 0 18 0 8 0 156402188 937463808 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228873 8318 2530 14 0 215343 0
[pid=19648/tid=19653] ppid=19645 vsize=915492 CPUtime=0.03
/proc/19648/task/19653/stat : 19653 (java) S 19645 19648 19465 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 156402193 937463808 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19654] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19654/stat : 19654 (java) S 19645 19648 19465 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19655] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19655/stat : 19655 (java) S 19645 19648 19465 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19657] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19657/stat : 19657 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402196 937463808 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19658] ppid=19645 vsize=915492 CPUtime=0.23
/proc/19648/task/19658/stat : 19658 (java) S 19645 19648 19465 0 -1 64 406 0 0 0 22 1 0 0 16 0 8 0 156402196 937463808 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19659] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19659/stat : 19659 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156402196 937463808 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19660] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19660/stat : 19660 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402196 937463808 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915492
[startup+6.27531 s]
/proc/loadavg: 1.64 1.92 1.88 2/75 19665
/proc/meminfo: memFree=1722632/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=915492 CPUtime=6.24
/proc/19648/stat : 19648 (java) R 19645 19648 19465 0 -1 0 8588 0 1 0 617 7 0 0 17 0 8 0 156402188 937463808 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228873 8324 2530 14 0 215343 0
[pid=19648/tid=19653] ppid=19645 vsize=915492 CPUtime=0.03
/proc/19648/task/19653/stat : 19653 (java) S 19645 19648 19465 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 156402193 937463808 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19654] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19654/stat : 19654 (java) S 19645 19648 19465 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19655] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19655/stat : 19655 (java) S 19645 19648 19465 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19657] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19657/stat : 19657 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402196 937463808 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19658] ppid=19645 vsize=915492 CPUtime=0.23
/proc/19648/task/19658/stat : 19658 (java) S 19645 19648 19465 0 -1 64 407 0 0 0 22 1 0 0 16 0 8 0 156402196 937463808 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19659] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19659/stat : 19659 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156402196 937463808 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19660] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19660/stat : 19660 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402196 937463808 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915492
[startup+12.7569 s]
/proc/loadavg: 1.62 1.90 1.88 3/87 19707
/proc/meminfo: memFree=1649704/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=915492 CPUtime=12.72
/proc/19648/stat : 19648 (java) R 19645 19648 19465 0 -1 0 8595 0 1 0 1264 8 0 0 25 0 8 0 156402188 937463808 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228873 8331 2530 14 0 215343 0
[pid=19648/tid=19653] ppid=19645 vsize=915492 CPUtime=0.03
/proc/19648/task/19653/stat : 19653 (java) S 19645 19648 19465 0 -1 64 197 0 0 0 3 0 0 0 17 0 8 0 156402193 937463808 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19654] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19654/stat : 19654 (java) S 19645 19648 19465 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19655] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19655/stat : 19655 (java) S 19645 19648 19465 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19657] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19657/stat : 19657 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402196 937463808 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19658] ppid=19645 vsize=915492 CPUtime=0.24
/proc/19648/task/19658/stat : 19658 (java) S 19645 19648 19465 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156402196 937463808 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19659] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19659/stat : 19659 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156402196 937463808 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19660] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19660/stat : 19660 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402196 937463808 8331 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) 915492
[startup+25.605 s]
/proc/loadavg: 1.60 1.89 1.87 2/75 19718
/proc/meminfo: memFree=1721408/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=915492 CPUtime=25.55
/proc/19648/stat : 19648 (java) R 19645 19648 19465 0 -1 0 8598 0 1 0 2547 8 0 0 25 0 8 0 156402188 937463808 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073872446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228873 8333 2530 14 0 215343 0
[pid=19648/tid=19653] ppid=19645 vsize=915492 CPUtime=0.03
/proc/19648/task/19653/stat : 19653 (java) S 19645 19648 19465 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 156402193 937463808 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19654] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19654/stat : 19654 (java) S 19645 19648 19465 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19655] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19655/stat : 19655 (java) S 19645 19648 19465 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19657] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19657/stat : 19657 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402196 937463808 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19658] ppid=19645 vsize=915492 CPUtime=0.24
/proc/19648/task/19658/stat : 19658 (java) S 19645 19648 19465 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156402196 937463808 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19659] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19659/stat : 19659 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156402196 937463808 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19660] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19660/stat : 19660 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402196 937463808 8333 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) 915492
[startup+51.3054 s]
/proc/loadavg: 1.54 1.85 1.86 3/87 19819
/proc/meminfo: memFree=1599992/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=915492 CPUtime=51.16
/proc/19648/stat : 19648 (java) R 19645 19648 19465 0 -1 0 8603 0 1 0 5106 10 0 0 25 0 8 0 156402188 937463808 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228873 8338 2530 14 0 215343 0
[pid=19648/tid=19653] ppid=19645 vsize=915492 CPUtime=0.03
/proc/19648/task/19653/stat : 19653 (java) S 19645 19648 19465 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 156402193 937463808 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19654] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19654/stat : 19654 (java) S 19645 19648 19465 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19655] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19655/stat : 19655 (java) S 19645 19648 19465 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19657] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19657/stat : 19657 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402196 937463808 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19658] ppid=19645 vsize=915492 CPUtime=0.24
/proc/19648/task/19658/stat : 19658 (java) S 19645 19648 19465 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156402196 937463808 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19659] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19659/stat : 19659 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156402196 937463808 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19660] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19660/stat : 19660 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402196 937463808 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915492
[startup+102.598 s]
/proc/loadavg: 1.87 1.89 1.87 3/87 19875
/proc/meminfo: memFree=1692072/2055920 swapFree=4192812/4192956
[pid=19648] ppid=19645 vsize=915492 CPUtime=102.43
/proc/19648/stat : 19648 (java) R 19645 19648 19465 0 -1 0 8608 0 1 0 10232 11 0 0 25 0 8 0 156402188 937463808 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19648/statm: 228873 8343 2530 14 0 215343 0
[pid=19648/tid=19653] ppid=19645 vsize=915492 CPUtime=0.03
/proc/19648/task/19653/stat : 19653 (java) S 19645 19648 19465 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 156402193 937463808 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19654] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19654/stat : 19654 (java) S 19645 19648 19465 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19655] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19655/stat : 19655 (java) S 19645 19648 19465 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402193 937463808 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19657] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19657/stat : 19657 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402196 937463808 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19658] ppid=19645 vsize=915492 CPUtime=0.24
/proc/19648/task/19658/stat : 19658 (java) S 19645 19648 19465 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156402196 937463808 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19648/tid=19659] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19659/stat : 19659 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156402196 937463808 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19648/tid=19660] ppid=19645 vsize=915492 CPUtime=0
/proc/19648/task/19660/stat : 19660 (java) S 19645 19648 19465 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402196 937463808 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915492
Child status: 0
Real time (s): 121.915
CPU time (s): 121.701
CPU user time (s): 121.583
CPU system time (s): 0.118981
CPU usage (%): 99.825
Max. virtual memory (cumulated for all children) (KiB): 915492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.583
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8701
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= 3389
involuntary context switches= 3145
runsolver used 0.118981 s user time and 0.32795 s system time
The end
Begin job on node39 on Sat Jan 6 10:40:20 UTC 2007
IDJOB= 221250
IDBENCH= 5404
FILE ID= node39/221250-1168080017
PBS_JOBID= 3476081
Free space on /tmp= 66528 MiB
BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221250-1168080017/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-221250-1168080017 -o ROOT/results/node39/solver-221250-1168080017 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221250-1168080017/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b8819f8dd523d23a99165a8017c8adf9
RANDOM SEED= 691789567
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1653304 kB
Buffers: 26432 kB
Cached: 194500 kB
SwapCached: 0 kB
Active: 158072 kB
Inactive: 173264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1653304 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 130576 kB
Slab: 56452 kB
Committed_AS: 3757824 kB
PageTables: 1996 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= 66530 MiB
End job on node39 on Sat Jan 6 10:42:28 UTC 2007