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 (4611 MiB free)
memory of node 1: 16384 MiB (4364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403699-1568989140/watcher-4403699-1568989140 -o /tmp/evaluation-result-4403699-1568989140/solver-4403699-1568989140 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11773 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 322356744 HOME/instance-4403699-1568989140.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
Current StackSize limit: 8192 KiB
solver pid=13807, runsolver pid=13804
[startup+0.101937 s]*
/proc/loadavg: 8.39 7.90 5.50 6/233 13823
/proc/meminfo: memFree=9175260/32770624 swapFree=66974496/67108860
[pid=13807] ppid=13804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13807/stat : 13807 (xcsp3-exec) S 13804 13807 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475180838 115843072 363 33554432000 4194304 5098028 140733221725792 140733221723896 140263388050044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140733221733243 140733221733485 140733221733485 140733221736394 0
/proc/13807/statm: 28282 363 304 221 0 87 0
[pid=13809] ppid=13807 vsize=15144776 memory=30088 CPUtime=0.13 cores=0,2,4,6
/proc/13809/stat : 13809 (java) S 13807 13807 11742 0 -1 1077944320 5977 0 0 0 12 1 0 0 20 0 15 0 475180839 15508250624 7522 33554432000 4194304 4196468 140728386002592 140728385985136 140058547748599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
/proc/13809/statm: 3786194 7522 3183 1 0 3748377 0
[pid=13809/tid=13810] ppid=13807 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=0,2,4,6
/proc/13809/task/13810/stat : 13810 (java) R 13807 13807 11742 0 -1 4202560 3857 0 0 0 8 1 0 0 20 0 15 0 475180839 15508250624 7522 33554432000 4194304 4196468 140728386002592 140058551971296 140058162179204 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13811] ppid=13807 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13811/stat : 13811 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180840 15508250624 7522 33554432000 4194304 4196468 140728386002592 140058483985424 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13812] ppid=13807 vsize=15144776 memory=140098518357632 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13812/stat : 13812 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180840 15508250624 7522 33554432000 4194304 4196468 140728386002592 140058482932880 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13813] ppid=13807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13813/stat : 13813 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180840 15508250624 7522 33554432000 4194304 4196468 140728386002592 140058137516816 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13814] ppid=13807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13814/stat : 13814 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180840 15508250624 7522 33554432000 4194304 4196468 140728386002592 140058136464272 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13815] ppid=13807 vsize=15144776 memory=140098518357632 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13815/stat : 13815 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180841 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057690343664 140058547759746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13816] ppid=13807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13816/stat : 13816 (java) S 13807 13807 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475180841 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057689289888 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13817] ppid=13807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13817/stat : 13817 (java) S 13807 13807 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475180842 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057688236784 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13818] ppid=13807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13818/stat : 13818 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180844 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057687185360 140058547767195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13819] ppid=13807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13819/stat : 13819 (java) R 13807 13807 11742 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 475180844 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057686133488 140058547759746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13820] ppid=13807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13820/stat : 13820 (java) R 13807 13807 11742 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 475180844 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057685080944 140058540733641 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13821] ppid=13807 vsize=15144776 memory=140098518357632 CPUtime=0.02 cores=0,2,4,6
/proc/13809/task/13821/stat : 13821 (java) R 13807 13807 11742 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 475180844 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057684027888 140058531438881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13822] ppid=13807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13822/stat : 13822 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180844 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057682975584 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13823] ppid=13807 vsize=15144776 memory=140098518357632 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13823/stat : 13823 (java) R 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180845 15508250624 7522 33554432000 4194304 4196468 140728386002592 140057681922608 140058547759746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31540 KiB
[startup+0.211264 s]*
/proc/loadavg: 8.39 7.90 5.50 7/233 13823
/proc/meminfo: memFree=9163072/32770624 swapFree=66974496/67108860
[pid=13807] ppid=13804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13807/stat : 13807 (xcsp3-exec) S 13804 13807 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475180838 115843072 363 33554432000 4194304 5098028 140733221725792 140733221723896 140263388050044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140733221733243 140733221733485 140733221733485 140733221736394 0
/proc/13807/statm: 28282 363 304 221 0 87 0
[pid=13809] ppid=13807 vsize=15144776 memory=41240 CPUtime=0.34 cores=0,2,4,6
/proc/13809/stat : 13809 (java) S 13807 13807 11742 0 -1 1077944320 9489 0 0 0 31 3 0 0 20 0 15 0 475180839 15508250624 10310 33554432000 4194304 4196468 140728386002592 140728385985136 140058547748599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
/proc/13809/statm: 3786194 10310 3318 1 0 3748377 0
[pid=13809/tid=13810] ppid=13807 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/13809/task/13810/stat : 13810 (java) R 13807 13807 11742 0 -1 4202560 6668 0 0 0 17 3 0 0 20 0 15 0 475180839 15508250624 10310 33554432000 4194304 4196468 140728386002592 140058551983584 140058531829086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13811] ppid=13807 vsize=15144776 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13811/stat : 13811 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180840 15508250624 10310 33554432000 4194304 4196468 140728386002592 140058483985424 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13812] ppid=13807 vsize=15144776 memory=140098518369775 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13812/stat : 13812 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180840 15508250624 10310 33554432000 4194304 4196468 140728386002592 140058482932880 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13813] ppid=13807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13813/stat : 13813 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180840 15508250624 10310 33554432000 4194304 4196468 140728386002592 140058137516816 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13814] ppid=13807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13814/stat : 13814 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180840 15508250624 10310 33554432000 4194304 4196468 140728386002592 140058136464272 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13815] ppid=13807 vsize=15144776 memory=140098518357632 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13815/stat : 13815 (java) S 13807 13807 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475180841 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057690343664 140058547759746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13816] ppid=13807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13816/stat : 13816 (java) S 13807 13807 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475180841 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057689289888 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13817] ppid=13807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13817/stat : 13817 (java) S 13807 13807 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475180842 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057688236784 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13818] ppid=13807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13818/stat : 13818 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180844 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057687185360 140058547767195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13819] ppid=13807 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13809/task/13819/stat : 13819 (java) R 13807 13807 11742 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 15 0 475180844 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057686133488 140058547760534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13820] ppid=13807 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13809/task/13820/stat : 13820 (java) S 13807 13807 11742 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 15 0 475180844 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057685080944 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13821] ppid=13807 vsize=15144776 memory=140098518357632 CPUtime=0.08 cores=0,2,4,6
/proc/13809/task/13821/stat : 13821 (java) R 13807 13807 11742 0 -1 4202560 751 0 0 0 8 0 0 0 20 0 15 0 475180844 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057684027888 140058547769946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13822] ppid=13807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13822/stat : 13822 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180844 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057682975584 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13823] ppid=13807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13823/stat : 13823 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180845 15508250624 10310 33554432000 4194304 4196468 140728386002592 140057681922608 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42692 KiB
[startup+0.310562 s]*
/proc/loadavg: 8.39 7.90 5.50 8/233 13823
/proc/meminfo: memFree=9156008/32770624 swapFree=66974496/67108860
[pid=13807] ppid=13804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13807/stat : 13807 (xcsp3-exec) S 13804 13807 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475180838 115843072 363 33554432000 4194304 5098028 140733221725792 140733221723896 140263388050044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140733221733243 140733221733485 140733221733485 140733221736394 0
/proc/13807/statm: 28282 363 304 221 0 87 0
[pid=13809] ppid=13807 vsize=15149032 memory=50428 CPUtime=0.52 cores=0,2,4,6
/proc/13809/stat : 13809 (java) S 13807 13807 11742 0 -1 1077944320 10900 0 0 0 48 4 0 0 20 0 15 0 475180839 15512608768 12607 33554432000 4194304 4196468 140728386002592 140728385985136 140058547748599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
/proc/13809/statm: 3787258 12607 3369 1 0 3748377 0
[pid=13809/tid=13810] ppid=13807 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/13809/task/13810/stat : 13810 (java) R 13807 13807 11742 0 -1 4202560 7860 0 0 0 27 3 0 0 20 0 15 0 475180839 15512608768 12607 33554432000 4194304 4196468 140728386002592 140058551976368 140058531829086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13811] ppid=13807 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13811/stat : 13811 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180840 15512608768 12607 33554432000 4194304 4196468 140728386002592 140058483985424 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13812] ppid=13807 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13812/stat : 13812 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180840 15512608768 12607 33554432000 4194304 4196468 140728386002592 140058482932880 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13813] ppid=13807 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13813/stat : 13813 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180840 15512608768 12607 33554432000 4194304 4196468 140728386002592 140058137516816 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13814] ppid=13807 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13814/stat : 13814 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180840 15512608768 12607 33554432000 4194304 4196468 140728386002592 140058136464272 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13815] ppid=13807 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13815/stat : 13815 (java) S 13807 13807 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475180841 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057690343664 140058547759746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13816] ppid=13807 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13816/stat : 13816 (java) S 13807 13807 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475180841 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057689289888 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13817] ppid=13807 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13817/stat : 13817 (java) S 13807 13807 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475180842 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057688236784 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13818] ppid=13807 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13818/stat : 13818 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180844 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057687185360 140058547767195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13819] ppid=13807 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13819/stat : 13819 (java) R 13807 13807 11742 0 -1 4202560 678 0 0 0 4 0 0 0 20 0 15 0 475180844 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057686114504 140058525009856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13820] ppid=13807 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13820/stat : 13820 (java) S 13807 13807 11742 0 -1 1077944384 228 0 0 0 4 0 0 0 20 0 15 0 475180844 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057685080944 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13821] ppid=13807 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13809/task/13821/stat : 13821 (java) S 13807 13807 11742 0 -1 1077944384 842 0 0 0 12 0 0 0 20 0 15 0 475180844 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057684027888 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13822] ppid=13807 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13822/stat : 13822 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180844 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057682975584 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13823] ppid=13807 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13823/stat : 13823 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180845 15512608768 12607 33554432000 4194304 4196468 140728386002592 140057681922608 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51880 KiB
[startup+0.707122 s]
/proc/loadavg: 8.39 7.90 5.50 10/233 13823
/proc/meminfo: memFree=9140552/32770624 swapFree=66974496/67108860
[pid=13807] ppid=13804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13807/stat : 13807 (xcsp3-exec) S 13804 13807 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475180838 115843072 363 33554432000 4194304 5098028 140733221725792 140733221723896 140263388050044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140733221733243 140733221733485 140733221733485 140733221736394 0
/proc/13807/statm: 28282 363 304 221 0 87 0
[pid=13809] ppid=13807 vsize=15418440 memory=122564 CPUtime=1.71 cores=0,2,4,6
/proc/13809/stat : 13809 (java) S 13807 13807 11742 0 -1 1077944320 14878 0 0 0 164 7 0 0 20 0 19 0 475180839 15788482560 30641 33554432000 4194304 4196468 140728386002592 140728385985136 140058547748599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
/proc/13809/statm: 3854610 30641 3461 1 0 3815710 0
[pid=13809/tid=13810] ppid=13807 vsize=15418440 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/13809/task/13810/stat : 13810 (java) S 13807 13807 11742 0 -1 1077944384 9098 0 0 0 52 4 0 0 20 0 19 0 475180839 15788482560 30641 33554432000 4194304 4196468 140728386002592 140058551989376 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13811] ppid=13807 vsize=15418440 memory=54348 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13811/stat : 13811 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475180840 15788482560 30641 33554432000 4194304 4196468 140728386002592 140058483985424 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13812] ppid=13807 vsize=15418440 memory=984 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13812/stat : 13812 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475180840 15788482560 30641 33554432000 4194304 4196468 140728386002592 140058482932880 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13813] ppid=13807 vsize=15418440 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13813/stat : 13813 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475180840 15788482560 30641 33554432000 4194304 4196468 140728386002592 140058137516816 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13814] ppid=13807 vsize=15418440 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13814/stat : 13814 (java) S 13807 13807 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475180840 15788482560 30641 33554432000 4194304 4196468 140728386002592 140058136464272 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13815] ppid=13807 vsize=15418440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13815/stat : 13815 (java) S 13807 13807 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475180841 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057690343664 140058547759746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13816] ppid=13807 vsize=15418440 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13816/stat : 13816 (java) S 13807 13807 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475180841 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057689289888 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13817] ppid=13807 vsize=15418440 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13817/stat : 13817 (java) S 13807 13807 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475180842 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057688236784 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13818] ppid=13807 vsize=15418440 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13818/stat : 13818 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180844 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057687185360 140058547767195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13819] ppid=13807 vsize=15418440 memory=10564 CPUtime=0.27 cores=0,2,4,6
/proc/13809/task/13819/stat : 13819 (java) D 13807 13807 11742 0 -1 4202560 1443 0 0 0 27 0 0 0 20 0 19 0 475180844 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057686126416 140058525984985 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13820] ppid=13807 vsize=15418440 memory=716 CPUtime=0.24 cores=0,2,4,6
/proc/13809/task/13820/stat : 13820 (java) R 13807 13807 11742 0 -1 4202560 803 0 0 0 24 0 0 0 20 0 19 0 475180844 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057685061960 140058529270008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13821] ppid=13807 vsize=15418440 memory=780 CPUtime=0.37 cores=0,2,4,6
/proc/13809/task/13821/stat : 13821 (java) D 13807 13807 11742 0 -1 4202560 1624 0 0 0 37 0 0 0 20 0 19 0 475180844 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057684025864 140058531829086 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13822] ppid=13807 vsize=15418440 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13822/stat : 13822 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180844 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057682975584 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13823] ppid=13807 vsize=15418440 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13823/stat : 13823 (java) S 13807 13807 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475180845 15788482560 30641 33554432000 4194304 4196468 140728386002592 140057681922608 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 124016 KiB
[startup+1.50734 s]
/proc/loadavg: 8.39 7.90 5.50 11/237 13883
/proc/meminfo: memFree=9013256/32770624 swapFree=66974496/67108860
[pid=13807] ppid=13804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13807/stat : 13807 (xcsp3-exec) S 13804 13807 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475180838 115843072 363 33554432000 4194304 5098028 140733221725792 140733221723896 140263388050044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140733221733243 140733221733485 140733221733485 140733221736394 0
/proc/13807/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/13809/task/13823/stat : 13823 (java) S 13807 13807 11742 0 -1 1077944384 921 0 0 0 2 0 0 0 20 0 19 0 475180845 15992967168 38716 33554432000 4194304 4196468 140728386002592 140057681922608 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13972] ppid=13807 vsize=15618132 memory=928 CPUtime=167.05 cores=0,2,4,6
/proc/13809/task/13972/stat : 13972 (java) R 13807 13807 11742 0 -1 4202560 496 0 0 0 16705 0 0 0 20 0 19 0 475181637 15992967168 38716 33554432000 4194304 4196468 140728386002592 140057463618984 140058166698095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13973] ppid=13807 vsize=15618132 memory=1640 CPUtime=166.67 cores=0,2,4,6
/proc/13809/task/13973/stat : 13973 (java) R 13807 13807 11742 0 -1 4202560 1898 0 0 0 16667 0 0 0 20 0 19 0 475181637 15992967168 38716 33554432000 4194304 4196468 140728386002592 140057676992400 140058166698862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13974] ppid=13807 vsize=15618132 memory=1376 CPUtime=166.57 cores=0,2,4,6
/proc/13809/task/13974/stat : 13974 (java) R 13807 13807 11742 0 -1 4202560 2516 0 0 0 16657 0 0 0 20 0 19 0 475181637 15992967168 38716 33554432000 4194304 4196468 140728386002592 140057464672520 140058162440034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13975] ppid=13807 vsize=15618132 memory=1060 CPUtime=166.97 cores=0,2,4,6
/proc/13809/task/13975/stat : 13975 (java) R 13807 13807 11742 0 -1 4202560 1301 0 0 0 16697 0 0 0 20 0 19 0 475181637 15992967168 38716 33554432000 4194304 4196468 140728386002592 140057467832768 140058166698153 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
Current children cumulated CPU time: 699.34 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 156316 KiB
[startup+177.601 s]
/proc/loadavg: 8.75 8.20 6.03 9/239 13996
/proc/meminfo: memFree=9041268/32770624 swapFree=66974504/67108860
[pid=13807] ppid=13804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13807/stat : 13807 (xcsp3-exec) S 13804 13807 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475180838 115843072 363 33554432000 4194304 5098028 140733221725792 140733221723896 140263388050044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140733221733243 140733221733485 140733221733485 140733221736394 0
/proc/13807/statm: 28282 363 304 221 0 87 0
[pid=13809] ppid=13807 vsize=15618132 memory=153840 CPUtime=705.65 cores=0,2,4,6
/proc/13809/stat : 13809 (java) S 13807 13807 11742 0 -1 1077944320 68308 0 0 0 70547 18 0 0 20 0 19 0 475180839 15992967168 38460 33554432000 4194304 4196468 140728386002592 140728385985136 140058547748599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
/proc/13809/statm: 3904533 38460 3519 1 0 3865633 0
[pid=13809/tid=13810] ppid=13807 vsize=15618132 memory=1452 CPUtime=0.57 cores=0,2,4,6
/proc/13809/task/13810/stat : 13810 (java) S 13807 13807 11742 0 -1 1077944384 9302 0 0 0 53 4 0 0 20 0 19 0 475180839 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058551989376 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13811] ppid=13807 vsize=15618132 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13811/stat : 13811 (java) S 13807 13807 11742 0 -1 1077944384 1482 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058483985424 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13812] ppid=13807 vsize=15618132 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13812/stat : 13812 (java) S 13807 13807 11742 0 -1 1077944384 1952 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058482932880 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13813] ppid=13807 vsize=15618132 memory=-8412652169205224307 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13813/stat : 13813 (java) S 13807 13807 11742 0 -1 1077944384 1177 0 0 0 3 1 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058137516816 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13814] ppid=13807 vsize=15618132 memory=8099844233258100838 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13814/stat : 13814 (java) S 13807 13807 11742 0 -1 1077944384 1250 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058136464272 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13815] ppid=13807 vsize=15618132 memory=8173017857721723475 CPUtime=0.06 cores=0,2,4,6
/proc/13809/task/13815/stat : 13815 (java) S 13807 13807 11742 0 -1 1077944384 1658 0 0 0 4 2 0 0 20 0 19 0 475180841 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057690343664 140058547759746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13816] ppid=13807 vsize=15618132 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13816/stat : 13816 (java) S 13807 13807 11742 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475180841 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057689289952 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13817] ppid=13807 vsize=15618132 memory=154864 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13817/stat : 13817 (java) S 13807 13807 11742 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475180842 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057688236784 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13818] ppid=13807 vsize=15618132 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13818/stat : 13818 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057687185360 140058547767195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13819] ppid=13807 vsize=15618132 memory=155892 CPUtime=2.28 cores=0,2,4,6
/proc/13809/task/13819/stat : 13819 (java) S 13807 13807 11742 0 -1 1077944384 13574 0 0 0 226 2 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057686133488 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13820] ppid=13807 vsize=15618132 memory=928 CPUtime=2.51 cores=0,2,4,6
/proc/13809/task/13820/stat : 13820 (java) S 13807 13807 11742 0 -1 1077944384 18495 0 0 0 250 1 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057685080944 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13821] ppid=13807 vsize=15618132 memory=1640 CPUtime=0.65 cores=0,2,4,6
/proc/13809/task/13821/stat : 13821 (java) S 13807 13807 11742 0 -1 1077944384 7034 0 0 0 65 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057684027888 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13822] ppid=13807 vsize=15618132 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13822/stat : 13822 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057682975584 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13823] ppid=13807 vsize=15618132 memory=1060 CPUtime=0.02 cores=0,2,4,6
/proc/13809/task/13823/stat : 13823 (java) S 13807 13807 11742 0 -1 1077944384 921 0 0 0 2 0 0 0 20 0 19 0 475180845 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057681922608 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13972] ppid=13807 vsize=15618132 memory=3636 CPUtime=168.63 cores=0,2,4,6
/proc/13809/task/13972/stat : 13972 (java) R 13807 13807 11742 0 -1 4202560 497 0 0 0 16863 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057463621952 140058167529351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13973] ppid=13807 vsize=15618132 memory=10564 CPUtime=168.24 cores=0,2,4,6
/proc/13809/task/13973/stat : 13973 (java) R 13807 13807 11742 0 -1 4202560 1900 0 0 0 16824 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057676992400 140058167362314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13974] ppid=13807 vsize=15618132 memory=716 CPUtime=168.15 cores=0,2,4,6
/proc/13809/task/13974/stat : 13974 (java) R 13807 13807 11742 0 -1 4202560 2517 0 0 0 16815 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057464672384 140058167501203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13975] ppid=13807 vsize=15618132 memory=780 CPUtime=168.56 cores=0,2,4,6
/proc/13809/task/13975/stat : 13975 (java) R 13807 13807 11742 0 -1 4202560 1303 0 0 0 16856 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057467829856 140058166698783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
Current children cumulated CPU time: 705.65 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 155292 KiB
[startup+178.001 s]*
/proc/loadavg: 8.75 8.20 6.03 10/238 13996
/proc/meminfo: memFree=9042324/32770624 swapFree=66974504/67108860
[pid=13807] ppid=13804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13807/stat : 13807 (xcsp3-exec) S 13804 13807 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475180838 115843072 363 33554432000 4194304 5098028 140733221725792 140733221723896 140263388050044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140733221733243 140733221733485 140733221733485 140733221736394 0
/proc/13807/statm: 28282 363 304 221 0 87 0
[pid=13809] ppid=13807 vsize=15618132 memory=153840 CPUtime=707.28 cores=0,2,4,6
/proc/13809/stat : 13809 (java) S 13807 13807 11742 0 -1 1077944320 68312 0 0 0 70710 18 0 0 20 0 19 0 475180839 15992967168 38460 33554432000 4194304 4196468 140728386002592 140728385985136 140058547748599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
/proc/13809/statm: 3904533 38460 3519 1 0 3865633 0
[pid=13809/tid=13810] ppid=13807 vsize=15618132 memory=1398722017469774279 CPUtime=0.57 cores=0,2,4,6
/proc/13809/task/13810/stat : 13810 (java) S 13807 13807 11742 0 -1 1077944384 9302 0 0 0 53 4 0 0 20 0 19 0 475180839 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058551989376 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13811] ppid=13807 vsize=15618132 memory=4872558044660077418 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13811/stat : 13811 (java) S 13807 13807 11742 0 -1 1077944384 1482 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058483985424 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13812] ppid=13807 vsize=15618132 memory=2720 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13812/stat : 13812 (java) S 13807 13807 11742 0 -1 1077944384 1952 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058482932880 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13813] ppid=13807 vsize=15618132 memory=2592 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13813/stat : 13813 (java) S 13807 13807 11742 0 -1 1077944384 1177 0 0 0 3 1 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058137516816 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13814] ppid=13807 vsize=15618132 memory=1412 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13814/stat : 13814 (java) S 13807 13807 11742 0 -1 1077944384 1250 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058136464272 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13815] ppid=13807 vsize=15618132 memory=3272 CPUtime=0.06 cores=0,2,4,6
/proc/13809/task/13815/stat : 13815 (java) S 13807 13807 11742 0 -1 1077944384 1658 0 0 0 4 2 0 0 20 0 19 0 475180841 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057690343664 140058547759746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13816] ppid=13807 vsize=15618132 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13816/stat : 13816 (java) S 13807 13807 11742 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475180841 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057689289952 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13817] ppid=13807 vsize=15618132 memory=1171080 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13817/stat : 13817 (java) S 13807 13807 11742 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475180842 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057688236784 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13818] ppid=13807 vsize=15618132 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13818/stat : 13818 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057687185360 140058547767195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13819] ppid=13807 vsize=15618132 memory=3300 CPUtime=2.28 cores=0,2,4,6
/proc/13809/task/13819/stat : 13819 (java) S 13807 13807 11742 0 -1 1077944384 13574 0 0 0 226 2 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057686133488 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13820] ppid=13807 vsize=15618132 memory=1452 CPUtime=2.51 cores=0,2,4,6
/proc/13809/task/13820/stat : 13820 (java) S 13807 13807 11742 0 -1 1077944384 18495 0 0 0 250 1 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057685080944 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13821] ppid=13807 vsize=15618132 memory=154864 CPUtime=0.65 cores=0,2,4,6
/proc/13809/task/13821/stat : 13821 (java) S 13807 13807 11742 0 -1 1077944384 7034 0 0 0 65 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057684027888 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13822] ppid=13807 vsize=15618132 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13822/stat : 13822 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057682975584 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13823] ppid=13807 vsize=15618132 memory=1398722017469774279 CPUtime=0.02 cores=0,2,4,6
/proc/13809/task/13823/stat : 13823 (java) S 13807 13807 11742 0 -1 1077944384 921 0 0 0 2 0 0 0 20 0 19 0 475180845 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057681922608 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13972] ppid=13807 vsize=15618132 memory=4872558044660077418 CPUtime=169.04 cores=0,2,4,6
/proc/13809/task/13972/stat : 13972 (java) R 13807 13807 11742 0 -1 4202560 497 0 0 0 16904 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057463621840 140058166698457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13973] ppid=13807 vsize=15618132 memory=2004 CPUtime=168.63 cores=0,2,4,6
/proc/13809/task/13973/stat : 13973 (java) R 13807 13807 11742 0 -1 4202560 1900 0 0 0 16863 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057676992400 140058166698748 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13974] ppid=13807 vsize=15618132 memory=1376 CPUtime=168.56 cores=0,2,4,6
/proc/13809/task/13974/stat : 13974 (java) R 13807 13807 11742 0 -1 4202560 2519 0 0 0 16856 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057464672520 140058166698451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13975] ppid=13807 vsize=15618132 memory=1060 CPUtime=168.97 cores=0,2,4,6
/proc/13809/task/13975/stat : 13975 (java) R 13807 13807 11742 0 -1 4202560 1305 0 0 0 16897 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057467829992 140058167625898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
Current children cumulated CPU time: 707.28 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 155292 KiB
[startup+178.207 s]
/proc/loadavg: 8.75 8.20 6.03 10/238 13996
/proc/meminfo: memFree=9042324/32770624 swapFree=66974504/67108860
[pid=13807] ppid=13804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13807/stat : 13807 (xcsp3-exec) S 13804 13807 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475180838 115843072 363 33554432000 4194304 5098028 140733221725792 140733221723896 140263388050044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140733221733243 140733221733485 140733221733485 140733221736394 0
/proc/13807/statm: 28282 363 304 221 0 87 0
[pid=13809] ppid=13807 vsize=15618132 memory=153840 CPUtime=708.06 cores=0,2,4,6
/proc/13809/stat : 13809 (java) S 13807 13807 11742 0 -1 1077944320 68312 0 0 0 70788 18 0 0 20 0 19 0 475180839 15992967168 38460 33554432000 4194304 4196468 140728386002592 140728385985136 140058547748599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
/proc/13809/statm: 3904533 38460 3519 1 0 3865633 0
[pid=13809/tid=13810] ppid=13807 vsize=15618132 memory=14134446152486315 CPUtime=0.57 cores=0,2,4,6
/proc/13809/task/13810/stat : 13810 (java) S 13807 13807 11742 0 -1 1077944384 9302 0 0 0 53 4 0 0 20 0 19 0 475180839 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058551989376 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13811] ppid=13807 vsize=15618132 memory=1376 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13811/stat : 13811 (java) S 13807 13807 11742 0 -1 1077944384 1482 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058483985424 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13812] ppid=13807 vsize=15618132 memory=1060 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13812/stat : 13812 (java) S 13807 13807 11742 0 -1 1077944384 1952 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058482932880 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13813] ppid=13807 vsize=15618132 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13813/stat : 13813 (java) S 13807 13807 11742 0 -1 1077944384 1177 0 0 0 3 1 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058137516816 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13814] ppid=13807 vsize=15618132 memory=158456 CPUtime=0.04 cores=0,2,4,6
/proc/13809/task/13814/stat : 13814 (java) S 13807 13807 11742 0 -1 1077944384 1250 0 0 0 4 0 0 0 20 0 19 0 475180840 15992967168 38460 33554432000 4194304 4196468 140728386002592 140058136464272 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13815] ppid=13807 vsize=15618132 memory=984 CPUtime=0.06 cores=0,2,4,6
/proc/13809/task/13815/stat : 13815 (java) S 13807 13807 11742 0 -1 1077944384 1658 0 0 0 4 2 0 0 20 0 19 0 475180841 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057690343664 140058547759746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13816] ppid=13807 vsize=15618132 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13816/stat : 13816 (java) S 13807 13807 11742 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475180841 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057689289952 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13817] ppid=13807 vsize=15618132 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13817/stat : 13817 (java) S 13807 13807 11742 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475180842 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057688236784 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13818] ppid=13807 vsize=15618132 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13818/stat : 13818 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057687185360 140058547767195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13819] ppid=13807 vsize=15618132 memory=716 CPUtime=2.28 cores=0,2,4,6
/proc/13809/task/13819/stat : 13819 (java) S 13807 13807 11742 0 -1 1077944384 13574 0 0 0 226 2 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057686133488 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13820] ppid=13807 vsize=15618132 memory=780 CPUtime=2.51 cores=0,2,4,6
/proc/13809/task/13820/stat : 13820 (java) S 13807 13807 11742 0 -1 1077944384 18495 0 0 0 250 1 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057685080944 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13821] ppid=13807 vsize=15618132 memory=1552 CPUtime=0.65 cores=0,2,4,6
/proc/13809/task/13821/stat : 13821 (java) S 13807 13807 11742 0 -1 1077944384 7034 0 0 0 65 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057684027888 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13822] ppid=13807 vsize=15618132 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/13809/task/13822/stat : 13822 (java) S 13807 13807 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180844 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057682975584 140058547758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13823] ppid=13807 vsize=15618132 memory=1724 CPUtime=0.02 cores=0,2,4,6
/proc/13809/task/13823/stat : 13823 (java) S 13807 13807 11742 0 -1 1077944384 921 0 0 0 2 0 0 0 20 0 19 0 475180845 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057681922608 140058547759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13972] ppid=13807 vsize=15618132 memory=6088 CPUtime=169.24 cores=0,2,4,6
/proc/13809/task/13972/stat : 13972 (java) R 13807 13807 11742 0 -1 4202560 497 0 0 0 16924 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057463621840 140058166699146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13973] ppid=13807 vsize=15618132 memory=1452 CPUtime=168.83 cores=0,2,4,6
/proc/13809/task/13973/stat : 13973 (java) R 13807 13807 11742 0 -1 4202560 1900 0 0 0 16883 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057676992400 140058166683241 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13974] ppid=13807 vsize=15618132 memory=156916 CPUtime=168.75 cores=0,2,4,6
/proc/13809/task/13974/stat : 13974 (java) R 13807 13807 11742 0 -1 4202560 2519 0 0 0 16875 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057464672520 140058166699101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
[pid=13809/tid=13975] ppid=13807 vsize=15618132 memory=780 CPUtime=169.16 cores=0,2,4,6
/proc/13809/task/13975/stat : 13975 (java) R 13807 13807 11742 0 -1 4202560 1305 0 0 0 16916 0 0 0 20 0 19 0 475181637 15992967168 38460 33554432000 4194304 4196468 140728386002592 140057467829992 140058166699474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32890880 140728386003951 140728386004122 140728386004122 140728386006991 0
Current children cumulated CPU time: 708.06 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 155292 KiB
Child status: 0
Real time (s): 178.219
CPU time (s): 708.102
CPU user time (s): 707.909
CPU system time (s): 0.192485
CPU usage (%): 397.321
Max. virtual memory (cumulated for all children) (KiB): 15731260
Max. memory (cumulated for all children) (KiB): 222504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 707.909
system time used= 0.192485
maximum resident set size= 222444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8516
involuntary context switches= 15454
# summary of solver processes directly reported to runsolver:
# pid: 13807
# total CPU time (s): 708.102
# total CPU user time (s): 707.909
# total CPU system time (s): 0.192485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11067 second user time and 1.86177 second system time
The end