runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15429 MiB free)
memory of node 1: 16384 MiB (14608 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282208-1503129557/watcher-4282208-1503129557 -o /tmp/evaluation-result-4282208-1503129557/solver-4282208-1503129557 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1310599396 HOME/instance-4282208-1503129557.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25643, runsolver pid=25640
Current StackSize limit: 8192 KiB
[startup+0.100201 s]*
/proc/loadavg: 2.03 2.08 2.02 3/205 25653
/proc/meminfo: memFree=30749444/32770624 swapFree=67108860/67108860
[pid=25643] ppid=25640 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25643/stat : 25643 (xcsp3-exec) S 25640 25643 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11362751 9740288 344 18446744073709551615 4194304 5098028 140727066827504 140727066825608 140570171224700 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 32325632 140727066833273 140727066833478 140727066833478 140727066836971 0
/proc/25643/statm: 2378 344 289 221 0 87 0
[pid=25645] ppid=25643 vsize=13574484 memory=18340 CPUtime=0.04 cores=0,2,4,6
/proc/25645/stat : 25645 (java) S 25643 25643 18108 0 -1 1077944320 3958 0 0 0 3 1 0 0 20 0 9 0 11362757 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140723481973856 140438764379895 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
/proc/25645/statm: 3393621 4585 2105 1 0 3383118 0
[pid=25645/tid=25646] ppid=25643 vsize=13574484 memory=-8713483618642983523 CPUtime=0.03 cores=0,2,4,6
/proc/25645/task/25646/stat : 25646 (java) R 25643 25643 18108 0 -1 4202560 2661 0 0 0 3 0 0 0 20 0 9 0 11362757 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140438768614992 140438764401821 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25647] ppid=25643 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25647/stat : 25647 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11362758 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140438721346064 140438764390101 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25648] ppid=25643 vsize=13574484 memory=139816859514496 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25648/stat : 25648 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11362758 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140438363368080 140438764390101 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25649] ppid=25643 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25649/stat : 25649 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11362758 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140438362315024 140438764390101 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25650] ppid=25643 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25650/stat : 25650 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11362758 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140438361262480 140438764390101 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25651] ppid=25643 vsize=13574484 memory=139816859514496 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25651/stat : 25651 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11362759 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140438242556656 140438764391042 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25652] ppid=25643 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25652/stat : 25652 (java) S 25643 25643 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 11362760 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140438241502880 140438764390101 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25653] ppid=25643 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25653/stat : 25653 (java) S 25643 25643 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 11362760 13900271616 4585 18446744073709551615 4194304 4196468 140723481991312 140438240449776 140438764390101 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19716 KiB
[startup+0.213187 s]*
/proc/loadavg: 2.03 2.08 2.02 3/211 25659
/proc/meminfo: memFree=30741780/32770624 swapFree=67108860/67108860
[pid=25643] ppid=25640 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25643/stat : 25643 (xcsp3-exec) S 25640 25643 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11362751 9740288 344 18446744073709551615 4194304 5098028 140727066827504 140727066825608 140570171224700 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 32325632 140727066833273 140727066833478 140727066833478 140727066836971 0
/proc/25643/statm: 2378 344 289 221 0 87 0
[pid=25645] ppid=25643 vsize=13974352 memory=28520 CPUtime=0.15 cores=0,2,4,6
/proc/25645/stat : 25645 (java) S 25643 25643 18108 0 -1 1077944320 5559 0 0 0 14 1 0 0 20 0 15 0 11362757 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140723481973856 140438764379895 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
/proc/25645/statm: 3493588 7130 2872 1 0 3482964 0
[pid=25645/tid=25646] ppid=25643 vsize=13974352 memory=-6871798056524144002 CPUtime=0.1 cores=0,2,4,6
/proc/25645/task/25646/stat : 25646 (java) R 25643 25643 18108 0 -1 4202560 3408 0 0 0 9 1 0 0 20 0 15 0 11362757 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438768601168 140438764391830 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25647] ppid=25643 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25647/stat : 25647 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362758 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438721346064 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25648] ppid=25643 vsize=13974352 memory=139816859514496 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25648/stat : 25648 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362758 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438363368080 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25649] ppid=25643 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25649/stat : 25649 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362758 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438362315024 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25650] ppid=25643 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25650/stat : 25650 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362758 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438361262480 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25651] ppid=25643 vsize=13974352 memory=139816859514496 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25651/stat : 25651 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362759 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438242556656 140438764391042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25652] ppid=25643 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25652/stat : 25652 (java) S 25643 25643 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11362760 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438241502880 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25653] ppid=25643 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25653/stat : 25653 (java) S 25643 25643 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11362760 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438240449776 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25654] ppid=25643 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25654/stat : 25654 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362762 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438239398352 140438764398491 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25655] ppid=25643 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25655/stat : 25655 (java) R 25643 25643 18108 0 -1 4202560 359 0 0 0 0 0 0 0 20 0 15 0 11362762 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438238345456 140438756617022 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25656] ppid=25643 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25656/stat : 25656 (java) R 25643 25643 18108 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 11362762 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438237292912 140438764391042 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25657] ppid=25643 vsize=13974352 memory=139816859514496 CPUtime=0.02 cores=0,2,4,6
/proc/25645/task/25657/stat : 25657 (java) R 25643 25643 18108 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 11362762 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438236239856 140438743202872 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25658] ppid=25643 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25658/stat : 25658 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362763 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438235187552 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25659] ppid=25643 vsize=13974352 memory=139816859514496 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25659/stat : 25659 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362767 14309736448 7130 18446744073709551615 4194304 4196468 140723481991312 140438234135600 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29896 KiB
[startup+0.310383 s]*
/proc/loadavg: 2.03 2.08 2.02 3/211 25659
/proc/meminfo: memFree=30728976/32770624 swapFree=67108860/67108860
[pid=25643] ppid=25640 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25643/stat : 25643 (xcsp3-exec) S 25640 25643 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11362751 9740288 344 18446744073709551615 4194304 5098028 140727066827504 140727066825608 140570171224700 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 32325632 140727066833273 140727066833478 140727066833478 140727066836971 0
/proc/25643/statm: 2378 344 289 221 0 87 0
[pid=25645] ppid=25643 vsize=13978608 memory=40084 CPUtime=0.34 cores=0,2,4,6
/proc/25645/stat : 25645 (java) S 25643 25643 18108 0 -1 1077944320 9269 0 0 0 31 3 0 0 20 0 15 0 11362757 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140723481973856 140438764379895 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
/proc/25645/statm: 3494652 10021 3023 1 0 3482964 0
[pid=25645/tid=25646] ppid=25643 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/25645/task/25646/stat : 25646 (java) R 25643 25643 18108 0 -1 4202560 6370 0 0 0 18 2 0 0 20 0 15 0 11362757 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438768600112 140438764401821 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25647] ppid=25643 vsize=13978608 memory=-8815662549083463029 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25647/stat : 25647 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362758 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438721346064 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25648] ppid=25643 vsize=13978608 memory=-8180880375486455157 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25648/stat : 25648 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362758 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438363368080 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25649] ppid=25643 vsize=13978608 memory=4132769004644038186 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25649/stat : 25649 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362758 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438362315024 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25650] ppid=25643 vsize=13978608 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25650/stat : 25650 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362758 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438361262480 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25651] ppid=25643 vsize=13978608 memory=139816859525089 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25651/stat : 25651 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362759 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438242556656 140438764391042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25652] ppid=25643 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25652/stat : 25652 (java) S 25643 25643 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11362760 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438241502880 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25653] ppid=25643 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25653/stat : 25653 (java) S 25643 25643 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11362760 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438240449776 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25654] ppid=25643 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25654/stat : 25654 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362762 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438239398352 140438764398491 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25655] ppid=25643 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25645/task/25655/stat : 25655 (java) S 25643 25643 18108 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 11362762 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438238345456 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25656] ppid=25643 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25645/task/25656/stat : 25656 (java) S 25643 25643 18108 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 15 0 11362762 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438237292912 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25657] ppid=25643 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25645/task/25657/stat : 25657 (java) R 25643 25643 18108 0 -1 4202560 772 0 0 0 7 0 0 0 20 0 15 0 11362762 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438236239856 140438748460382 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25658] ppid=25643 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25658/stat : 25658 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362763 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438235187552 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25659] ppid=25643 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25659/stat : 25659 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362767 14314094592 10021 18446744073709551615 4194304 4196468 140723481991312 140438234135600 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41460 KiB
[startup+0.700835 s]
/proc/loadavg: 2.03 2.08 2.02 3/211 25659
/proc/meminfo: memFree=30720368/32770624 swapFree=67108860/67108860
[pid=25643] ppid=25640 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25643/stat : 25643 (xcsp3-exec) S 25640 25643 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11362751 9740288 344 18446744073709551615 4194304 5098028 140727066827504 140727066825608 140570171224700 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 32325632 140727066833273 140727066833478 140727066833478 140727066836971 0
/proc/25643/statm: 2378 344 289 221 0 87 0
[pid=25645] ppid=25643 vsize=13980732 memory=64212 CPUtime=1.23 cores=0,2,4,6
/proc/25645/stat : 25645 (java) S 25643 25643 18108 0 -1 1077944320 13799 0 0 0 119 4 0 0 20 0 15 0 11362757 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140723481973856 140438764379895 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
/proc/25645/statm: 3495183 16053 3171 1 0 3483476 0
[pid=25645/tid=25646] ppid=25643 vsize=13980732 memory=7165352523810945333 CPUtime=0.58 cores=0,2,4,6
/proc/25645/task/25646/stat : 25646 (java) R 25643 25643 18108 0 -1 4202560 8436 0 0 0 55 3 0 0 20 0 15 0 11362757 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438768618808 140438404223107 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25647] ppid=25643 vsize=13980732 memory=5787776866926477409 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25647/stat : 25647 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362758 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438721346064 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25648] ppid=25643 vsize=13980732 memory=5865491479076426066 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25648/stat : 25648 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362758 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438363368080 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25649] ppid=25643 vsize=13980732 memory=-7812477184710932156 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25649/stat : 25649 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362758 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438362315024 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25650] ppid=25643 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25650/stat : 25650 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362758 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438361262480 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25651] ppid=25643 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25651/stat : 25651 (java) S 25643 25643 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11362759 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438242556656 140438764391042 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25652] ppid=25643 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25652/stat : 25652 (java) S 25643 25643 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438241502880 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25653] ppid=25643 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25653/stat : 25653 (java) S 25643 25643 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438240449776 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25654] ppid=25643 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25654/stat : 25654 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362762 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438239398352 140438764398491 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25655] ppid=25643 vsize=13980732 memory=139816754750064 CPUtime=0.17 cores=0,2,4,6
/proc/25645/task/25655/stat : 25655 (java) R 25643 25643 18108 0 -1 4202560 1588 0 0 0 17 0 0 0 20 0 15 0 11362762 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438238332232 140438756669344 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25656] ppid=25643 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/25645/task/25656/stat : 25656 (java) R 25643 25643 18108 0 -1 4202560 930 0 0 0 16 0 0 0 20 0 15 0 11362762 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438237273928 140438747880470 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25657] ppid=25643 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/25645/task/25657/stat : 25657 (java) S 25643 25643 18108 0 -1 1077944384 1537 0 0 0 29 0 0 0 20 0 15 0 11362762 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438236239856 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25658] ppid=25643 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25658/stat : 25658 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362763 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438235187552 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25659] ppid=25643 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25659/stat : 25659 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362767 14316269568 16053 18446744073709551615 4194304 4196468 140723481991312 140438234135600 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65588 KiB
[startup+1.50082 s]
/proc/loadavg: 2.03 2.08 2.02 5/211 25659
/proc/meminfo: memFree=30674852/32770624 swapFree=67108860/67108860
[pid=25643] ppid=25640 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25643/stat : 25643 (xcsp3-exec) S 25640 25643 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11362751 9740288 344 18446744073709551615 4194304 5098028 140727066827504 140727066825608 140570171224700 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 32325632 140727066833273 140727066833478 140727066833478 140727066836971 0
/proc/25643/statm: 2378 344 289 221 0 87 0
[pid=25645] ppid=25643 vsize=13980732 memory=122352 CPUtime=3.66 cores=0,2,4,6
/proc/25645/stat : 25645 (java) S 25643 25643 18108 0 -1 1077944320 38580 0 0 0 359 7 0 0 20 0 15 0 11362757 14316269568 30588 18446744073709551615 4194304 4196468 140723481991312 140723481973856 140438764379895 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
/proc/25645/statm: 3495183 30588 3182 1 0 3483476 0
[pid=25645/tid=25646] ppid=25643 vsize=13980732 memory=25959 CPUtime=1.37 cores=0,2,4,6
/proc/25645/task/25646/stat : 25646 (java) R 25643 25643 18108 0 -1 4202560 8663 0 0 0 134 3 0 0 20 0 15 0 11362757 14316269568 30588 18446744073709551615 4194304 4196468 140723481991312 140438768617160 140438404326013 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25647] ppid=25643 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25647/stat : 25647 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362758 14316269568 30588 18446744073709551615 4194304 4196468 140723481991312 140438721346064 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25648] ppid=25643 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25648/stat : 25648 (java) S 25643 25643 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11362758 14316269568 30588 18446744073709551615 4194304 4196468 140723481991312 140438363368080 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25649] ppid=25643 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25649/stat : 25649 (java) S 25643 25643 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11362758 14316269568 30588 18446744073709551615 4194304 4196468 140723481991312 140438362315024 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25650] ppid=25643 vsize=13980732 memory=139816754741657 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25645/task/25653/stat : 25653 (java) S 25643 25643 18108 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438240449776 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25654] ppid=25643 vsize=13980732 memory=2189612 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25654/stat : 25654 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438239398352 140438764398491 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25655] ppid=25643 vsize=13980732 memory=2189612 CPUtime=1.55 cores=0,2,4,6
/proc/25645/task/25655/stat : 25655 (java) S 25643 25643 18108 0 -1 1077944384 16835 0 0 0 153 2 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438238345456 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25656] ppid=25643 vsize=13980732 memory=1376 CPUtime=1.42 cores=0,2,4,6
/proc/25645/task/25656/stat : 25656 (java) S 25643 25643 18108 0 -1 1077944384 17242 0 0 0 141 1 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438237292912 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25657] ppid=25643 vsize=13980732 memory=1376 CPUtime=0.39 cores=0,2,4,6
/proc/25645/task/25657/stat : 25657 (java) S 25643 25643 18108 0 -1 1077944384 4574 0 0 0 38 1 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438236239856 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25658] ppid=25643 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25658/stat : 25658 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362763 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438235187552 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25659] ppid=25643 vsize=13980732 memory=1236 CPUtime=0.73 cores=0,2,4,6
/proc/25645/task/25659/stat : 25659 (java) S 25643 25643 18108 0 -1 1077944384 1398 0 0 0 33 40 0 0 20 0 15 0 11362767 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438234135600 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
Current children cumulated CPU time: 2348.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2190988 KiB
[startup+2382.3 s]
/proc/loadavg: 1.59 1.70 1.79 3/211 25900
/proc/meminfo: memFree=29347708/32770624 swapFree=67108860/67108860
[pid=25643] ppid=25640 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25643/stat : 25643 (xcsp3-exec) S 25640 25643 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11362751 9740288 344 18446744073709551615 4194304 5098028 140727066827504 140727066825608 140570171224700 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 32325632 140727066833273 140727066833478 140727066833478 140727066836971 0
/proc/25643/statm: 2378 344 289 221 0 87 0
[pid=25645] ppid=25643 vsize=13980732 memory=2189612 CPUtime=2408.51 cores=0,2,4,6
/proc/25645/stat : 25645 (java) S 25643 25643 18108 0 -1 1077944320 472050 0 0 0 240602 249 0 0 20 0 15 0 11362757 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140723481973856 140438764379895 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
/proc/25645/statm: 3495183 547403 3236 1 0 3483476 0
[pid=25645/tid=25646] ppid=25643 vsize=13980732 memory=4300 CPUtime=2372.84 cores=0,2,4,6
/proc/25645/task/25646/stat : 25646 (java) R 25643 25643 18108 0 -1 4202560 196884 0 0 0 237139 145 0 0 20 0 15 0 11362757 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438768619488 140438405764670 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25647] ppid=25643 vsize=13980732 memory=1376 CPUtime=7.61 cores=0,2,4,6
/proc/25645/task/25647/stat : 25647 (java) S 25643 25643 18108 0 -1 1077944384 61837 0 0 0 748 13 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438721346064 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25648] ppid=25643 vsize=13980732 memory=2189612 CPUtime=7.6 cores=0,2,4,6
/proc/25645/task/25648/stat : 25648 (java) S 25643 25643 18108 0 -1 1077944384 54222 0 0 0 745 15 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438363368080 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25649] ppid=25643 vsize=13980732 memory=2189612 CPUtime=7.59 cores=0,2,4,6
/proc/25645/task/25649/stat : 25649 (java) S 25643 25643 18108 0 -1 1077944384 53154 0 0 0 746 13 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438362315024 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25650] ppid=25643 vsize=13980732 memory=2189612 CPUtime=7.59 cores=0,2,4,6
/proc/25645/task/25650/stat : 25650 (java) S 25643 25643 18108 0 -1 1077944384 44884 0 0 0 744 15 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438361262480 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25651] ppid=25643 vsize=13980732 memory=2189612 CPUtime=1.06 cores=0,2,4,6
/proc/25645/task/25651/stat : 25651 (java) S 25643 25643 18108 0 -1 1077944384 19601 0 0 0 90 16 0 0 20 0 15 0 11362759 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438242556656 140438764391042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25652] ppid=25643 vsize=13980732 memory=2189612 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25652/stat : 25652 (java) S 25643 25643 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438241502880 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25653] ppid=25643 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25653/stat : 25653 (java) S 25643 25643 18108 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438240449776 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25654] ppid=25643 vsize=13980732 memory=2189612 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25654/stat : 25654 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438239398352 140438764398491 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25655] ppid=25643 vsize=13980732 memory=2189612 CPUtime=1.55 cores=0,2,4,6
/proc/25645/task/25655/stat : 25655 (java) S 25643 25643 18108 0 -1 1077944384 16841 0 0 0 153 2 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438238345456 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25656] ppid=25643 vsize=13980732 memory=4128 CPUtime=1.42 cores=0,2,4,6
/proc/25645/task/25656/stat : 25656 (java) S 25643 25643 18108 0 -1 1077944384 17246 0 0 0 141 1 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438237292912 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25657] ppid=25643 vsize=13980732 memory=2189612 CPUtime=0.4 cores=0,2,4,6
/proc/25645/task/25657/stat : 25657 (java) S 25643 25643 18108 0 -1 1077944384 4578 0 0 0 39 1 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438236239856 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25658] ppid=25643 vsize=13980732 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25658/stat : 25658 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362763 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438235187552 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25659] ppid=25643 vsize=13980732 memory=1732 CPUtime=0.75 cores=0,2,4,6
/proc/25645/task/25659/stat : 25659 (java) S 25643 25643 18108 0 -1 1077944384 1453 0 0 0 34 41 0 0 20 0 15 0 11362767 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438234135600 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
Current children cumulated CPU time: 2408.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2190988 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.71 1.78 3/211 25902
/proc/meminfo: memFree=29347952/32770624 swapFree=67108860/67108860
[pid=25643] ppid=25640 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25643/stat : 25643 (xcsp3-exec) S 25640 25643 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11362751 9740288 344 18446744073709551615 4194304 5098028 140727066827504 140727066825608 140570171224700 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 32325632 140727066833273 140727066833478 140727066833478 140727066836971 0
/proc/25643/statm: 2378 344 289 221 0 87 0
[pid=25645] ppid=25643 vsize=13980732 memory=2189612 CPUtime=2468.65 cores=0,2,4,6
/proc/25645/stat : 25645 (java) S 25643 25643 18108 0 -1 1077944320 474553 0 0 0 246614 251 0 0 20 0 15 0 11362757 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140723481973856 140438764379895 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
/proc/25645/statm: 3495183 547403 3236 1 0 3483476 0
[pid=25645/tid=25646] ppid=25643 vsize=13980732 memory=2189612 CPUtime=2432.73 cores=0,2,4,6
/proc/25645/task/25646/stat : 25646 (java) R 25643 25643 18108 0 -1 4202560 197788 0 0 0 243127 146 0 0 20 0 15 0 11362757 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438768619712 140438405040261 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25647] ppid=25643 vsize=13980732 memory=2189612 CPUtime=7.65 cores=0,2,4,6
/proc/25645/task/25647/stat : 25647 (java) S 25643 25643 18108 0 -1 1077944384 61910 0 0 0 752 13 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438721346064 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25648] ppid=25643 vsize=13980732 memory=2189612 CPUtime=7.65 cores=0,2,4,6
/proc/25645/task/25648/stat : 25648 (java) S 25643 25643 18108 0 -1 1077944384 54970 0 0 0 750 15 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438363368080 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25649] ppid=25643 vsize=13980732 memory=2189612 CPUtime=7.64 cores=0,2,4,6
/proc/25645/task/25649/stat : 25649 (java) S 25643 25643 18108 0 -1 1077944384 53309 0 0 0 750 14 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438362315024 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25650] ppid=25643 vsize=13980732 memory=2189612 CPUtime=7.64 cores=0,2,4,6
/proc/25645/task/25650/stat : 25650 (java) S 25643 25643 18108 0 -1 1077944384 44970 0 0 0 749 15 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438361262480 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25651] ppid=25643 vsize=13980732 memory=2189612 CPUtime=1.1 cores=0,2,4,6
/proc/25645/task/25651/stat : 25651 (java) S 25643 25643 18108 0 -1 1077944384 20079 0 0 0 94 16 0 0 20 0 15 0 11362759 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438242556656 140438764391042 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25652] ppid=25643 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25652/stat : 25652 (java) S 25643 25643 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438241502880 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25653] ppid=25643 vsize=13980732 memory=2189612 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25653/stat : 25653 (java) S 25643 25643 18108 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438240449776 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25654] ppid=25643 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25654/stat : 25654 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438239398352 140438764398491 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25655] ppid=25643 vsize=13980732 memory=1376 CPUtime=1.55 cores=0,2,4,6
/proc/25645/task/25655/stat : 25655 (java) S 25643 25643 18108 0 -1 1077944384 16848 0 0 0 153 2 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438238345456 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25656] ppid=25643 vsize=13980732 memory=1376 CPUtime=1.42 cores=0,2,4,6
/proc/25645/task/25656/stat : 25656 (java) S 25643 25643 18108 0 -1 1077944384 17254 0 0 0 141 1 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438237292912 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25657] ppid=25643 vsize=13980732 memory=1376 CPUtime=0.4 cores=0,2,4,6
/proc/25645/task/25657/stat : 25657 (java) S 25643 25643 18108 0 -1 1077944384 4584 0 0 0 39 1 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438236239856 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25658] ppid=25643 vsize=13980732 memory=2189612 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25658/stat : 25658 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362763 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438235187552 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25659] ppid=25643 vsize=13980732 memory=3908 CPUtime=0.76 cores=0,2,4,6
/proc/25645/task/25659/stat : 25659 (java) S 25643 25643 18108 0 -1 1077944384 1491 0 0 0 35 41 0 0 20 0 15 0 11362767 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438234135600 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
Current children cumulated CPU time: 2468.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2190988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.6 s]
/proc/loadavg: 1.48 1.66 1.76 3/211 25904
/proc/meminfo: memFree=29350432/32770624 swapFree=67108860/67108860
[pid=25643] ppid=25640 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25643/stat : 25643 (xcsp3-exec) S 25640 25643 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11362751 9740288 344 18446744073709551615 4194304 5098028 140727066827504 140727066825608 140570171224700 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 32325632 140727066833273 140727066833478 140727066833478 140727066836971 0
/proc/25643/statm: 2378 344 289 221 0 87 0
[pid=25645] ppid=25643 vsize=13980732 memory=2189612 CPUtime=2520.06 cores=0,2,4,6
/proc/25645/stat : 25645 (java) S 25643 25643 18108 0 -1 1077944320 476861 0 0 0 251754 252 0 0 20 0 15 0 11362757 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140723481973856 140438764379895 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
/proc/25645/statm: 3495183 547403 3236 1 0 3483476 0
[pid=25645/tid=25646] ppid=25643 vsize=13980732 memory=0 CPUtime=2483.94 cores=0,2,4,6
/proc/25645/task/25646/stat : 25646 (java) R 25643 25643 18108 0 -1 4202560 198515 0 0 0 248248 146 0 0 20 0 15 0 11362757 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438768619728 140438404625670 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25647] ppid=25643 vsize=13980732 memory=-7674914008656224160 CPUtime=7.68 cores=0,2,4,6
/proc/25645/task/25647/stat : 25647 (java) S 25643 25643 18108 0 -1 1077944384 61949 0 0 0 755 13 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438721346064 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25648] ppid=25643 vsize=13980732 memory=1380 CPUtime=7.69 cores=0,2,4,6
/proc/25645/task/25648/stat : 25648 (java) S 25643 25643 18108 0 -1 1077944384 55422 0 0 0 753 16 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438363368080 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25649] ppid=25643 vsize=13980732 memory=2189612 CPUtime=7.68 cores=0,2,4,6
/proc/25645/task/25649/stat : 25649 (java) S 25643 25643 18108 0 -1 1077944384 53722 0 0 0 754 14 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438362315024 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25650] ppid=25643 vsize=13980732 memory=1376 CPUtime=7.67 cores=0,2,4,6
/proc/25645/task/25650/stat : 25650 (java) S 25643 25643 18108 0 -1 1077944384 45127 0 0 0 752 15 0 0 20 0 15 0 11362758 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438361262480 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25651] ppid=25643 vsize=13980732 memory=-8774313645642428999 CPUtime=1.14 cores=0,2,4,6
/proc/25645/task/25651/stat : 25651 (java) S 25643 25643 18108 0 -1 1077944384 20549 0 0 0 98 16 0 0 20 0 15 0 11362759 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438242556656 140438764391042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25652] ppid=25643 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25652/stat : 25652 (java) S 25643 25643 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438241502880 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25653] ppid=25643 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25653/stat : 25653 (java) S 25643 25643 18108 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11362760 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438240449776 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25654] ppid=25643 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25654/stat : 25654 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438239398352 140438764398491 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25655] ppid=25643 vsize=13980732 memory=1292 CPUtime=1.55 cores=0,2,4,6
/proc/25645/task/25655/stat : 25655 (java) S 25643 25643 18108 0 -1 1077944384 16852 0 0 0 153 2 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438238345456 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25656] ppid=25643 vsize=13980732 memory=2436 CPUtime=1.42 cores=0,2,4,6
/proc/25645/task/25656/stat : 25656 (java) S 25643 25643 18108 0 -1 1077944384 17260 0 0 0 141 1 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438237292912 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25657] ppid=25643 vsize=13980732 memory=1732 CPUtime=0.4 cores=0,2,4,6
/proc/25645/task/25657/stat : 25657 (java) S 25643 25643 18108 0 -1 1077944384 4588 0 0 0 39 1 0 0 20 0 15 0 11362762 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438236239856 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25658] ppid=25643 vsize=13980732 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/25645/task/25658/stat : 25658 (java) S 25643 25643 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11362763 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438235187552 140438764390101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
[pid=25645/tid=25659] ppid=25643 vsize=13980732 memory=10936 CPUtime=0.78 cores=0,2,4,6
/proc/25645/task/25659/stat : 25659 (java) S 25643 25643 18108 0 -1 1077944384 1527 0 0 0 36 42 0 0 20 0 15 0 11362767 14316269568 547403 18446744073709551615 4194304 4196468 140723481991312 140438234135600 140438764391042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 17252352 140723481997746 140723481997922 140723481997922 140723482001359 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2190988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.61 s]
# the end of solver process 25643 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001888 s, system=0 s
[startup+2493.62 s]
# the end of solver process 25645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.55 s, system=2.54132 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2493.62
CPU time (s): 2520.1
CPU user time (s): 2517.55
CPU system time (s): 2.54132
CPU usage (%): 101.062
Max. virtual memory (cumulated for all children) (KiB): 13992552
Max. memory (cumulated for all children) (KiB): 6884532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.55
system time used= 2.54132
maximum resident set size= 7014500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82551
involuntary context switches= 3655
# summary of solver processes directly reported to runsolver:
# pid: 25643,25645
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.55
# total CPU system time (s): 2.54132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2385 second user time and 20.3632 second system time
The end