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 (15268 MiB free)
memory of node 1: 16384 MiB (14986 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272227-1502677429/watcher-4272227-1502677429 -o /tmp/evaluation-result-4272227-1502677429/solver-4272227-1502677429 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 45103710 HOME/instance-4272227-1502677429.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=1899, runsolver pid=1896
Current StackSize limit: 8192 KiB
[startup+0.101665 s]*
/proc/loadavg: 1.71 1.76 1.72 3/204 1906
/proc/meminfo: memFree=30975140/32770624 swapFree=67108860/67108860
[pid=1899] ppid=1896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1899/stat : 1899 (xcsp3-exec) S 1896 1899 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 21625550 9740288 345 18446744073709551615 4194304 5098028 140727275010016 140727275008120 140312240296572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 9023488 140727275016571 140727275016774 140727275016774 140727275020267 0
/proc/1899/statm: 2378 345 289 221 0 87 0
[pid=1901] ppid=1899 vsize=13358712 memory=16412 CPUtime=0.01 cores=0,2,4,6
/proc/1901/stat : 1901 (java) S 1899 1899 7968 0 -1 1077944320 3339 0 0 0 1 0 0 0 20 0 6 0 21625559 13679321088 4103 18446744073709551615 4194304 4196468 140724363759584 140724363742128 140249580416759 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
/proc/1901/statm: 3339678 4103 1905 1 0 3329175 0
[pid=1901/tid=1902] ppid=1899 vsize=13358712 memory=8508281356422318496 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1902/stat : 1902 (java) R 1899 1899 7968 0 -1 4202560 2130 0 0 0 0 0 0 0 20 0 6 0 21625559 13679321088 4103 18446744073709551615 4194304 4196468 140724363759584 140249584652880 140249565539696 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1903] ppid=1899 vsize=13358712 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1903/stat : 1903 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 21625560 13679321088 4103 18446744073709551615 4194304 4196468 140724363759584 140249541315088 140249580426965 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1904] ppid=1899 vsize=13358712 memory=140424732563072 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1904/stat : 1904 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 21625560 13679321088 4103 18446744073709551615 4194304 4196468 140724363759584 140249179548304 140249580426965 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1905] ppid=1899 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1905/stat : 1905 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 21625560 13679321088 4103 18446744073709551615 4194304 4196468 140724363759584 140249178495248 140249580426965 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1906] ppid=1899 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1906/stat : 1906 (java) S 1899 1899 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 21625560 13679321088 4103 18446744073709551615 4194304 4196468 140724363759584 140249177442704 140249580426965 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17792 KiB
[startup+0.210072 s]*
/proc/loadavg: 1.71 1.76 1.72 3/213 1915
/proc/meminfo: memFree=30969916/32770624 swapFree=67108860/67108860
[pid=1899] ppid=1896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1899/stat : 1899 (xcsp3-exec) S 1896 1899 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 21625550 9740288 345 18446744073709551615 4194304 5098028 140727275010016 140727275008120 140312240296572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 9023488 140727275016571 140727275016774 140727275016774 140727275020267 0
/proc/1899/statm: 2378 345 289 221 0 87 0
[pid=1901] ppid=1899 vsize=13974352 memory=26388 CPUtime=0.08 cores=0,2,4,6
/proc/1901/stat : 1901 (java) S 1899 1899 7968 0 -1 1077944320 5020 0 0 0 7 1 0 0 20 0 15 0 21625559 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140724363742128 140249580416759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
/proc/1901/statm: 3493588 6597 2723 1 0 3482964 0
[pid=1901/tid=1902] ppid=1899 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/1901/task/1902/stat : 1902 (java) R 1899 1899 7968 0 -1 4202560 3183 0 0 0 6 1 0 0 20 0 15 0 21625559 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140249584630256 140249221115692 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1903] ppid=1899 vsize=13974352 memory=4294978898 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1903/stat : 1903 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140249541315088 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1904] ppid=1899 vsize=13974352 memory=140424732652875 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1904/stat : 1904 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140249179548304 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1905] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1905/stat : 1905 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140249178495248 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1906] ppid=1899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1906/stat : 1906 (java) S 1899 1899 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 21625560 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140249177442704 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1907] ppid=1899 vsize=13974352 memory=140424732563072 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1907/stat : 1907 (java) S 1899 1899 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 21625561 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248496683760 140249580427906 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1908] ppid=1899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1908/stat : 1908 (java) S 1899 1899 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 21625562 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248495629984 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1909] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1909/stat : 1909 (java) S 1899 1899 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 21625562 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248494576880 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1910] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1910/stat : 1910 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625564 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248493525456 140249580435355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1911] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1911/stat : 1911 (java) S 1899 1899 7968 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 21625564 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248492472560 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1912] ppid=1899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1912/stat : 1912 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625564 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248491420016 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1913] ppid=1899 vsize=13974352 memory=140424732563072 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1913/stat : 1913 (java) R 1899 1899 7968 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 15 0 21625564 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248490366960 140249580428694 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1914] ppid=1899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1914/stat : 1914 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625565 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248489314656 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1915] ppid=1899 vsize=13974352 memory=140424732563072 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1915/stat : 1915 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625570 14309736448 6597 18446744073709551615 4194304 4196468 140724363759584 140248488262704 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27768 KiB
[startup+0.310424 s]*
/proc/loadavg: 1.71 1.76 1.72 3/213 1915
/proc/meminfo: memFree=30954020/32770624 swapFree=67108860/67108860
[pid=1899] ppid=1896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1899/stat : 1899 (xcsp3-exec) S 1896 1899 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 21625550 9740288 345 18446744073709551615 4194304 5098028 140727275010016 140727275008120 140312240296572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 9023488 140727275016571 140727275016774 140727275016774 140727275020267 0
/proc/1899/statm: 2378 345 289 221 0 87 0
[pid=1901] ppid=1899 vsize=13974352 memory=37032 CPUtime=0.27 cores=0,2,4,6
/proc/1901/stat : 1901 (java) S 1899 1899 7968 0 -1 1077944320 8824 0 0 0 24 3 0 0 20 0 15 0 21625559 14309736448 9258 18446744073709551615 4194304 4196468 140724363759584 140724363742128 140249580416759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
/proc/1901/statm: 3493588 9258 2986 1 0 3482964 0
[pid=1901/tid=1902] ppid=1899 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=0,2,4,6
/proc/1901/task/1902/stat : 1902 (java) R 1899 1899 7968 0 -1 4202560 6103 0 0 0 15 2 0 0 20 0 15 0 21625559 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140249584653088 140249564497246 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1903] ppid=1899 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1903/stat : 1903 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140249541315088 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1904] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1904/stat : 1904 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140249179548304 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1905] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1905/stat : 1905 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140249178495248 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1906] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1906/stat : 1906 (java) S 1899 1899 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 21625560 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140249177442704 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1907] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1907/stat : 1907 (java) S 1899 1899 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 21625561 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248496683760 140249580427906 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1908] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1908/stat : 1908 (java) S 1899 1899 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 21625562 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248495629984 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1909] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1909/stat : 1909 (java) S 1899 1899 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 21625562 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248494576880 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1910] ppid=1899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1910/stat : 1910 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625564 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248493525456 140249580435355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1911] ppid=1899 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1901/task/1911/stat : 1911 (java) R 1899 1899 7968 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 21625564 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248492472560 140249580427906 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1912] ppid=1899 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1901/task/1912/stat : 1912 (java) R 1899 1899 7968 0 -1 4202560 211 0 0 0 1 0 0 0 20 0 15 0 21625564 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248491406864 140249572706048 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1913] ppid=1899 vsize=13974352 memory=140424732563072 CPUtime=0.05 cores=0,2,4,6
/proc/1901/task/1913/stat : 1913 (java) R 1899 1899 7968 0 -1 4202560 731 0 0 0 5 0 0 0 20 0 15 0 21625564 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248490366960 140249580428694 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1914] ppid=1899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1914/stat : 1914 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625565 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248489314656 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1915] ppid=1899 vsize=13974352 memory=140424732563072 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1915/stat : 1915 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625570 14309736448 9323 18446744073709551615 4194304 4196468 140724363759584 140248488262704 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38412 KiB
[startup+0.702801 s]
/proc/loadavg: 1.71 1.76 1.72 3/213 1915
/proc/meminfo: memFree=30943028/32770624 swapFree=67108860/67108860
[pid=1899] ppid=1896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1899/stat : 1899 (xcsp3-exec) S 1896 1899 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 21625550 9740288 345 18446744073709551615 4194304 5098028 140727275010016 140727275008120 140312240296572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 9023488 140727275016571 140727275016774 140727275016774 140727275020267 0
/proc/1899/statm: 2378 345 289 221 0 87 0
[pid=1901] ppid=1899 vsize=13980732 memory=70736 CPUtime=1.24 cores=0,2,4,6
/proc/1901/stat : 1901 (java) S 1899 1899 7968 0 -1 1077944320 13277 0 0 0 119 5 0 0 20 0 15 0 21625559 14316269568 17684 18446744073709551615 4194304 4196468 140724363759584 140724363742128 140249580416759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
/proc/1901/statm: 3495183 17684 3167 1 0 3483476 0
[pid=1901/tid=1902] ppid=1899 vsize=13980732 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/1901/task/1902/stat : 1902 (java) R 1899 1899 7968 0 -1 4202560 8466 0 0 0 51 4 0 0 20 0 15 0 21625559 14316269568 17684 18446744073709551615 4194304 4196468 140724363759584 140249584654864 140249221177263 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1903] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1903/stat : 1903 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14316269568 17684 18446744073709551615 4194304 4196468 140724363759584 140249541315088 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1904] ppid=1899 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1904/stat : 1904 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14316269568 17684 18446744073709551615 4194304 4196468 140724363759584 140249179548304 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1905] ppid=1899 vsize=13980732 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1905/stat : 1905 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14316269568 17684 18446744073709551615 4194304 4196468 140724363759584 140249178495248 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1906] ppid=1899 vsize=13980732 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1906/stat : 1906 (java) S 1899 1899 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 21625560 14316269568 17684 18446744073709551615 4194304 4196468 140724363759584 140249177442704 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1907] ppid=1899 vsize=13980732 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1907/stat : 1907 (java) S 1899 1899 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 21625561 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248496683760 140249580427906 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1908] ppid=1899 vsize=13980732 memory=7452445168296944728 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1908/stat : 1908 (java) S 1899 1899 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248495629984 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1909] ppid=1899 vsize=13980732 memory=5789187557808951376 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1909/stat : 1909 (java) S 1899 1899 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248494576880 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1910] ppid=1899 vsize=13980732 memory=5450916479880885802 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1910/stat : 1910 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625564 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248493525456 140249580435355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1911] ppid=1899 vsize=13980732 memory=-9103030903824031093 CPUtime=0.16 cores=0,2,4,6
/proc/1901/task/1911/stat : 1911 (java) R 1899 1899 7968 0 -1 1077944384 946 0 0 0 16 0 0 0 20 0 15 0 21625564 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248492472688 140249580426965 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1912] ppid=1899 vsize=13980732 memory=6944656592455350634 CPUtime=0.2 cores=0,2,4,6
/proc/1901/task/1912/stat : 1912 (java) R 1899 1899 7968 0 -1 4202560 988 0 0 0 20 0 0 0 20 0 15 0 21625564 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248491405896 140249561960482 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1913] ppid=1899 vsize=13980732 memory=6944656592455360608 CPUtime=0.31 cores=0,2,4,6
/proc/1901/task/1913/stat : 1913 (java) R 1899 1899 7968 0 -1 4202560 1616 0 0 0 31 0 0 0 20 0 15 0 21625564 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248490364752 140249572653886 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1914] ppid=1899 vsize=13980732 memory=7682475212697334586 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1914/stat : 1914 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625565 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248489314656 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1915] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1915/stat : 1915 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625570 14316269568 17750 18446744073709551615 4194304 4196468 140724363759584 140248488262704 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 72116 KiB
[startup+1.50079 s]
/proc/loadavg: 1.71 1.76 1.72 5/213 1915
/proc/meminfo: memFree=30893920/32770624 swapFree=67108860/67108860
[pid=1899] ppid=1896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1899/stat : 1899 (xcsp3-exec) S 1896 1899 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 21625550 9740288 345 18446744073709551615 4194304 5098028 140727275010016 140727275008120 140312240296572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 9023488 140727275016571 140727275016774 140727275016774 140727275020267 0
/proc/1899/statm: 2378 345 289 221 0 87 0
[pid=1901] ppid=1899 vsize=13980732 memory=140064 CPUtime=3.8 cores=0,2,4,6
/proc/1901/stat : 1901 (java) S 1899 1899 7968 0 -1 1077944320 33144 0 0 0 372 8 0 0 20 0 15 0 21625559 14316269568 35016 18446744073709551615 4194304 4196468 140724363759584 140724363742128 140249580416759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
/proc/1901/statm: 3495183 35016 3193 1 0 3483476 0
[pid=1901/tid=1902] ppid=1899 vsize=13980732 memory=280849253741968 CPUtime=1.34 cores=0,2,4,6
/proc/1901/task/1902/stat : 1902 (java) R 1899 1899 7968 0 -1 4202560 9599 0 0 0 130 4 0 0 20 0 15 0 21625559 14316269568 35016 18446744073709551615 4194304 4196468 140724363759584 140249584652960 140249221331264 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1903] ppid=1899 vsize=13980732 memory=12507615856884 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1903/stat : 1903 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14316269568 35016 18446744073709551615 4194304 4196468 140724363759584 140249541315088 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1904] ppid=1899 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1904/stat : 1904 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14316269568 35016 18446744073709551615 4194304 4196468 140724363759584 140249179548304 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1905] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1905/stat : 1905 (java) S 1899 1899 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 21625560 14316269568 35016 18446744073709551615 4194304 4196468 140724363759584 140249178495248 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1906] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1906/stat : 1906 (java) S 1899 1899 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 21625560 14316269568 35016 18446744073709551615 4194304 4196468 140724363759584 140249177442704 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1907] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1907/stat : 1907 (java) S 1899 1899 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 21625561 14316269568 35016 18446744073709551615 4194304 4196468 140724363759584 140248496683760 140249580427906 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1908] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1908/stat : 1908 (java) S 1899 1899 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 35016 18446744073709551615 4194304 4196468 140724363759584 140248495629984 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1909] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1901/task/1909/stat : 1909 (java) S 1899 1899 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 102784 18446744073709551615 4194304 4196468 140724363759584 140248494576896 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1910] ppid=1899 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1910/stat : 1910 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625564 14316269568 102784 18446744073709551615 4194304 4196468 140724363759584 140248493525456 140249580435355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1911] ppid=1899 vsize=13980732 memory=411136 CPUtime=5.91 cores=0,2,4,6
/proc/1901/task/1911/stat : 1911 (java) S 1899 1899 7968 0 -1 1077944384 35935 0 0 0 588 3 0 0 20 0 15 0 21625564 14316269568 102784 18446744073709551615 4194304 4196468 140724363759584 140248492472560 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1912] ppid=1899 vsize=13980732 memory=411136 CPUtime=6.13 cores=0,2,4,6
/proc/1901/task/1912/stat : 1912 (java) S 1899 1899 7968 0 -1 1077944384 36437 0 0 0 608 5 0 0 20 0 15 0 21625564 14316269568 102784 18446744073709551615 4194304 4196468 140724363759584 140248491420016 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1913] ppid=1899 vsize=13980732 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/1901/task/1913/stat : 1913 (java) S 1899 1899 7968 0 -1 1077944384 15348 0 0 0 96 3 0 0 20 0 15 0 21625564 14316269568 102784 18446744073709551615 4194304 4196468 140724363759584 140248490366960 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1914] ppid=1899 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1914/stat : 1914 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625565 14316269568 102784 18446744073709551615 4194304 4196468 140724363759584 140248489314656 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1915] ppid=1899 vsize=13980732 memory=411136 CPUtime=0.68 cores=0,2,4,6
/proc/1901/task/1915/stat : 1915 (java) S 1899 1899 7968 0 -1 1077944384 2995 0 0 0 28 40 0 0 20 0 15 0 21625570 14316269568 102784 18446744073709551615 4194304 4196468 140724363759584 140248488262704 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
Current children cumulated CPU time: 2459.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 412516 KiB
[startup+2502.3 s]
/proc/loadavg: 1.94 1.97 1.94 3/217 2239
/proc/meminfo: memFree=30492208/32770624 swapFree=67108860/67108860
[pid=1899] ppid=1896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1899/stat : 1899 (xcsp3-exec) S 1896 1899 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 21625550 9740288 345 18446744073709551615 4194304 5098028 140727275010016 140727275008120 140312240296572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 9023488 140727275016571 140727275016774 140727275016774 140727275020267 0
/proc/1899/statm: 2378 345 289 221 0 87 0
[pid=1901] ppid=1899 vsize=13980732 memory=413184 CPUtime=2519.25 cores=0,2,4,6
/proc/1901/stat : 1901 (java) S 1899 1899 7968 0 -1 1077944320 146790 0 0 0 251837 88 0 0 20 0 15 0 21625559 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140724363742128 140249580416759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
/proc/1901/statm: 3495183 103296 3242 1 0 3483476 0
[pid=1901/tid=1902] ppid=1899 vsize=13980732 memory=413184 CPUtime=2500.31 cores=0,2,4,6
/proc/1901/task/1902/stat : 1902 (java) R 1899 1899 7968 0 -1 4202560 33183 0 0 0 250021 10 0 0 20 0 15 0 21625559 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249584655792 140249227531034 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1903] ppid=1899 vsize=13980732 memory=413184 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1903/stat : 1903 (java) S 1899 1899 7968 0 -1 1077944384 3911 0 0 0 115 8 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249541315088 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1904] ppid=1899 vsize=13980732 memory=1380 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1904/stat : 1904 (java) S 1899 1899 7968 0 -1 1077944384 3023 0 0 0 113 10 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249179548304 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1905] ppid=1899 vsize=13980732 memory=1380 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1905/stat : 1905 (java) S 1899 1899 7968 0 -1 1077944384 4189 0 0 0 114 9 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249178495248 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1906] ppid=1899 vsize=13980732 memory=1380 CPUtime=1.24 cores=0,2,4,6
/proc/1901/task/1906/stat : 1906 (java) S 1899 1899 7968 0 -1 1077944384 4767 0 0 0 115 9 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249177442704 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1907] ppid=1899 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/1901/task/1907/stat : 1907 (java) S 1899 1899 7968 0 -1 1077944384 5629 0 0 0 13 5 0 0 20 0 15 0 21625561 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248496683760 140249580427906 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1908] ppid=1899 vsize=13980732 memory=413184 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1908/stat : 1908 (java) S 1899 1899 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248495630048 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1909] ppid=1899 vsize=13980732 memory=413184 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1909/stat : 1909 (java) S 1899 1899 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248494576896 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1910] ppid=1899 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1910/stat : 1910 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248493525456 140249580435355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1911] ppid=1899 vsize=13980732 memory=1380 CPUtime=5.91 cores=0,2,4,6
/proc/1901/task/1911/stat : 1911 (java) S 1899 1899 7968 0 -1 1077944384 35937 0 0 0 588 3 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248492472560 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1912] ppid=1899 vsize=13980732 memory=1380 CPUtime=6.13 cores=0,2,4,6
/proc/1901/task/1912/stat : 1912 (java) S 1899 1899 7968 0 -1 1077944384 36439 0 0 0 608 5 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248491420016 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1913] ppid=1899 vsize=13980732 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/1901/task/1913/stat : 1913 (java) S 1899 1899 7968 0 -1 1077944384 15351 0 0 0 96 3 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248490366960 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1914] ppid=1899 vsize=13980732 memory=413184 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1914/stat : 1914 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625565 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248489314656 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1915] ppid=1899 vsize=13980732 memory=4124 CPUtime=0.7 cores=0,2,4,6
/proc/1901/task/1915/stat : 1915 (java) S 1899 1899 7968 0 -1 1077944384 3018 0 0 0 29 41 0 0 20 0 15 0 21625570 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248488262704 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
Current children cumulated CPU time: 2519.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 414564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.11 s]
/proc/loadavg: 1.94 1.97 1.94 3/217 2239
/proc/meminfo: memFree=30492208/32770624 swapFree=67108860/67108860
[pid=1899] ppid=1896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1899/stat : 1899 (xcsp3-exec) S 1896 1899 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 21625550 9740288 345 18446744073709551615 4194304 5098028 140727275010016 140727275008120 140312240296572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 9023488 140727275016571 140727275016774 140727275016774 140727275020267 0
/proc/1899/statm: 2378 345 289 221 0 87 0
[pid=1901] ppid=1899 vsize=13980732 memory=413184 CPUtime=2520.06 cores=0,2,4,6
/proc/1901/stat : 1901 (java) S 1899 1899 7968 0 -1 1077944320 146791 0 0 0 251918 88 0 0 20 0 15 0 21625559 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140724363742128 140249580416759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
/proc/1901/statm: 3495183 103296 3242 1 0 3483476 0
[pid=1901/tid=1902] ppid=1899 vsize=13980732 memory=413184 CPUtime=2501.12 cores=0,2,4,6
/proc/1901/task/1902/stat : 1902 (java) R 1899 1899 7968 0 -1 4202560 33184 0 0 0 250102 10 0 0 20 0 15 0 21625559 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249584655792 140249230204095 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1903] ppid=1899 vsize=13980732 memory=413184 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1903/stat : 1903 (java) S 1899 1899 7968 0 -1 1077944384 3911 0 0 0 115 8 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249541315088 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1904] ppid=1899 vsize=13980732 memory=413184 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1904/stat : 1904 (java) S 1899 1899 7968 0 -1 1077944384 3023 0 0 0 113 10 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249179548304 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1905] ppid=1899 vsize=13980732 memory=1380 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1905/stat : 1905 (java) S 1899 1899 7968 0 -1 1077944384 4189 0 0 0 114 9 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249178495248 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1906] ppid=1899 vsize=13980732 memory=1380 CPUtime=1.24 cores=0,2,4,6
/proc/1901/task/1906/stat : 1906 (java) S 1899 1899 7968 0 -1 1077944384 4767 0 0 0 115 9 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249177442704 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1907] ppid=1899 vsize=13980732 memory=413184 CPUtime=0.18 cores=0,2,4,6
/proc/1901/task/1907/stat : 1907 (java) S 1899 1899 7968 0 -1 1077944384 5629 0 0 0 13 5 0 0 20 0 15 0 21625561 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248496683760 140249580427906 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1908] ppid=1899 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1908/stat : 1908 (java) S 1899 1899 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248495630048 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1909] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1909/stat : 1909 (java) S 1899 1899 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248494576896 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1910] ppid=1899 vsize=13980732 memory=413184 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1910/stat : 1910 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248493525456 140249580435355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1911] ppid=1899 vsize=13980732 memory=1380 CPUtime=5.91 cores=0,2,4,6
/proc/1901/task/1911/stat : 1911 (java) S 1899 1899 7968 0 -1 1077944384 35937 0 0 0 588 3 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248492472560 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1912] ppid=1899 vsize=13980732 memory=1380 CPUtime=6.13 cores=0,2,4,6
/proc/1901/task/1912/stat : 1912 (java) S 1899 1899 7968 0 -1 1077944384 36439 0 0 0 608 5 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248491420016 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1913] ppid=1899 vsize=13980732 memory=413184 CPUtime=0.99 cores=0,2,4,6
/proc/1901/task/1913/stat : 1913 (java) S 1899 1899 7968 0 -1 1077944384 15351 0 0 0 96 3 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248490366960 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1914] ppid=1899 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1914/stat : 1914 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625565 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248489314656 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1915] ppid=1899 vsize=13980732 memory=1380 CPUtime=0.7 cores=0,2,4,6
/proc/1901/task/1915/stat : 1915 (java) S 1899 1899 7968 0 -1 1077944384 3018 0 0 0 29 41 0 0 20 0 15 0 21625570 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248488262704 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 414564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.12 s]
# the end of solver process 1899 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001834 s
[startup+2503.12 s]
# the end of solver process 1901 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.19 s, system=0.886914 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
[startup+2503.11 s]
/proc/loadavg: 1.94 1.97 1.94 3/217 2239
/proc/meminfo: memFree=30492208/32770624 swapFree=67108860/67108860
[pid=1899] ppid=1896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1899/stat : 1899 (xcsp3-exec) S 1896 1899 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 21625550 9740288 345 18446744073709551615 4194304 5098028 140727275010016 140727275008120 140312240296572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 9023488 140727275016571 140727275016774 140727275016774 140727275020267 0
/proc/1899/statm: 2378 345 289 221 0 87 0
[pid=1901] ppid=1899 vsize=13980732 memory=413184 CPUtime=2520.06 cores=0,2,4,6
/proc/1901/stat : 1901 (java) S 1899 1899 7968 0 -1 1077944320 146791 0 0 0 251918 88 0 0 20 0 15 0 21625559 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140724363742128 140249580416759 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
/proc/1901/statm: 3495183 103296 3242 1 0 3483476 0
[pid=1901/tid=1902] ppid=1899 vsize=13980732 memory=413184 CPUtime=2501.12 cores=0,2,4,6
/proc/1901/task/1902/stat : 1902 (java) R 1899 1899 7968 0 -1 4202560 33184 0 0 0 250102 10 0 0 20 0 15 0 21625559 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249584655792 140249230204095 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1903] ppid=1899 vsize=13980732 memory=413184 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1903/stat : 1903 (java) S 1899 1899 7968 0 -1 1077944384 3911 0 0 0 115 8 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249541315088 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1904] ppid=1899 vsize=13980732 memory=413184 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1904/stat : 1904 (java) S 1899 1899 7968 0 -1 1077944384 3023 0 0 0 113 10 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249179548304 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1905] ppid=1899 vsize=13980732 memory=1380 CPUtime=1.23 cores=0,2,4,6
/proc/1901/task/1905/stat : 1905 (java) S 1899 1899 7968 0 -1 1077944384 4189 0 0 0 114 9 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249178495248 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1906] ppid=1899 vsize=13980732 memory=1380 CPUtime=1.24 cores=0,2,4,6
/proc/1901/task/1906/stat : 1906 (java) S 1899 1899 7968 0 -1 1077944384 4767 0 0 0 115 9 0 0 20 0 15 0 21625560 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140249177442704 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1907] ppid=1899 vsize=13980732 memory=413184 CPUtime=0.18 cores=0,2,4,6
/proc/1901/task/1907/stat : 1907 (java) S 1899 1899 7968 0 -1 1077944384 5629 0 0 0 13 5 0 0 20 0 15 0 21625561 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248496683760 140249580427906 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1908] ppid=1899 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1908/stat : 1908 (java) S 1899 1899 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248495630048 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1909] ppid=1899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1909/stat : 1909 (java) S 1899 1899 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 21625562 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248494576896 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1910] ppid=1899 vsize=13980732 memory=413184 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1910/stat : 1910 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248493525456 140249580435355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1911] ppid=1899 vsize=13980732 memory=1380 CPUtime=5.91 cores=0,2,4,6
/proc/1901/task/1911/stat : 1911 (java) S 1899 1899 7968 0 -1 1077944384 35937 0 0 0 588 3 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248492472560 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1912] ppid=1899 vsize=13980732 memory=1380 CPUtime=6.13 cores=0,2,4,6
/proc/1901/task/1912/stat : 1912 (java) S 1899 1899 7968 0 -1 1077944384 36439 0 0 0 608 5 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248491420016 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1913] ppid=1899 vsize=13980732 memory=413184 CPUtime=0.99 cores=0,2,4,6
/proc/1901/task/1913/stat : 1913 (java) S 1899 1899 7968 0 -1 1077944384 15351 0 0 0 96 3 0 0 20 0 15 0 21625564 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248490366960 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1914] ppid=1899 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1901/task/1914/stat : 1914 (java) S 1899 1899 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 21625565 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248489314656 140249580426965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
[pid=1901/tid=1915] ppid=1899 vsize=13980732 memory=1380 CPUtime=0.7 cores=0,2,4,6
/proc/1901/task/1915/stat : 1915 (java) S 1899 1899 7968 0 -1 1077944384 3018 0 0 0 29 41 0 0 20 0 15 0 21625570 14316269568 103296 18446744073709551615 4194304 4196468 140724363759584 140248488262704 140249580427906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9875456 140724363764146 140724363764322 140724363764322 140724363767759 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 414564 KiB
Child status: 143
Real time (s): 2503.12
CPU time (s): 2520.08
CPU user time (s): 2519.19
CPU system time (s): 0.886914
CPU usage (%): 100.678
Max. virtual memory (cumulated for all children) (KiB): 13992840
Max. memory (cumulated for all children) (KiB): 414564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.19
system time used= 0.886914
maximum resident set size= 413772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61364
involuntary context switches= 3496
# summary of solver processes directly reported to runsolver:
# pid: 1899,1901
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.19
# total CPU system time (s): 0.886914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2935 second user time and 23.5144 second system time
The end