0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1103012-1215300285.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80 nbTotalValues=3200
0.28/0.39 => wckTime=0.148 cpuTime=0.11 mem=7M919
0.28/0.39
0.28/0.39 relations being loaded...
0.58/0.65
0.58/0.65 constraints being loaded...
0.77/0.81 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.77/0.81 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=9
0.77/0.81 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.04 symmetryCpuTime=0.02
0.77/0.81 => wckTime=0.565 cpuTime=0.45 mem=26M531
0.77/0.89
0.77/0.89 solver IterativeSystematicSolver being built...
0.97/1.03 => wckTime=0.79 cpuTime=0.57 mem=23M537
0.97/1.04
0.97/1.04 preprocessing
0.97/1.04 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.97/1.04 detectedInconsistency=no
0.97/1.04 => wckTime=0.0040 cpuTime=0.01 mem=23M537
1.16/1.25
1.16/1.25 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=25M425)
3.64/3.78
3.64/3.78 search
3.64/3.78 run=13 nbConstraintChecks=26443816 minDepth=1 maxDepth=40 nbPropagations=732967 nbRevisions=3287970
3.64/3.78 nbUselessRevisions=1762779 nbAssignments=8535 nbFailedAssignments=4957 nbBacktracks=3459 nbVisitedNodes=15662
3.64/3.78 nbRestartNogoods=102 nbFoundSolutions=1 nbSEliminables=7.09 nbREliminables=3.17 nbIEliminables=11.2
3.64/3.78 nbDEliminables=0 nbPEliminables=0
3.64/3.78 => wckTime=2.743 cpuTime=2.63 mem=25M425
3.64/3.78
3.64/3.78 global
3.64/3.78 nbConstraintChecks=26443816 nbPropagations=733007 nbRevisions=3287970 nbUselessRevisions=1762779
3.64/3.78 nbRestartNogoods=102 solvingWckTime=2.746 solvingCpuTime=2.64 expiredTime=no totalExploration=no
3.64/3.78 nbFoundSolutions=1 firstSolutionCpuTime=3.2 globalCpuTime=3.26
3.64/3.78 => wckTime=3.539 cpuTime=3.21 mem=25M425
3.64/3.78
3.64/3.78 s SATISFIABLE
3.64/3.78 v 74 14 53 14 13 14 43 19 52 25 38 32 24 48 67 41 16 6 66 61 57 27 28 25 31 67 46 72 35 32 21 15 43 30 38 34 69 69 63 77
3.64/3.78 d NODES 8535
3.64/3.78 d CHECKS 26443816
3.64/3.78
3.64/3.79 totalWckTime=3.595 totalCpuTime=3.26
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1103012-1215300285/watcher-1103012-1215300285 -o /tmp/evaluation-result-1103012-1215300285/solver-1103012-1215300285 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1103012-1215300285.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.03 2.00 3/84 32030
/proc/meminfo: memFree=1510216/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=1616 CPUtime=0
/proc/32030/stat : 32030 (java) D 32028 32030 28724 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2009002655 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/32030/statm: 404 145 119 9 0 46 0
[startup+0.106108 s]
/proc/loadavg: 2.10 2.03 2.00 3/84 32030
/proc/meminfo: memFree=1510216/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=865884 CPUtime=0.08
/proc/32030/stat : 32030 (java) S 32028 32030 28724 0 -1 0 3734 0 1 0 7 1 0 0 18 0 9 0 2009002655 886665216 3196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 216471 3196 1696 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.201127 s]
/proc/loadavg: 2.10 2.03 2.00 3/84 32030
/proc/meminfo: memFree=1510216/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=866048 CPUtime=0.18
/proc/32030/stat : 32030 (java) S 32028 32030 28724 0 -1 0 4618 0 1 0 15 3 0 0 18 0 9 0 2009002655 886833152 4045 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 216512 4045 1849 9 0 211060 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866048
[startup+0.301138 s]
/proc/loadavg: 2.10 2.03 2.00 3/84 32030
/proc/meminfo: memFree=1510216/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=866196 CPUtime=0.28
/proc/32030/stat : 32030 (java) S 32028 32030 28724 0 -1 0 5616 0 1 0 25 3 0 0 18 0 9 0 2009002655 886984704 5030 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 216549 5030 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701195 s]
/proc/loadavg: 2.10 2.03 2.00 3/84 32030
/proc/meminfo: memFree=1510216/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=866528 CPUtime=0.67
/proc/32030/stat : 32030 (java) S 32028 32030 28724 0 -1 0 9789 0 1 0 61 6 0 0 18 0 9 0 2009002655 887324672 9149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 216632 9149 1977 9 0 211160 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866528
[startup+1.50231 s]
/proc/loadavg: 2.10 2.03 2.00 4/95 32043
/proc/meminfo: memFree=1471152/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=867264 CPUtime=1.46
/proc/32030/stat : 32030 (java) S 32028 32030 28724 0 -1 0 19873 271 1 0 136 10 0 0 18 0 9 0 2009002655 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 216816 12318 2631 9 0 211322 0
[pid=32030/tid=32032] ppid=32028 vsize=867264 CPUtime=1.19
/proc/32030/task/32032/stat : 32032 (java) R 32028 32030 28724 0 -1 64 13819 271 1 0 112 7 0 0 22 0 9 0 2009002656 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4126741492 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32033] ppid=32028 vsize=867264 CPUtime=0.07
/proc/32030/task/32033/stat : 32033 (java) S 32028 32030 28724 0 -1 64 4696 271 0 0 6 1 0 0 16 0 9 0 2009002658 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32034] ppid=32028 vsize=867264 CPUtime=0
/proc/32030/task/32034/stat : 32034 (java) S 32028 32030 28724 0 -1 64 16 271 0 0 0 0 0 0 16 0 9 0 2009002658 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32030/tid=32035] ppid=32028 vsize=867264 CPUtime=0
/proc/32030/task/32035/stat : 32035 (java) S 32028 32030 28724 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 2009002658 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32030/tid=32036] ppid=32028 vsize=867264 CPUtime=0
/proc/32030/task/32036/stat : 32036 (java) S 32028 32030 28724 0 -1 64 1 271 0 0 0 0 0 0 18 0 9 0 2009002660 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32037] ppid=32028 vsize=867264 CPUtime=0.17
/proc/32030/task/32037/stat : 32037 (java) S 32028 32030 28724 0 -1 64 525 271 0 0 17 0 0 0 15 0 9 0 2009002660 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32038] ppid=32028 vsize=867264 CPUtime=0
/proc/32030/task/32038/stat : 32038 (java) S 32028 32030 28724 0 -1 64 1 271 0 0 0 0 0 0 19 0 9 0 2009002660 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32039] ppid=32028 vsize=867264 CPUtime=0
/proc/32030/task/32039/stat : 32039 (java) S 32028 32030 28724 0 -1 64 0 271 0 0 0 0 0 0 15 0 9 0 2009002660 888078336 12318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867264
[startup+3.10254 s]
/proc/loadavg: 2.10 2.03 2.00 3/93 32043
/proc/meminfo: memFree=1470840/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=867392 CPUtime=3.05
/proc/32030/stat : 32030 (java) S 32028 32030 28724 0 -1 0 19895 271 1 0 295 10 0 0 18 0 9 0 2009002655 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 216848 12335 2631 9 0 211354 0
[pid=32030/tid=32032] ppid=32028 vsize=867392 CPUtime=2.75
/proc/32030/task/32032/stat : 32032 (java) R 32028 32030 28724 0 -1 64 13824 271 1 0 268 7 0 0 25 0 9 0 2009002656 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4126752099 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32033] ppid=32028 vsize=867392 CPUtime=0.07
/proc/32030/task/32033/stat : 32033 (java) S 32028 32030 28724 0 -1 64 4696 271 0 0 6 1 0 0 17 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32034] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32034/stat : 32034 (java) S 32028 32030 28724 0 -1 64 16 271 0 0 0 0 0 0 16 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32030/tid=32035] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32035/stat : 32035 (java) S 32028 32030 28724 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32030/tid=32036] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32036/stat : 32036 (java) S 32028 32030 28724 0 -1 64 1 271 0 0 0 0 0 0 18 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32037] ppid=32028 vsize=867392 CPUtime=0.2
/proc/32030/task/32037/stat : 32037 (java) S 32028 32030 28724 0 -1 64 542 271 0 0 20 0 0 0 16 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32038] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32038/stat : 32038 (java) S 32028 32030 28724 0 -1 64 1 271 0 0 0 0 0 0 19 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32039] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32039/stat : 32039 (java) S 32028 32030 28724 0 -1 64 0 271 0 0 0 0 0 0 15 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867392
Solver just ended. Dumping a history of the last processes samples
[startup+3.20256 s]
/proc/loadavg: 2.10 2.03 2.00 3/93 32043
/proc/meminfo: memFree=1470840/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=867392 CPUtime=3.15
/proc/32030/stat : 32030 (java) S 32028 32030 28724 0 -1 0 19896 271 1 0 305 10 0 0 18 0 9 0 2009002655 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 216848 12335 2631 9 0 211354 0
[pid=32030/tid=32032] ppid=32028 vsize=867392 CPUtime=2.85
/proc/32030/task/32032/stat : 32032 (java) R 32028 32030 28724 0 -1 64 13825 271 1 0 278 7 0 0 25 0 9 0 2009002656 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4126762958 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32033] ppid=32028 vsize=867392 CPUtime=0.07
/proc/32030/task/32033/stat : 32033 (java) S 32028 32030 28724 0 -1 64 4696 271 0 0 6 1 0 0 17 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32034] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32034/stat : 32034 (java) S 32028 32030 28724 0 -1 64 16 271 0 0 0 0 0 0 16 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32030/tid=32035] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32035/stat : 32035 (java) S 32028 32030 28724 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32030/tid=32036] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32036/stat : 32036 (java) S 32028 32030 28724 0 -1 64 1 271 0 0 0 0 0 0 18 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32037] ppid=32028 vsize=867392 CPUtime=0.2
/proc/32030/task/32037/stat : 32037 (java) S 32028 32030 28724 0 -1 64 542 271 0 0 20 0 0 0 16 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32038] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32038/stat : 32038 (java) S 32028 32030 28724 0 -1 64 1 271 0 0 0 0 0 0 19 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32039] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32039/stat : 32039 (java) S 32028 32030 28724 0 -1 64 0 271 0 0 0 0 0 0 15 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 867392
[startup+3.60262 s]
/proc/loadavg: 2.10 2.03 2.00 3/93 32043
/proc/meminfo: memFree=1470776/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=867392 CPUtime=3.54
/proc/32030/stat : 32030 (java) S 32028 32030 28724 0 -1 0 19896 271 1 0 344 10 0 0 18 0 9 0 2009002655 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 216848 12335 2631 9 0 211354 0
[pid=32030/tid=32032] ppid=32028 vsize=867392 CPUtime=3.23
/proc/32030/task/32032/stat : 32032 (java) R 32028 32030 28724 0 -1 64 13825 271 1 0 316 7 0 0 25 0 9 0 2009002656 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4126741492 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32033] ppid=32028 vsize=867392 CPUtime=0.07
/proc/32030/task/32033/stat : 32033 (java) S 32028 32030 28724 0 -1 64 4696 271 0 0 6 1 0 0 17 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32034] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32034/stat : 32034 (java) S 32028 32030 28724 0 -1 64 16 271 0 0 0 0 0 0 16 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32030/tid=32035] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32035/stat : 32035 (java) S 32028 32030 28724 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 2009002658 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32030/tid=32036] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32036/stat : 32036 (java) S 32028 32030 28724 0 -1 64 1 271 0 0 0 0 0 0 18 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32037] ppid=32028 vsize=867392 CPUtime=0.2
/proc/32030/task/32037/stat : 32037 (java) S 32028 32030 28724 0 -1 64 542 271 0 0 20 0 0 0 15 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32038] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32038/stat : 32038 (java) S 32028 32030 28724 0 -1 64 1 271 0 0 0 0 0 0 19 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32030/tid=32039] ppid=32028 vsize=867392 CPUtime=0
/proc/32030/task/32039/stat : 32039 (java) S 32028 32030 28724 0 -1 64 0 271 0 0 0 0 0 0 15 0 9 0 2009002660 888209408 12335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 867392
[startup+3.80323 s]
/proc/loadavg: 2.10 2.03 2.00 3/93 32043
/proc/meminfo: memFree=1470776/2055920 swapFree=4180256/4192956
[pid=32030] ppid=32028 vsize=0 CPUtime=3.73
/proc/32030/stat : 32030 (java) Z 32028 32030 28724 0 -1 12 20019 271 1 0 362 11 0 0 16 0 2 0 2009002655 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32030/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 3.80873
CPU time (s): 3.74943
CPU user time (s): 3.62445
CPU system time (s): 0.124981
CPU usage (%): 98.443
Max. virtual memory (cumulated for all children) (KiB): 867392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.62445
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20290
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= 1002
involuntary context switches= 1081
runsolver used 0.008998 second user time and 0.018997 second system time
The end
Begin job on node22 at 2008-07-06 01:24:45
IDJOB=1103012
IDBENCH=60261
IDSOLVER=363
FILE ID=node22/1103012-1215300285
PBS_JOBID= 7882335
Free space on /tmp= 66464 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-12_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1103012-1215300285/watcher-1103012-1215300285 -o /tmp/evaluation-result-1103012-1215300285/solver-1103012-1215300285 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1103012-1215300285.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= baf71f565836d0584f36f646944af0ed
RANDOM SEED=791349872
node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.267
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.267
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: 1510696 kB
Buffers: 58412 kB
Cached: 185608 kB
SwapCached: 6356 kB
Active: 396564 kB
Inactive: 95040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1510696 kB
SwapTotal: 4192956 kB
SwapFree: 4180256 kB
Dirty: 2788 kB
Writeback: 0 kB
Mapped: 259108 kB
Slab: 38576 kB
Committed_AS: 4178268 kB
PageTables: 2188 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= 66460 MiB
End job on node22 at 2008-07-06 01:24:49