0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=esac.xml
0.26/0.31
0.26/0.31 instance
0.26/0.31 name=HOME/instance-1048689-1215043673.xml
0.26/0.34
0.26/0.34 domains being loaded...
0.26/0.35
0.26/0.35 variables being loaded...
0.26/0.39 nbVariables=105 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=315
0.26/0.39 => wckTime=0.14 cpuTime=0.09 mem=7M919
0.26/0.39
0.26/0.39 predicates being loaded...
0.36/0.45
0.36/0.45 constraints being loaded...
0.73/0.83 nbConstraints=469 nbGlobalConstraints=14 nbConflictsStructures=1 nbSharedConflictsStructures=454
0.73/0.83 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=454 minDegree=14 maxDegree=17
0.73/0.83 minArity=3 avgArity=3.69 maxArity=26 nbGenerators=14 nbFusions=0 symmetryWckTime=0.087 symmetryCpuTime=0.05
0.73/0.83 => wckTime=0.583 cpuTime=0.4 mem=21M581
0.73/0.89
0.73/0.89 solver IterativeSystematicSolver being built...
0.86/0.99
0.86/0.99 INFO : Forward propagation technique limited
0.95/1.05 => wckTime=0.805 cpuTime=0.54 mem=24M212
1.06/1.12
1.06/1.12 preprocessing
1.06/1.12 nbConstraintChecks=1041 nbValidityChecks=187 nbPropagations=559 nbRevisions=456 nbUselessRevisions=124
1.06/1.12 nbSingletonTests=119 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.06/1.12 detectedInconsistency=no
1.06/1.12 => wckTime=0.061 cpuTime=0.03 mem=24M212
1.16/1.24
1.16/1.24 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=25M237)
48.91/49.25
48.91/49.25 search
48.91/49.25 run=21 nbConstraintChecks=17801374 nbValidityChecks=21513648 minDepth=5 maxDepth=105 nbPropagations=7637018
48.91/49.25 nbRevisions=25133553 nbUselessRevisions=19555552 nbAssignments=514502 nbFailedAssignments=140600
48.91/49.25 nbInferredBacktracks=2 nbBacktracks=373343 nbVisitedNodes=751428 nbRestartNogoods=159 nbFoundSolutions=1
48.91/49.25 nbSEliminables=0 nbREliminables=58.43 nbIEliminables=21.49 nbDEliminables=0 nbPEliminables=0
48.91/49.25 => wckTime=48.192 cpuTime=47.85 mem=26M212
48.91/49.25
48.91/49.25 global
48.91/49.25 nbConstraintChecks=17802415 nbValidityChecks=21513835 nbPropagations=7637577 nbRevisions=25134009
48.91/49.25 nbUselessRevisions=19555676 nbRestartNogoods=159 solvingWckTime=48.194 solvingCpuTime=47.85 expiredTime=no
48.91/49.25 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=48.39 globalCpuTime=48.43
48.91/49.25 => wckTime=49.001 cpuTime=48.39 mem=26M212
48.91/49.25
48.91/49.25 s SATISFIABLE
48.91/49.25 v 0 0 0 0 0 1 1 1 1 1 2 2 2 2 1 1 2 2 0 0 1 1 2 0 0 2 2 2 1 2 1 2 0 0 1 0 1 0 2 2 1 0 1 0 2 1 1 2 2 0 1 2 1 1 0 0 2 0 1 0 1 0 2 1 0 2 2 0 1 2 2 0 0 1 2 0 2 0 0 2 2 1 2 0 2 0 1 0 2 1 2 2 1 1 2 0 2 1 1 1 1 0 0 1 0
48.91/49.25 d NODES 514502
48.91/49.25 d CHECKS 17802415
48.91/49.25
48.91/49.25 totalWckTime=49.066 totalCpuTime=48.43
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048689-1215043673/watcher-1048689-1215043673 -o /tmp/evaluation-result-1048689-1215043673/solver-1048689-1215043673 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1048689-1215043673.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.27 2.10 1.97 3/82 24482
/proc/meminfo: memFree=1912440/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=1616 CPUtime=0
/proc/24482/stat : 24482 (java) D 24480 24482 23778 0 -1 0 177 0 0 0 0 0 0 0 20 0 1 0 1983342400 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 0 0 0
/proc/24482/statm: 404 145 119 9 0 46 0
[startup+0.106444 s]
/proc/loadavg: 2.27 2.10 1.97 3/82 24482
/proc/meminfo: memFree=1912440/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=865884 CPUtime=0.1
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 3843 0 1 0 8 2 0 0 18 0 9 0 1983342400 886665216 3291 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216471 3291 1740 9 0 211026 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.201452 s]
/proc/loadavg: 2.27 2.10 1.97 3/82 24482
/proc/meminfo: memFree=1912440/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=866044 CPUtime=0.19
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 4668 0 1 0 16 3 0 0 18 0 9 0 1983342400 886829056 4095 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216511 4095 1861 9 0 211059 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866044
[startup+0.301459 s]
/proc/loadavg: 2.27 2.10 1.97 3/82 24482
/proc/meminfo: memFree=1912440/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=866288 CPUtime=0.26
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 5730 0 1 0 23 3 0 0 18 0 9 0 1983342400 887078912 5115 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216572 5115 1943 9 0 211100 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866288
[startup+0.701501 s]
/proc/loadavg: 2.27 2.10 1.97 3/82 24482
/proc/meminfo: memFree=1912440/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867080 CPUtime=0.66
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 8770 0 1 0 59 7 0 0 18 0 9 0 1983342400 887889920 8130 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216770 8130 2008 9 0 211276 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867080
[startup+1.50258 s]
/proc/loadavg: 2.25 2.09 1.97 3/91 24495
/proc/meminfo: memFree=1876896/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=1.45
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18361 340 1 0 131 12 2 0 18 0 9 0 1983342400 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11630 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=1.1
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13189 340 1 0 99 9 2 0 25 0 9 0 1983342401 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4126952191 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 17 0 9 0 1983342402 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.29
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 759 340 0 0 27 0 2 0 16 0 9 0 1983342404 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 8 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11630 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867536
[startup+3.10273 s]
/proc/loadavg: 2.25 2.09 1.97 3/91 24495
/proc/meminfo: memFree=1875552/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=3.04
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18373 340 1 0 290 12 2 0 18 0 9 0 1983342400 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11640 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=2.69
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13196 340 1 0 258 9 2 0 25 0 9 0 1983342401 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4126955459 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 17 0 9 0 1983342402 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 764 340 0 0 28 0 2 0 15 0 9 0 1983342404 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 8 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867536
[startup+6.30103 s]
/proc/loadavg: 2.23 2.09 1.97 3/91 24495
/proc/meminfo: memFree=1875232/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=6.22
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18393 340 1 0 608 12 2 0 18 0 9 0 1983342400 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11646 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=5.86
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13201 340 1 0 575 9 2 0 25 0 9 0 1983342401 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4126850800 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 15 0 9 0 1983342404 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) R 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11646 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867536
[startup+12.7016 s]
/proc/loadavg: 2.21 2.09 1.97 3/91 24495
/proc/meminfo: memFree=1875048/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=12.59
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18396 340 1 0 1245 12 2 0 18 0 9 0 1983342400 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11648 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=12.23
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13204 340 1 0 1212 9 2 0 25 0 9 0 1983342401 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4126984135 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 867536
[startup+25.5028 s]
/proc/loadavg: 2.16 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1875056/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=25.33
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18398 340 1 0 2519 12 2 0 18 0 9 0 1983342400 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11649 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=24.97
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13206 340 1 0 2486 9 2 0 25 0 9 0 1983342401 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4126955459 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 867536
Solver just ended. Dumping a history of the last processes samples
[startup+25.6029 s]
/proc/loadavg: 2.16 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1875056/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=25.43
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18398 340 1 0 2529 12 2 0 18 0 9 0 1983342400 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11649 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=25.07
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13206 340 1 0 2496 9 2 0 25 0 9 0 1983342401 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4127067671 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11649 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 867536
[startup+38.4021 s]
/proc/loadavg: 2.14 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1875056/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=38.17
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18399 340 1 0 3803 12 2 0 18 0 9 0 1983342400 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11650 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=37.8
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13207 340 1 0 3769 9 2 0 25 0 9 0 1983342401 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4127027308 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.17
Current children cumulated vsize (KiB) 867536
[startup+44.8027 s]
/proc/loadavg: 2.12 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1875056/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=44.54
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18399 340 1 0 4440 12 2 0 18 0 9 0 1983342400 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11650 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=44.18
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13207 340 1 0 4407 9 2 0 25 0 9 0 1983342401 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4126951669 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.54
Current children cumulated vsize (KiB) 867536
[startup+46.4028 s]
/proc/loadavg: 2.11 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1874992/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=46.13
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18399 340 1 0 4599 12 2 0 18 0 9 0 1983342400 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11650 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=45.77
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13207 340 1 0 4566 9 2 0 25 0 9 0 1983342401 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4126950736 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.13
Current children cumulated vsize (KiB) 867536
[startup+48.002 s]
/proc/loadavg: 2.11 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1874992/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=47.72
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18399 340 1 0 4758 12 2 0 18 0 9 0 1983342400 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11650 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=47.36
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13207 340 1 0 4725 9 2 0 25 0 9 0 1983342401 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4127015692 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.72
Current children cumulated vsize (KiB) 867536
[startup+48.801 s]
/proc/loadavg: 2.11 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1874992/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=48.52
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18399 340 1 0 4838 12 2 0 18 0 9 0 1983342400 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11650 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=48.15
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13207 340 1 0 4804 9 2 0 25 0 9 0 1983342401 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4126998634 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.52
Current children cumulated vsize (KiB) 867536
[startup+49.2011 s]
/proc/loadavg: 2.11 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1874992/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=867536 CPUtime=48.91
/proc/24482/stat : 24482 (java) S 24480 24482 23778 0 -1 0 18399 340 1 0 4877 12 2 0 18 0 9 0 1983342400 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24482/statm: 216884 11650 2632 9 0 211390 0
[pid=24482/tid=24484] ppid=24480 vsize=867536 CPUtime=48.55
/proc/24482/task/24484/stat : 24484 (java) R 24480 24482 23778 0 -1 64 13207 340 1 0 4844 9 2 0 25 0 9 0 1983342401 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4126983664 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24485] ppid=24480 vsize=867536 CPUtime=0.06
/proc/24482/task/24485/stat : 24485 (java) S 24480 24482 23778 0 -1 64 3573 340 0 0 4 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24486] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24486/stat : 24486 (java) S 24480 24482 23778 0 -1 64 16 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24487] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24487/stat : 24487 (java) S 24480 24482 23778 0 -1 64 10 340 0 0 0 0 2 0 16 0 9 0 1983342402 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24488] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24488/stat : 24488 (java) S 24480 24482 23778 0 -1 64 0 340 0 0 0 0 2 0 18 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24489] ppid=24480 vsize=867536 CPUtime=0.3
/proc/24482/task/24489/stat : 24489 (java) S 24480 24482 23778 0 -1 64 768 340 0 0 28 0 2 0 16 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24482/tid=24490] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24490/stat : 24490 (java) S 24480 24482 23778 0 -1 64 2 340 0 0 0 0 2 0 19 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24482/tid=24491] ppid=24480 vsize=867536 CPUtime=0.02
/proc/24482/task/24491/stat : 24491 (java) S 24480 24482 23778 0 -1 64 19 340 0 0 0 0 2 0 15 0 9 0 1983342404 888356864 11650 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.91
Current children cumulated vsize (KiB) 867536
[startup+49.3011 s]
/proc/loadavg: 2.11 2.08 1.97 3/91 24495
/proc/meminfo: memFree=1874992/2055920 swapFree=4179560/4192956
[pid=24482] ppid=24480 vsize=0 CPUtime=48.97
/proc/24482/stat : 24482 (java) Z 24480 24482 23778 0 -1 12 18527 340 1 0 4883 12 2 0 16 0 2 0 1983342400 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24482/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 48.97
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 49.3052
CPU time (s): 48.9996
CPU user time (s): 48.8576
CPU system time (s): 0.141978
CPU usage (%): 99.38
Max. virtual memory (cumulated for all children) (KiB): 867536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.8576
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18867
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= 2682
involuntary context switches= 3190
runsolver used 0.072988 second user time and 0.162975 second system time
The end
Begin job on node8 at 2008-07-03 02:07:53
IDJOB=1048689
IDBENCH=54435
IDSOLVER=364
FILE ID=node8/1048689-1215043673
PBS_JOBID= 7875158
Free space on /tmp= 66552 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/ramsey3/normalized-ramsey-15-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048689-1215043673/watcher-1048689-1215043673 -o /tmp/evaluation-result-1048689-1215043673/solver-1048689-1215043673 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1048689-1215043673.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4fb918a969f292f855028fa7ee9c72ae
RANDOM SEED=1436999925
node8.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.222
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.222
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: 1912920 kB
Buffers: 4536 kB
Cached: 57992 kB
SwapCached: 6492 kB
Active: 67740 kB
Inactive: 22572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1912920 kB
SwapTotal: 4192956 kB
SwapFree: 4179560 kB
Dirty: 2100 kB
Writeback: 0 kB
Mapped: 44256 kB
Slab: 37732 kB
Committed_AS: 3259596 kB
PageTables: 1832 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66548 MiB
End job on node8 at 2008-07-03 02:08:43