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/208331-1168074683/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3159 maxDegree=22
0.60 maxArity=2
0.60 => wckTime=0.306 cpuTime=0.23 mem=13M778
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.495 cpuTime=0.35 mem=13M938
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0050 cpuTime=0.0 mem=13M938
0.85
0.85 search
0.85 run=0 nbConstraintChecks=39094 nbPropagations=606 nbRevisions=7020 nbUselessRevisions=5737 nbAssignments=28
0.85 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.054 cpuTime=0.03 mem=14M913
0.87
0.87 search
0.87 run=1 nbConstraintChecks=85728 nbPropagations=1843 nbRevisions=21405 nbUselessRevisions=17501 nbAssignments=61
0.87 nbFailedAssignments=21 nbBacktracks=25 nbVisitedNodes=99 nbRestartNogoods=1 mapSize=23 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.075 cpuTime=0.05 mem=14M913
0.89
0.89 search
0.89 run=2 nbConstraintChecks=145768 nbPropagations=3925 nbRevisions=46887 nbUselessRevisions=38329
0.89 nbAssignments=110 nbFailedAssignments=39 nbBacktracks=48 nbVisitedNodes=181 nbRestartNogoods=4 mapSize=43
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.099 cpuTime=0.06 mem=14M913
0.91
0.91 search
0.91 run=3 nbConstraintChecks=235250 nbPropagations=7212 nbRevisions=88030 nbUselessRevisions=71702
0.91 nbAssignments=175 nbFailedAssignments=63 nbBacktracks=81 nbVisitedNodes=294 nbRestartNogoods=6 mapSize=73
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.119 cpuTime=0.08 mem=14M913
0.94
0.94 search
0.94 run=4 nbConstraintChecks=362053 nbPropagations=12265 nbRevisions=153801 nbUselessRevisions=125062
0.94 nbAssignments=270 nbFailedAssignments=102 nbBacktracks=131 nbVisitedNodes=461 nbRestartNogoods=10 mapSize=118
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.147 cpuTime=0.11 mem=14M913
0.98
0.98 search
0.98 run=5 nbConstraintChecks=524839 nbPropagations=19538 nbRevisions=250392 nbUselessRevisions=203579
0.98 nbAssignments=403 nbFailedAssignments=152 nbBacktracks=206 nbVisitedNodes=682 nbRestartNogoods=14 mapSize=176
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.185 cpuTime=0.14 mem=14M913
1.03
1.03 search
1.03 run=6 nbConstraintChecks=758885 nbPropagations=30099 nbRevisions=392404 nbUselessRevisions=318881
1.03 nbAssignments=598 nbFailedAssignments=227 nbBacktracks=322 nbVisitedNodes=1014 nbRestartNogoods=20 mapSize=278
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.234 cpuTime=0.19 mem=14M913
1.09
1.09 search
1.09 run=7 nbConstraintChecks=1037415 nbPropagations=44849 nbRevisions=590195 nbUselessRevisions=479233
1.09 nbAssignments=859 nbFailedAssignments=310 nbBacktracks=495 nbVisitedNodes=1444 nbRestartNogoods=21 mapSize=409
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.293 cpuTime=0.25 mem=14M913
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1524418 nbPropagations=66438 nbRevisions=881390 nbUselessRevisions=715075
1.19 nbAssignments=1273 nbFailedAssignments=457 nbBacktracks=755 nbVisitedNodes=2129 nbRestartNogoods=25
1.19 mapSize=615 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.395 cpuTime=0.34 mem=14M913
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2312397 nbPropagations=98879 nbRevisions=1323135 nbUselessRevisions=1072561
1.36 nbAssignments=1905 nbFailedAssignments=694 nbBacktracks=1142 nbVisitedNodes=3208 nbRestartNogoods=31
1.36 mapSize=935 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.565 cpuTime=0.49 mem=14M913
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M913)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=3480649 nbPropagations=148347 nbRevisions=2007360 nbUselessRevisions=1628875
1.57 nbAssignments=2883 nbFailedAssignments=1088 nbBacktracks=1719 nbVisitedNodes=4923 nbRestartNogoods=36
1.57 => wckTime=0.78 cpuTime=0.7 mem=14M913
1.89
1.89 search
1.89 run=11 nbConstraintChecks=5416348 nbPropagations=223512 nbRevisions=3052922 nbUselessRevisions=2477729
1.89 nbAssignments=4335 nbFailedAssignments=1667 nbBacktracks=2583 nbVisitedNodes=7433 nbRestartNogoods=43
1.89 => wckTime=1.097 cpuTime=1.01 mem=14M913
2.32
2.32 search
2.32 run=12 nbConstraintChecks=7966550 nbPropagations=334455 nbRevisions=4596201 nbUselessRevisions=3728820
2.32 nbAssignments=6400 nbFailedAssignments=2427 nbBacktracks=3882 nbVisitedNodes=10917 nbRestartNogoods=52
2.32 => wckTime=1.527 cpuTime=1.43 mem=14M913
2.98
2.98 search
2.98 run=13 nbConstraintChecks=11960034 nbPropagations=499247 nbRevisions=6878364 nbUselessRevisions=5572070
2.98 nbAssignments=9503 nbFailedAssignments=3577 nbBacktracks=5828 nbVisitedNodes=16199 nbRestartNogoods=58
2.98 => wckTime=2.183 cpuTime=2.08 mem=14M913
3.97
3.97 search
3.97 run=14 nbConstraintChecks=17955079 nbPropagations=749166 nbRevisions=10372204 nbUselessRevisions=8403807
3.97 nbAssignments=14262 nbFailedAssignments=5413 nbBacktracks=8747 nbVisitedNodes=24470 nbRestartNogoods=70
3.97 => wckTime=3.175 cpuTime=3.07 mem=14M913
5.38
5.38 search
5.38 run=15 nbConstraintChecks=26599762 nbPropagations=1119412 nbRevisions=15535792 nbUselessRevisions=12583422
5.38 nbAssignments=21319 nbFailedAssignments=8085 nbBacktracks=13125 nbVisitedNodes=36534 nbRestartNogoods=75
5.38 => wckTime=4.589 cpuTime=4.47 mem=14M913
7.93
7.93 search
7.93 run=16 nbConstraintChecks=41597729 nbPropagations=1695331 nbRevisions=23763846 nbUselessRevisions=19275901
7.93 nbAssignments=32802 nbFailedAssignments=12993 nbBacktracks=19693 nbVisitedNodes=56838 nbRestartNogoods=81
7.93 => wckTime=7.134 cpuTime=6.99 mem=14M913
11.28
11.28 search
11.28 run=17 nbConstraintChecks=62331826 nbPropagations=2551159 nbRevisions=35919184 nbUselessRevisions=29142515
11.28 nbAssignments=48886 nbFailedAssignments=19220 nbBacktracks=29545 nbVisitedNodes=84605 nbRestartNogoods=91
11.28 => wckTime=10.487 cpuTime=10.33 mem=14M913
16.28
16.28 search
16.28 run=18 nbConstraintChecks=92446481 nbPropagations=3817084 nbRevisions=53746466 nbUselessRevisions=43577206
16.28 nbAssignments=72606 nbFailedAssignments=28154 nbBacktracks=44323 nbVisitedNodes=125293 nbRestartNogoods=102
16.28 => wckTime=15.483 cpuTime=15.3 mem=14M913
23.96
23.96 search
23.96 run=19 nbConstraintChecks=140035377 nbPropagations=5731104 nbRevisions=80793175 nbUselessRevisions=65510948
23.96 nbAssignments=109186 nbFailedAssignments=42561 nbBacktracks=66492 nbVisitedNodes=188859 nbRestartNogoods=113
23.96 => wckTime=23.167 cpuTime=22.95 mem=14M913
36.84
36.84 search
36.84 run=20 nbConstraintChecks=217512313 nbPropagations=8687825 nbRevisions=123277405 nbUselessRevisions=100074588
36.84 nbAssignments=166222 nbFailedAssignments=66335 nbBacktracks=99745 nbVisitedNodes=289519 nbRestartNogoods=117
36.84 => wckTime=36.047 cpuTime=35.78 mem=14M913
53.61
53.61 search
53.61 run=21 nbConstraintChecks=320834703 nbPropagations=13026492 nbRevisions=185084268 nbUselessRevisions=150234209
53.61 nbAssignments=245713 nbFailedAssignments=95939 nbBacktracks=149624 nbVisitedNodes=425391 nbRestartNogoods=124
53.61 => wckTime=52.816 cpuTime=52.44 mem=14M913
80.17
80.17 search
80.17 run=22 nbConstraintChecks=483834847 nbPropagations=19543065 nbRevisions=278066450 nbUselessRevisions=225684328
80.17 nbAssignments=368083 nbFailedAssignments=143484 nbBacktracks=224442 nbVisitedNodes=637453 nbRestartNogoods=135
80.17 => wckTime=79.379 cpuTime=78.89 mem=14M913
111.15
111.15 search
111.15 run=23 nbConstraintChecks=674932527 nbPropagations=28633734 nbRevisions=407063526 nbUselessRevisions=330228871
111.15 nbAssignments=514357 nbFailedAssignments=198460 nbBacktracks=315700 nbVisitedNodes=888667 nbRestartNogoods=149
111.15 => wckTime=110.358 cpuTime=109.7 mem=14M913
111.15
111.15 global
111.15 nbConstraintChecks=674932527 nbPropagations=28633774 nbRevisions=407063526 nbUselessRevisions=330228871
111.15 nbRestartNogoods=149 solvingWckTime=110.359 solvingCpuTime=109.7 expiredTime=no totalExploration=no
111.15 nbFoundSolutions=1 globalCpuTime=110.1
111.15 => wckTime=110.857 cpuTime=110.05 mem=14M913
111.16
111.16 s SATISFIABLE
111.16 v 16 5 9 7 4 1 18 8 10 18 3 11 12 7 12 0 6 3 5 9 2 16 14 1 16 16 4 4 6 16 7 3 7 3 2 16 4 13 3 8
111.16 d NODES 514357
111.16 d CHECKS 674932527
111.16
111.16 totalWckTime=110.935 totalCpuTime=110.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-208331-1168074683 -o ROOT/results/node12/solver-208331-1168074683 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208331-1168074683/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.88 1.98 1.91 4/93 20744
/proc/meminfo: memFree=1540824/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=1784 CPUtime=0
/proc/20743/stat : 20743 (java) D 20741 20743 20676 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155863400 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9696036 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/20743/statm: 446 163 128 14 0 91 0
[startup+0.107422 s]
/proc/loadavg: 1.88 1.98 1.91 4/93 20744
/proc/meminfo: memFree=1540824/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=914988 CPUtime=0.1
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 3102 0 1 0 9 1 0 0 24 0 8 0 155863400 936947712 2848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228747 2848 1462 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.515496 s]
/proc/loadavg: 1.88 1.98 1.91 4/93 20744
/proc/meminfo: memFree=1540824/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=915328 CPUtime=0.5
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 6968 0 1 0 46 4 0 0 25 0 8 0 155863400 937295872 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228832 6707 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33864 s]
/proc/loadavg: 1.88 1.98 1.91 3/100 20751
/proc/meminfo: memFree=1517280/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=915456 CPUtime=1.31
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 8644 0 1 0 125 6 0 0 25 0 8 0 155863400 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829727 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228864 8382 2513 14 0 215334 0
[pid=20743/tid=20745] ppid=20741 vsize=915456 CPUtime=0.03
/proc/20743/task/20745/stat : 20745 (java) S 20741 20743 20676 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155863403 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20746] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20746/stat : 20746 (java) S 20741 20743 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863404 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20747] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20747/stat : 20747 (java) S 20741 20743 20676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863404 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20748] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20748/stat : 20748 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155863407 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20749] ppid=20741 vsize=915456 CPUtime=0.21
/proc/20743/task/20749/stat : 20749 (java) S 20741 20743 20676 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 155863407 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20750] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20750/stat : 20750 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155863407 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20751] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20751/stat : 20751 (java) S 20741 20743 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155863407 937426944 8382 18446744073709551615 134512640 134570532 4294956464 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) 915456
[startup+2.98494 s]
/proc/loadavg: 1.88 1.98 1.91 3/100 20751
/proc/meminfo: memFree=1517024/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=915456 CPUtime=2.94
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 8675 0 1 0 288 6 0 0 25 0 8 0 155863400 937426944 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228864 8411 2513 14 0 215334 0
[pid=20743/tid=20745] ppid=20741 vsize=915456 CPUtime=0.03
/proc/20743/task/20745/stat : 20745 (java) S 20741 20743 20676 0 -1 64 291 0 0 0 3 0 0 0 17 0 8 0 155863403 937426944 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20746] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20746/stat : 20746 (java) S 20741 20743 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863404 937426944 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20747] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20747/stat : 20747 (java) S 20741 20743 20676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863404 937426944 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20748] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20748/stat : 20748 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155863407 937426944 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20749] ppid=20741 vsize=915456 CPUtime=0.22
/proc/20743/task/20749/stat : 20749 (java) S 20741 20743 20676 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155863407 937426944 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20750] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20750/stat : 20750 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155863407 937426944 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20751] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20751/stat : 20751 (java) S 20741 20743 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155863407 937426944 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27653 s]
/proc/loadavg: 1.89 1.98 1.91 4/100 20751
/proc/meminfo: memFree=1516968/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=915456 CPUtime=6.2
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 8680 0 1 0 614 6 0 0 25 0 8 0 155863400 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228864 8416 2513 14 0 215334 0
[pid=20743/tid=20745] ppid=20741 vsize=915456 CPUtime=0.03
/proc/20743/task/20745/stat : 20745 (java) S 20741 20743 20676 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155863403 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20746] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20746/stat : 20746 (java) S 20741 20743 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863404 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20747] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20747/stat : 20747 (java) S 20741 20743 20676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863404 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20748] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20748/stat : 20748 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155863407 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20749] ppid=20741 vsize=915456 CPUtime=0.22
/proc/20743/task/20749/stat : 20749 (java) S 20741 20743 20676 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155863407 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20750] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20750/stat : 20750 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155863407 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20751] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20751/stat : 20751 (java) S 20741 20743 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155863407 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7667 s]
/proc/loadavg: 1.90 1.98 1.91 3/100 20751
/proc/meminfo: memFree=1516968/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=915456 CPUtime=12.66
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 8686 0 1 0 1260 6 0 0 25 0 8 0 155863400 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228864 8422 2513 14 0 215334 0
[pid=20743/tid=20745] ppid=20741 vsize=915456 CPUtime=0.03
/proc/20743/task/20745/stat : 20745 (java) S 20741 20743 20676 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155863403 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20746] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20746/stat : 20746 (java) S 20741 20743 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863404 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20747] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20747/stat : 20747 (java) S 20741 20743 20676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863404 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20748] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20748/stat : 20748 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155863407 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20749] ppid=20741 vsize=915456 CPUtime=0.22
/proc/20743/task/20749/stat : 20749 (java) S 20741 20743 20676 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155863407 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20750] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20750/stat : 20750 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155863407 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20751] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20751/stat : 20751 (java) S 20741 20743 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155863407 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
[startup+25.621 s]
/proc/loadavg: 2.07 2.01 1.93 3/100 20751
/proc/meminfo: memFree=1516968/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=915456 CPUtime=25.46
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 8692 0 1 0 2540 6 0 0 25 0 8 0 155863400 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228864 8427 2513 14 0 215334 0
[pid=20743/tid=20745] ppid=20741 vsize=915456 CPUtime=0.03
/proc/20743/task/20745/stat : 20745 (java) S 20741 20743 20676 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155863403 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20746] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20746/stat : 20746 (java) S 20741 20743 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863404 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20747] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20747/stat : 20747 (java) S 20741 20743 20676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863404 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20748] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20748/stat : 20748 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155863407 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20749] ppid=20741 vsize=915456 CPUtime=0.22
/proc/20743/task/20749/stat : 20749 (java) S 20741 20743 20676 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155863407 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20750] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20750/stat : 20750 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155863407 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20751] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20751/stat : 20751 (java) S 20741 20743 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155863407 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456
[startup+51.2516 s]
/proc/loadavg: 2.04 2.01 1.93 3/100 20751
/proc/meminfo: memFree=1516968/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=915456 CPUtime=50.96
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 8694 0 1 0 5090 6 0 0 25 0 8 0 155863400 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228864 8429 2513 14 0 215334 0
[pid=20743/tid=20745] ppid=20741 vsize=915456 CPUtime=0.03
/proc/20743/task/20745/stat : 20745 (java) S 20741 20743 20676 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155863403 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20746] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20746/stat : 20746 (java) S 20741 20743 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863404 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20747] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20747/stat : 20747 (java) S 20741 20743 20676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863404 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20748] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20748/stat : 20748 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155863407 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20749] ppid=20741 vsize=915456 CPUtime=0.22
/proc/20743/task/20749/stat : 20749 (java) S 20741 20743 20676 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155863407 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20750] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20750/stat : 20750 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155863407 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20751] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20751/stat : 20751 (java) S 20741 20743 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155863407 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915456
[startup+102.512 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 20751
/proc/meminfo: memFree=1516904/2055920 swapFree=4160348/4192956
[pid=20743] ppid=20741 vsize=915456 CPUtime=101.96
/proc/20743/stat : 20743 (java) R 20741 20743 20676 0 -1 0 8699 0 1 0 10189 7 0 0 25 0 8 0 155863400 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20743/statm: 228864 8434 2513 14 0 215334 0
[pid=20743/tid=20745] ppid=20741 vsize=915456 CPUtime=0.03
/proc/20743/task/20745/stat : 20745 (java) S 20741 20743 20676 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155863403 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20746] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20746/stat : 20746 (java) S 20741 20743 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863404 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20747] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20747/stat : 20747 (java) S 20741 20743 20676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863404 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20748] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20748/stat : 20748 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155863407 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20749] ppid=20741 vsize=915456 CPUtime=0.22
/proc/20743/task/20749/stat : 20749 (java) S 20741 20743 20676 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155863407 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20750] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20750/stat : 20750 (java) S 20741 20743 20676 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155863407 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20743/tid=20751] ppid=20741 vsize=915456 CPUtime=0
/proc/20743/task/20751/stat : 20751 (java) S 20741 20743 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155863407 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 111.215
CPU time (s): 110.58
CPU user time (s): 110.502
CPU system time (s): 0.077988
CPU usage (%): 99.4295
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.502
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8791
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= 3370
involuntary context switches= 6992
runsolver used 0.160975 s user time and 0.343947 s system time
The end
Begin job on node12 on Sat Jan 6 09:11:24 UTC 2007
IDJOB= 208331
IDBENCH= 4374
FILE ID= node12/208331-1168074683
PBS_JOBID= 3475783
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208331-1168074683/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-208331-1168074683 -o ROOT/results/node12/solver-208331-1168074683 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208331-1168074683/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f95319b163220392a47c5e9853571920
RANDOM SEED= 936653717
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.265
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.265
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: 1541304 kB
Buffers: 29972 kB
Cached: 250536 kB
SwapCached: 4684 kB
Active: 210352 kB
Inactive: 223292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1541304 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2088 kB
Writeback: 0 kB
Mapped: 172872 kB
Slab: 65692 kB
Committed_AS: 4729300 kB
PageTables: 2360 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= 66310 MiB
End job on node12 on Sat Jan 6 09:13:15 UTC 2007