0.00/0.00 c cpHydra_k_10 version 0.0
6.78/6.70 c CASE TO CLASSIFY:
6.78/6.70 c Case: 0
6.78/6.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 19.817800 | c 34 > -1.000000 | c 16 > 20.000000 | c 13 > 14.499100 | c 14 > 14.215200 | c 11 > 9.388020 | c 12 > 13.916800 | 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 > 6.129280 | c 1 > 9.228820 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 6.129280 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.861100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.71 c choco : 1801.0
6.78/6.71 c mistral : 1801.0
6.78/6.71 c abscon : 1801.0
6.78/6.71 c
6.78/6.71 c
6.78/6.78 c List of same ones: 10
6.78/6.78 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml
6.78/6.78 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.78/6.78 c choco : 8.05
6.78/6.78 c mistral : 0.17
6.78/6.78 c abscon : 3.99
6.78/6.78 c
6.78/6.78 c
6.78/6.78 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml
6.78/6.78 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.78/6.79 c choco : 3.57
6.78/6.79 c mistral : 0.47
6.78/6.79 c abscon : 35.91
6.78/6.79 c
6.78/6.79 c
6.78/6.79 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml
6.78/6.79 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.78/6.79 c choco : 1.16
6.78/6.79 c mistral : 0.02
6.78/6.79 c abscon : 1.71
6.78/6.79 c
6.78/6.79 c
6.78/6.79 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml
6.78/6.79 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.89/6.80 c choco : 1.13
6.89/6.80 c mistral : 0.02
6.89/6.80 c abscon : 1.49
6.89/6.80 c
6.89/6.80 c
6.89/6.80 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml
6.89/6.80 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.89/6.80 c choco : 8.91
6.89/6.80 c mistral : 0.14
6.89/6.80 c abscon : 62.66
6.89/6.80 c
6.89/6.80 c
6.89/6.80 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml
6.89/6.80 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
6.89/6.81 c choco : 30.19
6.89/6.81 c mistral : 1.82
6.89/6.81 c abscon : 1801.0
6.89/6.81 c
6.89/6.81 c
6.89/6.81 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml
6.89/6.81 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
6.89/6.81 c choco : 12.89
6.89/6.81 c mistral : 7.43
6.89/6.81 c abscon : 1801.0
6.89/6.81 c
6.89/6.81 c
6.89/6.81 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
6.89/6.81 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
6.89/6.82 c choco : 1801.0
6.89/6.82 c mistral : 197.92
6.89/6.82 c abscon : 1801.0
6.89/6.82 c
6.89/6.82 c
6.89/6.82 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-3-3.xml
6.89/6.82 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
6.89/6.82 c choco : 1.63
6.89/6.82 c mistral : 0.0
6.89/6.82 c abscon : 1801.0
6.89/6.82 c
6.89/6.82 c
6.89/6.82 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml
6.89/6.82 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
6.89/6.83 c choco : 21.34
6.89/6.83 c mistral : 77.84
6.89/6.83 c abscon : 1801.0
6.89/6.83 c
6.89/6.83 c
7.09/7.01 c Length: 10
7.09/7.01 c 21.119647316233767 24.815512770549397 28.791394676795356 33.469485008607464 34.7598707147495 48.238101151946275 65.03390535444801 82.81895488894737 121.62411456924085 125.85660841558261
7.09/7.01 c
7.09/7.01 c 1.0 0.9659156219404968 0.931751307655157 0.894524081110613 0.8847732064554906 0.7943318911167333 0.7045819180428273 0.6292916918590455 0.5103110124508475 0.5
7.09/7.01 c
7.09/7.01 c solver 0
7.09/7.01 c before 0.0 seconds: {} 0
7.09/7.01 c before 18.0 seconds: {0, 2, 3} 2826
7.09/7.01 c before 36.0 seconds: {0, 1, 2, 3} 3792
7.09/7.01 c before 72.0 seconds: {0, 1, 2, 3, 4} 4676
7.09/7.01 c
7.09/7.01 c solver 1
7.09/7.01 c before 0.0 seconds: {} 0
7.09/7.01 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 6686
7.09/7.01 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7186
7.09/7.01 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7815
7.09/7.01 c
7.09/7.01 c solver 2
7.09/7.01 c before 0.0 seconds: {} 0
7.09/7.01 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 8} 5891
7.09/7.01 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7186
7.09/7.01 c
7.09/7.01 cTotal time: 17
7.09/7.01 c 306.0 seconds unused
7.09/7.01 c 0 c 0 c 0
7.09/7.01 c 5 c 0 c 1
7.09/7.01 c 4 c 0 c 0
7.09/7.01 c is solver0 dominated by:
7.09/7.01 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.09/7.01 c is dominated? true
7.09/7.01 c
7.09/7.01 c is solver1 dominated by:
7.09/7.01 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.09/7.01 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.09/7.01 c is dominated? false
7.09/7.01 c
7.09/7.01 c is solver2 dominated by:
7.09/7.01 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.09/7.01 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.09/7.01 c is dominated? true
7.09/7.01 c
7.09/7.01 c Number of non-dominated solvers: 1
7.09/7.01 c remove dominated solvers
7.09/7.01 c solver 1 is not dominated by another solver
7.09/7.01 c solver 2 is dominated by another solver
7.09/7.01 c solver 0 is dominated by another solver
7.09/7.01 c
7.09/7.01 c solver 0: 0.0
7.09/7.01 c
7.09/7.01 c solver 1: 198.0
7.09/7.01 c
7.09/7.01 c+ 11/11 of 89
7.09/7.01 c
7.09/7.01 c solver 2: 0.0
7.09/7.01 c do not run abscon
7.09/7.02 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7815
7.09/7.02 c do not run choco
7.09/7.02 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.09/7.02 c On Instance: HOME/instance-1070068-1215163052.xml
7.09/7.02 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-1070068-1215163052/watcher-1070068-1215163052 -o /tmp/evaluation-result-1070068-1215163052/solver-1070068-1215163052 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1070068-1215163052.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 1.15 3/64 18672
/proc/meminfo: memFree=1863912/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=0
/proc/18672/stat : 18672 (hydra) R 18670 18672 17849 0 -1 4194304 312 247 0 0 0 0 0 0 18 0 1 0 1995278074 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4459254 0 0 4100 65536 0 0 0 17 0 0 0
/proc/18672/statm: 1340 236 195 169 0 51 0
[startup+0.073987 s]
/proc/loadavg: 1.01 1.00 1.15 3/64 18672
/proc/meminfo: memFree=1863912/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=0
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995278074 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18672/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101985 s]
/proc/loadavg: 1.01 1.00 1.15 3/64 18672
/proc/meminfo: memFree=1863912/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=0
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995278074 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18672/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302005 s]
/proc/loadavg: 1.01 1.00 1.15 3/64 18672
/proc/meminfo: memFree=1863912/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=0
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995278074 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18672/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701046 s]
/proc/loadavg: 1.01 1.00 1.15 3/64 18672
/proc/meminfo: memFree=1863912/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=0
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995278074 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18672/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50114 s]
/proc/loadavg: 1.01 1.00 1.15 2/66 18676
/proc/meminfo: memFree=1862936/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5360
[startup+3.1023 s]
/proc/loadavg: 1.00 1.00 1.15 2/74 18688
/proc/meminfo: memFree=1855256/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=197904 CPUtime=1.72
/proc/18680/stat : 18680 (java) S 18672 18672 17849 0 -1 0 6760 0 1 0 168 4 0 0 18 0 9 0 1995278224 202653696 5677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18680/statm: 49476 5677 2540 9 0 44059 0
[pid=18680/tid=18681] ppid=18672 vsize=197904 CPUtime=1.34
/proc/18680/task/18681/stat : 18681 (java) S 18672 18672 17849 0 -1 64 2831 0 1 0 133 1 0 0 16 0 9 0 1995278225 202653696 5677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18680/tid=18682] ppid=18672 vsize=197904 CPUtime=0.21
/proc/18680/task/18682/stat : 18682 (java) R 18672 18672 17849 0 -1 64 2576 0 0 0 20 1 0 0 16 0 9 0 1995278226 202653696 5677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18683] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18683/stat : 18683 (java) S 18672 18672 17849 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995278226 202653696 5678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18684] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18684/stat : 18684 (java) S 18672 18672 17849 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995278226 202653696 5678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18685] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18685/stat : 18685 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1995278228 202653696 5678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18686] ppid=18672 vsize=197904 CPUtime=0.14
/proc/18680/task/18686/stat : 18686 (java) S 18672 18672 17849 0 -1 64 627 0 0 0 14 0 0 0 16 0 9 0 1995278228 202653696 5678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18680/tid=18687] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18687/stat : 18687 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995278228 202653696 5678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18688] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18688/stat : 18688 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995278228 202653696 5678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 203264
[startup+6.30263 s]
/proc/loadavg: 1.00 1.00 1.15 2/74 18688
/proc/meminfo: memFree=1841688/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=197904 CPUtime=4.92
/proc/18680/stat : 18680 (java) S 18672 18672 17849 0 -1 0 10658 0 1 0 482 10 0 0 18 0 9 0 1995278224 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18680/statm: 49476 8838 2540 9 0 44059 0
[pid=18680/tid=18681] ppid=18672 vsize=197904 CPUtime=3.97
/proc/18680/task/18681/stat : 18681 (java) R 18672 18672 17849 0 -1 64 3638 0 1 0 394 3 0 0 16 0 9 0 1995278225 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4126444423 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18680/tid=18682] ppid=18672 vsize=197904 CPUtime=0.76
/proc/18680/task/18682/stat : 18682 (java) S 18672 18672 17849 0 -1 64 5641 0 0 0 70 6 0 0 16 0 9 0 1995278226 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18683] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18683/stat : 18683 (java) S 18672 18672 17849 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 1995278226 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18684] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18684/stat : 18684 (java) S 18672 18672 17849 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995278226 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18685] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18685/stat : 18685 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1995278228 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18686] ppid=18672 vsize=197904 CPUtime=0.16
/proc/18680/task/18686/stat : 18686 (java) S 18672 18672 17849 0 -1 64 653 0 0 0 16 0 0 0 16 0 9 0 1995278228 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18680/tid=18687] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18687/stat : 18687 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995278228 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18688] ppid=18672 vsize=197904 CPUtime=0
/proc/18680/task/18688/stat : 18688 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995278228 202653696 8838 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 203264
[startup+12.7023 s]
/proc/loadavg: 1.08 1.02 1.15 2/77 18691
/proc/meminfo: memFree=1834632/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=198228 CPUtime=5.64
/proc/18680/stat : 18680 (java) S 18672 18672 17849 0 -1 0 13888 0 1 0 551 13 0 0 18 0 10 0 1995278224 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18680/statm: 49557 9404 2543 9 0 44140 0
[pid=18690] ppid=18680 vsize=5356 CPUtime=0
/proc/18690/stat : 18690 (mistral) S 18680 18672 17849 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1995278777 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18690/statm: 1339 236 196 169 0 50 0
[pid=18691] ppid=18690 vsize=5020 CPUtime=5.66
/proc/18691/stat : 18691 (xsolve) R 18690 18672 17849 0 -1 4194304 621 0 0 0 566 0 0 0 25 0 1 0 1995278777 5140480 585 996147200 134512640 135239763 4294955968 18446744073709551615 135015491 0 4 0 0 0 0 0 17 0 0 0
/proc/18691/statm: 1255 585 407 177 0 158 0
[pid=18680/tid=18681] ppid=18672 vsize=198228 CPUtime=4.43
/proc/18680/task/18681/stat : 18681 (java) S 18672 18672 17849 0 -1 64 3844 0 1 0 440 3 0 0 16 0 10 0 1995278225 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18680/tid=18682] ppid=18672 vsize=198228 CPUtime=0.99
/proc/18680/task/18682/stat : 18682 (java) S 18672 18672 17849 0 -1 64 8562 0 0 0 91 8 0 0 16 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18683] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18683/stat : 18683 (java) S 18672 18672 17849 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18684] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18684/stat : 18684 (java) S 18672 18672 17849 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18685] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18685/stat : 18685 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18686] ppid=18672 vsize=198228 CPUtime=0.19
/proc/18680/task/18686/stat : 18686 (java) S 18672 18672 17849 0 -1 64 671 0 0 0 19 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18687] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18687/stat : 18687 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18688] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18688/stat : 18688 (java) S 18672 18672 17849 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18689] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18689/stat : 18689 (java) S 18672 18672 17849 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1995278777 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 213964
[startup+25.5016 s]
/proc/loadavg: 1.07 1.02 1.15 2/77 18691
/proc/meminfo: memFree=1834568/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=198228 CPUtime=5.64
/proc/18680/stat : 18680 (java) S 18672 18672 17849 0 -1 0 13888 0 1 0 551 13 0 0 18 0 10 0 1995278224 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18680/statm: 49557 9404 2543 9 0 44140 0
[pid=18690] ppid=18680 vsize=5356 CPUtime=0
/proc/18690/stat : 18690 (mistral) S 18680 18672 17849 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1995278777 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18690/statm: 1339 236 196 169 0 50 0
[pid=18691] ppid=18690 vsize=5020 CPUtime=18.46
/proc/18691/stat : 18691 (xsolve) R 18690 18672 17849 0 -1 4194304 621 0 0 0 1845 1 0 0 25 0 1 0 1995278777 5140480 585 996147200 134512640 135239763 4294955968 18446744073709551615 135097601 0 4 0 0 0 0 0 17 0 0 0
/proc/18691/statm: 1255 585 407 177 0 158 0
[pid=18680/tid=18681] ppid=18672 vsize=198228 CPUtime=4.43
/proc/18680/task/18681/stat : 18681 (java) S 18672 18672 17849 0 -1 64 3844 0 1 0 440 3 0 0 16 0 10 0 1995278225 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18680/tid=18682] ppid=18672 vsize=198228 CPUtime=0.99
/proc/18680/task/18682/stat : 18682 (java) S 18672 18672 17849 0 -1 64 8562 0 0 0 91 8 0 0 16 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18683] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18683/stat : 18683 (java) S 18672 18672 17849 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18684] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18684/stat : 18684 (java) S 18672 18672 17849 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18685] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18685/stat : 18685 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18686] ppid=18672 vsize=198228 CPUtime=0.19
/proc/18680/task/18686/stat : 18686 (java) S 18672 18672 17849 0 -1 64 671 0 0 0 19 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18687] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18687/stat : 18687 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18688] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18688/stat : 18688 (java) S 18672 18672 17849 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18689] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18689/stat : 18689 (java) S 18672 18672 17849 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1995278777 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 213964
[startup+51.1012 s]
/proc/loadavg: 1.04 1.02 1.14 2/77 18691
/proc/meminfo: memFree=1834696/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=198228 CPUtime=5.64
################
# More data... #
################
/proc/18680/task/18689/stat : 18689 (java) S 18672 18672 17849 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1995278777 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 213964
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 18693
/proc/meminfo: memFree=1833608/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=198228 CPUtime=5.64
/proc/18680/stat : 18680 (java) S 18672 18672 17849 0 -1 0 13888 0 1 0 551 13 0 0 18 0 10 0 1995278224 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18680/statm: 49557 9404 2543 9 0 44140 0
[pid=18690] ppid=18680 vsize=5356 CPUtime=0
/proc/18690/stat : 18690 (mistral) S 18680 18672 17849 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1995278777 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18690/statm: 1339 236 196 169 0 50 0
[pid=18691] ppid=18690 vsize=5024 CPUtime=1714.76
/proc/18691/stat : 18691 (xsolve) R 18690 18672 17849 0 -1 4194304 622 0 0 0 171475 1 0 0 25 0 1 0 1995278777 5144576 586 996147200 134512640 135239763 4294955968 18446744073709551615 134797096 0 4 0 0 0 0 0 17 0 0 0
/proc/18691/statm: 1256 586 407 177 0 159 0
[pid=18680/tid=18681] ppid=18672 vsize=198228 CPUtime=4.43
/proc/18680/task/18681/stat : 18681 (java) S 18672 18672 17849 0 -1 64 3844 0 1 0 440 3 0 0 16 0 10 0 1995278225 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18680/tid=18682] ppid=18672 vsize=198228 CPUtime=0.99
/proc/18680/task/18682/stat : 18682 (java) S 18672 18672 17849 0 -1 64 8562 0 0 0 91 8 0 0 16 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18683] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18683/stat : 18683 (java) S 18672 18672 17849 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18684] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18684/stat : 18684 (java) S 18672 18672 17849 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18685] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18685/stat : 18685 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18686] ppid=18672 vsize=198228 CPUtime=0.19
/proc/18680/task/18686/stat : 18686 (java) S 18672 18672 17849 0 -1 64 671 0 0 0 19 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18687] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18687/stat : 18687 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18688] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18688/stat : 18688 (java) S 18672 18672 17849 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18689] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18689/stat : 18689 (java) S 18672 18672 17849 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1995278777 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 213968
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 18693
/proc/meminfo: memFree=1833544/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=198228 CPUtime=5.64
/proc/18680/stat : 18680 (java) S 18672 18672 17849 0 -1 0 13888 0 1 0 551 13 0 0 18 0 10 0 1995278224 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18680/statm: 49557 9404 2543 9 0 44140 0
[pid=18690] ppid=18680 vsize=5356 CPUtime=0
/proc/18690/stat : 18690 (mistral) S 18680 18672 17849 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1995278777 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18690/statm: 1339 236 196 169 0 50 0
[pid=18691] ppid=18690 vsize=5024 CPUtime=1774.75
/proc/18691/stat : 18691 (xsolve) R 18690 18672 17849 0 -1 4194304 622 0 0 0 177473 2 0 0 25 0 1 0 1995278777 5144576 586 996147200 134512640 135239763 4294955968 18446744073709551615 134797096 0 4 0 0 0 0 0 17 0 0 0
/proc/18691/statm: 1256 586 407 177 0 159 0
[pid=18680/tid=18681] ppid=18672 vsize=198228 CPUtime=4.43
/proc/18680/task/18681/stat : 18681 (java) S 18672 18672 17849 0 -1 64 3844 0 1 0 440 3 0 0 16 0 10 0 1995278225 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18680/tid=18682] ppid=18672 vsize=198228 CPUtime=0.99
/proc/18680/task/18682/stat : 18682 (java) S 18672 18672 17849 0 -1 64 8562 0 0 0 91 8 0 0 16 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18683] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18683/stat : 18683 (java) S 18672 18672 17849 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18684] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18684/stat : 18684 (java) S 18672 18672 17849 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18685] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18685/stat : 18685 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18686] ppid=18672 vsize=198228 CPUtime=0.19
/proc/18680/task/18686/stat : 18686 (java) S 18672 18672 17849 0 -1 64 671 0 0 0 19 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18687] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18687/stat : 18687 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18688] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18688/stat : 18688 (java) S 18672 18672 17849 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18689] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18689/stat : 18689 (java) S 18672 18672 17849 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1995278777 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 213968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 18693
/proc/meminfo: memFree=1833544/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=198228 CPUtime=5.64
/proc/18680/stat : 18680 (java) S 18672 18672 17849 0 -1 0 13888 0 1 0 551 13 0 0 18 0 10 0 1995278224 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18680/statm: 49557 9404 2543 9 0 44140 0
[pid=18690] ppid=18680 vsize=5356 CPUtime=0
/proc/18690/stat : 18690 (mistral) S 18680 18672 17849 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1995278777 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18690/statm: 1339 236 196 169 0 50 0
[pid=18691] ppid=18690 vsize=5024 CPUtime=1792.95
/proc/18691/stat : 18691 (xsolve) R 18690 18672 17849 0 -1 4194304 622 0 0 0 179293 2 0 0 25 0 1 0 1995278777 5144576 586 996147200 134512640 135239763 4294955968 18446744073709551615 134796573 0 4 0 0 0 0 0 17 0 0 0
/proc/18691/statm: 1256 586 407 177 0 159 0
[pid=18680/tid=18681] ppid=18672 vsize=198228 CPUtime=4.43
/proc/18680/task/18681/stat : 18681 (java) S 18672 18672 17849 0 -1 64 3844 0 1 0 440 3 0 0 16 0 10 0 1995278225 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18680/tid=18682] ppid=18672 vsize=198228 CPUtime=0.99
/proc/18680/task/18682/stat : 18682 (java) S 18672 18672 17849 0 -1 64 8562 0 0 0 91 8 0 0 16 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18683] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18683/stat : 18683 (java) S 18672 18672 17849 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18684] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18684/stat : 18684 (java) S 18672 18672 17849 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18685] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18685/stat : 18685 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18686] ppid=18672 vsize=198228 CPUtime=0.19
/proc/18680/task/18686/stat : 18686 (java) S 18672 18672 17849 0 -1 64 671 0 0 0 19 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18687] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18687/stat : 18687 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18688] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18688/stat : 18688 (java) S 18672 18672 17849 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18689] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18689/stat : 18689 (java) S 18672 18672 17849 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1995278777 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 213968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 18693
/proc/meminfo: memFree=1833544/2055920 swapFree=4180396/4192956
[pid=18672] ppid=18670 vsize=5360 CPUtime=1.47
/proc/18672/stat : 18672 (hydra) S 18670 18672 17849 0 -1 4194304 375 1231 0 0 0 0 146 1 17 0 1 0 1995278074 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18672/statm: 1340 238 196 169 0 51 0
[pid=18680] ppid=18672 vsize=198228 CPUtime=5.64
/proc/18680/stat : 18680 (java) S 18672 18672 17849 0 -1 0 13888 0 1 0 551 13 0 0 18 0 10 0 1995278224 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18680/statm: 49557 9404 2543 9 0 44140 0
[pid=18690] ppid=18680 vsize=5356 CPUtime=0
/proc/18690/stat : 18690 (mistral) S 18680 18672 17849 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1995278777 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18690/statm: 1339 236 196 169 0 50 0
[pid=18691] ppid=18690 vsize=5024 CPUtime=1792.95
/proc/18691/stat : 18691 (xsolve) R 18690 18672 17849 0 -1 4194304 622 0 0 0 179293 2 0 0 25 0 1 0 1995278777 5144576 586 996147200 134512640 135239763 4294955968 18446744073709551615 134796573 0 4 0 0 0 0 0 17 0 0 0
/proc/18691/statm: 1256 586 407 177 0 159 0
[pid=18680/tid=18681] ppid=18672 vsize=198228 CPUtime=4.43
/proc/18680/task/18681/stat : 18681 (java) S 18672 18672 17849 0 -1 64 3844 0 1 0 440 3 0 0 16 0 10 0 1995278225 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18680/tid=18682] ppid=18672 vsize=198228 CPUtime=0.99
/proc/18680/task/18682/stat : 18682 (java) S 18672 18672 17849 0 -1 64 8562 0 0 0 91 8 0 0 16 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18683] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18683/stat : 18683 (java) S 18672 18672 17849 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18684] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18684/stat : 18684 (java) S 18672 18672 17849 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995278226 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18685] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18685/stat : 18685 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18686] ppid=18672 vsize=198228 CPUtime=0.19
/proc/18680/task/18686/stat : 18686 (java) S 18672 18672 17849 0 -1 64 671 0 0 0 19 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18687] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18687/stat : 18687 (java) S 18672 18672 17849 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18688] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18688/stat : 18688 (java) S 18672 18672 17849 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1995278228 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18680/tid=18689] ppid=18672 vsize=198228 CPUtime=0
/proc/18680/task/18689/stat : 18689 (java) S 18672 18672 17849 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1995278777 202985472 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 213968
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18672 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=464777
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 1.48777
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.53
CPU time (s): 1800.06
CPU user time (s): 1799.9
CPU system time (s): 0.16
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 213968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.46478
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1606
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= 28
involuntary context switches= 21
runsolver used 1.79673 second user time and 4.85126 second system time
The end