0.00/0.00 c cpHydra_k_10 version 0.0
8.42/8.39 c CASE TO CLASSIFY:
8.42/8.39 c Case: 0
8.42/8.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.523100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 25.437100 | c 14 > 8.930740 | c 11 > 13.125600 | c 12 > 18.874500 | 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 > 14.683800 | c 1 > 13.125600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 13.170900 | c 6 > 14.061400 | c 32 > 0.000000 | c 5 > 16.412300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.40 c choco : 1801.0
8.52/8.40 c mistral : 1801.0
8.52/8.40 c abscon : 1801.0
8.52/8.40 c
8.52/8.40 c
8.52/8.47 c List of same ones: 10
8.52/8.47 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml
8.52/8.47 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
8.52/8.47 c choco : 8.05
8.52/8.47 c mistral : 0.17
8.52/8.47 c abscon : 3.99
8.52/8.47 c
8.52/8.47 c
8.52/8.47 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml
8.52/8.47 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
8.52/8.48 c choco : 3.57
8.52/8.48 c mistral : 0.47
8.52/8.48 c abscon : 35.91
8.52/8.48 c
8.52/8.48 c
8.52/8.48 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml
8.52/8.48 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
8.52/8.48 c choco : 1.16
8.52/8.48 c mistral : 0.02
8.52/8.48 c abscon : 1.71
8.52/8.48 c
8.52/8.48 c
8.52/8.48 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml
8.52/8.48 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
8.52/8.49 c choco : 1.13
8.52/8.49 c mistral : 0.02
8.52/8.49 c abscon : 1.49
8.52/8.49 c
8.52/8.49 c
8.52/8.49 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml
8.52/8.49 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
8.52/8.49 c choco : 8.91
8.52/8.49 c mistral : 0.14
8.52/8.49 c abscon : 62.66
8.52/8.49 c
8.52/8.49 c
8.52/8.49 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml
8.52/8.49 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
8.52/8.50 c choco : 30.19
8.52/8.50 c mistral : 1.82
8.52/8.50 c abscon : 1801.0
8.52/8.50 c
8.52/8.50 c
8.52/8.50 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml
8.52/8.50 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
8.63/8.50 c choco : 12.89
8.63/8.50 c mistral : 7.43
8.63/8.50 c abscon : 1801.0
8.63/8.50 c
8.63/8.50 c
8.63/8.50 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
8.63/8.50 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
8.63/8.51 c choco : 1801.0
8.63/8.51 c mistral : 197.92
8.63/8.51 c abscon : 1801.0
8.63/8.51 c
8.63/8.51 c
8.63/8.51 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-3-3.xml
8.63/8.51 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
8.63/8.51 c choco : 1.63
8.63/8.51 c mistral : 0.0
8.63/8.51 c abscon : 1801.0
8.63/8.51 c
8.63/8.51 c
8.63/8.51 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml
8.63/8.51 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
8.63/8.52 c choco : 21.34
8.63/8.52 c mistral : 77.84
8.63/8.52 c abscon : 1801.0
8.63/8.52 c
8.63/8.52 c
8.84/8.71 c Length: 10
8.84/8.71 c 39.80375053659768 42.93020316667626 44.06895964095136 46.146474332874014 52.0491616147513 64.43221401452382 80.78546693531764 97.12955766669535 124.20325420118517 126.83218522877581
8.84/8.71 c
8.84/8.71 c 1.0 0.9653213184227813 0.9532803278850425 0.9320697750894821 0.8766501792780028 0.779427300224606 0.6798557298036508 0.6028810348318319 0.5076677438134952 0.5
8.84/8.71 c
8.84/8.71 c solver 0
8.84/8.71 c before 0.0 seconds: {} 0
8.84/8.71 c before 18.0 seconds: {0, 2, 3} 2885
8.84/8.71 c before 36.0 seconds: {0, 1, 2, 3} 3850
8.84/8.71 c before 72.0 seconds: {0, 1, 2, 3, 4} 4727
8.84/8.71 c
8.84/8.71 c solver 1
8.84/8.71 c before 0.0 seconds: {} 0
8.84/8.71 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 6694
8.84/8.71 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7194
8.84/8.71 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7797
8.84/8.71 c
8.84/8.71 c solver 2
8.84/8.71 c before 0.0 seconds: {} 0
8.84/8.71 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 8} 5914
8.84/8.71 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7194
8.84/8.71 c
8.84/8.71 cTotal time: 17
8.84/8.71 c 306.0 seconds unused
8.84/8.71 c 0 c 0 c 0
8.84/8.71 c 5 c 0 c 1
8.84/8.71 c 4 c 0 c 0
8.84/8.71 c is solver0 dominated by:
8.84/8.71 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)
8.84/8.71 c is dominated? true
8.84/8.71 c
8.84/8.71 c is solver1 dominated by:
8.84/8.71 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)
8.84/8.71 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)
8.84/8.71 c is dominated? false
8.84/8.71 c
8.84/8.71 c is solver2 dominated by:
8.84/8.71 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)
8.84/8.71 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)
8.84/8.71 c is dominated? true
8.84/8.71 c
8.84/8.71 c Number of non-dominated solvers: 1
8.84/8.71 c remove dominated solvers
8.84/8.71 c solver 1 is not dominated by another solver
8.84/8.71 c solver 2 is dominated by another solver
8.84/8.71 c solver 0 is dominated by another solver
8.84/8.71 c
8.84/8.71 c solver 0: 0.0
8.84/8.71 c
8.84/8.71 c solver 1: 198.0
8.84/8.71 c
8.84/8.71 c+ 11/11 of 89
8.84/8.71 c
8.84/8.71 c solver 2: 0.0
8.84/8.71 c do not run abscon
8.84/8.71 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7797
8.84/8.71 c do not run choco
8.84/8.71 c Starting solver: HOME/cpHydra_k_10/solver/mistral
8.84/8.71 c On Instance: HOME/instance-1070148-1215163632.xml
8.84/8.71 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-1070148-1215163632/watcher-1070148-1215163632 -o /tmp/evaluation-result-1070148-1215163632/solver-1070148-1215163632 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1070148-1215163632.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.00 1.00 1.19 3/64 3920
/proc/meminfo: memFree=1668504/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=0
/proc/3920/stat : 3920 (hydra) R 3918 3920 3248 0 -1 4194304 310 247 0 0 0 0 0 0 18 0 1 0 1995336792 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210823973420 0 0 4100 65536 0 0 0 17 0 0 0
/proc/3920/statm: 1340 236 195 169 0 51 0
[startup+0.0993521 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 3920
/proc/meminfo: memFree=1668504/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=0
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995336792 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101352 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 3920
/proc/meminfo: memFree=1668504/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=0
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995336792 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301376 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 3920
/proc/meminfo: memFree=1668504/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=0
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995336792 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701424 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 3920
/proc/meminfo: memFree=1668504/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=0
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995336792 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50252 s]
/proc/loadavg: 1.00 1.00 1.19 2/66 3924
/proc/meminfo: memFree=1657672/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=0
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995336792 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 236 195 169 0 51 0
[pid=3923] ppid=3920 vsize=18640 CPUtime=1.49
/proc/3923/stat : 3923 (xsolve) R 3920 3920 3248 0 -1 4194304 4032 0 0 0 148 1 0 0 25 0 1 0 1995336792 19087360 3925 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3923/statm: 4660 3925 368 177 0 3563 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24000
[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.19 2/66 3924
/proc/meminfo: memFree=1632712/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=0
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995336792 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 236 195 169 0 51 0
[pid=3923] ppid=3920 vsize=40128 CPUtime=3.08
/proc/3923/stat : 3923 (xsolve) R 3920 3920 3248 0 -1 4194304 9439 0 0 0 305 3 0 0 25 0 1 0 1995336792 41091072 9267 996147200 134512640 135239763 4294956176 18446744073709551615 134821551 0 0 4096 0 0 0 0 17 0 0 0
/proc/3923/statm: 10032 9267 430 177 0 8935 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 45488
[startup+6.3021 s]
/proc/loadavg: 1.00 1.00 1.19 2/74 3936
/proc/meminfo: memFree=1652680/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=3.27
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 375 10037 0 0 0 0 323 4 19 0 1 0 1995336792 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 238 196 169 0 51 0
[pid=3928] ppid=3920 vsize=197988 CPUtime=3.15
/proc/3928/stat : 3928 (java) S 3920 3920 3248 0 -1 0 8596 0 1 0 308 7 0 0 21 0 9 0 1995337120 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3928/statm: 49497 7108 2540 9 0 44080 0
[pid=3928/tid=3929] ppid=3920 vsize=197988 CPUtime=2.45
/proc/3928/task/3929/stat : 3929 (java) R 3920 3920 3248 0 -1 64 3234 0 1 0 243 2 0 0 16 0 9 0 1995337121 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4126375040 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3930] ppid=3920 vsize=197988 CPUtime=0.5
/proc/3928/task/3930/stat : 3930 (java) S 3920 3920 3248 0 -1 64 3991 0 0 0 47 3 0 0 16 0 9 0 1995337122 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3931] ppid=3920 vsize=197988 CPUtime=0
/proc/3928/task/3931/stat : 3931 (java) S 3920 3920 3248 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 1995337122 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3932] ppid=3920 vsize=197988 CPUtime=0
/proc/3928/task/3932/stat : 3932 (java) S 3920 3920 3248 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995337122 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3933] ppid=3920 vsize=197988 CPUtime=0
/proc/3928/task/3933/stat : 3933 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995337124 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3934] ppid=3920 vsize=197988 CPUtime=0.16
/proc/3928/task/3934/stat : 3934 (java) S 3920 3920 3248 0 -1 64 645 0 0 0 16 0 0 0 15 0 9 0 1995337124 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3935] ppid=3920 vsize=197988 CPUtime=0
/proc/3928/task/3935/stat : 3935 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995337124 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3936] ppid=3920 vsize=197988 CPUtime=0
/proc/3928/task/3936/stat : 3936 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995337124 202739712 7108 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 203348
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.18 3/77 3939
/proc/meminfo: memFree=1604656/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=3.27
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 375 10037 0 0 0 0 323 4 19 0 1 0 1995336792 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 238 196 169 0 51 0
[pid=3928] ppid=3920 vsize=198380 CPUtime=5.58
/proc/3928/stat : 3928 (java) S 3920 3920 3248 0 -1 0 14002 0 1 0 545 13 0 0 21 0 10 0 1995337120 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3928/statm: 49595 9417 2543 9 0 44178 0
[pid=3938] ppid=3928 vsize=5356 CPUtime=0
/proc/3938/stat : 3938 (mistral) S 3928 3920 3248 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1995337663 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3938/statm: 1339 236 196 169 0 50 0
[pid=3939] ppid=3938 vsize=40128 CPUtime=3.97
/proc/3939/stat : 3939 (xsolve) R 3938 3920 3248 0 -1 4194304 9416 0 0 0 393 4 0 0 25 0 1 0 1995337664 41091072 9249 996147200 134512640 135239763 4294955968 18446744073709551615 135067154 0 4 0 0 0 0 0 17 1 0 0
/proc/3939/statm: 10032 9249 412 177 0 8935 0
[pid=3928/tid=3929] ppid=3920 vsize=198380 CPUtime=4.34
/proc/3928/task/3929/stat : 3929 (java) S 3920 3920 3248 0 -1 64 3840 0 1 0 430 4 0 0 16 0 10 0 1995337121 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=3928/tid=3930] ppid=3920 vsize=198380 CPUtime=1.02
/proc/3928/task/3930/stat : 3930 (java) S 3920 3920 3248 0 -1 64 8693 0 0 0 95 7 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3931] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3931/stat : 3931 (java) S 3920 3920 3248 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3932] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3932/stat : 3932 (java) S 3920 3920 3248 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3933] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3933/stat : 3933 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3934] ppid=3920 vsize=198380 CPUtime=0.18
/proc/3928/task/3934/stat : 3934 (java) S 3920 3920 3248 0 -1 64 668 0 0 0 18 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3935] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3935/stat : 3935 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3936] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3936/stat : 3936 (java) S 3920 3920 3248 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3937] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3937/stat : 3937 (java) S 3920 3920 3248 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1995337663 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 249224
Solver just ended. Dumping a history of the last processes samples
[startup+15.9021 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 3939
/proc/meminfo: memFree=1604656/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=3.27
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 375 10037 0 0 0 0 323 4 19 0 1 0 1995336792 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 238 196 169 0 51 0
[pid=3928] ppid=3920 vsize=198380 CPUtime=5.58
/proc/3928/stat : 3928 (java) S 3920 3920 3248 0 -1 0 14008 0 1 0 545 13 0 0 21 0 10 0 1995337120 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3928/statm: 49595 9417 2543 9 0 44178 0
[pid=3938] ppid=3928 vsize=5356 CPUtime=0
/proc/3938/stat : 3938 (mistral) S 3928 3920 3248 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1995337663 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3938/statm: 1339 236 196 169 0 50 0
[pid=3939] ppid=3938 vsize=40128 CPUtime=7.16
/proc/3939/stat : 3939 (xsolve) R 3938 3920 3248 0 -1 4194304 9419 0 0 0 712 4 0 0 25 0 1 0 1995337664 41091072 9252 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 1 0 0
/proc/3939/statm: 10032 9252 412 177 0 8935 0
[pid=3928/tid=3929] ppid=3920 vsize=198380 CPUtime=4.34
/proc/3928/task/3929/stat : 3929 (java) S 3920 3920 3248 0 -1 64 3840 0 1 0 430 4 0 0 16 0 10 0 1995337121 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=3928/tid=3930] ppid=3920 vsize=198380 CPUtime=1.02
/proc/3928/task/3930/stat : 3930 (java) S 3920 3920 3248 0 -1 64 8693 0 0 0 95 7 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3931] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3931/stat : 3931 (java) S 3920 3920 3248 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3932] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3932/stat : 3932 (java) S 3920 3920 3248 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3933] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3933/stat : 3933 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3934] ppid=3920 vsize=198380 CPUtime=0.18
/proc/3928/task/3934/stat : 3934 (java) S 3920 3920 3248 0 -1 64 668 0 0 0 18 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3935] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3935/stat : 3935 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3936] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3936/stat : 3936 (java) S 3920 3920 3248 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3937] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3937/stat : 3937 (java) S 3920 3920 3248 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1995337663 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.01
Current children cumulated vsize (KiB) 249224
[startup+17.5022 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 3939
/proc/meminfo: memFree=1604400/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=3.27
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 375 10037 0 0 0 0 323 4 19 0 1 0 1995336792 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 238 196 169 0 51 0
[pid=3928] ppid=3920 vsize=198380 CPUtime=5.58
/proc/3928/stat : 3928 (java) S 3920 3920 3248 0 -1 0 14008 0 1 0 545 13 0 0 21 0 10 0 1995337120 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3928/statm: 49595 9417 2543 9 0 44178 0
[pid=3938] ppid=3928 vsize=5356 CPUtime=0
/proc/3938/stat : 3938 (mistral) S 3928 3920 3248 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1995337663 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3938/statm: 1339 236 196 169 0 50 0
[pid=3939] ppid=3938 vsize=40384 CPUtime=8.77
/proc/3939/stat : 3939 (xsolve) R 3938 3920 3248 0 -1 4194304 9492 0 0 0 873 4 0 0 25 0 1 0 1995337664 41353216 9260 996147200 134512640 135239763 4294955968 18446744073709551615 135030786 0 4 0 0 0 0 0 17 1 0 0
/proc/3939/statm: 10096 9260 412 177 0 8999 0
[pid=3928/tid=3929] ppid=3920 vsize=198380 CPUtime=4.34
/proc/3928/task/3929/stat : 3929 (java) S 3920 3920 3248 0 -1 64 3840 0 1 0 430 4 0 0 16 0 10 0 1995337121 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=3928/tid=3930] ppid=3920 vsize=198380 CPUtime=1.02
/proc/3928/task/3930/stat : 3930 (java) S 3920 3920 3248 0 -1 64 8693 0 0 0 95 7 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3931] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3931/stat : 3931 (java) S 3920 3920 3248 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3932] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3932/stat : 3932 (java) S 3920 3920 3248 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3933] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3933/stat : 3933 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3934] ppid=3920 vsize=198380 CPUtime=0.18
/proc/3928/task/3934/stat : 3934 (java) S 3920 3920 3248 0 -1 64 668 0 0 0 18 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3935] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3935/stat : 3935 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3936] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3936/stat : 3936 (java) S 3920 3920 3248 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3937] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3937/stat : 3937 (java) S 3920 3920 3248 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1995337663 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.62
Current children cumulated vsize (KiB) 249480
[startup+18.3023 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 3939
/proc/meminfo: memFree=1604400/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=3.27
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 375 10037 0 0 0 0 323 4 19 0 1 0 1995336792 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 238 196 169 0 51 0
[pid=3928] ppid=3920 vsize=198380 CPUtime=5.58
/proc/3928/stat : 3928 (java) S 3920 3920 3248 0 -1 0 14008 0 1 0 545 13 0 0 21 0 10 0 1995337120 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3928/statm: 49595 9417 2543 9 0 44178 0
[pid=3938] ppid=3928 vsize=5356 CPUtime=0
/proc/3938/stat : 3938 (mistral) S 3928 3920 3248 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1995337663 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3938/statm: 1339 236 196 169 0 50 0
[pid=3939] ppid=3938 vsize=40384 CPUtime=9.56
/proc/3939/stat : 3939 (xsolve) R 3938 3920 3248 0 -1 4194304 9492 0 0 0 952 4 0 0 25 0 1 0 1995337664 41353216 9260 996147200 134512640 135239763 4294955968 18446744073709551615 134797019 0 4 0 0 0 0 0 17 1 0 0
/proc/3939/statm: 10096 9260 412 177 0 8999 0
[pid=3928/tid=3929] ppid=3920 vsize=198380 CPUtime=4.34
/proc/3928/task/3929/stat : 3929 (java) S 3920 3920 3248 0 -1 64 3840 0 1 0 430 4 0 0 16 0 10 0 1995337121 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=3928/tid=3930] ppid=3920 vsize=198380 CPUtime=1.02
/proc/3928/task/3930/stat : 3930 (java) S 3920 3920 3248 0 -1 64 8693 0 0 0 95 7 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3931] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3931/stat : 3931 (java) S 3920 3920 3248 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3932] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3932/stat : 3932 (java) S 3920 3920 3248 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3933] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3933/stat : 3933 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3934] ppid=3920 vsize=198380 CPUtime=0.18
/proc/3928/task/3934/stat : 3934 (java) S 3920 3920 3248 0 -1 64 668 0 0 0 18 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3935] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3935/stat : 3935 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3936] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3936/stat : 3936 (java) S 3920 3920 3248 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3937] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3937/stat : 3937 (java) S 3920 3920 3248 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1995337663 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.41
Current children cumulated vsize (KiB) 249480
[startup+18.7064 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 3939
/proc/meminfo: memFree=1604400/2055920 swapFree=4180424/4192956
[pid=3920] ppid=3918 vsize=5360 CPUtime=3.27
/proc/3920/stat : 3920 (hydra) S 3918 3920 3248 0 -1 4194304 375 10037 0 0 0 0 323 4 19 0 1 0 1995336792 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3920/statm: 1340 238 196 169 0 51 0
[pid=3928] ppid=3920 vsize=198380 CPUtime=5.58
/proc/3928/stat : 3928 (java) S 3920 3920 3248 0 -1 0 14008 0 1 0 545 13 0 0 21 0 10 0 1995337120 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3928/statm: 49595 9417 2543 9 0 44178 0
[pid=3938] ppid=3928 vsize=5356 CPUtime=0
/proc/3938/stat : 3938 (mistral) S 3928 3920 3248 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1995337663 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3938/statm: 1339 236 196 169 0 50 0
[pid=3939] ppid=3938 vsize=40384 CPUtime=9.97
/proc/3939/stat : 3939 (xsolve) R 3938 3920 3248 0 -1 4194304 9492 0 0 0 993 4 0 0 25 0 1 0 1995337664 41353216 9260 996147200 134512640 135239763 4294955968 18446744073709551615 134787942 0 4 0 0 0 0 0 17 1 0 0
/proc/3939/statm: 10096 9260 412 177 0 8999 0
[pid=3928/tid=3929] ppid=3920 vsize=198380 CPUtime=4.34
/proc/3928/task/3929/stat : 3929 (java) S 3920 3920 3248 0 -1 64 3840 0 1 0 430 4 0 0 16 0 10 0 1995337121 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=3928/tid=3930] ppid=3920 vsize=198380 CPUtime=1.02
/proc/3928/task/3930/stat : 3930 (java) S 3920 3920 3248 0 -1 64 8693 0 0 0 95 7 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3931] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3931/stat : 3931 (java) S 3920 3920 3248 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3932] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3932/stat : 3932 (java) S 3920 3920 3248 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995337122 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3928/tid=3933] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3933/stat : 3933 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3934] ppid=3920 vsize=198380 CPUtime=0.18
/proc/3928/task/3934/stat : 3934 (java) S 3920 3920 3248 0 -1 64 668 0 0 0 18 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3935] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3935/stat : 3935 (java) S 3920 3920 3248 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3936] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3936/stat : 3936 (java) S 3920 3920 3248 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1995337124 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3928/tid=3937] ppid=3920 vsize=198380 CPUtime=0
/proc/3928/task/3937/stat : 3937 (java) S 3920 3920 3248 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1995337663 203141120 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.82
Current children cumulated vsize (KiB) 249480
Child status: 0
Real time (s): 18.7915
CPU time (s): 18.9371
CPU user time (s): 18.6862
CPU system time (s): 0.250961
CPU usage (%): 100.775
Max. virtual memory (cumulated for all children) (KiB): 249480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6862
system time used= 0.250961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34336
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= 3680
involuntary context switches= 1016
runsolver used 0.024996 second user time and 0.072988 second system time
The end