0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2096595-1247410399.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.38/0.44 nbVariables=680 nbDomainTypes=7 minDomainSize=6 maxDomainSize=34 nbTotalValues=19810
0.38/0.44 => wckTime=0.192 cpuTime=0.14 mem=9M844
0.38/0.44
0.38/0.44 predicates being loaded...
0.49/0.50
0.49/0.50 constraints being loaded...
2.26/2.32 nbConstraints=3775 nbGlobalConstraints=18 nbConvertedConstraints=3757 nbConvertConstraintsChecks=2508712
2.26/2.32 nbExtensionStructures=2963 nbSharedExtensionStructures=3483 nbConflictsStructures=2963
2.26/2.32 nbSharedConflictsStructures=3483 nbSharedBinaryRepresentations=171539 minDegree=1 maxDegree=23 minArity=2
2.26/2.32 avgArity=2.06 maxArity=16 nbGenerators=0 nbFusions=0 symmetryWckTime=0.275 symmetryCpuTime=0.12 nbCliques=18
2.26/2.32 => wckTime=2.07 cpuTime=1.7 mem=11M182
2.36/2.40
2.36/2.40 solver IterativeSystematicSolver being built...
2.36/2.47
2.36/2.47 INFO : Forward propagation technique limited
2.46/2.56 => wckTime=2.312 cpuTime=1.83 mem=27M835
2.56/2.63
2.56/2.63 preprocessing
2.56/2.63 nbConstraintChecks=19070 nbPropagations=985 nbRevisions=611 nbUselessRevisions=1 nbRemovedValues=5818
2.56/2.63 detectedInconsistency=no
2.56/2.63 => wckTime=0.068 cpuTime=0.06 mem=27M835
3.16/3.24
3.16/3.24 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M852)
4.27/4.52
4.27/4.52 search
4.27/4.52 run=10 nbConstraintChecks=1435364 minDepth=57 maxDepth=680 nbPropagations=129835 nbRevisions=633936
4.27/4.52 nbUselessRevisions=374738 nbAssignments=3640 nbFailedAssignments=1142 nbBacktracks=708 nbVisitedNodes=5086
4.27/4.52 nbRestartNogoods=112 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=37.96 nbIEliminables=612.87
4.27/4.52 nbDEliminables=0 nbPEliminables=0
4.27/4.52 => wckTime=1.956 cpuTime=1.6 mem=33M836
4.27/4.52
4.27/4.52 global
4.27/4.52 nbConstraintChecks=1454434 nbPropagations=130820 nbRevisions=634547 nbUselessRevisions=374739
4.27/4.52 nbRestartNogoods=112 solvingWckTime=1.958 solvingCpuTime=1.6 expiredTime=no totalExploration=no
4.27/4.52 nbFoundSolutions=1 firstSolutionCpuTime=3.42 globalCpuTime=3.47
4.27/4.52 => wckTime=4.273 cpuTime=3.43 mem=33M836
4.27/4.52
4.27/4.52 s SATISFIABLE
4.27/4.52 v 156 394 30 268 394 156 16 254 254 16 408 170 408 170 652 414 652 414 268 30 72 310 394 156 394 156 30 268 128 366 652 414 254 16 30 268 240 478 414 652 296 58 16 254 254 16 652 414 156 394 408 170 30 268 366 128 652 414 44 282 16 254 652 414 58 296 282 44 652 414 142 380 156 394 414 652 254 16 254 16 394 156 652 414 254 16 380 142 380 142 156 394 86 324 268 30 16 254 156 394 414 652 282 44 414 652 44 282 366 128 268 30 72 310 16 254 408 170 652 414 268 30 394 156 414 652 30 268 240 478 128 366 16 254 652 414 408 170 380 142 16 254 16 254 394 156 268 30 268 30 30 268 254 16 652 414 156 394 268 30 128 366 414 652 156 394 142 380 414 652 156 394 652 414 268 30 414 652 268 30 58 296 414 652 414 652 142 380 128 366 30 268 414 652 366 128 100 338 652 414 652 414 30 268 414 652 380 142 30 268 72 310 30 268 142 380 268 30 156 394 142 380 268 30 156 394 268 30 380 142 58 296 310 72 414 652 44 282 652 414 44 282 254 16 254 16 16 254 652 414 254 16 240 478 394 156 30 268 30 268 114 352 652 414 268 30 72 310 366 128 394 156 380 142 268 30 282 44 414 652 414 652 30 268 44 282 296 58 282 44 652 414 338 100 142 380 16 254 652 414 142 380 352 114 128 366 414 652 30 268 268 30 240 478 16 254 414 652 240 478 652 414 16 254 652 414 652 414 296 58 170 408 380 142 394 156 240 478 142 380 156 394 170 408 338 100 394 156 100 338 156 394 414 652 156 394 414 652 240 478 352 114 394 156 254 16 652 414 268 30 408 170 240 478 16 254 30 268 254 16 268 30 254 16 156 394 652 414 156 394 128 366 156 394 16 254 30 268 86 324 414 652 366 128 142 380 254 16 142 380 128 366 366 128 128 366 296 58 30 268 478 240 282 44 282 44 142 380 414 652 268 30 100 338 86 324 394 156 254 16 380 142 72 310 366 128 366 128 142 380 652 414 16 254 268 30 366 128 380 142 128 366 394 156 394 156 652 414 156 394 44 282 240 478 30 268 170 408 114 352 414 652 310 72 30 268 30 268 30 268 30 268 86 324 652 414 30 268 652 414 352 114 394 156 30 268 254 16 30 268 16 254 394 156 652 414 72 310 30 268 414 652 30 268 142 380 282 44 86 324 268 30 408 170 652 414 652 414 394 156 142 380 338 100 44 282 268 30 142 380 380 142 324 86 16 254 652 414 380 142 30 268 268 30 338 100 394 156 380 142 128 366 296 58 652 414 16 254 254 16 128 366 58 296 58 296 408 170 296 58 254 16 652 414 16 254 156 394 142 380 296 58 30 268 394 156 100 338 58 296 100 338 58 296 240 478 240 478 366 128 156 394 16 254 240 478 652 414 366 128 254 16 296 58 44 282 414 652 652 414 100 338 86 324 338 100 16 254 324 86 44 282 652 414 380 142 380 142 268 30 352 114 30 268 156 394 16 254 16 254 156 394 142 380 414 652 30 268 414 652
4.27/4.52 d NODES 3640
4.27/4.52 d CHECKS 1454434
4.27/4.52
4.27/4.52 totalWckTime=4.34 totalCpuTime=3.48
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096595-1247410399/watcher-2096595-1247410399 -o /tmp/evaluation-result-2096595-1247410399/solver-2096595-1247410399 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2096595-1247410399.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): 2000 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
[startup+0 s]
/proc/loadavg: 2.52 2.35 2.16 4/80 32462
/proc/meminfo: memFree=1633692/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=18576 CPUtime=0
/proc/32462/stat : 32462 (runsolver) R 32460 32462 29977 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28104616 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 256364834087 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/32462/statm: 4644 284 249 26 0 2626 0
[startup+0.012251 s]
/proc/loadavg: 2.52 2.35 2.16 4/80 32462
/proc/meminfo: memFree=1633692/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=1616 CPUtime=0
/proc/32462/stat : 32462 (java) D 32460 32462 29977 0 -1 0 317 0 0 0 0 0 0 0 21 0 1 0 28104616 1654784 126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/32462/statm: 404 126 100 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616
[startup+0.101684 s]
/proc/loadavg: 2.52 2.35 2.16 4/80 32462
/proc/meminfo: memFree=1633692/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=865980 CPUtime=0.09
/proc/32462/stat : 32462 (java) S 32460 32462 29977 0 -1 0 3737 0 1 0 7 2 0 0 21 0 9 0 28104616 886763520 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32462/statm: 216495 3205 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301708 s]
/proc/loadavg: 2.52 2.35 2.16 4/80 32462
/proc/meminfo: memFree=1633692/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=866380 CPUtime=0.28
/proc/32462/stat : 32462 (java) S 32460 32462 29977 0 -1 0 5987 0 1 0 25 3 0 0 21 0 9 0 28104616 887173120 5353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32462/statm: 216595 5353 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.70175 s]
/proc/loadavg: 2.52 2.35 2.16 4/80 32462
/proc/meminfo: memFree=1633692/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=867772 CPUtime=0.68
/proc/32462/stat : 32462 (java) S 32460 32462 29977 0 -1 0 9249 0 1 0 63 5 0 0 21 0 9 0 28104616 888598528 8603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32462/statm: 216943 8603 2037 9 0 211379 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867772
[startup+1.50183 s]
/proc/loadavg: 2.52 2.35 2.16 3/89 32471
/proc/meminfo: memFree=1598548/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=867772 CPUtime=1.48
/proc/32462/stat : 32462 (java) S 32460 32462 29977 0 -1 0 13600 0 1 0 133 15 0 0 21 0 9 0 28104616 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32462/statm: 216943 12951 2043 9 0 211379 0
[pid=32462/tid=32464] ppid=32460 vsize=867772 CPUtime=1.21
/proc/32462/task/32464/stat : 32464 (java) R 32460 32462 29977 0 -1 64 12166 0 1 0 108 13 0 0 25 0 9 0 28104618 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4126894643 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=867772 CPUtime=0
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 29977 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28104619 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=867772 CPUtime=0
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 29977 0 -1 64 11 0 0 0 0 0 0 0 24 0 9 0 28104619 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=867772 CPUtime=0
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 29977 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 28104619 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=867772 CPUtime=0
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 29977 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28104621 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=867772 CPUtime=0.24
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 29977 0 -1 64 736 0 0 0 24 0 0 0 16 0 9 0 28104621 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=867772 CPUtime=0
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 29977 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28104621 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=867772 CPUtime=0
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 29977 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28104621 888598528 12951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867772
[startup+3.103 s]
/proc/loadavg: 2.52 2.35 2.16 3/89 32471
/proc/meminfo: memFree=1575124/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=868208 CPUtime=3.06
/proc/32462/stat : 32462 (java) S 32460 32462 29977 0 -1 0 30187 492 1 0 274 28 3 1 21 0 9 0 28104616 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32462/statm: 217052 20472 2661 9 0 211488 0
[pid=32462/tid=32464] ppid=32460 vsize=868208 CPUtime=2.53
/proc/32462/task/32464/stat : 32464 (java) R 32460 32462 29977 0 -1 64 22929 492 1 0 225 24 3 1 25 0 9 0 28104618 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4127323646 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=868208 CPUtime=0.17
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 29977 0 -1 64 5436 492 0 0 12 1 3 1 16 0 9 0 28104619 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 29977 0 -1 64 20 492 0 0 0 0 3 1 16 0 9 0 28104619 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 29977 0 -1 64 9 492 0 0 0 0 3 1 15 0 9 0 28104619 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 29977 0 -1 64 2 492 0 0 0 0 3 1 25 0 9 0 28104621 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=868208 CPUtime=0.4
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 29977 0 -1 64 976 492 0 0 35 1 3 1 15 0 9 0 28104621 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 29977 0 -1 64 0 492 0 0 0 0 3 1 25 0 9 0 28104621 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 29977 0 -1 64 9 492 0 0 0 0 3 1 15 0 9 0 28104621 889044992 20472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868208
Solver just ended. Dumping a history of the last processes samples
[startup+3.92428 s]
/proc/loadavg: 2.52 2.35 2.16 3/89 32475
/proc/meminfo: memFree=1561812/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=868208 CPUtime=3.77
/proc/32462/stat : 32462 (java) S 32460 32462 29977 0 -1 0 30602 492 1 0 343 30 3 1 21 0 9 0 28104616 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32462/statm: 217052 20483 2661 9 0 211488 0
[pid=32462/tid=32464] ppid=32460 vsize=868208 CPUtime=3.16
/proc/32462/task/32464/stat : 32464 (java) R 32460 32462 29977 0 -1 64 23331 492 1 0 288 24 3 1 25 0 9 0 28104618 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4127327964 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=868208 CPUtime=0.22
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 29977 0 -1 64 5437 492 0 0 16 2 3 1 17 0 9 0 28104619 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 29977 0 -1 64 20 492 0 0 0 0 3 1 16 0 9 0 28104619 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 29977 0 -1 64 9 492 0 0 0 0 3 1 15 0 9 0 28104619 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 29977 0 -1 64 2 492 0 0 0 0 3 1 25 0 9 0 28104621 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=868208 CPUtime=0.42
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 29977 0 -1 64 988 492 0 0 37 1 3 1 15 0 9 0 28104621 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 29977 0 -1 64 0 492 0 0 0 0 3 1 25 0 9 0 28104621 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 29977 0 -1 64 9 492 0 0 0 0 3 1 15 0 9 0 28104621 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 868208
[startup+4.30212 s]
/proc/loadavg: 2.52 2.35 2.16 3/89 32475
/proc/meminfo: memFree=1561748/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=868208 CPUtime=4.08
/proc/32462/stat : 32462 (java) S 32460 32462 29977 0 -1 0 30798 492 1 0 374 30 3 1 21 0 9 0 28104616 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32462/statm: 217052 20483 2661 9 0 211488 0
[pid=32462/tid=32464] ppid=32460 vsize=868208 CPUtime=3.45
/proc/32462/task/32464/stat : 32464 (java) R 32460 32462 29977 0 -1 64 23527 492 1 0 316 25 3 1 25 0 9 0 28104618 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4126095963 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=868208 CPUtime=0.22
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 29977 0 -1 64 5437 492 0 0 16 2 3 1 16 0 9 0 28104619 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 29977 0 -1 64 20 492 0 0 0 0 3 1 16 0 9 0 28104619 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 29977 0 -1 64 9 492 0 0 0 0 3 1 15 0 9 0 28104619 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 29977 0 -1 64 2 492 0 0 0 0 3 1 25 0 9 0 28104621 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=868208 CPUtime=0.46
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 29977 0 -1 64 988 492 0 0 41 1 3 1 16 0 9 0 28104621 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 29977 0 -1 64 0 492 0 0 0 0 3 1 25 0 9 0 28104621 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 29977 0 -1 64 9 492 0 0 0 0 3 1 15 0 9 0 28104621 889044992 20483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 868208
[startup+4.50214 s]
/proc/loadavg: 2.52 2.35 2.16 3/89 32475
/proc/meminfo: memFree=1561748/2055920 swapFree=4192812/4192956
[pid=32462] ppid=32460 vsize=868208 CPUtime=4.27
/proc/32462/stat : 32462 (java) S 32460 32462 29977 0 -1 0 31059 492 1 0 393 30 3 1 21 0 9 0 28104616 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32462/statm: 217052 20486 2661 9 0 211488 0
[pid=32462/tid=32464] ppid=32460 vsize=868208 CPUtime=3.64
/proc/32462/task/32464/stat : 32464 (java) R 32460 32462 29977 0 -1 64 23785 492 1 0 335 25 3 1 25 0 9 0 28104618 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4127323611 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=868208 CPUtime=0.22
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 29977 0 -1 64 5437 492 0 0 16 2 3 1 16 0 9 0 28104619 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 29977 0 -1 64 20 492 0 0 0 0 3 1 16 0 9 0 28104619 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 29977 0 -1 64 9 492 0 0 0 0 3 1 15 0 9 0 28104619 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 29977 0 -1 64 2 492 0 0 0 0 3 1 25 0 9 0 28104621 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=868208 CPUtime=0.46
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 29977 0 -1 64 991 492 0 0 41 1 3 1 15 0 9 0 28104621 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 29977 0 -1 64 0 492 0 0 0 0 3 1 25 0 9 0 28104621 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=868208 CPUtime=0.04
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 29977 0 -1 64 9 492 0 0 0 0 3 1 15 0 9 0 28104621 889044992 20486 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 868208
Child status: 0
Real time (s): 4.54833
CPU time (s): 4.33434
CPU user time (s): 3.99839
CPU system time (s): 0.335948
CPU usage (%): 95.2951
Max. virtual memory (cumulated for all children) (KiB): 868208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.99839
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31688
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= 2046
involuntary context switches= 2230
runsolver used 0.06199 second user time and 0.13098 second system time
The end
Begin job on node90 at 2009-07-12 16:53:19
IDJOB=2096595
IDBENCH=56486
IDSOLVER=773
FILE ID=node90/2096595-1247410399
PBS_JOBID= 9510472
Free space on /tmp= 66296 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rlfapGraphsMod/normalized-graph8-f10.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2096595-1247410399/watcher-2096595-1247410399 -o /tmp/evaluation-result-2096595-1247410399/solver-2096595-1247410399 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2096595-1247410399.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c887ce37f5a1698918527bda6728d1cf
RANDOM SEED=1300339738
node90.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.212
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.212
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1634108 kB
Buffers: 65756 kB
Cached: 234328 kB
SwapCached: 0 kB
Active: 211328 kB
Inactive: 144492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1634108 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2844 kB
Writeback: 0 kB
Mapped: 69912 kB
Slab: 51140 kB
Committed_AS: 1017352 kB
PageTables: 1916 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= 66296 MiB
End job on node90 at 2009-07-12 16:53:24