0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=mac.xml
0.29/0.31
0.29/0.31 instance
0.29/0.31 name=HOME/instance-1057663-1215111385.xml
0.29/0.35
0.29/0.35 domains being loaded...
0.29/0.36
0.29/0.36 variables being loaded...
0.38/0.40 nbVariables=168 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=840
0.38/0.40 => wckTime=0.165 cpuTime=0.13 mem=7M919
0.38/0.40
0.38/0.40 predicates being loaded...
0.58/0.67
0.58/0.67 constraints being loaded...
1.85/1.93 nbConstraints=101 nbGlobalConstraints=20 nbDisconnectedVariables=19 nbConflictsStructures=1
1.85/1.93 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=80 nbSharedBinaryRepresentations=0
1.85/1.93 nbEvaluationManagers=81 nbSharedEvaluationManagers=0 minDegree=1 maxDegree=10 minArity=2 avgArity=11.04
1.85/1.93 maxArity=22 nbGenerators=20 nbFusions=0 symmetryWckTime=0.088 symmetryCpuTime=0.05
1.85/1.93 => wckTime=1.688 cpuTime=1.47 mem=44M91
1.85/1.99
1.85/1.99 solver IterativeSystematicSolver being built...
1.96/2.09
1.96/2.09 INFO : Forward propagation technique limited
2.06/2.16 => wckTime=1.924 cpuTime=1.6 mem=23M726
2.15/2.25
2.15/2.25 preprocessing
2.15/2.25 nbConstraintChecks=60809 nbValidityChecks=85 nbPropagations=169 nbRevisions=58 nbUselessRevisions=52
2.15/2.25 nbRemovedValues=8 detectedInconsistency=no
2.15/2.25 => wckTime=0.081 cpuTime=0.07 mem=23M726
25.65/25.94
25.65/25.94 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M695)
78.23/78.92
78.23/78.92 search
78.23/78.92 run=6 nbConstraintChecks=39858728 nbValidityChecks=145557 minDepth=14 maxDepth=168 nbPropagations=8960
78.23/78.92 nbRevisions=118856 nbUselessRevisions=109730 nbAssignments=1020 nbFailedAssignments=294 nbBacktracks=248
78.23/78.92 nbVisitedNodes=1381 nbRestartNogoods=18 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=111.57
78.23/78.92 nbIEliminables=24.68 nbDEliminables=0 nbPEliminables=0
78.23/78.92 => wckTime=76.754 cpuTime=76.06 mem=24M695
78.23/78.92
78.23/78.92 global
78.23/78.92 nbConstraintChecks=39919537 nbValidityChecks=145642 nbPropagations=9129 nbRevisions=118914
78.23/78.92 nbUselessRevisions=109782 nbRestartNogoods=18 solvingWckTime=76.756 solvingCpuTime=76.07 expiredTime=no
78.23/78.92 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=77.67 globalCpuTime=77.73
78.23/78.92 => wckTime=78.682 cpuTime=77.68 mem=24M695
78.23/78.92
78.23/78.92 s SATISFIABLE
78.23/78.92 v 0 0 0 0 0 0 0 3 2 0 1 0 1 3 0 4 1 1 1 3 0 0 1 0 2 0 0 4 0 1 0 2 0 0 0 0 2 3 1 0 0 0 0 0 0 1 0 4 2 4 4 4 0 0 3 4 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 4 0 0 4 0 1 0 3 3 0 0 0 0 0 0 0 4 4 3 1 0 2 0 0 0 0 0 3 0 0 3 2 3 3 4 4 4 0 0 2 2 1 0 4 3 2 2 0 4 1 2 2 0 3 1 0 3 1 1 0 0 3 3 1 3 1 4 0 0 0 1 2 0 2 0 0 3 2 0 1 0 0 0 0 4 0 0 0 0 0
78.23/78.92 d NODES 1020
78.23/78.92 d CHECKS 39919537
78.23/78.92
78.23/78.92 totalWckTime=78.739 totalCpuTime=77.73
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057663-1215111385/watcher-1057663-1215111385 -o /tmp/evaluation-result-1057663-1215111385/solver-1057663-1215111385 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1057663-1215111385.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.08 2.04 2.01 3/73 22380
/proc/meminfo: memFree=1519776/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=18572 CPUtime=0
/proc/22380/stat : 22380 (runsolver) R 22378 22380 21892 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1540814756 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22380/statm: 4643 292 257 25 0 2626 0
[startup+0.0624921 s]
/proc/loadavg: 2.08 2.04 2.01 3/73 22380
/proc/meminfo: memFree=1519776/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=863920 CPUtime=0.04
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 2702 0 1 0 3 1 0 0 18 0 9 0 1540814756 884654080 2260 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 215980 2260 1078 9 0 210937 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863920
[startup+0.1015 s]
/proc/loadavg: 2.08 2.04 2.01 3/73 22380
/proc/meminfo: memFree=1519776/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=865884 CPUtime=0.09
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 3709 0 1 0 7 2 0 0 18 0 9 0 1540814756 886665216 3175 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216471 3175 1683 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301539 s]
/proc/loadavg: 2.08 2.04 2.01 3/73 22380
/proc/meminfo: memFree=1519776/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=866196 CPUtime=0.29
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 5622 0 1 0 26 3 0 0 18 0 9 0 1540814756 886984704 5036 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216549 5036 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.701612 s]
/proc/loadavg: 2.08 2.04 2.01 3/73 22380
/proc/meminfo: memFree=1519776/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867096 CPUtime=0.68
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 9750 0 1 0 64 4 0 0 18 0 9 0 1540814756 887906304 9110 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216774 9110 2007 9 0 211280 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867096
[startup+1.50277 s]
/proc/loadavg: 2.08 2.04 2.01 3/82 22389
/proc/meminfo: memFree=1477912/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867008 CPUtime=1.47
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 17298 0 1 0 137 10 0 0 18 0 9 0 1540814756 887816192 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216752 16633 2003 9 0 211280 0
[pid=22380/tid=22382] ppid=22378 vsize=867008 CPUtime=1.29
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 15772 0 1 0 120 9 0 0 25 0 9 0 1540814758 887816192 16633 996147200 134512640 134550740 4294955984 18446744073709551615 102689690 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867008 CPUtime=0.01
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 305 0 0 0 1 0 0 0 16 0 9 0 1540814759 887816192 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867008 CPUtime=0
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1540814760 887816192 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867008 CPUtime=0
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1540814760 887816192 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867008 CPUtime=0
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1540814762 887816192 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867008 CPUtime=0.15
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 525 0 0 0 15 0 0 0 16 0 9 0 1540814762 887816192 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867008 CPUtime=0
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1540814762 887816192 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867008 CPUtime=0
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1540814762 887816192 16633 996147200 134512640 134550740 4294955984 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) 867008
[startup+3.10207 s]
/proc/loadavg: 2.08 2.04 2.01 3/82 22393
/proc/meminfo: memFree=1458136/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=3.04
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26607 305 1 0 290 13 0 1 18 0 9 0 1540814756 888692736 17962 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17962 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=2.72
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22024 305 1 0 260 11 0 1 25 0 9 0 1540814758 888692736 17962 996147200 134512640 134550740 4294955984 18446744073709551615 4126714204 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 17 0 9 0 1540814759 888692736 17962 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17962 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17962 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17962 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.23
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 725 305 0 0 22 0 0 1 16 0 9 0 1540814762 888692736 17962 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17962 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 6 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17962 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) 867864
[startup+6.30268 s]
/proc/loadavg: 2.07 2.03 2.01 3/82 22393
/proc/meminfo: memFree=1457752/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=6.22
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26627 305 1 0 608 13 0 1 18 0 9 0 1540814756 888692736 17964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17964 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=5.9
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22030 305 1 0 578 11 0 1 25 0 9 0 1540814758 888692736 17964 996147200 134512640 134550740 4294955984 18446744073709551615 4126717367 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.23
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 726 305 0 0 22 0 0 1 15 0 9 0 1540814762 888692736 17964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17964 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) 867864
[startup+12.7029 s]
/proc/loadavg: 2.07 2.03 2.01 3/82 22393
/proc/meminfo: memFree=1457696/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=12.56
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26667 305 1 0 1242 13 0 1 18 0 9 0 1540814756 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17972 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=12.23
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22038 305 1 0 1211 11 0 1 25 0 9 0 1540814758 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4126714144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 17 0 9 0 1540814759 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.25
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 758 305 0 0 24 0 0 1 15 0 9 0 1540814762 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17972 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867864
[startup+25.5014 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 22393
/proc/meminfo: memFree=1457696/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=25.25
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26706 305 1 0 2511 13 0 1 18 0 9 0 1540814756 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17980 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=24.9
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22067 305 1 0 2478 11 0 1 25 0 9 0 1540814758 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4126714700 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 768 305 0 0 26 0 0 1 16 0 9 0 1540814762 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867864
[startup+51.1013 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 22393
/proc/meminfo: memFree=1457568/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=50.65
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26707 305 1 0 5050 14 0 1 18 0 9 0 1540814756 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17980 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=50.28
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22068 305 1 0 5016 11 0 1 25 0 9 0 1540814758 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4126714760 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 768 305 0 0 26 0 0 1 16 0 9 0 1540814762 888692736 17980 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
################
# More data... #
################
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26708 305 1 0 6319 14 0 1 18 0 9 0 1540814756 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17981 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=62.99
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22068 305 1 0 6286 12 0 1 25 0 9 0 1540814758 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4126714151 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 769 305 0 0 26 0 0 1 16 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.34
Current children cumulated vsize (KiB) 867864
[startup+70.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 22393
/proc/meminfo: memFree=1457568/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=69.69
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26708 305 1 0 6954 14 0 1 18 0 9 0 1540814756 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17981 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=69.34
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22068 305 1 0 6921 12 0 1 25 0 9 0 1540814758 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4126719876 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 769 305 0 0 26 0 0 1 16 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.69
Current children cumulated vsize (KiB) 867864
[startup+73.5026 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 22393
/proc/meminfo: memFree=1457568/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=72.87
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26708 305 1 0 7272 14 0 1 18 0 9 0 1540814756 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17981 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=72.51
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22068 305 1 0 7238 12 0 1 25 0 9 0 1540814758 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4126458436 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 769 305 0 0 26 0 0 1 16 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.87
Current children cumulated vsize (KiB) 867864
[startup+76.7012 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 22393
/proc/meminfo: memFree=1457568/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=76.04
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26708 305 1 0 7589 14 0 1 18 0 9 0 1540814756 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17981 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=75.68
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22068 305 1 0 7555 12 0 1 25 0 9 0 1540814758 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4126719858 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 769 305 0 0 26 0 0 1 16 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17981 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.04
Current children cumulated vsize (KiB) 867864
[startup+78.3025 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 22393
/proc/meminfo: memFree=1457568/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=77.63
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26709 305 1 0 7748 14 0 1 18 0 9 0 1540814756 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17982 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=77.27
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22068 305 1 0 7714 12 0 1 25 0 9 0 1540814758 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4126717367 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 770 305 0 0 26 0 0 1 16 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.63
Current children cumulated vsize (KiB) 867864
[startup+78.7026 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 22393
/proc/meminfo: memFree=1457568/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=78.03
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26709 305 1 0 7788 14 0 1 18 0 9 0 1540814756 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17982 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=77.67
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22068 305 1 0 7754 12 0 1 25 0 9 0 1540814758 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4126717391 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 770 305 0 0 26 0 0 1 17 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 78.03
Current children cumulated vsize (KiB) 867864
[startup+78.9026 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 22393
/proc/meminfo: memFree=1457568/2055920 swapFree=4113920/4192956
[pid=22380] ppid=22378 vsize=867864 CPUtime=78.23
/proc/22380/stat : 22380 (java) S 22378 22380 21892 0 -1 0 26709 305 1 0 7808 14 0 1 18 0 9 0 1540814756 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22380/statm: 216966 17982 2637 9 0 211472 0
[pid=22380/tid=22382] ppid=22378 vsize=867864 CPUtime=77.87
/proc/22380/task/22382/stat : 22382 (java) R 22378 22380 21892 0 -1 64 22068 305 1 0 7774 12 0 1 25 0 9 0 1540814758 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4126719095 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22383] ppid=22378 vsize=867864 CPUtime=0.07
/proc/22380/task/22383/stat : 22383 (java) S 22378 22380 21892 0 -1 64 3009 305 0 0 6 0 0 1 16 0 9 0 1540814759 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22384] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22384/stat : 22384 (java) S 22378 22380 21892 0 -1 64 17 305 0 0 0 0 0 1 16 0 9 0 1540814760 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22385] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22385/stat : 22385 (java) S 22378 22380 21892 0 -1 64 9 305 0 0 0 0 0 1 15 0 9 0 1540814760 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22386] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22386/stat : 22386 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 18 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22387] ppid=22378 vsize=867864 CPUtime=0.27
/proc/22380/task/22387/stat : 22387 (java) S 22378 22380 21892 0 -1 64 770 305 0 0 26 0 0 1 17 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22388] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22388/stat : 22388 (java) S 22378 22380 21892 0 -1 64 1 305 0 0 0 0 0 1 19 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22380/tid=22389] ppid=22378 vsize=867864 CPUtime=0.01
/proc/22380/task/22389/stat : 22389 (java) S 22378 22380 21892 0 -1 64 19 305 0 0 0 0 0 1 15 0 9 0 1540814762 888692736 17982 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 78.23
Current children cumulated vsize (KiB) 867864
Child status: 0
Real time (s): 78.9468
CPU time (s): 78.2821
CPU user time (s): 78.1111
CPU system time (s): 0.170974
CPU usage (%): 99.158
Max. virtual memory (cumulated for all children) (KiB): 867864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.1111
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27140
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= 2685
involuntary context switches= 4424
runsolver used 0.12698 second user time and 0.219966 second system time
The end
Begin job on node9 at 2008-07-03 20:56:25
IDJOB=1057663
IDBENCH=54058
IDSOLVER=363
FILE ID=node9/1057663-1215111385
PBS_JOBID= 7877186
Free space on /tmp= 66540 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/radar-9-28-4-2/normalized-radar-9-28-4-2-44.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057663-1215111385/watcher-1057663-1215111385 -o /tmp/evaluation-result-1057663-1215111385/solver-1057663-1215111385 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1057663-1215111385.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 47953c3a5be365d58aa9b70881fb4470
RANDOM SEED=1998372185
node9.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.265
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 : 5931.00
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.265
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: 1520256 kB
Buffers: 47684 kB
Cached: 317908 kB
SwapCached: 72940 kB
Active: 268224 kB
Inactive: 200352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1520256 kB
SwapTotal: 4192956 kB
SwapFree: 4113920 kB
Dirty: 2084 kB
Writeback: 0 kB
Mapped: 109484 kB
Slab: 52132 kB
Committed_AS: 2980372 kB
PageTables: 1972 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= 66536 MiB
End job on node9 at 2008-07-03 20:57:44