0.00/0.00 c cpHydra_k_10 version 0.0
7.13/7.41 c CASE TO CLASSIFY:
7.13/7.41 c Case: 0
7.13/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.947600 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.851520 | c 14 > 5.491850 | c 11 > 6.000000 | c 12 > 3.614710 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.700400 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.42 c choco : 1801.0
7.13/7.42 c mistral : 1801.0
7.13/7.42 c abscon : 1801.0
7.13/7.42 c
7.13/7.42 c
7.13/7.49 c List of same ones: 10
7.13/7.50 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-8_ext.xml
7.13/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.207000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.286140 | c 14 > 5.247930 | c 11 > 5.584960 | c 12 > 3.215940 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.285400 | c 31 > -1.000000 | c 4 > 5.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.50 c choco : 297.08
7.22/7.50 c mistral : 157.04
7.22/7.50 c abscon : 14.11
7.22/7.50 c
7.22/7.50 c
7.22/7.50 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg7-7_ext.xml
7.22/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.778100 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 2.850790 | c 14 > 5.044390 | c 11 > 5.614710 | c 12 > 3.893080 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.51 c choco : 111.31
7.22/7.51 c mistral : 1801.0
7.22/7.51 c abscon : 44.67
7.22/7.51 c
7.22/7.51 c
7.22/7.51 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-9_ext.xml
7.22/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.467600 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.378420 | c 14 > 5.285400 | c 11 > 5.491850 | c 12 > 4.380050 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.52 c choco : 29.71
7.22/7.52 c mistral : 26.53
7.22/7.52 c abscon : 8.02
7.22/7.52 c
7.22/7.52 c
7.22/7.52 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-9_ext.xml
7.22/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.256800 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 1.611200 | c 14 > 5.087460 | c 11 > 5.754890 | c 12 > 2.736970 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.455300 | c 31 > -1.000000 | c 4 > 5.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.53 c choco : 1801.0
7.22/7.53 c mistral : 1801.0
7.22/7.53 c abscon : 392.65
7.22/7.53 c
7.22/7.53 c
7.22/7.53 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-7_ext.xml
7.22/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.010500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 3.857090 | c 14 > 5.807350 | c 11 > 5.392320 | c 12 > 4.788830 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.092800 | c 31 > -1.000000 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.54 c choco : 1801.0
7.22/7.54 c mistral : 54.51
7.22/7.54 c abscon : 6.72
7.22/7.54 c
7.22/7.54 c
7.22/7.54 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-9_ext.xml
7.22/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.707800 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.797980 | c 14 > 6.491850 | c 11 > 6.169930 | c 12 > 4.407500 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.870400 | c 31 > -1.000000 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.55 c choco : 1137.53
7.22/7.55 c mistral : 298.41
7.22/7.55 c abscon : 1801.0
7.22/7.55 c
7.22/7.55 c
7.22/7.55 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-8_ext.xml
7.22/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.826600 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.546870 | c 14 > 6.768180 | c 11 > 6.000000 | c 12 > 5.118940 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.700400 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.56 c choco : 1801.0
7.22/7.56 c mistral : 717.88
7.22/7.56 c abscon : 1801.0
7.22/7.56 c
7.22/7.56 c
7.22/7.56 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-9_ext.xml
7.22/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.843000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.459370 | c 14 > 6.714250 | c 11 > 5.977280 | c 12 > 5.114820 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.677700 | c 31 > -1.000000 | c 4 > 5.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.57 c choco : 1801.0
7.22/7.57 c mistral : 629.74
7.22/7.57 c abscon : 1801.0
7.22/7.57 c
7.22/7.57 c
7.22/7.57 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-10_ext.xml
7.22/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.752200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 2.852440 | c 14 > 6.247930 | c 11 > 6.321930 | c 12 > 4.536050 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.022400 | c 31 > -1.000000 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.57 c choco : 506.42
7.22/7.57 c mistral : 89.79
7.22/7.57 c abscon : 69.82
7.22/7.57 c
7.22/7.57 c
7.22/7.57 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-9_ext.xml
7.22/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.184400 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.922820 | c 14 > 6.629360 | c 11 > 6.339850 | c 12 > 5.187630 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.040300 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.58 c choco : 565.32
7.22/7.58 c mistral : 112.49
7.22/7.58 c abscon : 85.82
7.22/7.58 c
7.22/7.58 c
7.39/7.78 c Length: 10
7.39/7.78 c 1.2808250502703324 1.3375006437755463 1.7170040785041834 2.034320139112819 2.165799939445008 2.41329405939268 2.8117394588225983 2.950959545876561 3.002822742537428 3.360709525740064
7.39/7.78 c
7.39/7.78 c 1.0 0.9734734378273739 0.8266422816467842 0.7340648960933012 0.7015120178286043 0.6474643856741829 0.5760178127542205 0.5546330542623811 0.5470670535556968 0.5
7.39/7.78 c
7.39/7.78 c solver 0
7.39/7.78 c before 0.0 seconds: {} 0
7.39/7.78 c before 18.0 seconds: {0, 2, 4} 2528
7.39/7.78 c before 54.0 seconds: {0, 1, 2, 4} 3501
7.39/7.78 c before 72.0 seconds: {0, 1, 2, 4, 8} 4048
7.39/7.78 c before 90.0 seconds: {0, 1, 2, 4, 8, 9} 4548
7.39/7.78 c before 396.0 seconds: {0, 1, 2, 3, 4, 8, 9} 5282
7.39/7.78 c
7.39/7.78 c solver 1
7.39/7.78 c before 0.0 seconds: {} 0
7.39/7.78 c before 36.0 seconds: {2} 826
7.39/7.78 c before 72.0 seconds: {2, 4} 1528
7.39/7.78 c before 90.0 seconds: {2, 4, 8} 2075
7.39/7.78 c before 126.0 seconds: {2, 4, 8, 9} 2575
7.39/7.78 c before 162.0 seconds: {0, 2, 4, 8, 9} 3575
7.39/7.78 c before 306.0 seconds: {0, 2, 4, 5, 8, 9} 4222
7.39/7.78 c before 630.0 seconds: {0, 2, 4, 5, 7, 8, 9} 4777
7.39/7.78 c before 720.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9} 5353
7.39/7.78 c
7.39/7.78 c solver 2
7.39/7.78 c before 0.0 seconds: {} 0
7.39/7.78 c before 36.0 seconds: {2} 826
7.39/7.78 c before 126.0 seconds: {1, 2} 1800
7.39/7.79 c before 306.0 seconds: {0, 1, 2} 2800
7.39/7.79 c before 522.0 seconds: {0, 1, 2, 8} 3347
7.39/7.79 c before 576.0 seconds: {0, 1, 2, 8, 9} 3847
7.39/7.79 c before 1152.0 seconds: {0, 1, 2, 5, 8, 9} 4494
7.39/7.79 c
7.39/7.79 cTotal time: 126
7.39/7.79 c run abscon for 396.0 seconds {0, 1, 2, 3, 4, 8, 9} 5282
7.39/7.79 c run mistral for 720.0 seconds {0, 2, 4, 5, 6, 7, 8, 9} 5353
7.39/7.79 c run choco for 576.0 seconds {0, 1, 2, 8, 9} 3847
7.39/7.79 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.39/7.79 c On Instance: HOME/instance-1076339-1215186537.xml
7.39/7.79 c Running for: 396 seconds
24.26/24.67 s SAT
24.26/24.67 v 15 17 4 18 0 6 4 17 17 4 19 0 12 0 6 4 4 19 0 12 0 6 4 18 18 0 12 15 11 4 17 18 0 12 0 11 6 0 12 0 6 0 6 4 0 12 4 18 4 6 4 17 12 4 4 18 17 4 18 18 0 18 18 0
24.26/24.67 d ASSIGNMENTS 3194
24.26/24.67 d CHECKS 4324
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076339-1215186537/watcher-1076339-1215186537 -o /tmp/evaluation-result-1076339-1215186537/solver-1076339-1215186537 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1076339-1215186537.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: 0.32 1.02 1.58 4/72 8996
/proc/meminfo: memFree=1531280/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=18572 CPUtime=0
/proc/8996/stat : 8996 (runsolver) R 8994 8996 5127 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1997627211 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 210824129831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/8996/statm: 4643 292 257 25 0 2626 0
[startup+0.100858 s]
/proc/loadavg: 0.32 1.02 1.58 4/72 8996
/proc/meminfo: memFree=1531280/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=0
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1997627211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201877 s]
/proc/loadavg: 0.32 1.02 1.58 4/72 8996
/proc/meminfo: memFree=1531280/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=0
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1997627211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301888 s]
/proc/loadavg: 0.32 1.02 1.58 4/72 8996
/proc/meminfo: memFree=1531280/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=0
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1997627211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701935 s]
/proc/loadavg: 0.32 1.02 1.58 4/72 8996
/proc/meminfo: memFree=1531280/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=0
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1997627211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50203 s]
/proc/loadavg: 0.32 1.02 1.58 3/74 9000
/proc/meminfo: memFree=1526336/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=0
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1997627211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 236 195 169 0 51 0
[pid=9000] ppid=8996 vsize=9196 CPUtime=1.46
/proc/9000/stat : 9000 (xsolve) R 8996 8996 5127 0 -1 4194304 1598 0 0 0 146 0 0 0 25 0 1 0 1997627212 9416704 1557 996147200 134512640 135239763 4294956176 18446744073709551615 135015491 0 0 4096 0 0 0 0 17 1 0 0
/proc/9000/statm: 2299 1557 411 177 0 1202 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 14556
[startup+3.10122 s]
/proc/loadavg: 0.32 1.02 1.58 4/82 9012
/proc/meminfo: memFree=1523840/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=1.61
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 375 2195 0 0 0 0 161 0 16 0 1 0 1997627211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 238 196 169 0 51 0
[pid=9004] ppid=8996 vsize=196984 CPUtime=1.25
/proc/9004/stat : 9004 (java) S 8996 8996 5127 0 -1 0 4951 0 1 0 121 4 0 0 18 0 9 0 1997627394 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9004/statm: 49246 4157 1678 9 0 43829 0
[pid=9004/tid=9005] ppid=8996 vsize=196984 CPUtime=0.95
/proc/9004/task/9005/stat : 9005 (java) R 8996 8996 5127 0 -1 64 2718 0 1 0 93 2 0 0 25 0 9 0 1997627395 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4126430783 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9006] ppid=8996 vsize=196984 CPUtime=0.13
/proc/9004/task/9006/stat : 9006 (java) S 8996 8996 5127 0 -1 64 899 0 0 0 12 1 0 0 16 0 9 0 1997627396 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9007] ppid=8996 vsize=196984 CPUtime=0
/proc/9004/task/9007/stat : 9007 (java) S 8996 8996 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1997627396 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9008] ppid=8996 vsize=196984 CPUtime=0
/proc/9004/task/9008/stat : 9008 (java) S 8996 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1997627396 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9009] ppid=8996 vsize=196984 CPUtime=0
/proc/9004/task/9009/stat : 9009 (java) S 8996 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997627398 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9010] ppid=8996 vsize=196984 CPUtime=0.15
/proc/9004/task/9010/stat : 9010 (java) S 8996 8996 5127 0 -1 64 610 0 0 0 15 0 0 0 16 0 9 0 1997627398 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9011] ppid=8996 vsize=196984 CPUtime=0
/proc/9004/task/9011/stat : 9011 (java) S 8996 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1997627398 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9012] ppid=8996 vsize=196984 CPUtime=0
/proc/9004/task/9012/stat : 9012 (java) S 8996 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997627398 201711616 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 202344
[startup+6.3026 s]
/proc/loadavg: 0.45 1.04 1.58 3/82 9012
/proc/meminfo: memFree=1510720/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=1.61
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 375 2195 0 0 0 0 161 0 16 0 1 0 1997627211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 238 196 169 0 51 0
[pid=9004] ppid=8996 vsize=197092 CPUtime=4.43
/proc/9004/stat : 9004 (java) S 8996 8996 5127 0 -1 0 9895 0 1 0 432 11 0 0 18 0 9 0 1997627394 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9004/statm: 49273 8202 2540 9 0 43856 0
[pid=9004/tid=9005] ppid=8996 vsize=197092 CPUtime=3.47
/proc/9004/task/9005/stat : 9005 (java) R 8996 8996 5127 0 -1 64 3533 0 1 0 344 3 0 0 25 0 9 0 1997627395 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4126435394 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9006] ppid=8996 vsize=197092 CPUtime=0.75
/proc/9004/task/9006/stat : 9006 (java) S 8996 8996 5127 0 -1 64 5012 0 0 0 69 6 0 0 16 0 9 0 1997627396 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9007] ppid=8996 vsize=197092 CPUtime=0
/proc/9004/task/9007/stat : 9007 (java) S 8996 8996 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1997627396 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9008] ppid=8996 vsize=197092 CPUtime=0
/proc/9004/task/9008/stat : 9008 (java) S 8996 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1997627396 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9009] ppid=8996 vsize=197092 CPUtime=0
/proc/9004/task/9009/stat : 9009 (java) S 8996 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997627398 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9010] ppid=8996 vsize=197092 CPUtime=0.17
/proc/9004/task/9010/stat : 9010 (java) S 8996 8996 5127 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1997627398 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9011] ppid=8996 vsize=197092 CPUtime=0
/proc/9004/task/9011/stat : 9011 (java) S 8996 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1997627398 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9012] ppid=8996 vsize=197092 CPUtime=0
/proc/9004/task/9012/stat : 9012 (java) R 8996 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997627398 201822208 8202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 202452
[startup+12.7024 s]
/proc/loadavg: 0.57 1.05 1.58 3/94 9024
/proc/meminfo: memFree=1440736/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=1.61
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 375 2195 0 0 0 0 161 0 16 0 1 0 1997627211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 238 196 169 0 51 0
[pid=9004] ppid=8996 vsize=197416 CPUtime=5.87
/proc/9004/stat : 9004 (java) S 8996 8996 5127 0 -1 0 13868 0 1 0 572 15 0 0 18 0 10 0 1997627394 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9004/statm: 49354 9386 2543 9 0 43937 0
[pid=9014] ppid=9004 vsize=5356 CPUtime=0
/proc/9014/stat : 9014 (abscon) S 9004 8996 5127 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1997627991 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9014/statm: 1339 237 196 169 0 50 0
[pid=9015] ppid=9014 vsize=654940 CPUtime=4.89
/proc/9015/stat : 9015 (java) S 9014 8996 5127 0 -1 0 18603 0 1 0 481 8 0 0 18 0 9 0 1997627992 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9015/statm: 163735 17915 2613 9 0 158263 0
[pid=9015/tid=9017] ppid=9014 vsize=654940 CPUtime=4.6
/proc/9015/task/9017/stat : 9017 (java) R 9014 8996 5127 0 -1 64 12488 0 1 0 456 4 0 0 25 0 9 0 1997627992 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4126731826 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9018] ppid=9014 vsize=654940 CPUtime=0.07
/proc/9015/task/9018/stat : 9018 (java) S 9014 8996 5127 0 -1 64 5196 0 0 0 6 1 0 0 16 0 9 0 1997627994 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9019] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9019/stat : 9019 (java) S 9014 8996 5127 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1997627994 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9020] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9020/stat : 9020 (java) S 9014 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1997627994 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9021] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9021/stat : 9021 (java) S 9014 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1997627996 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9022] ppid=9014 vsize=654940 CPUtime=0.17
/proc/9015/task/9022/stat : 9022 (java) S 9014 8996 5127 0 -1 64 374 0 0 0 17 0 0 0 15 0 9 0 1997627996 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9023] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9023/stat : 9023 (java) S 9014 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1997627996 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9024] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9024/stat : 9024 (java) S 9014 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997627996 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9016] ppid=9014 vsize=7044 CPUtime=0
/proc/9016/stat : 9016 (translate) S 9014 8996 5127 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1997627992 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9016/statm: 1761 213 182 1 0 41 0
[pid=9004/tid=9005] ppid=8996 vsize=197416 CPUtime=4.55
/proc/9004/task/9005/stat : 9005 (java) S 8996 8996 5127 0 -1 64 3850 0 1 0 450 5 0 0 25 0 10 0 1997627395 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9004/tid=9006] ppid=8996 vsize=197416 CPUtime=1.09
/proc/9004/task/9006/stat : 9006 (java) S 8996 8996 5127 0 -1 64 8570 0 0 0 100 9 0 0 16 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9007] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9007/stat : 9007 (java) S 8996 8996 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9008] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9008/stat : 9008 (java) S 8996 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9009] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9009/stat : 9009 (java) S 8996 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9010] ppid=8996 vsize=197416 CPUtime=0.2
/proc/9004/task/9010/stat : 9010 (java) S 8996 8996 5127 0 -1 64 642 0 0 0 20 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9011] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9011/stat : 9011 (java) S 8996 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9012] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9012/stat : 9012 (java) S 8996 8996 5127 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9013] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9013/stat : 9013 (java) S 8996 8996 5127 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1997627991 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 870116
Solver just ended. Dumping a history of the last processes samples
[startup+12.8024 s]
/proc/loadavg: 0.57 1.05 1.58 3/94 9024
/proc/meminfo: memFree=1440736/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=1.61
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 375 2195 0 0 0 0 161 0 16 0 1 0 1997627211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 238 196 169 0 51 0
[pid=9004] ppid=8996 vsize=197416 CPUtime=5.87
/proc/9004/stat : 9004 (java) S 8996 8996 5127 0 -1 0 13868 0 1 0 572 15 0 0 18 0 10 0 1997627394 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9004/statm: 49354 9386 2543 9 0 43937 0
[pid=9014] ppid=9004 vsize=5356 CPUtime=0
/proc/9014/stat : 9014 (abscon) S 9004 8996 5127 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1997627991 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9014/statm: 1339 237 196 169 0 50 0
[pid=9015] ppid=9014 vsize=654940 CPUtime=4.99
/proc/9015/stat : 9015 (java) S 9014 8996 5127 0 -1 0 18603 0 1 0 491 8 0 0 18 0 9 0 1997627992 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9015/statm: 163735 17915 2613 9 0 158263 0
[pid=9015/tid=9017] ppid=9014 vsize=654940 CPUtime=4.7
/proc/9015/task/9017/stat : 9017 (java) R 9014 8996 5127 0 -1 64 12488 0 1 0 466 4 0 0 25 0 9 0 1997627992 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4126731842 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9018] ppid=9014 vsize=654940 CPUtime=0.07
/proc/9015/task/9018/stat : 9018 (java) S 9014 8996 5127 0 -1 64 5196 0 0 0 6 1 0 0 16 0 9 0 1997627994 670658560 17915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/9004/task/9012/stat : 9012 (java) S 8996 8996 5127 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9013] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9013/stat : 9013 (java) S 8996 8996 5127 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1997627991 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.06
Current children cumulated vsize (KiB) 870116
[startup+24.0027 s]
/proc/loadavg: 0.79 1.08 1.58 3/94 9024
/proc/meminfo: memFree=1440352/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=1.61
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 375 2195 0 0 0 0 161 0 16 0 1 0 1997627211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 238 196 169 0 51 0
[pid=9004] ppid=8996 vsize=197416 CPUtime=5.87
/proc/9004/stat : 9004 (java) S 8996 8996 5127 0 -1 0 13868 0 1 0 572 15 0 0 18 0 10 0 1997627394 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9004/statm: 49354 9386 2543 9 0 43937 0
[pid=9014] ppid=9004 vsize=5356 CPUtime=0
/proc/9014/stat : 9014 (abscon) S 9004 8996 5127 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1997627991 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9014/statm: 1339 237 196 169 0 50 0
[pid=9015] ppid=9014 vsize=654940 CPUtime=16.18
/proc/9015/stat : 9015 (java) S 9014 8996 5127 0 -1 0 18625 0 1 0 1610 8 0 0 18 0 9 0 1997627992 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9015/statm: 163735 17929 2613 9 0 158263 0
[pid=9015/tid=9017] ppid=9014 vsize=654940 CPUtime=15.88
/proc/9015/task/9017/stat : 9017 (java) R 9014 8996 5127 0 -1 64 12490 0 1 0 1583 5 0 0 25 0 9 0 1997627992 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4126731685 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9018] ppid=9014 vsize=654940 CPUtime=0.07
/proc/9015/task/9018/stat : 9018 (java) S 9014 8996 5127 0 -1 64 5196 0 0 0 6 1 0 0 16 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9019] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9019/stat : 9019 (java) S 9014 8996 5127 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9020] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9020/stat : 9020 (java) S 9014 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9021] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9021/stat : 9021 (java) S 9014 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9022] ppid=9014 vsize=654940 CPUtime=0.2
/proc/9015/task/9022/stat : 9022 (java) S 9014 8996 5127 0 -1 64 394 0 0 0 20 0 0 0 16 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9023] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9023/stat : 9023 (java) S 9014 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9024] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9024/stat : 9024 (java) S 9014 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9016] ppid=9014 vsize=7044 CPUtime=0
/proc/9016/stat : 9016 (translate) S 9014 8996 5127 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1997627992 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9016/statm: 1761 213 182 1 0 41 0
[pid=9004/tid=9005] ppid=8996 vsize=197416 CPUtime=4.55
/proc/9004/task/9005/stat : 9005 (java) S 8996 8996 5127 0 -1 64 3850 0 1 0 450 5 0 0 25 0 10 0 1997627395 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9004/tid=9006] ppid=8996 vsize=197416 CPUtime=1.09
/proc/9004/task/9006/stat : 9006 (java) S 8996 8996 5127 0 -1 64 8570 0 0 0 100 9 0 0 16 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9007] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9007/stat : 9007 (java) S 8996 8996 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9008] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9008/stat : 9008 (java) S 8996 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9009] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9009/stat : 9009 (java) S 8996 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9010] ppid=8996 vsize=197416 CPUtime=0.2
/proc/9004/task/9010/stat : 9010 (java) S 8996 8996 5127 0 -1 64 642 0 0 0 20 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9011] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9011/stat : 9011 (java) S 8996 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9012] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9012/stat : 9012 (java) S 8996 8996 5127 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9013] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9013/stat : 9013 (java) S 8996 8996 5127 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1997627991 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.66
Current children cumulated vsize (KiB) 870116
[startup+24.4028 s]
/proc/loadavg: 0.89 1.10 1.58 3/94 9024
/proc/meminfo: memFree=1440352/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=1.61
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 375 2195 0 0 0 0 161 0 16 0 1 0 1997627211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 238 196 169 0 51 0
[pid=9004] ppid=8996 vsize=197416 CPUtime=5.87
/proc/9004/stat : 9004 (java) S 8996 8996 5127 0 -1 0 13868 0 1 0 572 15 0 0 18 0 10 0 1997627394 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9004/statm: 49354 9386 2543 9 0 43937 0
[pid=9014] ppid=9004 vsize=5356 CPUtime=0
/proc/9014/stat : 9014 (abscon) S 9004 8996 5127 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1997627991 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9014/statm: 1339 237 196 169 0 50 0
[pid=9015] ppid=9014 vsize=654940 CPUtime=16.58
/proc/9015/stat : 9015 (java) S 9014 8996 5127 0 -1 0 18625 0 1 0 1650 8 0 0 18 0 9 0 1997627992 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9015/statm: 163735 17929 2613 9 0 158263 0
[pid=9015/tid=9017] ppid=9014 vsize=654940 CPUtime=16.28
/proc/9015/task/9017/stat : 9017 (java) R 9014 8996 5127 0 -1 64 12490 0 1 0 1623 5 0 0 25 0 9 0 1997627992 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4126731842 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9018] ppid=9014 vsize=654940 CPUtime=0.07
/proc/9015/task/9018/stat : 9018 (java) S 9014 8996 5127 0 -1 64 5196 0 0 0 6 1 0 0 16 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9019] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9019/stat : 9019 (java) S 9014 8996 5127 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9020] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9020/stat : 9020 (java) S 9014 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9021] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9021/stat : 9021 (java) S 9014 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9022] ppid=9014 vsize=654940 CPUtime=0.2
/proc/9015/task/9022/stat : 9022 (java) S 9014 8996 5127 0 -1 64 394 0 0 0 20 0 0 0 16 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9023] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9023/stat : 9023 (java) S 9014 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9024] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9024/stat : 9024 (java) S 9014 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9016] ppid=9014 vsize=7044 CPUtime=0
/proc/9016/stat : 9016 (translate) S 9014 8996 5127 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1997627992 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9016/statm: 1761 213 182 1 0 41 0
[pid=9004/tid=9005] ppid=8996 vsize=197416 CPUtime=4.55
/proc/9004/task/9005/stat : 9005 (java) S 8996 8996 5127 0 -1 64 3850 0 1 0 450 5 0 0 25 0 10 0 1997627395 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9004/tid=9006] ppid=8996 vsize=197416 CPUtime=1.09
/proc/9004/task/9006/stat : 9006 (java) S 8996 8996 5127 0 -1 64 8570 0 0 0 100 9 0 0 16 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9007] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9007/stat : 9007 (java) S 8996 8996 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9008] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9008/stat : 9008 (java) S 8996 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9009] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9009/stat : 9009 (java) S 8996 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9010] ppid=8996 vsize=197416 CPUtime=0.2
/proc/9004/task/9010/stat : 9010 (java) S 8996 8996 5127 0 -1 64 642 0 0 0 20 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9011] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9011/stat : 9011 (java) S 8996 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9012] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9012/stat : 9012 (java) S 8996 8996 5127 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9013] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9013/stat : 9013 (java) S 8996 8996 5127 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1997627991 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (KiB) 870116
[startup+24.6028 s]
/proc/loadavg: 0.89 1.10 1.58 3/94 9024
/proc/meminfo: memFree=1440352/2055920 swapFree=4180424/4192956
[pid=8996] ppid=8994 vsize=5360 CPUtime=1.61
/proc/8996/stat : 8996 (hydra) S 8994 8996 5127 0 -1 4194304 375 2195 0 0 0 0 161 0 16 0 1 0 1997627211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8996/statm: 1340 238 196 169 0 51 0
[pid=9004] ppid=8996 vsize=197416 CPUtime=5.87
/proc/9004/stat : 9004 (java) S 8996 8996 5127 0 -1 0 13868 0 1 0 572 15 0 0 18 0 10 0 1997627394 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9004/statm: 49354 9386 2543 9 0 43937 0
[pid=9014] ppid=9004 vsize=5356 CPUtime=0
/proc/9014/stat : 9014 (abscon) S 9004 8996 5127 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1997627991 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9014/statm: 1339 237 196 169 0 50 0
[pid=9015] ppid=9014 vsize=654940 CPUtime=16.78
/proc/9015/stat : 9015 (java) S 9014 8996 5127 0 -1 0 18625 0 1 0 1670 8 0 0 18 0 9 0 1997627992 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9015/statm: 163735 17929 2613 9 0 158263 0
[pid=9015/tid=9017] ppid=9014 vsize=654940 CPUtime=16.48
/proc/9015/task/9017/stat : 9017 (java) R 9014 8996 5127 0 -1 64 12490 0 1 0 1643 5 0 0 25 0 9 0 1997627992 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4126731659 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9018] ppid=9014 vsize=654940 CPUtime=0.07
/proc/9015/task/9018/stat : 9018 (java) S 9014 8996 5127 0 -1 64 5196 0 0 0 6 1 0 0 16 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9019] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9019/stat : 9019 (java) S 9014 8996 5127 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9020] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9020/stat : 9020 (java) S 9014 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1997627994 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9021] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9021/stat : 9021 (java) S 9014 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9022] ppid=9014 vsize=654940 CPUtime=0.2
/proc/9015/task/9022/stat : 9022 (java) S 9014 8996 5127 0 -1 64 394 0 0 0 20 0 0 0 16 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9023] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9023/stat : 9023 (java) S 9014 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9015/tid=9024] ppid=9014 vsize=654940 CPUtime=0
/proc/9015/task/9024/stat : 9024 (java) S 9014 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997627996 670658560 17929 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9016] ppid=9014 vsize=7044 CPUtime=0
/proc/9016/stat : 9016 (translate) S 9014 8996 5127 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1997627992 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9016/statm: 1761 213 182 1 0 41 0
[pid=9004/tid=9005] ppid=8996 vsize=197416 CPUtime=4.55
/proc/9004/task/9005/stat : 9005 (java) S 8996 8996 5127 0 -1 64 3850 0 1 0 450 5 0 0 25 0 10 0 1997627395 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9004/tid=9006] ppid=8996 vsize=197416 CPUtime=1.09
/proc/9004/task/9006/stat : 9006 (java) S 8996 8996 5127 0 -1 64 8570 0 0 0 100 9 0 0 16 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9007] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9007/stat : 9007 (java) S 8996 8996 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9008] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9008/stat : 9008 (java) S 8996 8996 5127 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1997627396 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9009] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9009/stat : 9009 (java) S 8996 8996 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9010] ppid=8996 vsize=197416 CPUtime=0.2
/proc/9004/task/9010/stat : 9010 (java) S 8996 8996 5127 0 -1 64 642 0 0 0 20 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9011] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9011/stat : 9011 (java) S 8996 8996 5127 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9012] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9012/stat : 9012 (java) S 8996 8996 5127 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1997627398 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9004/tid=9013] ppid=8996 vsize=197416 CPUtime=0
/proc/9004/task/9013/stat : 9013 (java) S 8996 8996 5127 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1997627991 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.26
Current children cumulated vsize (KiB) 870116
Child status: 0
Real time (s): 24.6828
CPU time (s): 24.3693
CPU user time (s): 24.0853
CPU system time (s): 0.283956
CPU usage (%): 98.73
Max. virtual memory (cumulated for all children) (KiB): 870116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0853
system time used= 0.283956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35793
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11324
involuntary context switches= 12461
runsolver used 0.096985 second user time and 0.199969 second system time
The end