0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1060484-1215126924.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.35 nbVariables=29 nbDomainTypes=2 minDomainSize=14 maxDomainSize=15 nbTotalValues=421
0.28/0.35 => wckTime=0.102 cpuTime=0.09 mem=7M919
0.28/0.35
0.28/0.35 predicates being loaded...
0.37/0.41
0.37/0.41 constraints being loaded...
0.57/0.62 nbConstraints=213 nbGlobalConstraints=3 nbConvertedConstraints=196 nbConvertConstraintsChecks=3796
0.57/0.62 nbExtensionStructures=3 nbSharedExtensionStructures=193 nbConflictsStructures=4 nbSharedConflictsStructures=206
0.57/0.62 nbSharedBinaryRepresentations=29 nbEvaluationManagers=1 nbSharedEvaluationManagers=13 minDegree=16 maxDegree=18
0.57/0.62 minArity=2 avgArity=2.31 maxArity=28 nbGenerators=1 nbFusions=1 symmetryWckTime=0.06 symmetryCpuTime=0.03
0.57/0.62 nbCliques=2
0.57/0.62 => wckTime=0.378 cpuTime=0.29 mem=14M804
0.57/0.67
0.57/0.67 solver IterativeSystematicSolver being built...
0.67/0.74
0.67/0.74 INFO : Forward propagation technique limited
0.77/0.80 => wckTime=0.558 cpuTime=0.41 mem=20M661
0.77/0.89
0.77/0.89 preprocessing
0.77/0.89 nbConstraintChecks=104994 nbValidityChecks=13496 nbPropagations=774 nbRevisions=1868 nbUselessRevisions=990
0.77/0.89 nbSingletonTests=45 nbEffectiveSingletonTests=0 nbACRemovals=2 nbFoundSingletons=0 nbRemovedValues=2
0.77/0.89 nbRemovedTuples=105 detectedInconsistency=no
0.77/0.89 => wckTime=0.083 cpuTime=0.06 mem=20M661
0.97/1.06
0.97/1.06 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M669)
64.65/65.10
64.65/65.10 search
64.65/65.10 run=21 nbConstraintChecks=129040060 nbValidityChecks=28627349 minDepth=4 maxDepth=29 nbPropagations=13532634
64.65/65.10 nbRevisions=49898589 nbUselessRevisions=28579682 nbAssignments=342327 nbFailedAssignments=116544
64.65/65.10 nbBacktracks=225515 nbVisitedNodes=549323 nbRestartNogoods=215 nbFoundSolutions=1 nbSEliminables=0
64.75/65.10 nbREliminables=0.72 nbIEliminables=20.8 nbDEliminables=0 nbPEliminables=0
64.75/65.10 => wckTime=64.292 cpuTime=63.88 mem=21M669
64.75/65.10
64.75/65.10 global
64.75/65.10 nbConstraintChecks=129145054 nbValidityChecks=28640845 nbPropagations=13533408 nbRevisions=49900457
64.75/65.10 nbUselessRevisions=28580672 nbRestartNogoods=215 solvingWckTime=64.294 solvingCpuTime=63.88 expiredTime=no
64.75/65.10 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=64.29 globalCpuTime=64.32
64.75/65.10 => wckTime=64.853 cpuTime=64.29 mem=21M669
64.75/65.10
64.75/65.10 s SATISFIABLE
64.75/65.10 v 6 11 4 12 2 8 5 7 3 14 0 13 1 10 9 4 6 7 9 5 2 1 3 10 13 12 11 8 0
64.75/65.10 d NODES 342327
64.75/65.10 d CHECKS 129145054
64.75/65.10
64.75/65.10 totalWckTime=64.919 totalCpuTime=64.32
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060484-1215126924/watcher-1060484-1215126924 -o /tmp/evaluation-result-1060484-1215126924/solver-1060484-1215126924 -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-1060484-1215126924.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.00 1.98 1.88 3/88 32331
/proc/meminfo: memFree=1813384/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=18572 CPUtime=0
/proc/32331/stat : 32331 (runsolver) R 32329 32331 31868 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 124372999 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 265674091815 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32331/statm: 4643 292 257 25 0 2626 0
[startup+0.0907871 s]
/proc/loadavg: 2.00 1.98 1.88 3/88 32331
/proc/meminfo: memFree=1813384/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=865884 CPUtime=0.07
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 3620 0 1 0 5 2 0 0 18 0 9 0 124372999 886665216 3108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216471 3108 1667 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865884
[startup+0.101791 s]
/proc/loadavg: 2.00 1.98 1.88 3/88 32331
/proc/meminfo: memFree=1813384/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=865884 CPUtime=0.08
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 3693 0 1 0 6 2 0 0 18 0 9 0 124372999 886665216 3168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216471 3168 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301816 s]
/proc/loadavg: 2.00 1.98 1.88 3/88 32331
/proc/meminfo: memFree=1813384/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=866284 CPUtime=0.28
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 5902 0 1 0 24 4 0 0 18 0 9 0 124372999 887074816 5276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216571 5276 1954 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701854 s]
/proc/loadavg: 2.00 1.98 1.88 3/88 32331
/proc/meminfo: memFree=1813384/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867724 CPUtime=0.67
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 11957 290 1 0 60 7 0 0 18 0 9 0 124372999 888549376 8519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216931 8519 2628 9 0 211437 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867724
[startup+1.50194 s]
/proc/loadavg: 2.00 1.98 1.88 3/97 32344
/proc/meminfo: memFree=1781184/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=1.47
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15841 290 1 0 138 9 0 0 18 0 9 0 124372999 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10588 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=1.2
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12038 290 1 0 113 7 0 0 25 0 9 0 124373001 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4126798695 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.2
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 712 290 0 0 20 0 0 0 16 0 9 0 124373004 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10588 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867848
[startup+3.10113 s]
/proc/loadavg: 2.00 1.98 1.88 3/97 32344
/proc/meminfo: memFree=1780928/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=3.06
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15854 290 1 0 297 9 0 0 18 0 9 0 124372999 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10600 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=2.78
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12043 290 1 0 271 7 0 0 25 0 9 0 124373001 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4126796873 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 17 0 9 0 124373002 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.21
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 720 290 0 0 21 0 0 0 16 0 9 0 124373004 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10600 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867848
[startup+6.30249 s]
/proc/loadavg: 2.00 1.98 1.88 3/97 32344
/proc/meminfo: memFree=1780736/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=6.24
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15875 290 1 0 615 9 0 0 18 0 9 0 124372999 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10603 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=5.96
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12048 290 1 0 589 7 0 0 17 0 9 0 124373001 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4126821283 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.21
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 721 290 0 0 21 0 0 0 16 0 9 0 124373004 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10603 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867848
[startup+12.7022 s]
/proc/loadavg: 2.00 1.98 1.88 3/97 32344
/proc/meminfo: memFree=1780560/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=12.61
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15880 290 1 0 1252 9 0 0 18 0 9 0 124372999 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10605 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=12.33
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12051 290 1 0 1226 7 0 0 25 0 9 0 124373001 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4126678752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 723 290 0 0 22 0 0 0 15 0 9 0 124373004 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) R 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10605 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867848
[startup+25.5017 s]
/proc/loadavg: 2.00 1.98 1.89 3/97 32344
/proc/meminfo: memFree=1780496/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=25.35
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15893 290 1 0 2526 9 0 0 18 0 9 0 124372999 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10609 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=25.06
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12055 290 1 0 2499 7 0 0 25 0 9 0 124373001 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4126687810 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 732 290 0 0 22 0 0 0 16 0 9 0 124373004 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867848
[startup+51.1015 s]
/proc/loadavg: 2.00 1.98 1.89 3/97 32344
/proc/meminfo: memFree=1780432/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=50.82
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15896 290 1 0 5073 9 0 0 18 0 9 0 124372999 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10611 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=50.53
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12058 290 1 0 5046 7 0 0 25 0 9 0 124373001 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4126692440 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 732 290 0 0 22 0 0 0 16 0 9 0 124373004 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 867848
Solver just ended. Dumping a history of the last processes samples
[startup+57.5023 s]
/proc/loadavg: 2.00 1.98 1.89 3/97 32344
/proc/meminfo: memFree=1780368/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=57.19
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15897 290 1 0 5710 9 0 0 18 0 9 0 124372999 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10612 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=56.9
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12059 290 1 0 5683 7 0 0 25 0 9 0 124373001 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4125952098 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 732 290 0 0 22 0 0 0 16 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.19
Current children cumulated vsize (KiB) 867848
[startup+60.7016 s]
/proc/loadavg: 2.00 1.98 1.89 3/97 32344
/proc/meminfo: memFree=1780368/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=60.37
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15897 290 1 0 6028 9 0 0 18 0 9 0 124372999 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10612 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=60.08
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12059 290 1 0 6001 7 0 0 25 0 9 0 124373001 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4126823948 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 732 290 0 0 22 0 0 0 16 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 60.37
Current children cumulated vsize (KiB) 867848
[startup+62.3018 s]
/proc/loadavg: 2.00 1.98 1.89 3/97 32344
/proc/meminfo: memFree=1780368/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=61.96
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15897 290 1 0 6187 9 0 0 18 0 9 0 124372999 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10612 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=61.68
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12059 290 1 0 6161 7 0 0 25 0 9 0 124373001 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4126795156 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 732 290 0 0 22 0 0 0 16 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 61.96
Current children cumulated vsize (KiB) 867848
[startup+63.903 s]
/proc/loadavg: 2.00 1.98 1.89 3/97 32344
/proc/meminfo: memFree=1780368/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=63.56
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15897 290 1 0 6347 9 0 0 18 0 9 0 124372999 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10612 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=63.27
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12059 290 1 0 6320 7 0 0 25 0 9 0 124373001 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4126685988 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 732 290 0 0 22 0 0 0 16 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.56
Current children cumulated vsize (KiB) 867848
[startup+64.7021 s]
/proc/loadavg: 2.00 1.98 1.89 3/97 32344
/proc/meminfo: memFree=1780368/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=64.35
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15897 290 1 0 6426 9 0 0 18 0 9 0 124372999 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10612 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=64.07
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12059 290 1 0 6400 7 0 0 25 0 9 0 124373001 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4125952119 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 732 290 0 0 22 0 0 0 16 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10612 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.35
Current children cumulated vsize (KiB) 867848
[startup+65.1021 s]
/proc/loadavg: 2.00 1.98 1.89 3/97 32344
/proc/meminfo: memFree=1780368/2055920 swapFree=4179140/4192956
[pid=32331] ppid=32329 vsize=867848 CPUtime=64.75
/proc/32331/stat : 32331 (java) S 32329 32331 31868 0 -1 0 15911 290 1 0 6466 9 0 0 18 0 9 0 124372999 888676352 10621 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32331/statm: 216962 10621 2631 9 0 211468 0
[pid=32331/tid=32333] ppid=32329 vsize=867848 CPUtime=64.46
/proc/32331/task/32333/stat : 32333 (java) R 32329 32331 31868 0 -1 64 12073 290 1 0 6439 7 0 0 25 0 9 0 124373001 888676352 10621 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32334] ppid=32329 vsize=867848 CPUtime=0.03
/proc/32331/task/32334/stat : 32334 (java) S 32329 32331 31868 0 -1 64 2252 290 0 0 3 0 0 0 16 0 9 0 124373002 888676352 10621 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32335] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32335/stat : 32335 (java) S 32329 32331 31868 0 -1 64 15 290 0 0 0 0 0 0 16 0 9 0 124373002 888676352 10621 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32336] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32336/stat : 32336 (java) S 32329 32331 31868 0 -1 64 12 290 0 0 0 0 0 0 15 0 9 0 124373002 888676352 10621 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32337] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32337/stat : 32337 (java) S 32329 32331 31868 0 -1 64 0 290 0 0 0 0 0 0 18 0 9 0 124373004 888676352 10622 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32338] ppid=32329 vsize=867848 CPUtime=0.22
/proc/32331/task/32338/stat : 32338 (java) S 32329 32331 31868 0 -1 64 732 290 0 0 22 0 0 0 16 0 9 0 124373004 888676352 10622 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32331/tid=32339] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32339/stat : 32339 (java) S 32329 32331 31868 0 -1 64 2 290 0 0 0 0 0 0 19 0 9 0 124373004 888676352 10622 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32331/tid=32340] ppid=32329 vsize=867848 CPUtime=0
/proc/32331/task/32340/stat : 32340 (java) S 32329 32331 31868 0 -1 64 17 290 0 0 0 0 0 0 15 0 9 0 124373004 888676352 10622 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.75
Current children cumulated vsize (KiB) 867848
Child status: 0
Real time (s): 65.1627
CPU time (s): 64.7802
CPU user time (s): 64.6672
CPU system time (s): 0.112982
CPU usage (%): 99.413
Max. virtual memory (cumulated for all children) (KiB): 867848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.6672
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16316
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= 2756
involuntary context switches= 3535
runsolver used 0.070989 second user time and 0.237963 second system time
The end
Begin job on node76 at 2008-07-04 01:15:24
IDJOB=1060484
IDBENCH=54454
IDSOLVER=364
FILE ID=node76/1060484-1215126924
PBS_JOBID= 7877234
Free space on /tmp= 66552 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/allIntervalSeries/normalized-series-15.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-1060484-1215126924/watcher-1060484-1215126924 -o /tmp/evaluation-result-1060484-1215126924/solver-1060484-1215126924 -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-1060484-1215126924.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 147ce1a2b7d16af63882881f0d3486ae
RANDOM SEED=659282558
node76.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: 1813800 kB
Buffers: 4600 kB
Cached: 76644 kB
SwapCached: 7836 kB
Active: 172812 kB
Inactive: 18092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1813800 kB
SwapTotal: 4192956 kB
SwapFree: 4179140 kB
Dirty: 2064 kB
Writeback: 0 kB
Mapped: 128316 kB
Slab: 35808 kB
Committed_AS: 484304 kB
PageTables: 2304 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= 66548 MiB
End job on node76 at 2008-07-04 01:16:29