0.00/0.00 c cpHydra_k_10 version 0.0
7.28/7.41 c CASE TO CLASSIFY:
7.28/7.41 c Case: 0
7.28/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.579200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.412900 | c 14 > 13.899800 | c 11 > 4.523560 | c 12 > 12.528900 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.42 c choco : 1801.0
7.28/7.42 c mistral : 1801.0
7.28/7.42 c abscon : 1801.0
7.28/7.42 c
7.28/7.42 c
7.28/7.50 c List of same ones: 10
7.28/7.50 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-52021_ext.xml
7.28/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.293600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.017100 | c 14 > 13.448100 | c 11 > 4.643860 | c 12 > 12.063900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.287710 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.51 c choco : 391.36
7.39/7.51 c mistral : 275.489
7.39/7.51 c abscon : 304.569
7.39/7.51 c
7.39/7.51 c
7.39/7.51 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
7.39/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.186200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.847930 | c 14 > 13.524700 | c 11 > 4.523560 | c 12 > 12.000700 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.51 c choco : 1801.0
7.39/7.51 c mistral : 87.28
7.39/7.51 c abscon : 95.6315
7.39/7.51 c
7.39/7.51 c
7.39/7.51 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-55021_ext.xml
7.39/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.002300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.099800 | c 14 > 13.346100 | c 11 > 4.523560 | c 12 > 12.116200 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.52 c choco : 1801.0
7.39/7.52 c mistral : 95.25
7.39/7.52 c abscon : 95.2655
7.39/7.52 c
7.39/7.52 c
7.39/7.52 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-51021_ext.xml
7.39/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.035600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.900150 | c 14 > 13.407300 | c 11 > 4.523560 | c 12 > 11.948300 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.53 c choco : 1801.0
7.39/7.53 c mistral : 90.08
7.39/7.53 c abscon : 101.899
7.39/7.53 c
7.39/7.53 c
7.39/7.53 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-48021_ext.xml
7.39/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.056900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.888660 | c 14 > 13.373500 | c 11 > 4.523560 | c 12 > 11.901900 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.54 c choco : 1801.0
7.39/7.54 c mistral : 32.602
7.39/7.54 c abscon : 62.8434
7.39/7.54 c
7.39/7.54 c
7.39/7.54 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-50021_ext.xml
7.39/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.944600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.806920 | c 14 > 13.303600 | c 11 > 4.523560 | c 12 > 11.896500 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.55 c choco : 1801.0
7.39/7.55 c mistral : 31.2942
7.39/7.55 c abscon : 59.9849
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-54021_ext.xml
7.39/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.985800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.714940 | c 14 > 13.308600 | c 11 > 4.523560 | c 12 > 11.788000 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.56 c choco : 1801.0
7.39/7.56 c mistral : 4.64529
7.39/7.56 c abscon : 12.3941
7.39/7.56 c
7.39/7.56 c
7.39/7.56 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-46021_ext.xml
7.39/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.889900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.733450 | c 14 > 13.227800 | c 11 > 4.523560 | c 12 > 11.834200 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.57 c choco : 1801.0
7.39/7.57 c mistral : 83.47
7.39/7.57 c abscon : 101.002
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-52021_ext.xml
7.39/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.880600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.678130 | c 14 > 13.205500 | c 11 > 4.523560 | c 12 > 11.815300 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.58 c choco : 1801.0
7.39/7.58 c mistral : 88.66
7.39/7.58 c abscon : 92.282
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-23_ext.xml
7.39/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.297900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.501000 | c 14 > 13.775600 | c 11 > 4.906890 | c 12 > 12.337300 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.787900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.59 c choco : 9.97
7.39/7.59 c mistral : 1.48077
7.39/7.59 c abscon : 1.51977
7.39/7.59 c
7.39/7.59 c
7.39/7.59 c Length: 10
7.39/7.59 c 0.9429283031068704 0.9451641925612726 0.9527592560557994 1.0668018243797692 1.1035150916956251 1.235035675760017 1.3182268285845193 1.3678373011802254 1.4209878123685649 1.4928908823152476
7.39/7.59 c
7.39/7.59 c 1.0 0.9959509314471359 0.9824382519907958 0.8161666892224618 0.773996296574563 0.6531079490398645 0.594386359075365 0.5641384896478946 0.5349715588571111 0.5
7.39/7.59 c
7.39/7.59 c solver 0
7.39/7.59 c before 0.0 seconds: {} 0
7.39/7.59 c before 18.0 seconds: {6, 9} 1094
7.39/7.59 c before 72.0 seconds: {4, 5, 6, 9} 2521
7.39/7.59 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 6415
7.39/7.59 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7415
7.39/7.59 c
7.39/7.59 c solver 1
7.39/7.59 c before 0.0 seconds: {} 0
7.39/7.59 c before 18.0 seconds: {6, 9} 1094
7.39/7.59 c before 36.0 seconds: {4, 5, 6, 9} 2521
7.39/7.59 c before 90.0 seconds: {1, 4, 5, 6, 7, 8, 9} 4616
7.39/7.59 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 6415
7.39/7.60 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7415
7.39/7.60 c
7.39/7.60 c solver 2
7.39/7.60 c before 0.0 seconds: {} 0
7.39/7.60 c before 18.0 seconds: {9} 500
7.39/7.60 c before 396.0 seconds: {0, 9} 1500
7.39/7.60 c
7.39/7.60 cTotal time: 55
7.39/7.60 c 990.0 seconds unused
7.39/7.60 c 0 c 0 c 8
7.39/7.60 c 0 c 0 c 8
7.39/7.60 c 0 c 0 c 0
7.39/7.60 c is solver0 dominated by:
7.39/7.60 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.39/7.60 c is dominated? true
7.39/7.60 c
7.39/7.60 c is solver1 dominated by:
7.39/7.60 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.39/7.60 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: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.39/7.60 c is dominated? false
7.39/7.60 c
7.39/7.60 c is solver2 dominated by:
7.39/7.60 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.39/7.60 c is dominated? true
7.39/7.60 c
7.46/7.60 c Number of non-dominated solvers: 1
7.46/7.60 c remove dominated solvers
7.46/7.60 c solver 1 is not dominated by another solver
7.46/7.61 c solver 2 is dominated by another solver
7.46/7.61 c solver 0 is dominated by another solver
7.46/7.61 c
7.46/7.61 c solver 0: 0.0
7.46/7.61 c
7.46/7.61 c solver 1: 288.0
7.46/7.61 c
7.46/7.61 c+ 16/16 of 84
7.46/7.61 c
7.46/7.61 c solver 2: 0.0
7.46/7.61 c do not run abscon
7.46/7.61 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7415
7.46/7.61 c do not run choco
7.46/7.61 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.46/7.61 c On Instance: HOME/instance-1045592-1215023980.xml
7.46/7.61 c Running for: 1800 seconds
45.77/46.33 c mistral-prime version 1.313
45.77/46.33 s UNSATISFIABLE
45.77/46.33 d CHECKS 165422594
45.77/46.33 d ASSIGNMENTS 404123
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1045592-1215023980/watcher-1045592-1215023980 -o /tmp/evaluation-result-1045592-1215023980/solver-1045592-1215023980 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045592-1215023980.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
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 2864
/proc/meminfo: memFree=1701176/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=18572 CPUtime=0
/proc/2864/stat : 2864 (runsolver) R 2862 2244 2244 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 1981370912 19017728 290 996147200 4194304 4296836 548682068496 18446744073709551615 4237833 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2864/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.0592131 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 2864
/proc/meminfo: memFree=1701176/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=0
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981370912 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101245 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 2864
/proc/meminfo: memFree=1701176/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=0
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981370912 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301261 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 2864
/proc/meminfo: memFree=1701176/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=0
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981370912 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701303 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 2864
/proc/meminfo: memFree=1701176/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=0
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981370912 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50138 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 2868
/proc/meminfo: memFree=1699432/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=0
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981370912 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 236 195 169 0 51 0
[pid=2868] ppid=2864 vsize=5780 CPUtime=1.47
/proc/2868/stat : 2868 (xsolve) R 2864 2864 2244 0 -1 4194304 813 0 0 0 146 1 0 0 25 0 1 0 1981370913 5918720 772 996147200 134512640 135239763 4294956176 18446744073709551615 135030894 0 0 4096 0 0 0 0 17 1 0 0
/proc/2868/statm: 1445 772 411 177 0 348 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11140
[startup+3.10161 s]
/proc/loadavg: 2.01 2.01 2.00 4/90 2880
/proc/meminfo: memFree=1694504/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=1.51
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 375 1410 0 0 0 0 149 2 18 0 1 0 1981370912 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 238 196 169 0 51 0
[pid=2872] ppid=2864 vsize=197108 CPUtime=1.54
/proc/2872/stat : 2872 (java) S 2864 2864 2244 0 -1 0 5046 0 1 0 149 5 0 0 18 0 9 0 1981371065 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2872/statm: 49277 4233 1678 9 0 43860 0
[pid=2872/tid=2873] ppid=2864 vsize=197108 CPUtime=1.23
/proc/2872/task/2873/stat : 2873 (java) R 2864 2864 2244 0 -1 64 2739 0 1 0 122 1 0 0 25 0 9 0 1981371066 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197108 CPUtime=0.13
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 975 0 0 0 12 1 0 0 15 0 9 0 1981371068 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981371068 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1981371068 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981371070 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197108 CPUtime=0.14
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 606 0 0 0 14 0 0 0 16 0 9 0 1981371070 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981371070 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981371070 201838592 4233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202468
[startup+6.30285 s]
/proc/loadavg: 2.09 2.02 2.01 3/90 2880
/proc/meminfo: memFree=1681128/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=1.51
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 375 1410 0 0 0 0 149 2 18 0 1 0 1981370912 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 238 196 169 0 51 0
[pid=2872] ppid=2864 vsize=197108 CPUtime=4.69
/proc/2872/stat : 2872 (java) S 2864 2864 2244 0 -1 0 9926 0 1 0 454 15 0 0 18 0 9 0 1981371065 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2872/statm: 49277 8230 2540 9 0 43860 0
[pid=2872/tid=2873] ppid=2864 vsize=197108 CPUtime=3.75
/proc/2872/task/2873/stat : 2873 (java) R 2864 2864 2244 0 -1 64 3538 0 1 0 371 4 0 0 25 0 9 0 1981371066 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4126482631 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197108 CPUtime=0.75
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 5041 0 0 0 66 9 0 0 16 0 9 0 1981371068 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981371068 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981371068 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981371070 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197108 CPUtime=0.16
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 621 0 0 0 16 0 0 0 16 0 9 0 1981371070 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981371070 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197108 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981371070 201838592 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
[startup+12.7025 s]
/proc/loadavg: 2.08 2.02 2.00 3/93 2883
/proc/meminfo: memFree=1671248/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=1.51
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 375 1410 0 0 0 0 149 2 18 0 1 0 1981370912 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 238 196 169 0 51 0
[pid=2872] ppid=2864 vsize=197432 CPUtime=5.96
/proc/2872/stat : 2872 (java) S 2864 2864 2244 0 -1 0 11468 0 1 0 577 19 0 0 18 0 10 0 1981371065 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2872/statm: 49358 9388 2543 9 0 43941 0
[pid=2882] ppid=2872 vsize=5356 CPUtime=0
/proc/2882/stat : 2882 (mistral) S 2872 2864 2244 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1981371674 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2882/statm: 1339 236 196 169 0 50 0
[pid=2883] ppid=2882 vsize=5780 CPUtime=5.02
/proc/2883/stat : 2883 (xsolve) R 2882 2864 2244 0 -1 4194304 789 0 0 0 502 0 0 0 25 0 1 0 1981371674 5918720 753 996147200 134512640 135239763 4294955968 18446744073709551615 135095680 0 4 0 0 0 0 0 17 1 0 0
/proc/2883/statm: 1445 753 392 177 0 348 0
[pid=2872/tid=2873] ppid=2864 vsize=197432 CPUtime=4.82
/proc/2872/task/2873/stat : 2873 (java) S 2864 2864 2244 0 -1 64 3861 0 1 0 477 5 0 0 23 0 10 0 1981371066 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197432 CPUtime=0.9
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 6159 0 0 0 79 11 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197432 CPUtime=0.19
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 638 0 0 0 19 0 0 0 16 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2881] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2881/stat : 2881 (java) S 2864 2864 2244 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981371674 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 213928
[startup+25.5028 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 2883
/proc/meminfo: memFree=1671376/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=1.51
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 375 1410 0 0 0 0 149 2 18 0 1 0 1981370912 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 238 196 169 0 51 0
[pid=2872] ppid=2864 vsize=197432 CPUtime=5.96
/proc/2872/stat : 2872 (java) S 2864 2864 2244 0 -1 0 11468 0 1 0 577 19 0 0 18 0 10 0 1981371065 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2872/statm: 49358 9388 2543 9 0 43941 0
[pid=2882] ppid=2872 vsize=5356 CPUtime=0
/proc/2882/stat : 2882 (mistral) S 2872 2864 2244 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1981371674 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2882/statm: 1339 236 196 169 0 50 0
[pid=2883] ppid=2882 vsize=5780 CPUtime=17.7
/proc/2883/stat : 2883 (xsolve) R 2882 2864 2244 0 -1 4194304 789 0 0 0 1770 0 0 0 25 0 1 0 1981371674 5918720 753 996147200 134512640 135239763 4294955968 18446744073709551615 135030985 0 4 0 0 0 0 0 17 1 0 0
/proc/2883/statm: 1445 753 392 177 0 348 0
[pid=2872/tid=2873] ppid=2864 vsize=197432 CPUtime=4.82
/proc/2872/task/2873/stat : 2873 (java) S 2864 2864 2244 0 -1 64 3861 0 1 0 477 5 0 0 23 0 10 0 1981371066 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197432 CPUtime=0.9
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 6159 0 0 0 79 11 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197432 CPUtime=0.19
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 638 0 0 0 19 0 0 0 16 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2881] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2881/stat : 2881 (java) S 2864 2864 2244 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981371674 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 213928
Solver just ended. Dumping a history of the last processes samples
[startup+38.3021 s]
/proc/loadavg: 2.05 2.02 2.00 3/93 2883
################
# More data... #
################
[pid=2882] ppid=2872 vsize=5356 CPUtime=0
/proc/2882/stat : 2882 (mistral) S 2872 2864 2244 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1981371674 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2882/statm: 1339 236 196 169 0 50 0
[pid=2883] ppid=2882 vsize=5780 CPUtime=33.55
/proc/2883/stat : 2883 (xsolve) R 2882 2864 2244 0 -1 4194304 789 0 0 0 3355 0 0 0 25 0 1 0 1981371674 5918720 753 996147200 134512640 135239763 4294955968 18446744073709551615 135103046 0 4 0 0 0 0 0 17 1 0 0
/proc/2883/statm: 1445 753 392 177 0 348 0
[pid=2872/tid=2873] ppid=2864 vsize=197432 CPUtime=4.82
/proc/2872/task/2873/stat : 2873 (java) S 2864 2864 2244 0 -1 64 3861 0 1 0 477 5 0 0 23 0 10 0 1981371066 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197432 CPUtime=0.9
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 6159 0 0 0 79 11 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197432 CPUtime=0.19
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 638 0 0 0 19 0 0 0 16 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2881] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2881/stat : 2881 (java) S 2864 2864 2244 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981371674 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.02
Current children cumulated vsize (KiB) 213928
[startup+44.7018 s]
/proc/loadavg: 2.05 2.02 2.00 3/93 2883
/proc/meminfo: memFree=1671440/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=1.51
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 375 1410 0 0 0 0 149 2 18 0 1 0 1981370912 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 238 196 169 0 51 0
[pid=2872] ppid=2864 vsize=197432 CPUtime=5.96
/proc/2872/stat : 2872 (java) S 2864 2864 2244 0 -1 0 11468 0 1 0 577 19 0 0 18 0 10 0 1981371065 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2872/statm: 49358 9388 2543 9 0 43941 0
[pid=2882] ppid=2872 vsize=5356 CPUtime=0
/proc/2882/stat : 2882 (mistral) S 2872 2864 2244 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1981371674 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2882/statm: 1339 236 196 169 0 50 0
[pid=2883] ppid=2882 vsize=5780 CPUtime=36.72
/proc/2883/stat : 2883 (xsolve) R 2882 2864 2244 0 -1 4194304 789 0 0 0 3672 0 0 0 25 0 1 0 1981371674 5918720 753 996147200 134512640 135239763 4294955968 18446744073709551615 135103094 0 4 0 0 0 0 0 17 1 0 0
/proc/2883/statm: 1445 753 392 177 0 348 0
[pid=2872/tid=2873] ppid=2864 vsize=197432 CPUtime=4.82
/proc/2872/task/2873/stat : 2873 (java) S 2864 2864 2244 0 -1 64 3861 0 1 0 477 5 0 0 23 0 10 0 1981371066 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197432 CPUtime=0.9
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 6159 0 0 0 79 11 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197432 CPUtime=0.19
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 638 0 0 0 19 0 0 0 16 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2881] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2881/stat : 2881 (java) S 2864 2864 2244 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981371674 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.19
Current children cumulated vsize (KiB) 213928
[startup+45.5019 s]
/proc/loadavg: 2.04 2.02 2.00 3/93 2883
/proc/meminfo: memFree=1671440/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=1.51
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 375 1410 0 0 0 0 149 2 18 0 1 0 1981370912 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 238 196 169 0 51 0
[pid=2872] ppid=2864 vsize=197432 CPUtime=5.96
/proc/2872/stat : 2872 (java) S 2864 2864 2244 0 -1 0 11468 0 1 0 577 19 0 0 18 0 10 0 1981371065 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2872/statm: 49358 9388 2543 9 0 43941 0
[pid=2882] ppid=2872 vsize=5356 CPUtime=0
/proc/2882/stat : 2882 (mistral) S 2872 2864 2244 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1981371674 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2882/statm: 1339 236 196 169 0 50 0
[pid=2883] ppid=2882 vsize=5780 CPUtime=37.51
/proc/2883/stat : 2883 (xsolve) R 2882 2864 2244 0 -1 4194304 789 0 0 0 3751 0 0 0 25 0 1 0 1981371674 5918720 753 996147200 134512640 135239763 4294955968 18446744073709551615 134842520 0 4 0 0 0 0 0 17 1 0 0
/proc/2883/statm: 1445 753 392 177 0 348 0
[pid=2872/tid=2873] ppid=2864 vsize=197432 CPUtime=4.82
/proc/2872/task/2873/stat : 2873 (java) S 2864 2864 2244 0 -1 64 3861 0 1 0 477 5 0 0 23 0 10 0 1981371066 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197432 CPUtime=0.9
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 6159 0 0 0 79 11 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197432 CPUtime=0.19
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 638 0 0 0 19 0 0 0 16 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2881] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2881/stat : 2881 (java) S 2864 2864 2244 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981371674 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.98
Current children cumulated vsize (KiB) 213928
[startup+45.9029 s]
/proc/loadavg: 2.04 2.02 2.00 3/93 2883
/proc/meminfo: memFree=1671440/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=1.51
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 375 1410 0 0 0 0 149 2 18 0 1 0 1981370912 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 238 196 169 0 51 0
[pid=2872] ppid=2864 vsize=197432 CPUtime=5.96
/proc/2872/stat : 2872 (java) S 2864 2864 2244 0 -1 0 11468 0 1 0 577 19 0 0 18 0 10 0 1981371065 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2872/statm: 49358 9388 2543 9 0 43941 0
[pid=2882] ppid=2872 vsize=5356 CPUtime=0
/proc/2882/stat : 2882 (mistral) S 2872 2864 2244 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1981371674 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2882/statm: 1339 236 196 169 0 50 0
[pid=2883] ppid=2882 vsize=5780 CPUtime=37.91
/proc/2883/stat : 2883 (xsolve) R 2882 2864 2244 0 -1 4194304 789 0 0 0 3791 0 0 0 25 0 1 0 1981371674 5918720 753 996147200 134512640 135239763 4294955968 18446744073709551615 135019107 0 4 0 0 0 0 0 17 1 0 0
/proc/2883/statm: 1445 753 392 177 0 348 0
[pid=2872/tid=2873] ppid=2864 vsize=197432 CPUtime=4.82
/proc/2872/task/2873/stat : 2873 (java) S 2864 2864 2244 0 -1 64 3861 0 1 0 477 5 0 0 23 0 10 0 1981371066 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197432 CPUtime=0.9
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 6159 0 0 0 79 11 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197432 CPUtime=0.19
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 638 0 0 0 19 0 0 0 16 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2881] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2881/stat : 2881 (java) S 2864 2864 2244 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981371674 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 45.38
Current children cumulated vsize (KiB) 213928
[startup+46.303 s]
/proc/loadavg: 2.04 2.02 2.00 3/93 2883
/proc/meminfo: memFree=1671440/2055920 swapFree=4180396/4192956
[pid=2864] ppid=2862 vsize=5360 CPUtime=1.51
/proc/2864/stat : 2864 (hydra) S 2862 2864 2244 0 -1 4194304 375 1410 0 0 0 0 149 2 18 0 1 0 1981370912 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2864/statm: 1340 238 196 169 0 51 0
[pid=2872] ppid=2864 vsize=197432 CPUtime=5.96
/proc/2872/stat : 2872 (java) S 2864 2864 2244 0 -1 0 11468 0 1 0 577 19 0 0 18 0 10 0 1981371065 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2872/statm: 49358 9388 2543 9 0 43941 0
[pid=2882] ppid=2872 vsize=5356 CPUtime=0
/proc/2882/stat : 2882 (mistral) S 2872 2864 2244 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1981371674 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2882/statm: 1339 236 196 169 0 50 0
[pid=2883] ppid=2882 vsize=5784 CPUtime=38.3
/proc/2883/stat : 2883 (xsolve) R 2882 2864 2244 0 -1 4194304 790 0 0 0 3830 0 0 0 25 0 1 0 1981371674 5922816 754 996147200 134512640 135239763 4294955968 18446744073709551615 135019104 0 4 0 0 0 0 0 17 1 0 0
/proc/2883/statm: 1446 754 392 177 0 349 0
[pid=2872/tid=2873] ppid=2864 vsize=197432 CPUtime=4.82
/proc/2872/task/2873/stat : 2873 (java) S 2864 2864 2244 0 -1 64 3861 0 1 0 477 5 0 0 23 0 10 0 1981371066 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2872/tid=2874] ppid=2864 vsize=197432 CPUtime=0.9
/proc/2872/task/2874/stat : 2874 (java) S 2864 2864 2244 0 -1 64 6159 0 0 0 79 11 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2875] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2875/stat : 2875 (java) S 2864 2864 2244 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2876] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2876/stat : 2876 (java) S 2864 2864 2244 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981371068 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2877] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2877/stat : 2877 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2878] ppid=2864 vsize=197432 CPUtime=0.19
/proc/2872/task/2878/stat : 2878 (java) S 2864 2864 2244 0 -1 64 638 0 0 0 19 0 0 0 16 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2879] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2879/stat : 2879 (java) S 2864 2864 2244 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2880] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2880/stat : 2880 (java) S 2864 2864 2244 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 1981371070 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2872/tid=2881] ppid=2864 vsize=197432 CPUtime=0
/proc/2872/task/2881/stat : 2881 (java) S 2864 2864 2244 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981371674 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 45.77
Current children cumulated vsize (KiB) 213932
Child status: 0
Real time (s): 46.3868
CPU time (s): 45.841
CPU user time (s): 45.6021
CPU system time (s): 0.238963
CPU usage (%): 98.8234
Max. virtual memory (cumulated for all children) (KiB): 213932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.6021
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14464
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9685
involuntary context switches= 12328
runsolver used 0.081987 second user time and 0.175973 second system time
The end