0.00/0.00 c cpHydra_k_10 version 0.0
7.50/26.57 c CASE TO CLASSIFY:
7.50/26.57 c Case: 0
7.50/26.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 19.760500 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 14.395500 | c 14 > 13.664800 | c 11 > 9.696970 | c 12 > 13.760200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.321930 | c 1 > 9.550750 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 6.321930 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.173700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/26.59 c choco : 1801.0
7.50/26.59 c mistral : 1801.0
7.50/26.59 c abscon : 1801.0
7.50/26.59 c
7.50/26.59 c
7.60/26.66 c List of same ones: 10
7.60/26.66 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml
7.60/26.66 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
7.60/26.66 c choco : 8.05
7.60/26.66 c mistral : 0.17
7.60/26.66 c abscon : 3.99
7.60/26.67 c
7.60/26.67 c
7.60/26.67 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml
7.60/26.67 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
7.60/26.70 c choco : 3.57
7.60/26.70 c mistral : 0.47
7.60/26.70 c abscon : 35.91
7.60/26.70 c
7.60/26.70 c
7.68/26.70 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml
7.68/26.70 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
7.68/26.71 c choco : 1.16
7.68/26.71 c mistral : 0.02
7.68/26.71 c abscon : 1.71
7.68/26.71 c
7.68/26.71 c
7.68/26.71 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml
7.68/26.71 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
7.68/26.71 c choco : 8.91
7.68/26.71 c mistral : 0.14
7.68/26.71 c abscon : 62.66
7.68/26.71 c
7.68/26.71 c
7.68/26.71 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml
7.68/26.71 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
7.68/26.72 c choco : 1.13
7.68/26.72 c mistral : 0.02
7.68/26.73 c abscon : 1.49
7.68/26.73 c
7.68/26.73 c
7.68/26.73 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml
7.68/26.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.914200 | c 34 > -1.000000 | c 16 > 64.000000 | c 13 > 12.258500 | c 14 > 14.563600 | c 11 > 6.000000 | c 12 > 14.663600 | c 21 > 8.000000 | c 20 > 0.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.263160 | c 3 > 6.000000 | c 2 > -1.000000 | c 10 > 10.990800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/26.73 c choco : 30.19
7.68/26.73 c mistral : 1.82
7.68/26.73 c abscon : 1801.0
7.68/26.73 c
7.68/26.73 c
7.68/26.73 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml
7.68/26.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.832600 | c 34 > -1.000000 | c 16 > 81.000000 | c 13 > 7.189530 | c 14 > 10.327600 | c 11 > 6.339850 | c 12 > 9.808860 | c 21 > 9.000000 | c 20 > 0.000000 | c 22 > 9.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.761900 | c 3 > 6.339850 | c 2 > -1.000000 | c 10 > 11.671100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.238100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.679700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/26.74 c choco : 12.89
7.68/26.74 c mistral : 7.43
7.68/26.74 c abscon : 1801.0
7.68/26.74 c
7.68/26.74 c
7.68/26.74 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
7.68/26.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.696000 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 12.108300 | c 14 > 14.463800 | c 11 > 6.643860 | c 12 > 14.945800 | c 21 > 10.000000 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.347830 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 12.279900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.652200 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/26.75 c choco : 1801.0
7.68/26.75 c mistral : 197.92
7.68/26.75 c abscon : 1801.0
7.68/26.75 c
7.68/26.75 c
7.68/26.75 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-3-3.xml
7.68/26.75 c 19 > 44.444400 | c 35 > 29.230800 | c 17 > 0.000000 | c 18 > 27.777800 | c 33 > 0.000000 | c 15 > 3.169930 | c 34 > 37.692300 | c 16 > 4.000000 | c 13 > 0.786261 | c 14 > -1.000000 | c 11 > 5.672430 | c 12 > 1.173060 | c 21 > 1.490710 | c 20 > 27.777800 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > -1.000000 | c 10 > 5.554590 | c 1 > 3.584960 | c 0 > -1.000000 | c 30 > 60.000000 | c 7 > 3.906890 | c 6 > 4.321930 | c 32 > 40.000000 | c 5 > 7.149750 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/26.75 c choco : 1.63
7.68/26.75 c mistral : 0.0
7.68/26.75 c abscon : 1801.0
7.68/26.75 c
7.68/26.75 c
7.68/26.76 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml
7.68/26.76 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 20.121300 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 6.625550 | c 14 > 9.539160 | c 11 > 12.010500 | c 12 > 4.633540 | c 21 > 1.948560 | c 20 > 79.767800 | c 22 > 6.245000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.999600 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.405140 | c 6 > 11.519600 | c 32 > 1.639340 | c 5 > 14.676000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/26.76 c choco : 21.34
7.68/26.76 c mistral : 77.84
7.68/26.76 c abscon : 1801.0
7.68/26.76 c
7.68/26.76 c
7.86/26.93 c Length: 10
7.86/26.93 c 20.694627757746698 22.235978249762255 29.856490067832823 30.894539726798 35.394240179823036 43.83773310059497 60.379157742120746 78.05148638063916 122.31915693213399 126.05008776742481
7.86/26.94 c
7.86/26.94 c 1.0 0.9855809496580711 0.9199958388434576 0.9117313908095174 0.8775594223190165 0.8198960021121102 0.7263890463174919 0.6474952904308796 0.509012781501242 0.5
7.86/26.94 c
7.86/26.94 c solver 0
7.86/26.94 c before 0.0 seconds: {} 0
7.86/26.94 c before 18.0 seconds: {0, 2, 4} 2797
7.86/26.94 c before 36.0 seconds: {0, 1, 2, 4} 3783
7.86/26.94 c before 72.0 seconds: {0, 1, 2, 3, 4} 4694
7.86/26.94 c
7.86/26.94 c solver 1
7.86/26.94 c before 0.0 seconds: {} 0
7.86/26.94 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 6750
7.86/26.94 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7250
7.86/26.94 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7897
7.86/26.94 c
7.86/26.94 c solver 2
7.86/26.94 c before 0.0 seconds: {} 0
7.86/26.94 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 8} 5930
7.86/26.94 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7250
7.86/26.94 c
7.86/26.94 cTotal time: 17
7.86/26.94 c 306.0 seconds unused
7.86/26.94 c 0 c 0 c 0
7.86/26.94 c 5 c 0 c 1
7.86/26.94 c 4 c 0 c 0
7.86/26.94 c is solver0 dominated by:
7.86/26.94 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.86/26.94 c is dominated? true
7.86/26.94 c
7.86/26.94 c is solver1 dominated by:
7.86/26.94 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.86/26.94 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.86/26.94 c is dominated? false
7.86/26.94 c
7.86/26.94 c is solver2 dominated by:
7.86/26.94 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.86/26.94 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.86/26.94 c is dominated? true
7.86/26.94 c
7.86/26.94 c Number of non-dominated solvers: 1
7.86/26.94 c remove dominated solvers
7.86/26.94 c solver 1 is not dominated by another solver
7.86/26.94 c solver 2 is dominated by another solver
7.86/26.94 c solver 0 is dominated by another solver
7.86/26.95 c
7.86/26.95 c solver 0: 0.0
7.86/26.95 c
7.86/26.95 c solver 1: 198.0
7.86/26.95 c
7.86/26.95 c+ 11/11 of 89
7.86/26.95 c
7.86/26.95 c solver 2: 0.0
7.86/26.95 c do not run abscon
7.86/26.95 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7897
7.86/26.95 c do not run choco
7.86/26.95 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.86/26.95 c On Instance: HOME/instance-1070452-1215165031.xml
7.86/26.95 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-1070452-1215165031/watcher-1070452-1215165031 -o /tmp/evaluation-result-1070452-1215165031/solver-1070452-1215165031 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1070452-1215165031.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.92 2.10 2.94 4/87 26797
/proc/meminfo: memFree=1758668/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=0
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 672229793 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26797/statm: 1340 236 195 169 0 51 0
[pid=26798] ppid=26797 vsize=5360 CPUtime=0
/proc/26798/stat : 26798 (hydra) R 26797 26797 25777 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 672229793 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 256364834087 0 0 4096 0 0 0 0 17 1 0 0
/proc/26798/statm: 1340 239 198 169 0 51 0
[startup+0.0295701 s]
/proc/loadavg: 1.92 2.10 2.94 4/87 26797
/proc/meminfo: memFree=1758668/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=0
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 672229793 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101575 s]
/proc/loadavg: 1.92 2.10 2.94 4/87 26797
/proc/meminfo: memFree=1758668/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=0
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 672229793 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301598 s]
/proc/loadavg: 1.92 2.10 2.94 4/87 26797
/proc/meminfo: memFree=1758668/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=0
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 672229793 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701636 s]
/proc/loadavg: 1.92 2.10 2.94 4/87 26797
/proc/meminfo: memFree=1758668/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=0
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 672229793 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.51006 s]
/proc/loadavg: 1.92 2.10 2.94 3/89 26801
/proc/meminfo: memFree=1757500/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=0
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 672229793 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 236 195 169 0 51 0
[pid=26801] ppid=26797 vsize=5132 CPUtime=1.44
/proc/26801/stat : 26801 (xsolve) R 26797 26797 25777 0 -1 4194304 657 0 0 0 143 1 0 0 25 0 1 0 672229794 5255168 616 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/26801/statm: 1283 616 425 177 0 186 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10492
[startup+3.10188 s]
/proc/loadavg: 1.92 2.10 2.94 3/90 26804
/proc/meminfo: memFree=1756788/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.48
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 348 918 0 0 0 0 147 1 16 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26802] ppid=26797 vsize=5360 CPUtime=0.04
/proc/26802/stat : 26802 (hydra) S 26797 26797 25777 0 -1 4194368 50 116 0 0 0 0 0 4 16 0 1 0 672229949 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/26802/statm: 1340 238 196 169 0 51 0
[pid=26804] ppid=26802 vsize=5360 CPUtime=0
/proc/26804/stat : 26804 (hydra) D 26802 26797 25777 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 672229949 5488640 241 996147200 4194304 4889804 548682068816 18446744073709551615 256364834087 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/26804/statm: 1340 241 199 169 0 51 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 16080
[startup+6.30238 s]
/proc/loadavg: 2.09 2.13 2.95 2/90 26804
/proc/meminfo: memFree=1756788/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.48
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 348 918 0 0 0 0 147 1 16 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26802] ppid=26797 vsize=5360 CPUtime=0.04
/proc/26802/stat : 26802 (hydra) S 26797 26797 25777 0 -1 4194368 50 116 0 0 0 0 0 4 16 0 1 0 672229949 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/26802/statm: 1340 238 196 169 0 51 0
[pid=26804] ppid=26802 vsize=92 CPUtime=0
/proc/26804/stat : 26804 (grep) D 26802 26797 25777 0 -1 4194304 22 0 0 0 0 0 0 0 18 0 1 0 672229949 94208 1 996147200 0 0 548682069799 18446744073709551615 256364834087 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/26804/statm: 23 1 0 0 0 2 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10812
[startup+12.7019 s]
/proc/loadavg: 2.24 2.16 2.95 2/90 26804
/proc/meminfo: memFree=1756724/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.48
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 348 918 0 0 0 0 147 1 16 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26802] ppid=26797 vsize=5360 CPUtime=0.04
/proc/26802/stat : 26802 (hydra) S 26797 26797 25777 0 -1 4194368 50 116 0 0 0 0 0 4 16 0 1 0 672229949 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/26802/statm: 1340 238 196 169 0 51 0
[pid=26804] ppid=26802 vsize=248 CPUtime=0
/proc/26804/stat : 26804 (grep) D 26802 26797 25777 0 -1 4194304 52 0 1 0 0 0 0 0 18 0 1 0 672229949 253952 31 996147200 4194304 4274172 548682069072 18446744073709551615 256362214889 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/26804/statm: 62 31 24 19 0 4 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10968
[startup+25.5062 s]
/proc/loadavg: 2.63 2.25 2.97 3/97 26813
/proc/meminfo: memFree=1734396/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.59
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 375 1252 0 2 0 2 148 9 17 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26805] ppid=26797 vsize=197092 CPUtime=4.96
/proc/26805/stat : 26805 (java) S 26797 26797 25777 0 -1 0 11238 0 1 0 467 29 0 0 18 0 9 0 672231783 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26805/statm: 49273 8282 2540 9 0 43856 0
[pid=26805/tid=26806] ppid=26797 vsize=197092 CPUtime=3.72
/proc/26805/task/26806/stat : 26806 (java) R 26797 26797 25777 0 -1 64 3545 0 1 0 367 5 0 0 25 0 9 0 672231806 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4126487850 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26807] ppid=26797 vsize=197092 CPUtime=0.78
/proc/26805/task/26807/stat : 26807 (java) S 26797 26797 25777 0 -1 64 6342 0 0 0 70 8 0 0 16 0 9 0 672231807 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26808] ppid=26797 vsize=197092 CPUtime=0
/proc/26805/task/26808/stat : 26808 (java) S 26797 26797 25777 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 672231807 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26809] ppid=26797 vsize=197092 CPUtime=0
/proc/26805/task/26809/stat : 26809 (java) S 26797 26797 25777 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 672231807 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26810] ppid=26797 vsize=197092 CPUtime=0
/proc/26805/task/26810/stat : 26810 (java) S 26797 26797 25777 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 672231809 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26811] ppid=26797 vsize=197092 CPUtime=0.26
/proc/26805/task/26811/stat : 26811 (java) S 26797 26797 25777 0 -1 64 626 0 0 0 26 0 0 0 15 0 9 0 672231809 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26812] ppid=26797 vsize=197092 CPUtime=0
/proc/26805/task/26812/stat : 26812 (java) S 26797 26797 25777 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 672231809 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26813] ppid=26797 vsize=197092 CPUtime=0
/proc/26805/task/26813/stat : 26813 (java) S 26797 26797 25777 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 672231809 201822208 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 202452
[startup+51.1019 s]
/proc/loadavg: 2.88 2.34 2.98 3/100 26816
/proc/meminfo: memFree=1728228/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.59
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 375 1252 0 2 0 2 148 9 17 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26805] ppid=26797 vsize=197416 CPUtime=6.33
/proc/26805/stat : 26805 (java) S 26797 26797 25777 0 -1 0 13864 0 1 0 599 34 0 0 18 0 10 0 672231783 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26805/statm: 49354 9410 2543 9 0 43937 0
[pid=26815] ppid=26805 vsize=5356 CPUtime=0
/proc/26815/stat : 26815 (mistral) S 26805 26797 25777 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 672232488 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26815/statm: 1339 236 196 169 0 50 0
[pid=26816] ppid=26815 vsize=5160 CPUtime=18.47
/proc/26816/stat : 26816 (xsolve) R 26815 26797 25777 0 -1 4194304 647 0 0 0 1835 12 0 0 25 0 1 0 672232998 5283840 611 996147200 134512640 135239763 4294955952 18446744073709551615 134796745 0 4 0 0 0 0 0 17 0 0 0
/proc/26816/statm: 1290 611 407 177 0 193 0
[pid=26805/tid=26806] ppid=26797 vsize=197416 CPUtime=4.75
/proc/26805/task/26806/stat : 26806 (java) S 26797 26797 25777 0 -1 64 3855 0 1 0 468 7 0 0 15 0 10 0 672231806 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=26805/tid=26807] ppid=26797 vsize=197416 CPUtime=1.09
/proc/26805/task/26807/stat : 26807 (java) S 26797 26797 25777 0 -1 64 8566 0 0 0 98 11 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26808] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26808/stat : 26808 (java) S 26797 26797 25777 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26809] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26809/stat : 26809 (java) S 26797 26797 25777 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26810] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26810/stat : 26810 (java) S 26797 26797 25777 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26811] ppid=26797 vsize=197416 CPUtime=0.29
/proc/26805/task/26811/stat : 26811 (java) S 26797 26797 25777 0 -1 64 642 0 0 0 29 0 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26812] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26812/stat : 26812 (java) S 26797 26797 25777 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26813] ppid=26797 vsize=197416 CPUtime=0.01
/proc/26805/task/26813/stat : 26813 (java) S 26797 26797 25777 0 -1 64 15 0 0 0 0 1 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26814] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26814/stat : 26814 (java) S 26797 26797 25777 0 -1 64 62 0 0 0 0 0 0 0 16 0 10 0 672232488 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (KiB) 213292
[startup+102.303 s]
/proc/loadavg: 2.59 2.36 2.95 3/100 26816
/proc/meminfo: memFree=1728804/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.59
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 375 1252 0 2 0 2 148 9 17 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26805] ppid=26797 vsize=197416 CPUtime=6.34
/proc/26805/stat : 26805 (java) S 26797 26797 25777 0 -1 0 13864 0 1 0 599 35 0 0 18 0 10 0 672231783 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26805/statm: 49354 9410 2543 9 0 43937 0
[pid=26815] ppid=26805 vsize=5356 CPUtime=0
/proc/26815/stat : 26815 (mistral) S 26805 26797 25777 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 672232488 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26815/statm: 1339 236 196 169 0 50 0
[pid=26816] ppid=26815 vsize=5160 CPUtime=69.46
/proc/26816/stat : 26816 (xsolve) R 26815 26797 25777 0 -1 4194304 647 0 0 0 6934 12 0 0 25 0 1 0 672232998 5283840 611 996147200 134512640 135239763 4294955952 18446744073709551615 135019574 0 4 0 0 0 0 0 17 0 0 0
/proc/26816/statm: 1290 611 407 177 0 193 0
[pid=26805/tid=26806] ppid=26797 vsize=197416 CPUtime=4.75
/proc/26805/task/26806/stat : 26806 (java) S 26797 26797 25777 0 -1 64 3855 0 1 0 468 7 0 0 15 0 10 0 672231806 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=26805/tid=26807] ppid=26797 vsize=197416 CPUtime=1.09
/proc/26805/task/26807/stat : 26807 (java) S 26797 26797 25777 0 -1 64 8566 0 0 0 98 11 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26808] ppid=26797 vsize=197416 CPUtime=0
################
# More data... #
################
/proc/26805/task/26814/stat : 26814 (java) S 26797 26797 25777 0 -1 64 62 0 0 0 0 0 0 0 16 0 10 0 672232488 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1573.56
Current children cumulated vsize (KiB) 213292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/100 26865
/proc/meminfo: memFree=1766252/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.59
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 375 1252 0 2 0 2 148 9 17 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26805] ppid=26797 vsize=197416 CPUtime=6.35
/proc/26805/stat : 26805 (java) S 26797 26797 25777 0 -1 0 13864 0 1 0 599 36 0 0 18 0 10 0 672231783 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26805/statm: 49354 9410 2543 9 0 43937 0
[pid=26815] ppid=26805 vsize=5356 CPUtime=0
/proc/26815/stat : 26815 (mistral) S 26805 26797 25777 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 672232488 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26815/statm: 1339 236 196 169 0 50 0
[pid=26816] ppid=26815 vsize=5160 CPUtime=1625.33
/proc/26816/stat : 26816 (xsolve) R 26815 26797 25777 0 -1 4194304 647 0 0 0 162519 14 0 0 25 0 1 0 672232998 5283840 611 996147200 134512640 135239763 4294955952 18446744073709551615 134797019 0 4 0 0 0 0 0 17 1 0 0
/proc/26816/statm: 1290 611 407 177 0 193 0
[pid=26805/tid=26806] ppid=26797 vsize=197416 CPUtime=4.75
/proc/26805/task/26806/stat : 26806 (java) S 26797 26797 25777 0 -1 64 3855 0 1 0 468 7 0 0 15 0 10 0 672231806 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=26805/tid=26807] ppid=26797 vsize=197416 CPUtime=1.09
/proc/26805/task/26807/stat : 26807 (java) S 26797 26797 25777 0 -1 64 8566 0 0 0 98 11 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26808] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26808/stat : 26808 (java) S 26797 26797 25777 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26809] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26809/stat : 26809 (java) S 26797 26797 25777 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26810] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26810/stat : 26810 (java) S 26797 26797 25777 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26811] ppid=26797 vsize=197416 CPUtime=0.29
/proc/26805/task/26811/stat : 26811 (java) S 26797 26797 25777 0 -1 64 642 0 0 0 29 0 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26812] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26812/stat : 26812 (java) S 26797 26797 25777 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26813] ppid=26797 vsize=197416 CPUtime=0.02
/proc/26805/task/26813/stat : 26813 (java) S 26797 26797 25777 0 -1 64 15 0 0 0 0 2 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26814] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26814/stat : 26814 (java) S 26797 26797 25777 0 -1 64 62 0 0 0 0 0 0 0 16 0 10 0 672232488 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1633.27
Current children cumulated vsize (KiB) 213292
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/100 26865
/proc/meminfo: memFree=1766188/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.59
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 375 1252 0 2 0 2 148 9 17 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26805] ppid=26797 vsize=197416 CPUtime=6.35
/proc/26805/stat : 26805 (java) S 26797 26797 25777 0 -1 0 13864 0 1 0 599 36 0 0 18 0 10 0 672231783 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26805/statm: 49354 9410 2543 9 0 43937 0
[pid=26815] ppid=26805 vsize=5356 CPUtime=0
/proc/26815/stat : 26815 (mistral) S 26805 26797 25777 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 672232488 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26815/statm: 1339 236 196 169 0 50 0
[pid=26816] ppid=26815 vsize=5160 CPUtime=1685.04
/proc/26816/stat : 26816 (xsolve) R 26815 26797 25777 0 -1 4194304 647 0 0 0 168489 15 0 0 25 0 1 0 672232998 5283840 611 996147200 134512640 135239763 4294955952 18446744073709551615 134797019 0 4 0 0 0 0 0 17 1 0 0
/proc/26816/statm: 1290 611 407 177 0 193 0
[pid=26805/tid=26806] ppid=26797 vsize=197416 CPUtime=4.75
/proc/26805/task/26806/stat : 26806 (java) S 26797 26797 25777 0 -1 64 3855 0 1 0 468 7 0 0 15 0 10 0 672231806 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=26805/tid=26807] ppid=26797 vsize=197416 CPUtime=1.09
/proc/26805/task/26807/stat : 26807 (java) S 26797 26797 25777 0 -1 64 8566 0 0 0 98 11 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26808] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26808/stat : 26808 (java) S 26797 26797 25777 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26809] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26809/stat : 26809 (java) S 26797 26797 25777 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26810] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26810/stat : 26810 (java) S 26797 26797 25777 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26811] ppid=26797 vsize=197416 CPUtime=0.29
/proc/26805/task/26811/stat : 26811 (java) S 26797 26797 25777 0 -1 64 642 0 0 0 29 0 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26812] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26812/stat : 26812 (java) S 26797 26797 25777 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26813] ppid=26797 vsize=197416 CPUtime=0.02
/proc/26805/task/26813/stat : 26813 (java) S 26797 26797 25777 0 -1 64 15 0 0 0 0 2 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26814] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26814/stat : 26814 (java) S 26797 26797 25777 0 -1 64 62 0 0 0 0 0 0 0 16 0 10 0 672232488 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1692.98
Current children cumulated vsize (KiB) 213292
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/100 26865
/proc/meminfo: memFree=1766060/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.59
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 375 1252 0 2 0 2 148 9 17 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26805] ppid=26797 vsize=197416 CPUtime=6.35
/proc/26805/stat : 26805 (java) S 26797 26797 25777 0 -1 0 13864 0 1 0 599 36 0 0 18 0 10 0 672231783 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26805/statm: 49354 9410 2543 9 0 43937 0
[pid=26815] ppid=26805 vsize=5356 CPUtime=0
/proc/26815/stat : 26815 (mistral) S 26805 26797 25777 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 672232488 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26815/statm: 1339 236 196 169 0 50 0
[pid=26816] ppid=26815 vsize=5160 CPUtime=1744.75
/proc/26816/stat : 26816 (xsolve) R 26815 26797 25777 0 -1 4194304 647 0 0 0 174460 15 0 0 25 0 1 0 672232998 5283840 611 996147200 134512640 135239763 4294955952 18446744073709551615 134797096 0 4 0 0 0 0 0 17 1 0 0
/proc/26816/statm: 1290 611 407 177 0 193 0
[pid=26805/tid=26806] ppid=26797 vsize=197416 CPUtime=4.75
/proc/26805/task/26806/stat : 26806 (java) S 26797 26797 25777 0 -1 64 3855 0 1 0 468 7 0 0 15 0 10 0 672231806 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=26805/tid=26807] ppid=26797 vsize=197416 CPUtime=1.09
/proc/26805/task/26807/stat : 26807 (java) S 26797 26797 25777 0 -1 64 8566 0 0 0 98 11 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26808] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26808/stat : 26808 (java) S 26797 26797 25777 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26809] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26809/stat : 26809 (java) S 26797 26797 25777 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26810] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26810/stat : 26810 (java) S 26797 26797 25777 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26811] ppid=26797 vsize=197416 CPUtime=0.29
/proc/26805/task/26811/stat : 26811 (java) S 26797 26797 25777 0 -1 64 642 0 0 0 29 0 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26812] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26812/stat : 26812 (java) S 26797 26797 25777 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26813] ppid=26797 vsize=197416 CPUtime=0.02
/proc/26805/task/26813/stat : 26813 (java) S 26797 26797 25777 0 -1 64 15 0 0 0 0 2 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26814] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26814/stat : 26814 (java) S 26797 26797 25777 0 -1 64 62 0 0 0 0 0 0 0 16 0 10 0 672232488 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1752.69
Current children cumulated vsize (KiB) 213292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1829.9 s]
/proc/loadavg: 2.00 2.00 2.13 3/100 26865
/proc/meminfo: memFree=1766060/2055920 swapFree=4146768/4192956
[pid=26797] ppid=26795 vsize=5360 CPUtime=1.59
/proc/26797/stat : 26797 (hydra) S 26795 26797 25777 0 -1 4194304 375 1252 0 2 0 2 148 9 17 0 1 0 672229793 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26797/statm: 1340 238 196 169 0 51 0
[pid=26805] ppid=26797 vsize=197416 CPUtime=6.35
/proc/26805/stat : 26805 (java) S 26797 26797 25777 0 -1 0 13864 0 1 0 599 36 0 0 18 0 10 0 672231783 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26805/statm: 49354 9410 2543 9 0 43937 0
[pid=26815] ppid=26805 vsize=5356 CPUtime=0
/proc/26815/stat : 26815 (mistral) S 26805 26797 25777 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 672232488 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26815/statm: 1339 236 196 169 0 50 0
[pid=26816] ppid=26815 vsize=5160 CPUtime=1792.12
/proc/26816/stat : 26816 (xsolve) R 26815 26797 25777 0 -1 4194304 647 0 0 0 179197 15 0 0 25 0 1 0 672232998 5283840 611 996147200 134512640 135239763 4294955952 18446744073709551615 135097520 0 4 0 0 0 0 0 17 1 0 0
/proc/26816/statm: 1290 611 407 177 0 193 0
[pid=26805/tid=26806] ppid=26797 vsize=197416 CPUtime=4.75
/proc/26805/task/26806/stat : 26806 (java) S 26797 26797 25777 0 -1 64 3855 0 1 0 468 7 0 0 15 0 10 0 672231806 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=26805/tid=26807] ppid=26797 vsize=197416 CPUtime=1.09
/proc/26805/task/26807/stat : 26807 (java) S 26797 26797 25777 0 -1 64 8566 0 0 0 98 11 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26808] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26808/stat : 26808 (java) S 26797 26797 25777 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26809] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26809/stat : 26809 (java) S 26797 26797 25777 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 672231807 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26810] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26810/stat : 26810 (java) S 26797 26797 25777 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26811] ppid=26797 vsize=197416 CPUtime=0.29
/proc/26805/task/26811/stat : 26811 (java) S 26797 26797 25777 0 -1 64 642 0 0 0 29 0 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26812] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26812/stat : 26812 (java) S 26797 26797 25777 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26813] ppid=26797 vsize=197416 CPUtime=0.02
/proc/26805/task/26813/stat : 26813 (java) S 26797 26797 25777 0 -1 64 15 0 0 0 0 2 0 0 15 0 10 0 672231809 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26805/tid=26814] ppid=26797 vsize=197416 CPUtime=0
/proc/26805/task/26814/stat : 26814 (java) S 26797 26797 25777 0 -1 64 62 0 0 0 0 0 0 0 16 0 10 0 672232488 202153984 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 213292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26797 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=495772
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 1.61875
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1829.93
CPU time (s): 1800.06
CPU user time (s): 1799.44
CPU system time (s): 0.62
CPU usage (%): 98.3676
Max. virtual memory (cumulated for all children) (KiB): 400192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49577
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1627
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 22
runsolver used 2.91856 second user time and 6.76497 second system time
The end