0.00/0.00 c cpHydra_k_10 version 0.0
11.25/11.50 c CASE TO CLASSIFY:
11.25/11.50 c Case: 0
11.36/11.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.124500 | c 15 > 12.888400 | c 34 > 68.212400 | c 16 > 2.000000 | c 13 > 2.910030 | c 14 > -1.000000 | c 11 > 8.022370 | c 12 > 4.916840 | c 21 > 13.486900 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.690580 | c 24 > 0.749866 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.939200 | 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 > 15.529300 | c 31 > -1.000000 | c 4 > 8.022370 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.36/11.51 c choco : 1801.0
11.36/11.51 c mistral : 1801.0
11.36/11.51 c abscon : 1801.0
11.36/11.51 c
11.36/11.51 c
11.36/11.58 c List of same ones: 10
11.36/11.59 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml
11.36/11.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 12.038900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.36/11.59 c choco : 33.36
11.36/11.59 c mistral : 6.83796
11.36/11.59 c abscon : 10.5184
11.36/11.59 c
11.36/11.59 c
11.36/11.59 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml
11.36/11.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.868400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.60 c choco : 80.85
11.45/11.60 c mistral : 12.5891
11.45/11.60 c abscon : 10.0495
11.45/11.60 c
11.45/11.60 c
11.45/11.60 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml
11.45/11.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.723700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.61 c choco : 1801.0
11.45/11.61 c mistral : 39.28
11.45/11.61 c abscon : 9.8585
11.45/11.61 c
11.45/11.61 c
11.45/11.61 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml
11.45/11.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.670200 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.62 c choco : 115.65
11.45/11.62 c mistral : 1800.08
11.45/11.62 c abscon : 11.0983
11.45/11.62 c
11.45/11.62 c
11.45/11.62 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml
11.45/11.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.494900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.63 c choco : 30.96
11.45/11.63 c mistral : 2.38464
11.45/11.63 c abscon : 5.81212
11.45/11.63 c
11.45/11.63 c
11.45/11.63 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml
11.45/11.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.475700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.64 c choco : 30.87
11.45/11.64 c mistral : 2.28165
11.45/11.64 c abscon : 5.48517
11.45/11.64 c
11.45/11.64 c
11.45/11.64 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml
11.45/11.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.456400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.65 c choco : 1801.0
11.45/11.65 c mistral : 8.45871
11.45/11.65 c abscon : 6.12907
11.45/11.65 c
11.45/11.65 c
11.45/11.65 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml
11.45/11.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.419400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.66 c choco : 31.97
11.45/11.66 c mistral : 2.46962
11.45/11.66 c abscon : 5.44917
11.45/11.66 c
11.45/11.66 c
11.45/11.66 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml
11.45/11.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.405100 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.67 c choco : 32.16
11.45/11.67 c mistral : 2.42163
11.45/11.67 c abscon : 5.54416
11.45/11.67 c
11.45/11.67 c
11.45/11.67 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml
11.45/11.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.357600 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.45/11.68 c choco : 32.23
11.45/11.68 c mistral : 8.82966
11.45/11.68 c abscon : 5.43717
11.45/11.68 c
11.45/11.68 c
11.62/11.86 c Length: 10
11.62/11.86 c 1.860229056863697 1.9440169479713907 2.0236916721674776 2.0549484504483324 2.1634796379906147 2.1758959497181847 2.1884757010302853 2.2128630536027307 2.22238178178278 2.254362556023321
11.62/11.87 c
11.62/11.87 c 1.0 0.8246826929825672 0.7068440560044313 0.6693242132560898 0.5651598743086911 0.5552737129959041 0.5456040047624084 0.5277860931605292 0.5211433007916412 0.5
11.62/11.87 c
11.62/11.87 c solver 0
11.62/11.87 c before 0.0 seconds: {} 0
11.62/11.87 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6415
11.62/11.87 c
11.62/11.87 c solver 1
11.62/11.87 c before 0.0 seconds: {} 0
11.62/11.87 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9} 5039
11.62/11.87 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5746
11.62/11.87 c
11.62/11.87 c solver 2
11.62/11.87 c before 0.0 seconds: {} 0
11.62/11.87 c before 36.0 seconds: {0, 4, 5, 7, 8, 9} 3669
11.62/11.87 c before 90.0 seconds: {0, 1, 4, 5, 7, 8, 9} 4494
11.62/11.87 c before 126.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9} 5163
11.62/11.87 c
11.62/11.87 cTotal time: 11
11.62/11.87 c 198.0 seconds unused
11.62/11.87 c 0 c 1 c 2
11.62/11.87 c 0 c 0 c 2
11.62/11.87 c 0 c 1 c 0
11.62/11.87 c is solver0 dominated by:
11.62/11.87 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
11.62/11.87 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
11.62/11.87 c is dominated? false
11.62/11.87 c
11.62/11.87 c is solver1 dominated by:
11.62/11.87 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
11.62/11.87 c is dominated? true
11.62/11.87 c
11.62/11.87 c is solver2 dominated by:
11.62/11.87 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)
11.62/11.87 c is dominated? true
11.62/11.87 c
11.62/11.87 c Number of non-dominated solvers: 1
11.62/11.87 c remove dominated solvers
11.62/11.87 c solver 0 is not dominated by another solver
11.62/11.87 c solver 2 is dominated by another solver
11.62/11.87 c solver 1 is dominated by another solver
11.62/11.87 c
11.62/11.87 c solver 0: 18.0
11.62/11.87 c
11.62/11.87 c+ 1/1 of 99
11.62/11.87 c
11.62/11.87 c solver 1: 0.0
11.62/11.88 c
11.62/11.88 c solver 2: 0.0
11.62/11.88 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6415
11.62/11.88 c do not run mistral
11.62/11.88 c do not run choco
11.62/11.88 c Starting solver: HOME/cpHydra_k_10/solver/abscon
11.62/11.88 c On Instance: HOME/instance-1095069-1215280661.xml
11.62/11.88 c Running for: 1800 seconds
32.98/33.63 s UNSATISFIABLE
32.98/33.63 d ASSIGNMENTS 0
32.98/33.63 d CHECKS 50849
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1095069-1215280661/watcher-1095069-1215280661 -o /tmp/evaluation-result-1095069-1215280661/solver-1095069-1215280661 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1095069-1215280661.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 21826
/proc/meminfo: memFree=1716424/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=18572 CPUtime=0
/proc/21826/stat : 21826 (runsolver) R 21824 21826 18918 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 651003249 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 226913479975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21826/statm: 4643 292 257 25 0 2626 0
[startup+0.102564 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 21826
/proc/meminfo: memFree=1716424/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=0
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 651003249 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201588 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 21826
/proc/meminfo: memFree=1716424/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=0
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 651003249 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301596 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 21826
/proc/meminfo: memFree=1716424/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=0
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 651003249 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701673 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 21826
/proc/meminfo: memFree=1716424/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=0
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 651003249 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50183 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21830
/proc/meminfo: memFree=1709496/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=0
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 651003249 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 236 195 169 0 51 0
[pid=21830] ppid=21826 vsize=14840 CPUtime=1.47
/proc/21830/stat : 21830 (xsolve) R 21826 21826 18918 0 -1 4194304 2116 0 0 0 147 0 0 0 25 0 1 0 651003250 15196160 2075 996147200 134512640 135239763 4294956176 18446744073709551615 134541319 0 0 4096 0 0 0 0 17 1 0 0
/proc/21830/statm: 3710 2075 417 177 0 2613 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20200
[startup+3.10114 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21830
/proc/meminfo: memFree=1709368/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=0
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 651003249 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 236 195 169 0 51 0
[pid=21830] ppid=21826 vsize=14840 CPUtime=3.06
/proc/21830/stat : 21830 (xsolve) R 21826 21826 18918 0 -1 4194304 2116 0 0 0 306 0 0 0 25 0 1 0 651003250 15196160 2075 996147200 134512640 135239763 4294956176 18446744073709551615 134541326 0 0 4096 0 0 0 0 17 1 0 0
/proc/21830/statm: 3710 2075 417 177 0 2613 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 20200
[startup+6.30176 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21830
/proc/meminfo: memFree=1709112/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=5.79
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 375 2715 0 0 0 0 578 1 20 0 1 0 651003249 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 5360
[startup+12.704 s]
/proc/loadavg: 2.00 2.00 2.00 4/103 21854
/proc/meminfo: memFree=1677592/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=5.79
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 375 2715 0 0 0 0 578 1 20 0 1 0 651003249 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 238 196 169 0 51 0
[pid=21834] ppid=21826 vsize=197416 CPUtime=5.92
/proc/21834/stat : 21834 (java) S 21826 21826 18918 0 -1 0 13833 0 1 0 574 18 0 0 18 0 10 0 651003836 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21834/statm: 49354 9389 2543 9 0 43937 0
[pid=21844] ppid=21834 vsize=5356 CPUtime=0
/proc/21844/stat : 21844 (abscon) S 21834 21826 18918 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 651004438 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21844/statm: 1339 235 194 169 0 50 0
[pid=21845] ppid=21844 vsize=655872 CPUtime=0.79
/proc/21845/stat : 21845 (java) S 21844 21826 18918 0 -1 0 10306 0 1 0 73 6 0 0 18 0 9 0 651004439 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21845/statm: 163968 9818 1991 9 0 158496 0
[pid=21845/tid=21847] ppid=21844 vsize=655872 CPUtime=0.61
/proc/21845/task/21847/stat : 21847 (java) R 21844 21826 18918 0 -1 64 9125 0 1 0 56 5 0 0 25 0 9 0 651004439 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 103778109 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21848] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21848/stat : 21848 (java) S 21844 21826 18918 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 651004440 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21849] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21849/stat : 21849 (java) S 21844 21826 18918 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 651004441 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21850] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21850/stat : 21850 (java) S 21844 21826 18918 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 651004441 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21851] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21851/stat : 21851 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 651004442 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21852] ppid=21844 vsize=655872 CPUtime=0.16
/proc/21845/task/21852/stat : 21852 (java) S 21844 21826 18918 0 -1 64 636 0 0 0 16 0 0 0 16 0 9 0 651004442 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21853] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21853/stat : 21853 (java) S 21844 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 651004442 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21854] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21854/stat : 21854 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 651004443 671612928 9818 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21846] ppid=21844 vsize=7044 CPUtime=0
/proc/21846/stat : 21846 (translate) S 21844 21826 18918 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 651004439 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/21846/statm: 1761 213 182 1 0 41 0
[pid=21834/tid=21835] ppid=21826 vsize=197416 CPUtime=4.54
/proc/21834/task/21835/stat : 21835 (java) S 21826 21826 18918 0 -1 64 3853 0 1 0 449 5 0 0 25 0 10 0 651003837 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21834/tid=21836] ppid=21826 vsize=197416 CPUtime=1.13
/proc/21834/task/21836/stat : 21836 (java) S 21826 21826 18918 0 -1 64 8536 0 0 0 103 10 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21837] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21837/stat : 21837 (java) S 21826 21826 18918 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21838] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21838/stat : 21838 (java) S 21826 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 651003839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21839] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21839/stat : 21839 (java) S 21826 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21840] ppid=21826 vsize=197416 CPUtime=0.21
/proc/21834/task/21840/stat : 21840 (java) S 21826 21826 18918 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21841] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21841/stat : 21841 (java) S 21826 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21842] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21842/stat : 21842 (java) S 21826 21826 18918 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21843] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21843/stat : 21843 (java) S 21826 21826 18918 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 651004438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 871048
[startup+25.5024 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 21854
/proc/meminfo: memFree=1637528/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=5.79
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 375 2715 0 0 0 0 578 1 20 0 1 0 651003249 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 238 196 169 0 51 0
[pid=21834] ppid=21826 vsize=197416 CPUtime=5.92
/proc/21834/stat : 21834 (java) S 21826 21826 18918 0 -1 0 13871 0 1 0 574 18 0 0 18 0 10 0 651003836 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21834/statm: 49354 9389 2543 9 0 43937 0
[pid=21844] ppid=21834 vsize=5356 CPUtime=0
/proc/21844/stat : 21844 (abscon) S 21834 21826 18918 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 651004438 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21844/statm: 1339 235 194 169 0 50 0
[pid=21845] ppid=21844 vsize=655872 CPUtime=13.33
/proc/21845/stat : 21845 (java) S 21844 21826 18918 0 -1 0 14920 0 1 0 1319 14 0 0 18 0 9 0 651004439 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21845/statm: 163968 14422 2007 9 0 158496 0
[pid=21845/tid=21847] ppid=21844 vsize=655872 CPUtime=13.04
/proc/21845/task/21847/stat : 21847 (java) R 21844 21826 18918 0 -1 64 12455 0 1 0 1292 12 0 0 25 0 9 0 651004439 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4126873579 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21848] ppid=21844 vsize=655872 CPUtime=0.03
/proc/21845/task/21848/stat : 21848 (java) S 21844 21826 18918 0 -1 64 1229 0 0 0 3 0 0 0 16 0 9 0 651004440 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21849] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21849/stat : 21849 (java) S 21844 21826 18918 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 651004441 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21850] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21850/stat : 21850 (java) S 21844 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 651004441 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21851] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21851/stat : 21851 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 651004442 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21852] ppid=21844 vsize=655872 CPUtime=0.24
/proc/21845/task/21852/stat : 21852 (java) S 21844 21826 18918 0 -1 64 691 0 0 0 23 1 0 0 15 0 9 0 651004442 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21853] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21853/stat : 21853 (java) S 21844 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 651004442 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21854] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21854/stat : 21854 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 651004443 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21846] ppid=21844 vsize=7044 CPUtime=0
/proc/21846/stat : 21846 (translate) S 21844 21826 18918 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 651004439 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/21846/statm: 1761 213 182 1 0 41 0
[pid=21834/tid=21835] ppid=21826 vsize=197416 CPUtime=4.54
/proc/21834/task/21835/stat : 21835 (java) S 21826 21826 18918 0 -1 64 3853 0 1 0 449 5 0 0 25 0 10 0 651003837 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21834/tid=21836] ppid=21826 vsize=197416 CPUtime=1.13
/proc/21834/task/21836/stat : 21836 (java) S 21826 21826 18918 0 -1 64 8569 0 0 0 103 10 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21837] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21837/stat : 21837 (java) S 21826 21826 18918 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21838] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21838/stat : 21838 (java) S 21826 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 651003839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21839] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21839/stat : 21839 (java) S 21826 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21840] ppid=21826 vsize=197416 CPUtime=0.21
/proc/21834/task/21840/stat : 21840 (java) S 21826 21826 18918 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21841] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21841/stat : 21841 (java) S 21826 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21842] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21842/stat : 21842 (java) S 21826 21826 18918 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21843] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21843/stat : 21843 (java) S 21826 21826 18918 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 651004438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 871048
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/21834/task/21842/stat : 21842 (java) S 21826 21826 18918 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21843] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21843/stat : 21843 (java) S 21826 21826 18918 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 651004438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 871048
[startup+32.8038 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 21854
/proc/meminfo: memFree=1630616/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=5.79
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 375 2715 0 0 0 0 578 1 20 0 1 0 651003249 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 238 196 169 0 51 0
[pid=21834] ppid=21826 vsize=197416 CPUtime=5.92
/proc/21834/stat : 21834 (java) S 21826 21826 18918 0 -1 0 13871 0 1 0 574 18 0 0 18 0 10 0 651003836 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21834/statm: 49354 9389 2543 9 0 43937 0
[pid=21844] ppid=21834 vsize=5356 CPUtime=0
/proc/21844/stat : 21844 (abscon) S 21834 21826 18918 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 651004438 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21844/statm: 1339 235 194 169 0 50 0
[pid=21845] ppid=21844 vsize=655872 CPUtime=20.49
/proc/21845/stat : 21845 (java) S 21844 21826 18918 0 -1 0 16651 0 1 0 2032 17 0 0 18 0 9 0 651004439 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21845/statm: 163968 16151 2007 9 0 158496 0
[pid=21845/tid=21847] ppid=21844 vsize=655872 CPUtime=20.13
/proc/21845/task/21847/stat : 21847 (java) R 21844 21826 18918 0 -1 64 12457 0 1 0 1999 14 0 0 25 0 9 0 651004439 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4126873553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21848] ppid=21844 vsize=655872 CPUtime=0.07
/proc/21845/task/21848/stat : 21848 (java) S 21844 21826 18918 0 -1 64 2946 0 0 0 6 1 0 0 16 0 9 0 651004440 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21849] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21849/stat : 21849 (java) S 21844 21826 18918 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 651004441 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21850] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21850/stat : 21850 (java) S 21844 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 651004441 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21851] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21851/stat : 21851 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 651004442 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21852] ppid=21844 vsize=655872 CPUtime=0.26
/proc/21845/task/21852/stat : 21852 (java) S 21844 21826 18918 0 -1 64 703 0 0 0 25 1 0 0 16 0 9 0 651004442 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21853] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21853/stat : 21853 (java) S 21844 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 651004442 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21854] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21854/stat : 21854 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 651004443 671612928 16151 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21846] ppid=21844 vsize=7044 CPUtime=0
/proc/21846/stat : 21846 (translate) S 21844 21826 18918 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 651004439 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/21846/statm: 1761 213 182 1 0 41 0
[pid=21834/tid=21835] ppid=21826 vsize=197416 CPUtime=4.54
/proc/21834/task/21835/stat : 21835 (java) S 21826 21826 18918 0 -1 64 3853 0 1 0 449 5 0 0 25 0 10 0 651003837 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21834/tid=21836] ppid=21826 vsize=197416 CPUtime=1.13
/proc/21834/task/21836/stat : 21836 (java) S 21826 21826 18918 0 -1 64 8569 0 0 0 103 10 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21837] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21837/stat : 21837 (java) S 21826 21826 18918 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21838] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21838/stat : 21838 (java) S 21826 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 651003839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21839] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21839/stat : 21839 (java) S 21826 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21840] ppid=21826 vsize=197416 CPUtime=0.21
/proc/21834/task/21840/stat : 21840 (java) S 21826 21826 18918 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21841] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21841/stat : 21841 (java) S 21826 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21842] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21842/stat : 21842 (java) S 21826 21826 18918 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21843] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21843/stat : 21843 (java) S 21826 21826 18918 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 651004438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.2
Current children cumulated vsize (KiB) 871048
[startup+33.2029 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 21854
/proc/meminfo: memFree=1630616/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=5.79
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 375 2715 0 0 0 0 578 1 20 0 1 0 651003249 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 238 196 169 0 51 0
[pid=21834] ppid=21826 vsize=197416 CPUtime=5.92
/proc/21834/stat : 21834 (java) S 21826 21826 18918 0 -1 0 13871 0 1 0 574 18 0 0 18 0 10 0 651003836 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21834/statm: 49354 9389 2543 9 0 43937 0
[pid=21844] ppid=21834 vsize=5356 CPUtime=0
/proc/21844/stat : 21844 (abscon) S 21834 21826 18918 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 651004438 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21844/statm: 1339 235 194 169 0 50 0
[pid=21845] ppid=21844 vsize=655872 CPUtime=20.88
/proc/21845/stat : 21845 (java) S 21844 21826 18918 0 -1 0 16681 0 1 0 2070 18 0 0 18 0 9 0 651004439 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21845/statm: 163968 16174 2013 9 0 158496 0
[pid=21845/tid=21847] ppid=21844 vsize=655872 CPUtime=20.51
/proc/21845/task/21847/stat : 21847 (java) R 21844 21826 18918 0 -1 64 12478 0 1 0 2036 15 0 0 25 0 9 0 651004439 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4127140628 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21848] ppid=21844 vsize=655872 CPUtime=0.07
/proc/21845/task/21848/stat : 21848 (java) S 21844 21826 18918 0 -1 64 2947 0 0 0 6 1 0 0 17 0 9 0 651004440 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21849] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21849/stat : 21849 (java) S 21844 21826 18918 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 651004441 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21850] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21850/stat : 21850 (java) S 21844 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 651004441 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21851] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21851/stat : 21851 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 651004442 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21852] ppid=21844 vsize=655872 CPUtime=0.27
/proc/21845/task/21852/stat : 21852 (java) S 21844 21826 18918 0 -1 64 711 0 0 0 26 1 0 0 15 0 9 0 651004442 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21853] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21853/stat : 21853 (java) S 21844 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 651004442 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21854] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21854/stat : 21854 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 651004443 671612928 16174 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21846] ppid=21844 vsize=7044 CPUtime=0
/proc/21846/stat : 21846 (translate) S 21844 21826 18918 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 651004439 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/21846/statm: 1761 213 182 1 0 41 0
[pid=21834/tid=21835] ppid=21826 vsize=197416 CPUtime=4.54
/proc/21834/task/21835/stat : 21835 (java) S 21826 21826 18918 0 -1 64 3853 0 1 0 449 5 0 0 25 0 10 0 651003837 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21834/tid=21836] ppid=21826 vsize=197416 CPUtime=1.13
/proc/21834/task/21836/stat : 21836 (java) S 21826 21826 18918 0 -1 64 8569 0 0 0 103 10 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21837] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21837/stat : 21837 (java) S 21826 21826 18918 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21838] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21838/stat : 21838 (java) S 21826 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 651003839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21839] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21839/stat : 21839 (java) S 21826 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21840] ppid=21826 vsize=197416 CPUtime=0.21
/proc/21834/task/21840/stat : 21840 (java) S 21826 21826 18918 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21841] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21841/stat : 21841 (java) S 21826 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21842] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21842/stat : 21842 (java) S 21826 21826 18918 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21843] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21843/stat : 21843 (java) S 21826 21826 18918 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 651004438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.59
Current children cumulated vsize (KiB) 871048
[startup+33.603 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 21854
/proc/meminfo: memFree=1630616/2055920 swapFree=4180232/4192956
[pid=21826] ppid=21824 vsize=5360 CPUtime=5.79
/proc/21826/stat : 21826 (hydra) S 21824 21826 18918 0 -1 4194304 375 2715 0 0 0 0 578 1 20 0 1 0 651003249 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21826/statm: 1340 238 196 169 0 51 0
[pid=21834] ppid=21826 vsize=197416 CPUtime=5.92
/proc/21834/stat : 21834 (java) S 21826 21826 18918 0 -1 0 13871 0 1 0 574 18 0 0 18 0 10 0 651003836 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21834/statm: 49354 9389 2543 9 0 43937 0
[pid=21844] ppid=21834 vsize=5356 CPUtime=0
/proc/21844/stat : 21844 (abscon) S 21834 21826 18918 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 651004438 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21844/statm: 1339 235 194 169 0 50 0
[pid=21845] ppid=21844 vsize=655872 CPUtime=21.27
/proc/21845/stat : 21845 (java) S 21844 21826 18918 0 -1 0 18737 0 1 0 2108 19 0 0 18 0 9 0 651004439 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21845/statm: 163968 18045 2617 9 0 158496 0
[pid=21845/tid=21847] ppid=21844 vsize=655872 CPUtime=20.75
/proc/21845/task/21847/stat : 21847 (java) R 21844 21826 18918 0 -1 64 12547 0 1 0 2059 16 0 0 25 0 9 0 651004439 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4159706503 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21848] ppid=21844 vsize=655872 CPUtime=0.18
/proc/21845/task/21848/stat : 21848 (java) S 21844 21826 18918 0 -1 64 4905 0 0 0 16 2 0 0 16 0 9 0 651004440 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21849] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21849/stat : 21849 (java) S 21844 21826 18918 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 651004441 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21850] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21850/stat : 21850 (java) S 21844 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 651004441 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21851] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21851/stat : 21851 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 651004442 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21852] ppid=21844 vsize=655872 CPUtime=0.33
/proc/21845/task/21852/stat : 21852 (java) S 21844 21826 18918 0 -1 64 740 0 0 0 32 1 0 0 16 0 9 0 651004442 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21845/tid=21853] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21853/stat : 21853 (java) S 21844 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 651004442 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21845/tid=21854] ppid=21844 vsize=655872 CPUtime=0
/proc/21845/task/21854/stat : 21854 (java) S 21844 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 651004443 671612928 18045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21846] ppid=21844 vsize=7044 CPUtime=0
/proc/21846/stat : 21846 (translate) S 21844 21826 18918 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 651004439 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/21846/statm: 1761 213 182 1 0 41 0
[pid=21834/tid=21835] ppid=21826 vsize=197416 CPUtime=4.54
/proc/21834/task/21835/stat : 21835 (java) S 21826 21826 18918 0 -1 64 3853 0 1 0 449 5 0 0 25 0 10 0 651003837 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21834/tid=21836] ppid=21826 vsize=197416 CPUtime=1.13
/proc/21834/task/21836/stat : 21836 (java) S 21826 21826 18918 0 -1 64 8569 0 0 0 103 10 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21837] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21837/stat : 21837 (java) S 21826 21826 18918 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 651003838 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21838] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21838/stat : 21838 (java) S 21826 21826 18918 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 651003839 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21839] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21839/stat : 21839 (java) S 21826 21826 18918 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21840] ppid=21826 vsize=197416 CPUtime=0.21
/proc/21834/task/21840/stat : 21840 (java) S 21826 21826 18918 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 651003840 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21841] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21841/stat : 21841 (java) S 21826 21826 18918 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21842] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21842/stat : 21842 (java) S 21826 21826 18918 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 651003841 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21834/tid=21843] ppid=21826 vsize=197416 CPUtime=0
/proc/21834/task/21843/stat : 21843 (java) S 21826 21826 18918 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 651004438 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.98
Current children cumulated vsize (KiB) 871048
Child status: 0
Real time (s): 33.6957
CPU time (s): 33.038
CPU user time (s): 32.616
CPU system time (s): 0.421935
CPU usage (%): 98.0479
Max. virtual memory (cumulated for all children) (KiB): 871048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.616
system time used= 0.421935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36421
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= 11998
involuntary context switches= 13791
runsolver used 0.114982 second user time and 0.299954 second system time
The end
Begin job on node5 at 2008-07-05 19:57:41
IDJOB=1095069
IDBENCH=58876
IDSOLVER=365
FILE ID=node5/1095069-1215280661
PBS_JOBID= 7882106
Free space on /tmp= 66536 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp16/normalized-fapp16-0260-7.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1095069-1215280661/watcher-1095069-1215280661 -o /tmp/evaluation-result-1095069-1215280661/solver-1095069-1215280661 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1095069-1215280661.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 39210d0e0515e795a94e7161092ee7d9
RANDOM SEED=550598569
node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1716904 kB
Buffers: 49152 kB
Cached: 207928 kB
SwapCached: 6964 kB
Active: 196704 kB
Inactive: 88560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1716904 kB
SwapTotal: 4192956 kB
SwapFree: 4180232 kB
Dirty: 24988 kB
Writeback: 0 kB
Mapped: 43868 kB
Slab: 38880 kB
Committed_AS: 1058764 kB
PageTables: 1868 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66512 MiB
End job on node5 at 2008-07-05 19:58:15