0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1088576-1215247476.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=95 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=475
0.28/0.40 => wckTime=0.155 cpuTime=0.12 mem=7M919
0.28/0.40
0.28/0.40 predicates being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
0.86/0.95 nbConstraints=757 nbGlobalConstraints=2 nbConvertedConstraints=755 nbConvertConstraintsChecks=50
0.86/0.95 nbExtensionStructures=2 nbSharedExtensionStructures=753 nbConflictsStructures=2 nbSharedConflictsStructures=753
0.86/0.95 nbSharedBinaryRepresentations=5 minDegree=7 maxDegree=47 minArity=2 avgArity=2.16 maxArity=64 nbGenerators=2
0.86/0.95 nbFusions=1 symmetryWckTime=0.102 symmetryCpuTime=0.05
0.86/0.95 => wckTime=0.71 cpuTime=0.48 mem=18M697
0.97/1.01
0.97/1.01 solver IterativeSystematicSolver being built...
0.97/1.08
0.97/1.08 INFO : Forward propagation technique limited
1.07/1.15 => wckTime=0.91 cpuTime=0.59 mem=20M322
1.17/1.21
1.17/1.21 preprocessing
1.17/1.21 nbConstraintChecks=7718 nbPropagations=1050 nbRevisions=2221 nbUselessRevisions=1177 nbSingletonTests=107
1.17/1.21 nbEffectiveSingletonTests=0 nbACRemovals=3 nbFoundSingletons=0 nbRemovedValues=3 nbRemovedTuples=10
1.17/1.21 detectedInconsistency=no
1.17/1.21 => wckTime=0.055 cpuTime=0.03 mem=21M362
1.27/1.36
1.27/1.36 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M403)
40.33/40.80
40.33/40.80 search
40.33/40.80 run=20 nbConstraintChecks=56460443 minDepth=0 maxDepth=22 nbPropagations=12153697 nbRevisions=87963464
40.33/40.80 nbUselessRevisions=59190965 nbAssignments=229679 nbFailedAssignments=73300 nbInferredBacktracks=2178
40.33/40.80 nbBacktracks=156180 nbVisitedNodes=368914 nbRestartNogoods=135 nbSEliminables=4.7 nbREliminables=1.48
40.33/40.80 nbIEliminables=2.74 nbDEliminables=0 nbPEliminables=0
40.43/40.80 => wckTime=39.645 cpuTime=39.22 mem=22M403
40.43/40.80
40.43/40.80 global
40.43/40.80 nbConstraintChecks=56468161 nbPropagations=12154747 nbRevisions=87965685 nbUselessRevisions=59192142
40.43/40.80 nbRestartNogoods=135 solvingWckTime=39.647 solvingCpuTime=39.22 expiredTime=no totalExploration=yes
40.43/40.80 nbFoundSolutions=0 globalCpuTime=39.87
40.43/40.80 => wckTime=40.56 cpuTime=39.82 mem=22M403
40.43/40.80
40.43/40.80 s UNSATISFIABLE
40.43/40.80 d NODES 229679
40.43/40.80 d CHECKS 56468161
40.43/40.80
40.43/40.80 totalWckTime=40.62 totalCpuTime=39.88
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088576-1215247476/watcher-1088576-1215247476 -o /tmp/evaluation-result-1088576-1215247476/solver-1088576-1215247476 -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-1088576-1215247476.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: 1.92 1.98 1.99 4/73 18406
/proc/meminfo: memFree=1849504/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=1616 CPUtime=0
/proc/18406/stat : 18406 (java) R 18404 18406 14993 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2003722441 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/18406/statm: 404 148 122 9 0 46 0
[startup+0.0654199 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18406
/proc/meminfo: memFree=1849504/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=864076 CPUtime=0.05
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 2802 0 1 0 4 1 0 0 18 0 9 0 2003722441 884813824 2340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 216019 2340 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.101426 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18406
/proc/meminfo: memFree=1849504/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=865884 CPUtime=0.09
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 3776 0 1 0 7 2 0 0 18 0 9 0 2003722441 886665216 3227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 216471 3227 1711 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301451 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18406
/proc/meminfo: memFree=1849504/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=866196 CPUtime=0.28
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 5618 0 1 0 25 3 0 0 18 0 9 0 2003722441 886984704 5032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 216549 5032 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701496 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18406
/proc/meminfo: memFree=1849504/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=867684 CPUtime=0.68
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 8041 0 1 0 63 5 0 0 18 0 9 0 2003722441 888508416 7401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 216921 7401 2011 9 0 211427 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867684
[startup+1.50159 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 18419
/proc/meminfo: memFree=1822296/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868332 CPUtime=1.46
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 16957 335 1 0 133 12 1 0 18 0 9 0 2003722441 889171968 10886 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217083 10886 2631 9 0 211589 0
[pid=18406/tid=18408] ppid=18404 vsize=868332 CPUtime=1.1
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12468 335 1 0 100 9 1 0 24 0 9 0 2003722442 889171968 10886 996147200 134512640 134550740 4294955968 18446744073709551615 4127056452 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868332 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 17 0 9 0 2003722444 889171968 10886 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868332 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889171968 10886 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868332 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889171968 10886 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868332 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889171968 10886 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868332 CPUtime=0.29
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 949 335 0 0 27 1 1 0 15 0 9 0 2003722446 889171968 10886 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868332 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889171968 10886 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868332 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 15 0 9 0 2003722446 889171968 10886 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) 868332
[startup+3.10177 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815960/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=3.05
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 16987 335 1 0 292 12 1 0 18 0 9 0 2003722441 889307136 10914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10914 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=2.66
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12476 335 1 0 256 9 1 0 25 0 9 0 2003722442 889307136 10914 996147200 134512640 134550740 4294955968 18446744073709551615 4127047656 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 17 0 9 0 2003722444 889307136 10914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 971 335 0 0 31 1 1 0 15 0 9 0 2003722446 889307136 10914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10914 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) 868464
[startup+6.30215 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815832/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=6.22
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17022 335 1 0 609 12 1 0 18 0 9 0 2003722441 889307136 10917 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10917 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=5.83
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12480 335 1 0 573 9 1 0 25 0 9 0 2003722442 889307136 10917 996147200 134512640 134550740 4294955968 18446744073709551615 4127043744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 17 0 9 0 2003722444 889307136 10917 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10917 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10917 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10917 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10917 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10917 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10917 996147200 134512640 134550740 4294955968 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) 868464
[startup+12.7019 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815640/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=12.57
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17025 335 1 0 1244 12 1 0 18 0 9 0 2003722441 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10919 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=12.17
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12483 335 1 0 1207 9 1 0 25 0 9 0 2003722442 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4127049116 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 17 0 9 0 2003722444 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 868464
[startup+25.5014 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815640/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=25.26
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17027 335 1 0 2513 12 1 0 18 0 9 0 2003722441 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10920 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=24.87
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12485 335 1 0 2477 9 1 0 25 0 9 0 2003722442 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4127155173 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 868464
Solver just ended. Dumping a history of the last processes samples
[startup+31.9062 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815576/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=31.61
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17027 335 1 0 3148 12 1 0 18 0 9 0 2003722441 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10920 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=31.21
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12485 335 1 0 3111 9 1 0 25 0 9 0 2003722442 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4126375725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.61
Current children cumulated vsize (KiB) 868464
[startup+35.1015 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815576/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=34.78
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17027 335 1 0 3465 12 1 0 18 0 9 0 2003722441 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10920 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=34.39
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12485 335 1 0 3429 9 1 0 25 0 9 0 2003722442 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4127123905 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10920 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.78
Current children cumulated vsize (KiB) 868464
[startup+38.3019 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815576/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=37.95
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17028 335 1 0 3782 12 1 0 18 0 9 0 2003722441 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10921 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=37.56
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12486 335 1 0 3746 9 1 0 25 0 9 0 2003722442 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4127046558 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.95
Current children cumulated vsize (KiB) 868464
[startup+39.9021 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815576/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=39.53
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17028 335 1 0 3940 12 1 0 18 0 9 0 2003722441 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10921 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=39.14
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12486 335 1 0 3904 9 1 0 25 0 9 0 2003722442 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4127113730 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 39.53
Current children cumulated vsize (KiB) 868464
[startup+40.3021 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815576/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=39.93
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17028 335 1 0 3980 12 1 0 18 0 9 0 2003722441 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10921 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=39.54
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12486 335 1 0 3944 9 1 0 25 0 9 0 2003722442 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4127053164 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (KiB) 868464
[startup+40.7062 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815576/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=40.33
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17028 335 1 0 4020 12 1 0 18 0 9 0 2003722441 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10921 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=39.94
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12486 335 1 0 3984 9 1 0 25 0 9 0 2003722442 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4126375725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.33
Current children cumulated vsize (KiB) 868464
[startup+40.8022 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 18419
/proc/meminfo: memFree=1815576/2055920 swapFree=4179968/4192956
[pid=18406] ppid=18404 vsize=868464 CPUtime=40.43
/proc/18406/stat : 18406 (java) S 18404 18406 14993 0 -1 0 17031 335 1 0 4030 12 1 0 18 0 9 0 2003722441 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18406/statm: 217116 10924 2631 9 0 211622 0
[pid=18406/tid=18408] ppid=18404 vsize=868464 CPUtime=40.03
/proc/18406/task/18408/stat : 18408 (java) R 18404 18406 14993 0 -1 64 12489 335 1 0 3993 9 1 0 25 0 9 0 2003722442 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18409] ppid=18404 vsize=868464 CPUtime=0.05
/proc/18406/task/18409/stat : 18409 (java) S 18404 18406 14993 0 -1 64 2699 335 0 0 4 0 1 0 16 0 9 0 2003722444 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18410] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18410/stat : 18410 (java) S 18404 18406 14993 0 -1 64 16 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18411] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18411/stat : 18411 (java) S 18404 18406 14993 0 -1 64 12 335 0 0 0 0 1 0 16 0 9 0 2003722444 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18412] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18412/stat : 18412 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 18 0 9 0 2003722446 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18413] ppid=18404 vsize=868464 CPUtime=0.33
/proc/18406/task/18413/stat : 18413 (java) S 18404 18406 14993 0 -1 64 973 335 0 0 31 1 1 0 16 0 9 0 2003722446 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18414] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18414/stat : 18414 (java) S 18404 18406 14993 0 -1 64 1 335 0 0 0 0 1 0 19 0 9 0 2003722446 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18406/tid=18415] ppid=18404 vsize=868464 CPUtime=0.01
/proc/18406/task/18415/stat : 18415 (java) S 18404 18406 14993 0 -1 64 30 335 0 0 0 0 1 0 15 0 9 0 2003722446 889307136 10924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.43
Current children cumulated vsize (KiB) 868464
Child status: 0
Real time (s): 40.8435
CPU time (s): 40.4578
CPU user time (s): 40.3199
CPU system time (s): 0.137979
CPU usage (%): 99.0559
Max. virtual memory (cumulated for all children) (KiB): 868464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.3199
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17480
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= 2133
involuntary context switches= 2997
runsolver used 0.055991 second user time and 0.141978 second system time
The end
Begin job on node11 at 2008-07-05 10:44:36
IDJOB=1088576
IDBENCH=58090
IDSOLVER=364
FILE ID=node11/1088576-1215247476
PBS_JOBID= 7881826
Free space on /tmp= 66556 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/graphColoring/myciel/normalized-myciel6-5.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-1088576-1215247476/watcher-1088576-1215247476 -o /tmp/evaluation-result-1088576-1215247476/solver-1088576-1215247476 -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-1088576-1215247476.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 847ad0b91d45ff24c9b9b595db8ec3bf
RANDOM SEED=695288280
node11.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.224
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.224
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: 1849984 kB
Buffers: 9304 kB
Cached: 129792 kB
SwapCached: 7036 kB
Active: 75004 kB
Inactive: 78872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1849984 kB
SwapTotal: 4192956 kB
SwapFree: 4179968 kB
Dirty: 2108 kB
Writeback: 0 kB
Mapped: 21456 kB
Slab: 37348 kB
Committed_AS: 3373416 kB
PageTables: 1824 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= 66552 MiB
End job on node11 at 2008-07-05 10:45:17