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 (14831 MiB free)
memory of node 1: 16384 MiB (14381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281777-1503142072/watcher-4281777-1503142072 -o /tmp/evaluation-result-4281777-1503142072/solver-4281777-1503142072 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1243391554 HOME/instance-4281777-1503142072.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=20672, runsolver pid=20669
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.58 1.68 1.66 3/197 20674
/proc/meminfo: memFree=29913984/32770624 swapFree=67108860/67108860
[pid=20672] ppid=20669 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20672/stat : 20672 (xcsp3-exec) S 20669 20672 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116427723 9740288 345 18446744073709551615 4194304 5098028 140732874745872 140732874743976 139817283666556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 22020096 140732874748280 140732874748485 140732874748485 140732874751979 0
/proc/20672/statm: 2378 345 289 221 0 87 0
[pid=20674] ppid=20672 vsize=11657624 memory=9024 CPUtime=0 cores=0,2,4,6
/proc/20674/stat : 20674 (java) S 20672 20672 8563 0 -1 1077944320 2035 0 0 0 0 0 0 0 20 0 2 0 116427733 11937406976 2256 18446744073709551615 4194304 4196468 140736166533440 140736166515984 140164985298679 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
/proc/20674/statm: 2914406 2256 1151 1 0 2904376 0
[pid=20674/tid=20675] ppid=20672 vsize=11659680 memory=-8713483618642721373 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20675/stat : 20675 (java) R 20672 20672 8563 0 -1 1077944384 953 0 0 0 0 0 0 0 20 0 4 0 116427734 11939512320 2388 18446744073709551615 4194304 4196468 140736166533440 140164989540048 140164985308885 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20676] ppid=20672 vsize=11660708 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20676/stat : 20676 (java) S 20672 20672 8563 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 116427734 11940564992 2454 18446744073709551615 4194304 4196468 140736166533440 140164919733472 140164985308885 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20677] ppid=20672 vsize=11660708 memory=140694161364608 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20677/stat : 20677 (java) S 20672 20672 8563 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 116427734 11940564992 2454 18446744073709551615 4194304 4196468 140736166533440 140164918680672 140164985308885 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20678] ppid=20672 vsize=11661736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20678/stat : 20678 (java) S 20672 20672 8563 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 116427734 11941617664 2454 18446744073709551615 4194304 4196468 140736166533440 140164917628384 140164985308885 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20679] ppid=20672 vsize=11661736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20679/stat : 20679 (java) R 20672 20672 8563 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 116427734 11941617664 2454 18446744073709551615 4194304 4196468 140736166533440 140164916575584 140164985308885 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10404 KiB
[startup+0.210037 s]*
/proc/loadavg: 1.58 1.68 1.66 3/211 20688
/proc/meminfo: memFree=29902676/32770624 swapFree=67108860/67108860
[pid=20672] ppid=20669 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20672/stat : 20672 (xcsp3-exec) S 20669 20672 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116427723 9740288 345 18446744073709551615 4194304 5098028 140732874745872 140732874743976 139817283666556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 22020096 140732874748280 140732874748485 140732874748485 140732874751979 0
/proc/20672/statm: 2378 345 289 221 0 87 0
[pid=20674] ppid=20672 vsize=13974352 memory=25340 CPUtime=0.08 cores=0,2,4,6
/proc/20674/stat : 20674 (java) S 20672 20672 8563 0 -1 1077944320 5233 0 0 0 8 0 0 0 20 0 15 0 116427733 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140736166515984 140164985298679 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
/proc/20674/statm: 3493588 6335 2724 1 0 3482964 0
[pid=20674/tid=20675] ppid=20672 vsize=13974352 memory=-6871798056524144002 CPUtime=0.06 cores=0,2,4,6
/proc/20674/task/20675/stat : 20675 (java) R 20672 20672 8563 0 -1 4202560 3405 0 0 0 6 0 0 0 20 0 15 0 116427734 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164989534040 140164977976693 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20676] ppid=20672 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20676/stat : 20676 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427734 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164919733136 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20677] ppid=20672 vsize=13974352 memory=140694161364608 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20677/stat : 20677 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427734 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164918680336 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20678] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20678/stat : 20678 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427734 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164917628048 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20679] ppid=20672 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20679/stat : 20679 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427734 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164916575248 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20680] ppid=20672 vsize=13974352 memory=140694161364608 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20680/stat : 20680 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427736 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164463954032 140164985309826 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20681] ppid=20672 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20681/stat : 20681 (java) S 20672 20672 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116427736 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164462900000 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20682] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20682/stat : 20682 (java) S 20672 20672 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116427736 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164461847664 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20683] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20683/stat : 20683 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164460795984 140164985317275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20684] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20684/stat : 20684 (java) S 20672 20672 8563 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 116427739 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164459743856 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20685] ppid=20672 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20685/stat : 20685 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164458691056 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20686] ppid=20672 vsize=13974352 memory=140694161364608 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20686/stat : 20686 (java) S 20672 20672 8563 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 116427739 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164457638768 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20687] ppid=20672 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20687/stat : 20687 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164456586208 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20688] ppid=20672 vsize=13974352 memory=140694161364608 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20688/stat : 20688 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427743 14309736448 6335 18446744073709551615 4194304 4196468 140736166533440 140164455532976 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26720 KiB
[startup+0.310111 s]*
/proc/loadavg: 1.58 1.68 1.66 3/211 20688
/proc/meminfo: memFree=29886656/32770624 swapFree=67108860/67108860
[pid=20672] ppid=20669 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20672/stat : 20672 (xcsp3-exec) S 20669 20672 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116427723 9740288 345 18446744073709551615 4194304 5098028 140732874745872 140732874743976 139817283666556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 22020096 140732874748280 140732874748485 140732874748485 140732874751979 0
/proc/20672/statm: 2378 345 289 221 0 87 0
[pid=20674] ppid=20672 vsize=13974352 memory=36732 CPUtime=0.27 cores=0,2,4,6
/proc/20674/stat : 20674 (java) S 20672 20672 8563 0 -1 1077944320 8810 0 0 0 25 2 0 0 20 0 15 0 116427733 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140736166515984 140164985298679 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
/proc/20674/statm: 3493588 9183 2968 1 0 3482964 0
[pid=20674/tid=20675] ppid=20672 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/20674/task/20675/stat : 20675 (java) R 20672 20672 8563 0 -1 4202560 6139 0 0 0 15 1 0 0 20 0 15 0 116427734 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164989529088 140164985320605 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20676] ppid=20672 vsize=13974352 memory=140694161371601 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20676/stat : 20676 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427734 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164919733136 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20677] ppid=20672 vsize=13974352 memory=7521383366628240493 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20677/stat : 20677 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427734 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164918680336 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20678] ppid=20672 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20678/stat : 20678 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427734 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164917628048 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20679] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20679/stat : 20679 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427734 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164916575248 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20680] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20680/stat : 20680 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427736 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164463954032 140164985309826 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20681] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20681/stat : 20681 (java) S 20672 20672 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116427736 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164462900000 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20682] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20682/stat : 20682 (java) S 20672 20672 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116427736 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164461847664 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20683] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20683/stat : 20683 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164460795984 140164985317275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20684] ppid=20672 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20674/task/20684/stat : 20684 (java) R 20672 20672 8563 0 -1 4202560 515 0 0 0 2 0 0 0 20 0 15 0 116427739 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164459743856 140164964992387 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20685] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20685/stat : 20685 (java) S 20672 20672 8563 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 116427739 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164458691056 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20686] ppid=20672 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/20674/task/20686/stat : 20686 (java) S 20672 20672 8563 0 -1 1077944384 699 0 0 0 6 0 0 0 20 0 15 0 116427739 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164457638768 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20687] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20687/stat : 20687 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164456586208 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20688] ppid=20672 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20688/stat : 20688 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427743 14309736448 9183 18446744073709551615 4194304 4196468 140736166533440 140164455532976 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38112 KiB
[startup+0.700839 s]
/proc/loadavg: 1.58 1.68 1.66 4/211 20688
/proc/meminfo: memFree=29876212/32770624 swapFree=67108860/67108860
[pid=20672] ppid=20669 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20672/stat : 20672 (xcsp3-exec) S 20669 20672 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116427723 9740288 345 18446744073709551615 4194304 5098028 140732874745872 140732874743976 139817283666556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 22020096 140732874748280 140732874748485 140732874748485 140732874751979 0
/proc/20672/statm: 2378 345 289 221 0 87 0
[pid=20674] ppid=20672 vsize=13980732 memory=70040 CPUtime=1.23 cores=0,2,4,6
/proc/20674/stat : 20674 (java) S 20672 20672 8563 0 -1 1077944320 12608 0 0 0 119 4 0 0 20 0 15 0 116427733 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140736166515984 140164985298679 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
/proc/20674/statm: 3495183 17510 3168 1 0 3483476 0
[pid=20674/tid=20675] ppid=20672 vsize=13980732 memory=7886766292050720565 CPUtime=0.54 cores=0,2,4,6
/proc/20674/task/20675/stat : 20675 (java) R 20672 20672 8563 0 -1 4202560 8510 0 0 0 51 3 0 0 20 0 15 0 116427734 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164989521552 140164969342309 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20676] ppid=20672 vsize=13980732 memory=6003668156883685970 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20676/stat : 20676 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427734 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164919733136 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20677] ppid=20672 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20677/stat : 20677 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427734 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164918680336 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20678] ppid=20672 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20678/stat : 20678 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427734 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164917628048 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20679] ppid=20672 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20679/stat : 20679 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427734 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164916575248 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20680] ppid=20672 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20680/stat : 20680 (java) S 20672 20672 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164463954032 140164985309826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20681] ppid=20672 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20681/stat : 20681 (java) S 20672 20672 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164462900000 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20682] ppid=20672 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20682/stat : 20682 (java) S 20672 20672 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164461847664 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20683] ppid=20672 vsize=13980732 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20683/stat : 20683 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164460795984 140164985317275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20684] ppid=20672 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/20674/task/20684/stat : 20684 (java) S 20672 20672 8563 0 -1 1077944384 965 0 0 0 21 0 0 0 20 0 15 0 116427739 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164459743856 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20685] ppid=20672 vsize=13980732 memory=-2893623298589923098 CPUtime=0.17 cores=0,2,4,6
/proc/20674/task/20685/stat : 20685 (java) S 20672 20672 8563 0 -1 1077944384 578 0 0 0 17 0 0 0 20 0 15 0 116427739 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164458691056 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20686] ppid=20672 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/20674/task/20686/stat : 20686 (java) S 20672 20672 8563 0 -1 1077944384 1247 0 0 0 28 0 0 0 20 0 15 0 116427739 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164457638768 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20687] ppid=20672 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20687/stat : 20687 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164456586208 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20688] ppid=20672 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20688/stat : 20688 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427743 14316269568 17510 18446744073709551615 4194304 4196468 140736166533440 140164455532976 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71420 KiB
[startup+1.50084 s]
/proc/loadavg: 1.70 1.70 1.67 3/211 20688
/proc/meminfo: memFree=29846496/32770624 swapFree=67108860/67108860
[pid=20672] ppid=20669 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20672/stat : 20672 (xcsp3-exec) S 20669 20672 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116427723 9740288 345 18446744073709551615 4194304 5098028 140732874745872 140732874743976 139817283666556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 22020096 140732874748280 140732874748485 140732874748485 140732874751979 0
/proc/20672/statm: 2378 345 289 221 0 87 0
[pid=20674] ppid=20672 vsize=13980732 memory=96468 CPUtime=2.66 cores=0,2,4,6
/proc/20674/stat : 20674 (java) S 20672 20672 8563 0 -1 1077944320 15670 0 0 0 260 6 0 0 20 0 15 0 116427733 14316269568 24117 18446744073709551615 4194304 4196468 140736166533440 140736166515984 140164985298679 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
/proc/20674/statm: 3495183 24117 3187 1 0 3483476 0
[pid=20674/tid=20675] ppid=20672 vsize=13980732 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/20674/task/20675/stat : 20675 (java) R 20672 20672 8563 0 -1 4202560 8909 0 0 0 131 3 0 0 20 0 15 0 116427734 14316269568 24117 18446744073709551615 4194304 4196468 140736166533440 140164989534984 140164600979268 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20676] ppid=20672 vsize=13980732 memory=4498716170645055337 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20676/stat : 20676 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427734 14316269568 24117 18446744073709551615 4194304 4196468 140736166533440 140164919733136 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20677] ppid=20672 vsize=13980732 memory=6225221962527500337 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20677/stat : 20677 (java) S 20672 20672 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116427734 14316269568 24117 18446744073709551615 4194304 4196468 140736166533440 140164918680336 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20678] ppid=20672 vsize=13980732 memory=7740397363963587104 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20678/stat : 20678 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427734 14316269568 24117 18446744073709551615 4194304 4196468 140736166533440 140164917628048 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20679] ppid=20672 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20679/stat : 20679 (java) S 20672 20672 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116427734 14316269568 24117 18446744073709551615 4194304 4196468 140736166533440 140164916575248 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20680] ppid=20672 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20680/stat : 20680 (java) S 20672 20672 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 24117 18446744073709551615 4194304 4196468 140736166533440 140164463954032 140164985309826 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20681] ppid=20672 vsize=13980732 memory=140694002057344 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20681/stat : 20681 (java) S 20672 20672 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 24117 18446744073709551615 4194304 4196468 140736166533440 140164462900000 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20682] ppid=20672 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20674/task/20682/stat : 20682 (java) S 20672 20672 8563 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164461847680 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20683] ppid=20672 vsize=13980732 memory=214956 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20683/stat : 20683 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164460795984 140164985317275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20684] ppid=20672 vsize=13980732 memory=4116 CPUtime=1.67 cores=0,2,4,6
/proc/20674/task/20684/stat : 20684 (java) S 20672 20672 8563 0 -1 1077944384 10817 0 0 0 166 1 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164459743856 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20685] ppid=20672 vsize=13980732 memory=62928 CPUtime=1.64 cores=0,2,4,6
/proc/20674/task/20685/stat : 20685 (java) S 20672 20672 8563 0 -1 1077944384 12610 0 0 0 162 2 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164458691056 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20686] ppid=20672 vsize=13980732 memory=1292 CPUtime=0.52 cores=0,2,4,6
/proc/20674/task/20686/stat : 20686 (java) S 20672 20672 8563 0 -1 1077944384 9084 0 0 0 51 1 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164457638768 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20687] ppid=20672 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20687/stat : 20687 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164456586208 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20688] ppid=20672 vsize=13980732 memory=1380 CPUtime=0.75 cores=0,2,4,6
/proc/20674/task/20688/stat : 20688 (java) S 20672 20672 8563 0 -1 1077944384 849 0 0 0 37 38 0 0 20 0 15 0 116427743 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164455532976 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
Current children cumulated CPU time: 2389.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 216336 KiB
[startup+2442.3 s]
/proc/loadavg: 1.77 1.55 1.52 3/211 20906
/proc/meminfo: memFree=30440772/32770624 swapFree=67108860/67108860
[pid=20672] ppid=20669 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20672/stat : 20672 (xcsp3-exec) S 20669 20672 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116427723 9740288 345 18446744073709551615 4194304 5098028 140732874745872 140732874743976 139817283666556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 22020096 140732874748280 140732874748485 140732874748485 140732874751979 0
/proc/20672/statm: 2378 345 289 221 0 87 0
[pid=20674] ppid=20672 vsize=13980732 memory=214956 CPUtime=2449.92 cores=0,2,4,6
/proc/20674/stat : 20674 (java) S 20672 20672 8563 0 -1 1077944320 78070 0 0 0 244915 77 0 0 20 0 15 0 116427733 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140736166515984 140164985298679 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
/proc/20674/statm: 3495183 53739 3237 1 0 3483476 0
[pid=20674/tid=20675] ppid=20672 vsize=13980732 memory=214956 CPUtime=2439.43 cores=0,2,4,6
/proc/20674/task/20675/stat : 20675 (java) R 20672 20672 8563 0 -1 4202560 22963 0 0 0 243934 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164989538224 140164600814969 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20676] ppid=20672 vsize=13980732 memory=214956 CPUtime=1.2 cores=0,2,4,6
/proc/20674/task/20676/stat : 20676 (java) S 20672 20672 8563 0 -1 1077944384 4063 0 0 0 112 8 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164919733136 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20677] ppid=20672 vsize=13980732 memory=214956 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20677/stat : 20677 (java) S 20672 20672 8563 0 -1 1077944384 4161 0 0 0 112 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164918680336 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20678] ppid=20672 vsize=13980732 memory=214956 CPUtime=1.2 cores=0,2,4,6
/proc/20674/task/20678/stat : 20678 (java) S 20672 20672 8563 0 -1 1077944384 2639 0 0 0 111 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164917628048 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20679] ppid=20672 vsize=13980732 memory=214956 CPUtime=1.2 cores=0,2,4,6
/proc/20674/task/20679/stat : 20679 (java) S 20672 20672 8563 0 -1 1077944384 3777 0 0 0 113 7 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164916575248 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20680] ppid=20672 vsize=13980732 memory=1380 CPUtime=0.97 cores=0,2,4,6
/proc/20674/task/20680/stat : 20680 (java) S 20672 20672 8563 0 -1 1077944384 5686 0 0 0 88 9 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164463954032 140164985309826 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20681] ppid=20672 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20681/stat : 20681 (java) S 20672 20672 8563 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164462900064 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20682] ppid=20672 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20682/stat : 20682 (java) S 20672 20672 8563 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164461847680 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20683] ppid=20672 vsize=13980732 memory=214956 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20683/stat : 20683 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164460795984 140164985317275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20684] ppid=20672 vsize=13980732 memory=1380 CPUtime=1.67 cores=0,2,4,6
/proc/20674/task/20684/stat : 20684 (java) S 20672 20672 8563 0 -1 1077944384 10819 0 0 0 166 1 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164459743856 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20685] ppid=20672 vsize=13980732 memory=1228 CPUtime=1.64 cores=0,2,4,6
/proc/20674/task/20685/stat : 20685 (java) S 20672 20672 8563 0 -1 1077944384 12612 0 0 0 162 2 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164458691056 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20686] ppid=20672 vsize=13980732 memory=796 CPUtime=0.52 cores=0,2,4,6
/proc/20674/task/20686/stat : 20686 (java) S 20672 20672 8563 0 -1 1077944384 9087 0 0 0 51 1 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164457638768 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20687] ppid=20672 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20687/stat : 20687 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164456586208 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20688] ppid=20672 vsize=13980732 memory=1380 CPUtime=0.76 cores=0,2,4,6
/proc/20674/task/20688/stat : 20688 (java) S 20672 20672 8563 0 -1 1077944384 865 0 0 0 37 39 0 0 20 0 15 0 116427743 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164455532976 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
Current children cumulated CPU time: 2449.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 216336 KiB
[startup+2502.3 s]
/proc/loadavg: 1.65 1.54 1.52 3/211 20909
/proc/meminfo: memFree=30440152/32770624 swapFree=67108860/67108860
[pid=20672] ppid=20669 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20672/stat : 20672 (xcsp3-exec) S 20669 20672 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116427723 9740288 345 18446744073709551615 4194304 5098028 140732874745872 140732874743976 139817283666556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 22020096 140732874748280 140732874748485 140732874748485 140732874751979 0
/proc/20672/statm: 2378 345 289 221 0 87 0
[pid=20674] ppid=20672 vsize=13980732 memory=214956 CPUtime=2509.97 cores=0,2,4,6
/proc/20674/stat : 20674 (java) S 20672 20672 8563 0 -1 1077944320 78124 0 0 0 250919 78 0 0 20 0 15 0 116427733 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140736166515984 140164985298679 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
/proc/20674/statm: 3495183 53739 3237 1 0 3483476 0
[pid=20674/tid=20675] ppid=20672 vsize=13980732 memory=214956 CPUtime=2499.42 cores=0,2,4,6
/proc/20674/task/20675/stat : 20675 (java) R 20672 20672 8563 0 -1 4202560 23008 0 0 0 249933 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164989538272 140164602176204 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20676] ppid=20672 vsize=13980732 memory=1380 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20676/stat : 20676 (java) S 20672 20672 8563 0 -1 1077944384 4063 0 0 0 113 8 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164919733136 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20677] ppid=20672 vsize=13980732 memory=4116 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20677/stat : 20677 (java) S 20672 20672 8563 0 -1 1077944384 4161 0 0 0 112 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164918680336 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20678] ppid=20672 vsize=13980732 memory=1380 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20678/stat : 20678 (java) S 20672 20672 8563 0 -1 1077944384 2639 0 0 0 112 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164917628048 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20679] ppid=20672 vsize=13980732 memory=124701 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20679/stat : 20679 (java) S 20672 20672 8563 0 -1 1077944384 3778 0 0 0 114 7 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164916575248 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20680] ppid=20672 vsize=13980732 memory=1380 CPUtime=0.98 cores=0,2,4,6
/proc/20674/task/20680/stat : 20680 (java) S 20672 20672 8563 0 -1 1077944384 5690 0 0 0 89 9 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164463954032 140164985309826 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20681] ppid=20672 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20681/stat : 20681 (java) S 20672 20672 8563 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164462900064 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20682] ppid=20672 vsize=13980732 memory=214956 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20682/stat : 20682 (java) S 20672 20672 8563 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164461847680 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20683] ppid=20672 vsize=13980732 memory=62928 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20683/stat : 20683 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164460795984 140164985317275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20684] ppid=20672 vsize=13980732 memory=4116 CPUtime=1.67 cores=0,2,4,6
/proc/20674/task/20684/stat : 20684 (java) S 20672 20672 8563 0 -1 1077944384 10819 0 0 0 166 1 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164459743856 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20685] ppid=20672 vsize=13980732 memory=62932 CPUtime=1.64 cores=0,2,4,6
/proc/20674/task/20685/stat : 20685 (java) S 20672 20672 8563 0 -1 1077944384 12612 0 0 0 162 2 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164458691056 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20686] ppid=20672 vsize=13980732 memory=214956 CPUtime=0.52 cores=0,2,4,6
/proc/20674/task/20686/stat : 20686 (java) S 20672 20672 8563 0 -1 1077944384 9087 0 0 0 51 1 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164457638768 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20687] ppid=20672 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20687/stat : 20687 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164456586208 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20688] ppid=20672 vsize=13980732 memory=1380 CPUtime=0.79 cores=0,2,4,6
/proc/20674/task/20688/stat : 20688 (java) S 20672 20672 8563 0 -1 1077944384 869 0 0 0 39 40 0 0 20 0 15 0 116427743 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164455532976 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
Current children cumulated CPU time: 2509.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 216336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.4 s]
/proc/loadavg: 1.71 1.56 1.53 3/211 20909
/proc/meminfo: memFree=30440152/32770624 swapFree=67108860/67108860
[pid=20672] ppid=20669 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20672/stat : 20672 (xcsp3-exec) S 20669 20672 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116427723 9740288 345 18446744073709551615 4194304 5098028 140732874745872 140732874743976 139817283666556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 22020096 140732874748280 140732874748485 140732874748485 140732874751979 0
/proc/20672/statm: 2378 345 289 221 0 87 0
[pid=20674] ppid=20672 vsize=13980732 memory=214956 CPUtime=2520.08 cores=0,2,4,6
/proc/20674/stat : 20674 (java) S 20672 20672 8563 0 -1 1077944320 78126 0 0 0 251930 78 0 0 20 0 15 0 116427733 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140736166515984 140164985298679 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
/proc/20674/statm: 3495183 53739 3237 1 0 3483476 0
[pid=20674/tid=20675] ppid=20672 vsize=13980732 memory=3471343090323646352 CPUtime=2509.52 cores=0,2,4,6
/proc/20674/task/20675/stat : 20675 (java) R 20672 20672 8563 0 -1 4202560 23010 0 0 0 250943 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164989537744 140164602732591 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20676] ppid=20672 vsize=13980732 memory=-8774313645642428999 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20676/stat : 20676 (java) S 20672 20672 8563 0 -1 1077944384 4063 0 0 0 113 8 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164919733136 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20677] ppid=20672 vsize=13980732 memory=1380 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20677/stat : 20677 (java) S 20672 20672 8563 0 -1 1077944384 4161 0 0 0 112 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164918680336 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20678] ppid=20672 vsize=13980732 memory=214956 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20678/stat : 20678 (java) S 20672 20672 8563 0 -1 1077944384 2639 0 0 0 112 9 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164917628048 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20679] ppid=20672 vsize=13980732 memory=1380 CPUtime=1.21 cores=0,2,4,6
/proc/20674/task/20679/stat : 20679 (java) S 20672 20672 8563 0 -1 1077944384 3778 0 0 0 114 7 0 0 20 0 15 0 116427734 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164916575248 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20680] ppid=20672 vsize=13980732 memory=184720 CPUtime=0.98 cores=0,2,4,6
/proc/20674/task/20680/stat : 20680 (java) S 20672 20672 8563 0 -1 1077944384 5690 0 0 0 89 9 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164463954032 140164985309826 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20681] ppid=20672 vsize=13980732 memory=281388004561344 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20681/stat : 20681 (java) S 20672 20672 8563 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164462900064 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20682] ppid=20672 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20682/stat : 20682 (java) S 20672 20672 8563 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 116427736 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164461847680 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20683] ppid=20672 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20683/stat : 20683 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164460795984 140164985317275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20684] ppid=20672 vsize=13980732 memory=796 CPUtime=1.67 cores=0,2,4,6
/proc/20674/task/20684/stat : 20684 (java) S 20672 20672 8563 0 -1 1077944384 10819 0 0 0 166 1 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164459743856 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20685] ppid=20672 vsize=13980732 memory=5788 CPUtime=1.64 cores=0,2,4,6
/proc/20674/task/20685/stat : 20685 (java) S 20672 20672 8563 0 -1 1077944384 12612 0 0 0 162 2 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164458691056 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20686] ppid=20672 vsize=13980732 memory=1720 CPUtime=0.52 cores=0,2,4,6
/proc/20674/task/20686/stat : 20686 (java) S 20672 20672 8563 0 -1 1077944384 9087 0 0 0 51 1 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164457638768 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20687] ppid=20672 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/20674/task/20687/stat : 20687 (java) S 20672 20672 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116427739 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164456586208 140164985308885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
[pid=20674/tid=20688] ppid=20672 vsize=13980732 memory=-8774313645642428999 CPUtime=0.79 cores=0,2,4,6
/proc/20674/task/20688/stat : 20688 (java) S 20672 20672 8563 0 -1 1077944384 869 0 0 0 39 40 0 0 20 0 15 0 116427743 14316269568 53739 18446744073709551615 4194304 4196468 140736166533440 140164455532976 140164985309826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140736166539697 140736166539873 140736166539873 140736166543311 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 216336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.41 s]
# the end of solver process 20672 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000933 s, system=0.000933 s
[startup+2512.41 s]
# the end of solver process 20674 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.31 s, system=0.791394 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): 2512.41
CPU time (s): 2520.1
CPU user time (s): 2519.31
CPU system time (s): 0.791394
CPU usage (%): 100.306
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 216336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.31
system time used= 0.791394
maximum resident set size= 219580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82082
involuntary context switches= 3296
# summary of solver processes directly reported to runsolver:
# pid: 20672,20674
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.31
# total CPU system time (s): 0.791394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6109 second user time and 23.8992 second system time
The end