0.00/0.00 c cpHydra_k_10 version 0.0
6.90/7.06 c CASE TO CLASSIFY:
6.90/7.06 c Case: 0
6.90/7.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.225400 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 15.332400 | c 14 > 14.831700 | c 11 > 7.451210 | c 12 > 16.102500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.643860 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 4.643860 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.876520 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.08 c choco : 1801.0
6.90/7.08 c mistral : 1801.0
6.90/7.08 c abscon : 1801.0
6.90/7.08 c
6.90/7.08 c
6.99/7.15 c List of same ones: 10
6.99/7.15 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml
6.99/7.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.453500 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 8.763490 | c 14 > 11.124100 | c 11 > 4.643860 | c 12 > 10.603400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 7.692310 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.290020 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 92.307700 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.287710 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.16 c choco : 8.05
6.99/7.16 c mistral : 0.17
6.99/7.16 c abscon : 3.99
6.99/7.16 c
6.99/7.16 c
6.99/7.16 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml
6.99/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.180100 | c 34 > -1.000000 | c 16 > 36.000000 | c 13 > 13.913900 | c 14 > 15.471700 | c 11 > 5.169930 | c 12 > 15.410800 | c 21 > 6.000000 | c 20 > 0.000000 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 6.666670 | c 3 > 5.169930 | c 2 > -1.000000 | c 10 > 9.333160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.339900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.17 c choco : 3.57
6.99/7.17 c mistral : 0.47
6.99/7.17 c abscon : 35.91
6.99/7.17 c
6.99/7.17 c
6.99/7.17 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml
6.99/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.576500 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 3.038030 | c 14 > 4.459430 | c 11 > 4.000000 | c 12 > 3.774790 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 9.090910 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.033420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 90.909100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.18 c choco : 1.16
6.99/7.18 c mistral : 0.02
6.99/7.18 c abscon : 1.71
6.99/7.18 c
6.99/7.18 c
6.99/7.18 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml
6.99/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.005620 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.660960 | c 14 > 3.000000 | c 11 > 3.169930 | c 12 > 3.502500 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.111100 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 88.888900 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.339850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.18 c choco : 1.13
6.99/7.18 c mistral : 0.02
6.99/7.19 c abscon : 1.49
6.99/7.19 c
6.99/7.19 c
6.99/7.19 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml
6.99/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.029600 | c 34 > -1.000000 | c 16 > 49.000000 | c 13 > 13.116600 | c 14 > 14.704700 | c 11 > 5.614710 | c 12 > 14.754600 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.882350 | c 3 > 5.614710 | c 2 > -1.000000 | c 10 > 10.220400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.117600 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.229400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.20 c choco : 8.91
6.99/7.20 c mistral : 0.14
6.99/7.20 c abscon : 62.66
6.99/7.20 c
6.99/7.20 c
6.99/7.20 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml
6.99/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.914200 | c 34 > -1.000000 | c 16 > 64.000000 | c 13 > 12.258500 | c 14 > 14.563600 | c 11 > 6.000000 | c 12 > 14.663600 | c 21 > 8.000000 | c 20 > 0.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.263160 | c 3 > 6.000000 | c 2 > -1.000000 | c 10 > 10.990800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.21 c choco : 30.19
7.08/7.21 c mistral : 1.82
7.08/7.21 c abscon : 1801.0
7.08/7.21 c
7.08/7.21 c
7.08/7.21 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml
7.08/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.832600 | c 34 > -1.000000 | c 16 > 81.000000 | c 13 > 7.189530 | c 14 > 10.327600 | c 11 > 6.339850 | c 12 > 9.808860 | c 21 > 9.000000 | c 20 > 0.000000 | c 22 > 9.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.761900 | c 3 > 6.339850 | c 2 > -1.000000 | c 10 > 11.671100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.238100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.679700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.21 c choco : 12.89
7.08/7.21 c mistral : 7.43
7.08/7.21 c abscon : 1801.0
7.08/7.21 c
7.08/7.21 c
7.08/7.21 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
7.08/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.696000 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 12.108300 | c 14 > 14.463800 | c 11 > 6.643860 | c 12 > 14.945800 | c 21 > 10.000000 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.347830 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 12.279900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.652200 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.22 c choco : 1801.0
7.08/7.22 c mistral : 197.92
7.08/7.22 c abscon : 1801.0
7.08/7.22 c
7.08/7.22 c
7.08/7.22 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-3-3.xml
7.08/7.22 c 19 > 44.444400 | c 35 > 29.230800 | c 17 > 0.000000 | c 18 > 27.777800 | c 33 > 0.000000 | c 15 > 3.169930 | c 34 > 37.692300 | c 16 > 4.000000 | c 13 > 0.786261 | c 14 > -1.000000 | c 11 > 5.672430 | c 12 > 1.173060 | c 21 > 1.490710 | c 20 > 27.777800 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > -1.000000 | c 10 > 5.554590 | c 1 > 3.584960 | c 0 > -1.000000 | c 30 > 60.000000 | c 7 > 3.906890 | c 6 > 4.321930 | c 32 > 40.000000 | c 5 > 7.149750 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.23 c choco : 1.63
7.08/7.23 c mistral : 0.0
7.08/7.23 c abscon : 1801.0
7.08/7.23 c
7.08/7.23 c
7.08/7.23 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml
7.08/7.23 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 20.121300 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 6.625550 | c 14 > 9.539160 | c 11 > 12.010500 | c 12 > 4.633540 | c 21 > 1.948560 | c 20 > 79.767800 | c 22 > 6.245000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.999600 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.405140 | c 6 > 11.519600 | c 32 > 1.639340 | c 5 > 14.676000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.24 c choco : 21.34
7.08/7.24 c mistral : 77.84
7.08/7.24 c abscon : 1801.0
7.08/7.24 c
7.08/7.24 c
7.26/7.43 c Length: 10
7.26/7.43 c 22.19558206081111 27.27141150191534 28.765025987304444 32.24931281042279 38.46197914061106 52.50643221714745 69.81171450049627 87.51995669991616 121.36898495470547 126.32265079286215
7.26/7.43 c
7.26/7.43 c 1.0 0.9535192790116628 0.9406535601825371 0.9119490247462638 0.8648897016951002 0.7745364521634636 0.6862058262116446 0.6144950238280206 0.5121831144771543 0.5
7.26/7.43 c
7.26/7.43 c solver 0
7.26/7.43 c before 0.0 seconds: {} 0
7.26/7.43 c before 18.0 seconds: {0, 2, 3} 2852
7.26/7.43 c before 36.0 seconds: {0, 1, 2, 3} 3806
7.26/7.43 c before 72.0 seconds: {0, 1, 2, 3, 4} 4671
7.26/7.43 c
7.26/7.43 c solver 1
7.26/7.43 c before 0.0 seconds: {} 0
7.26/7.43 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 6643
7.26/7.43 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7143
7.26/7.43 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7758
7.26/7.43 c
7.26/7.43 c solver 2
7.26/7.43 c before 0.0 seconds: {} 0
7.26/7.43 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 8} 5869
7.26/7.43 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7143
7.26/7.43 c
7.26/7.43 cTotal time: 17
7.26/7.43 c 306.0 seconds unused
7.26/7.43 c 0 c 0 c 0
7.26/7.43 c 5 c 0 c 1
7.26/7.43 c 4 c 0 c 0
7.26/7.43 c is solver0 dominated by:
7.26/7.43 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.26/7.43 c is dominated? true
7.26/7.43 c
7.26/7.44 c is solver1 dominated by:
7.26/7.44 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.26/7.44 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.26/7.44 c is dominated? false
7.26/7.44 c
7.26/7.44 c is solver2 dominated by:
7.26/7.44 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.26/7.44 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.26/7.44 c is dominated? true
7.26/7.44 c
7.26/7.44 c Number of non-dominated solvers: 1
7.26/7.44 c remove dominated solvers
7.26/7.44 c solver 1 is not dominated by another solver
7.26/7.44 c solver 2 is dominated by another solver
7.26/7.44 c solver 0 is dominated by another solver
7.26/7.44 c
7.26/7.44 c solver 0: 0.0
7.26/7.44 c
7.26/7.44 c solver 1: 198.0
7.26/7.44 c
7.26/7.44 c+ 11/11 of 89
7.26/7.44 c
7.26/7.44 c solver 2: 0.0
7.26/7.44 c do not run abscon
7.26/7.44 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7758
7.26/7.44 c do not run choco
7.26/7.44 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.26/7.44 c On Instance: HOME/instance-1069620-1215161061.xml
7.26/7.44 c Running for: 1800 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069620-1215161061/watcher-1069620-1215161061 -o /tmp/evaluation-result-1069620-1215161061/solver-1069620-1215161061 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1069620-1215161061.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.06 2.00 2.00 4/72 16154
/proc/meminfo: memFree=1854160/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=18572 CPUtime=0
/proc/16154/stat : 16154 (runsolver) R 16152 16154 15463 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1995080290 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 238487661863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16154/statm: 4643 292 257 25 0 2626 0
[startup+0.05812 s]
/proc/loadavg: 2.06 2.00 2.00 4/72 16154
/proc/meminfo: memFree=1854160/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=0
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995080290 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101121 s]
/proc/loadavg: 2.06 2.00 2.00 4/72 16154
/proc/meminfo: memFree=1854160/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=0
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995080290 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301143 s]
/proc/loadavg: 2.06 2.00 2.00 4/72 16154
/proc/meminfo: memFree=1854160/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=0
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995080290 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701189 s]
/proc/loadavg: 2.06 2.00 2.00 4/72 16154
/proc/meminfo: memFree=1854160/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=0
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995080290 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50129 s]
/proc/loadavg: 2.06 2.00 2.00 3/74 16158
/proc/meminfo: memFree=1853504/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 5360
[startup+3.10257 s]
/proc/loadavg: 2.06 2.00 2.00 3/82 16170
/proc/meminfo: memFree=1846016/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=196984 CPUtime=1.58
/proc/16162/stat : 16162 (java) S 16154 16154 15463 0 -1 0 6506 0 1 0 153 5 0 0 18 0 9 0 1995080438 201711616 5467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16162/statm: 49246 5467 2540 9 0 43829 0
[pid=16162/tid=16163] ppid=16154 vsize=196984 CPUtime=1.2
/proc/16162/task/16163/stat : 16163 (java) R 16154 16154 15463 0 -1 64 2799 0 1 0 118 2 0 0 25 0 9 0 1995080439 201711616 5467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16164] ppid=16154 vsize=196984 CPUtime=0.22
/proc/16162/task/16164/stat : 16164 (java) S 16154 16154 15463 0 -1 64 2372 0 0 0 20 2 0 0 15 0 9 0 1995080440 201711616 5467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16165] ppid=16154 vsize=196984 CPUtime=0
/proc/16162/task/16165/stat : 16165 (java) S 16154 16154 15463 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995080441 201711616 5467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16166] ppid=16154 vsize=196984 CPUtime=0
/proc/16162/task/16166/stat : 16166 (java) S 16154 16154 15463 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995080441 201711616 5467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16167] ppid=16154 vsize=196984 CPUtime=0
/proc/16162/task/16167/stat : 16167 (java) S 16154 16154 15463 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1995080442 201711616 5467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16168] ppid=16154 vsize=196984 CPUtime=0.14
/proc/16162/task/16168/stat : 16168 (java) S 16154 16154 15463 0 -1 64 610 0 0 0 14 0 0 0 16 0 9 0 1995080442 201711616 5467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16169] ppid=16154 vsize=196984 CPUtime=0
/proc/16162/task/16169/stat : 16169 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1995080443 201711616 5467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16170] ppid=16154 vsize=196984 CPUtime=0
/proc/16162/task/16170/stat : 16170 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995080443 201711616 5467 996147200 134512640 134550740 4294955968 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) 202344
[startup+6.30183 s]
/proc/loadavg: 2.21 2.03 2.01 3/82 16170
/proc/meminfo: memFree=1832960/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=197092 CPUtime=4.75
/proc/16162/stat : 16162 (java) S 16154 16154 15463 0 -1 0 10287 0 1 0 462 13 0 0 18 0 9 0 1995080438 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16162/statm: 49273 8529 2540 9 0 43856 0
[pid=16162/tid=16163] ppid=16154 vsize=197092 CPUtime=3.74
/proc/16162/task/16163/stat : 16163 (java) R 16154 16154 15463 0 -1 64 3598 0 1 0 370 4 0 0 25 0 9 0 1995080439 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 102492650 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16164] ppid=16154 vsize=197092 CPUtime=0.81
/proc/16162/task/16164/stat : 16164 (java) S 16154 16154 15463 0 -1 64 5338 0 0 0 74 7 0 0 16 0 9 0 1995080440 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16165] ppid=16154 vsize=197092 CPUtime=0
/proc/16162/task/16165/stat : 16165 (java) S 16154 16154 15463 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995080441 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16166] ppid=16154 vsize=197092 CPUtime=0
/proc/16162/task/16166/stat : 16166 (java) S 16154 16154 15463 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995080441 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16167] ppid=16154 vsize=197092 CPUtime=0
/proc/16162/task/16167/stat : 16167 (java) S 16154 16154 15463 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1995080442 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16168] ppid=16154 vsize=197092 CPUtime=0.16
/proc/16162/task/16168/stat : 16168 (java) S 16154 16154 15463 0 -1 64 626 0 0 0 16 0 0 0 16 0 9 0 1995080442 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16169] ppid=16154 vsize=197092 CPUtime=0
/proc/16162/task/16169/stat : 16169 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1995080443 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16170] ppid=16154 vsize=197092 CPUtime=0
/proc/16162/task/16170/stat : 16170 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995080443 201822208 8529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202452
[startup+12.7026 s]
/proc/loadavg: 2.19 2.03 2.01 3/85 16173
/proc/meminfo: memFree=1825192/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=197416 CPUtime=5.85
/proc/16162/stat : 16162 (java) S 16154 16154 15463 0 -1 0 13879 0 1 0 567 18 0 0 18 0 10 0 1995080438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16162/statm: 49354 9389 2543 9 0 43937 0
[pid=16172] ppid=16162 vsize=5356 CPUtime=0
/proc/16172/stat : 16172 (mistral) S 16162 16154 15463 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1995081035 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16172/statm: 1339 236 196 169 0 50 0
[pid=16173] ppid=16172 vsize=4732 CPUtime=5.19
/proc/16173/stat : 16173 (xsolve) R 16172 16154 15463 0 -1 4194304 534 0 0 0 519 0 0 0 25 0 1 0 1995081035 4845568 498 996147200 134512640 135239763 4294955968 18446744073709551615 134821519 0 4 0 0 0 0 0 17 1 0 0
/proc/16173/statm: 1183 498 407 177 0 86 0
[pid=16162/tid=16163] ppid=16154 vsize=197416 CPUtime=4.52
/proc/16162/task/16163/stat : 16163 (java) S 16154 16154 15463 0 -1 64 3856 0 1 0 446 6 0 0 23 0 10 0 1995080439 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16162/tid=16164] ppid=16154 vsize=197416 CPUtime=1.12
/proc/16162/task/16164/stat : 16164 (java) S 16154 16154 15463 0 -1 64 8569 0 0 0 102 10 0 0 16 0 10 0 1995080440 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16165] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16165/stat : 16165 (java) S 16154 16154 15463 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16166] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16166/stat : 16166 (java) S 16154 16154 15463 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16167] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16167/stat : 16167 (java) S 16154 16154 15463 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16168] ppid=16154 vsize=197416 CPUtime=0.2
/proc/16162/task/16168/stat : 16168 (java) S 16154 16154 15463 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16169] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16169/stat : 16169 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16170] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16170/stat : 16170 (java) S 16154 16154 15463 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16171] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16171/stat : 16171 (java) S 16154 16154 15463 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995081035 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 212864
[startup+25.503 s]
/proc/loadavg: 2.15 2.03 2.01 3/85 16173
/proc/meminfo: memFree=1825256/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=197416 CPUtime=5.85
/proc/16162/stat : 16162 (java) S 16154 16154 15463 0 -1 0 13879 0 1 0 567 18 0 0 18 0 10 0 1995080438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16162/statm: 49354 9389 2543 9 0 43937 0
[pid=16172] ppid=16162 vsize=5356 CPUtime=0
/proc/16172/stat : 16172 (mistral) S 16162 16154 15463 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1995081035 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16172/statm: 1339 236 196 169 0 50 0
[pid=16173] ppid=16172 vsize=4732 CPUtime=17.88
/proc/16173/stat : 16173 (xsolve) R 16172 16154 15463 0 -1 4194304 534 0 0 0 1788 0 0 0 25 0 1 0 1995081035 4845568 498 996147200 134512640 135239763 4294955968 18446744073709551615 134797096 0 4 0 0 0 0 0 17 1 0 0
/proc/16173/statm: 1183 498 407 177 0 86 0
[pid=16162/tid=16163] ppid=16154 vsize=197416 CPUtime=4.52
/proc/16162/task/16163/stat : 16163 (java) S 16154 16154 15463 0 -1 64 3856 0 1 0 446 6 0 0 23 0 10 0 1995080439 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16162/tid=16164] ppid=16154 vsize=197416 CPUtime=1.12
/proc/16162/task/16164/stat : 16164 (java) S 16154 16154 15463 0 -1 64 8569 0 0 0 102 10 0 0 16 0 10 0 1995080440 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16165] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16165/stat : 16165 (java) S 16154 16154 15463 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16166] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16166/stat : 16166 (java) S 16154 16154 15463 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16167] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16167/stat : 16167 (java) S 16154 16154 15463 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16168] ppid=16154 vsize=197416 CPUtime=0.2
/proc/16162/task/16168/stat : 16168 (java) S 16154 16154 15463 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16169] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16169/stat : 16169 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16170] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16170/stat : 16170 (java) R 16154 16154 15463 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16171] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16171/stat : 16171 (java) S 16154 16154 15463 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995081035 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 212864
[startup+51.1029 s]
/proc/loadavg: 2.10 2.03 2.00 3/85 16260
/proc/meminfo: memFree=1819688/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=197416 CPUtime=5.85
################
# More data... #
################
/proc/16162/task/16171/stat : 16171 (java) S 16154 16154 15463 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995081035 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 212864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 16266
/proc/meminfo: memFree=1818344/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=197416 CPUtime=5.85
/proc/16162/stat : 16162 (java) S 16154 16154 15463 0 -1 0 13879 0 1 0 567 18 0 0 18 0 10 0 1995080438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16162/statm: 49354 9389 2543 9 0 43937 0
[pid=16172] ppid=16162 vsize=5356 CPUtime=0
/proc/16172/stat : 16172 (mistral) S 16162 16154 15463 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1995081035 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16172/statm: 1339 236 196 169 0 50 0
[pid=16173] ppid=16172 vsize=4732 CPUtime=1713.97
/proc/16173/stat : 16173 (xsolve) R 16172 16154 15463 0 -1 4194304 534 0 0 0 171393 4 0 0 25 0 1 0 1995081035 4845568 498 996147200 134512640 135239763 4294955968 18446744073709551615 135031221 0 4 0 0 0 0 0 17 0 0 0
/proc/16173/statm: 1183 498 407 177 0 86 0
[pid=16162/tid=16163] ppid=16154 vsize=197416 CPUtime=4.52
/proc/16162/task/16163/stat : 16163 (java) S 16154 16154 15463 0 -1 64 3856 0 1 0 446 6 0 0 23 0 10 0 1995080439 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16162/tid=16164] ppid=16154 vsize=197416 CPUtime=1.12
/proc/16162/task/16164/stat : 16164 (java) S 16154 16154 15463 0 -1 64 8569 0 0 0 102 10 0 0 16 0 10 0 1995080440 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16165] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16165/stat : 16165 (java) S 16154 16154 15463 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16166] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16166/stat : 16166 (java) S 16154 16154 15463 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16167] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16167/stat : 16167 (java) S 16154 16154 15463 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16168] ppid=16154 vsize=197416 CPUtime=0.2
/proc/16162/task/16168/stat : 16168 (java) S 16154 16154 15463 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16169] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16169/stat : 16169 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16170] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16170/stat : 16170 (java) S 16154 16154 15463 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16171] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16171/stat : 16171 (java) S 16154 16154 15463 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995081035 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 212864
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 16266
/proc/meminfo: memFree=1818152/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=197416 CPUtime=5.85
/proc/16162/stat : 16162 (java) S 16154 16154 15463 0 -1 0 13879 0 1 0 567 18 0 0 18 0 10 0 1995080438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16162/statm: 49354 9389 2543 9 0 43937 0
[pid=16172] ppid=16162 vsize=5356 CPUtime=0
/proc/16172/stat : 16172 (mistral) S 16162 16154 15463 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1995081035 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16172/statm: 1339 236 196 169 0 50 0
[pid=16173] ppid=16172 vsize=4732 CPUtime=1773.94
/proc/16173/stat : 16173 (xsolve) R 16172 16154 15463 0 -1 4194304 534 0 0 0 177390 4 0 0 25 0 1 0 1995081035 4845568 498 996147200 134512640 135239763 4294955968 18446744073709551615 134793591 0 4 0 0 0 0 0 17 0 0 0
/proc/16173/statm: 1183 498 407 177 0 86 0
[pid=16162/tid=16163] ppid=16154 vsize=197416 CPUtime=4.52
/proc/16162/task/16163/stat : 16163 (java) S 16154 16154 15463 0 -1 64 3856 0 1 0 446 6 0 0 23 0 10 0 1995080439 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16162/tid=16164] ppid=16154 vsize=197416 CPUtime=1.12
/proc/16162/task/16164/stat : 16164 (java) S 16154 16154 15463 0 -1 64 8569 0 0 0 102 10 0 0 16 0 10 0 1995080440 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16165] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16165/stat : 16165 (java) S 16154 16154 15463 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16166] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16166/stat : 16166 (java) S 16154 16154 15463 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16167] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16167/stat : 16167 (java) S 16154 16154 15463 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16168] ppid=16154 vsize=197416 CPUtime=0.2
/proc/16162/task/16168/stat : 16168 (java) S 16154 16154 15463 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16169] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16169/stat : 16169 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16170] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16170/stat : 16170 (java) S 16154 16154 15463 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16171] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16171/stat : 16171 (java) S 16154 16154 15463 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995081035 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.25
Current children cumulated vsize (KiB) 212864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 16266
/proc/meminfo: memFree=1818152/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=197416 CPUtime=5.85
/proc/16162/stat : 16162 (java) S 16154 16154 15463 0 -1 0 13879 0 1 0 567 18 0 0 18 0 10 0 1995080438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16162/statm: 49354 9389 2543 9 0 43937 0
[pid=16172] ppid=16162 vsize=5356 CPUtime=0
/proc/16172/stat : 16172 (mistral) S 16162 16154 15463 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1995081035 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16172/statm: 1339 236 196 169 0 50 0
[pid=16173] ppid=16172 vsize=4732 CPUtime=1792.74
/proc/16173/stat : 16173 (xsolve) R 16172 16154 15463 0 -1 4194304 534 0 0 0 179270 4 0 0 25 0 1 0 1995081035 4845568 498 996147200 134512640 135239763 4294955968 18446744073709551615 134796599 0 4 0 0 0 0 0 17 0 0 0
/proc/16173/statm: 1183 498 407 177 0 86 0
[pid=16162/tid=16163] ppid=16154 vsize=197416 CPUtime=4.52
/proc/16162/task/16163/stat : 16163 (java) S 16154 16154 15463 0 -1 64 3856 0 1 0 446 6 0 0 23 0 10 0 1995080439 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16162/tid=16164] ppid=16154 vsize=197416 CPUtime=1.12
/proc/16162/task/16164/stat : 16164 (java) S 16154 16154 15463 0 -1 64 8569 0 0 0 102 10 0 0 16 0 10 0 1995080440 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16165] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16165/stat : 16165 (java) S 16154 16154 15463 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16166] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16166/stat : 16166 (java) S 16154 16154 15463 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16167] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16167/stat : 16167 (java) S 16154 16154 15463 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16168] ppid=16154 vsize=197416 CPUtime=0.2
/proc/16162/task/16168/stat : 16168 (java) S 16154 16154 15463 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16169] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16169/stat : 16169 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16170] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16170/stat : 16170 (java) S 16154 16154 15463 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16171] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16171/stat : 16171 (java) S 16154 16154 15463 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995081035 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 212864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 16266
/proc/meminfo: memFree=1818152/2055920 swapFree=4180000/4192956
[pid=16154] ppid=16152 vsize=5360 CPUtime=1.46
/proc/16154/stat : 16154 (hydra) S 16152 16154 15463 0 -1 4194304 375 1152 0 0 0 0 143 3 19 0 1 0 1995080290 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16154/statm: 1340 238 196 169 0 51 0
[pid=16162] ppid=16154 vsize=197416 CPUtime=5.85
/proc/16162/stat : 16162 (java) S 16154 16154 15463 0 -1 0 13879 0 1 0 567 18 0 0 18 0 10 0 1995080438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16162/statm: 49354 9389 2543 9 0 43937 0
[pid=16172] ppid=16162 vsize=5356 CPUtime=0
/proc/16172/stat : 16172 (mistral) S 16162 16154 15463 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1995081035 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16172/statm: 1339 236 196 169 0 50 0
[pid=16173] ppid=16172 vsize=4732 CPUtime=1792.74
/proc/16173/stat : 16173 (xsolve) R 16172 16154 15463 0 -1 4194304 534 0 0 0 179270 4 0 0 25 0 1 0 1995081035 4845568 498 996147200 134512640 135239763 4294955968 18446744073709551615 134796599 0 4 0 0 0 0 0 17 0 0 0
/proc/16173/statm: 1183 498 407 177 0 86 0
[pid=16162/tid=16163] ppid=16154 vsize=197416 CPUtime=4.52
/proc/16162/task/16163/stat : 16163 (java) S 16154 16154 15463 0 -1 64 3856 0 1 0 446 6 0 0 23 0 10 0 1995080439 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16162/tid=16164] ppid=16154 vsize=197416 CPUtime=1.12
/proc/16162/task/16164/stat : 16164 (java) S 16154 16154 15463 0 -1 64 8569 0 0 0 102 10 0 0 16 0 10 0 1995080440 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16165] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16165/stat : 16165 (java) S 16154 16154 15463 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16166] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16166/stat : 16166 (java) S 16154 16154 15463 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995080441 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16167] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16167/stat : 16167 (java) S 16154 16154 15463 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16168] ppid=16154 vsize=197416 CPUtime=0.2
/proc/16162/task/16168/stat : 16168 (java) S 16154 16154 15463 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 1995080442 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16169] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16169/stat : 16169 (java) S 16154 16154 15463 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16170] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16170/stat : 16170 (java) S 16154 16154 15463 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1995080443 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16162/tid=16171] ppid=16154 vsize=197416 CPUtime=0
/proc/16162/task/16171/stat : 16171 (java) S 16154 16154 15463 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995081035 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 212864
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16154 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=431782
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=39993
# CPU time returned by wait4() is 1.47178
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.13
CPU time (s): 1800.05
CPU user time (s): 1799.8
CPU system time (s): 0.25
CPU usage (%): 99.9402
Max. virtual memory (cumulated for all children) (KiB): 212864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43178
system time used= 0.039993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 41
runsolver used 2.35064 second user time and 5.9301 second system time
The end