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 (10803 MiB free)
  memory of node 1: 16384 MiB (10083 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281085-1503140688/watcher-4281085-1503140688 -o /tmp/evaluation-result-4281085-1503140688/solver-4281085-1503140688 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1341666529 HOME/instance-4281085-1503140688.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22287, runsolver pid=22284
Current StackSize limit: 8192 KiB


[startup+0.102373 s]*
/proc/loadavg: 1.16 1.07 1.65 2/199 22308
/proc/meminfo: memFree=21372900/32770624 swapFree=67108860/67108860
[pid=22287] ppid=22284 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22287/stat : 22287 (xcsp3-exec) S 22284 22287 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147149557 9740288 346 33554432000 4194304 5098028 140723818026976 140723818025080 140382735389308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31301632 140723818030180 140723818030391 140723818030391 140723818033131 0
/proc/22287/statm: 2378 346 289 221 0 87 0
[pid=22289] ppid=22287 vsize=25999808 memory=26584 CPUtime=0.12 cores=0-7
/proc/22289/stat : 22289 (java) S 22287 22287 19660 0 -1 1077944320 5541 0 0 0 11 1 0 0 20 0 20 0 147149558 26623803392 6646 33554432000 4194304 4196468 140727543575984 140727543558528 139973895233271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
/proc/22289/statm: 6499952 6646 2861 1 0 6488269 0
[pid=22289/tid=22290] ppid=22287 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/22289/task/22290/stat : 22290 (java) R 22287 22287 19660 0 -1 4202560 3517 0 0 0 9 0 0 0 20 0 20 0 147149558 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973899465536 139973895245206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22291] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22291/stat : 22291 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973858339856 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22292] ppid=22287 vsize=25999808 memory=140327281358464 CPUtime=0 cores=0-7
/proc/22289/task/22292/stat : 22292 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973452233872 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22293] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22293/stat : 22293 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973451180816 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22294] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22294/stat : 22294 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973450128272 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22295] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22295/stat : 22295 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973449075216 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22296] ppid=22287 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22289/task/22296/stat : 22296 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149559 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973448022672 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22297] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22297/stat : 22297 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973446969616 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22298] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22298/stat : 22298 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147149559 26623803392 6646 33554432000 4194304 4196468 140727543575984 139973445917072 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22299] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22299/stat : 22299 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149560 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972167285488 139973895244418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22300] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22300/stat : 22300 (java) S 22287 22287 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147149561 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972166231712 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22301] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22301/stat : 22301 (java) S 22287 22287 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147149561 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972165178608 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22302] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22302/stat : 22302 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149563 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972164127184 139973895251867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22303] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22303/stat : 22303 (java) S 22287 22287 19660 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 147149563 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972163074288 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22304] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22304/stat : 22304 (java) R 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147149563 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972162021744 139973895244418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22305] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22305/stat : 22305 (java) S 22287 22287 19660 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 147149563 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972160968688 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22306] ppid=22287 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22289/task/22306/stat : 22306 (java) R 22287 22287 19660 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 20 0 147149563 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972159916144 139973879313758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22307] ppid=22287 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22307/stat : 22307 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147149564 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972158864352 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22308] ppid=22287 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22289/task/22308/stat : 22308 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149564 26623803392 6646 33554432000 4194304 4196468 140727543575984 139972157811888 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27968 KiB

[startup+0.210593 s]*
/proc/loadavg: 1.16 1.07 1.65 2/199 22308
/proc/meminfo: memFree=21364032/32770624 swapFree=67108860/67108860
[pid=22287] ppid=22284 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22287/stat : 22287 (xcsp3-exec) S 22284 22287 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147149557 9740288 346 33554432000 4194304 5098028 140723818026976 140723818025080 140382735389308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31301632 140723818030180 140723818030391 140723818030391 140723818033131 0
/proc/22287/statm: 2378 346 289 221 0 87 0
[pid=22289] ppid=22287 vsize=26004064 memory=39204 CPUtime=0.33 cores=0-7
/proc/22289/stat : 22289 (java) S 22287 22287 19660 0 -1 1077944320 8357 0 0 0 31 2 0 0 20 0 20 0 147149558 26628161536 9801 33554432000 4194304 4196468 140727543575984 140727543558528 139973895233271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
/proc/22289/statm: 6501016 9801 3045 1 0 6488269 0
[pid=22289/tid=22290] ppid=22287 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22289/task/22290/stat : 22290 (java) R 22287 22287 19660 0 -1 4202560 5416 0 0 0 18 1 0 0 20 0 20 0 147149558 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973899455216 139973879313758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22291] ppid=22287 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/22289/task/22291/stat : 22291 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973858339856 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22292] ppid=22287 vsize=26004064 memory=140327282344201 CPUtime=0 cores=0-7
/proc/22289/task/22292/stat : 22292 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973452233872 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22293] ppid=22287 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22289/task/22293/stat : 22293 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973451180816 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22294] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22294/stat : 22294 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973450128272 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22295] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22295/stat : 22295 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973449075216 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22296] ppid=22287 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22289/task/22296/stat : 22296 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973448022672 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22297] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22297/stat : 22297 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973446969616 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22298] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22298/stat : 22298 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 9801 33554432000 4194304 4196468 140727543575984 139973445917072 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22299] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22299/stat : 22299 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149560 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972167285488 139973895244418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22300] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22300/stat : 22300 (java) S 22287 22287 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147149561 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972166231712 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22301] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22301/stat : 22301 (java) S 22287 22287 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147149561 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972165178608 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22302] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22302/stat : 22302 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149563 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972164127184 139973895251867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22303] ppid=22287 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22289/task/22303/stat : 22303 (java) S 22287 22287 19660 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 20 0 147149563 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972163074288 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22304] ppid=22287 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22289/task/22304/stat : 22304 (java) S 22287 22287 19660 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 147149563 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972162021744 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22305] ppid=22287 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/22289/task/22305/stat : 22305 (java) S 22287 22287 19660 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 147149563 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972160968688 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22306] ppid=22287 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/22289/task/22306/stat : 22306 (java) S 22287 22287 19660 0 -1 1077944384 751 0 0 0 7 0 0 0 20 0 20 0 147149563 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972159916144 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22307] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22307/stat : 22307 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147149564 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972158864352 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22308] ppid=22287 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22289/task/22308/stat : 22308 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149564 26628161536 9801 33554432000 4194304 4196468 140727543575984 139972157811888 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40588 KiB

[startup+0.310207 s]*
/proc/loadavg: 1.16 1.07 1.65 4/199 22308
/proc/meminfo: memFree=21357828/32770624 swapFree=67108860/67108860
[pid=22287] ppid=22284 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22287/stat : 22287 (xcsp3-exec) S 22284 22287 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147149557 9740288 346 33554432000 4194304 5098028 140723818026976 140723818025080 140382735389308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31301632 140723818030180 140723818030391 140723818030391 140723818033131 0
/proc/22287/statm: 2378 346 289 221 0 87 0
[pid=22289] ppid=22287 vsize=26004064 memory=43844 CPUtime=0.5 cores=0-7
/proc/22289/stat : 22289 (java) S 22287 22287 19660 0 -1 1077944320 9141 0 0 0 47 3 0 0 20 0 20 0 147149558 26628161536 10961 33554432000 4194304 4196468 140727543575984 140727543558528 139973895233271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
/proc/22289/statm: 6501016 10961 3105 1 0 6488269 0
[pid=22289/tid=22290] ppid=22287 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/22289/task/22290/stat : 22290 (java) R 22287 22287 19660 0 -1 4202560 6088 0 0 0 28 2 0 0 20 0 20 0 147149558 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973899471232 139973531406693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22291] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22291/stat : 22291 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973858339856 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22292] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22292/stat : 22292 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973452233872 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22293] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22293/stat : 22293 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973451180816 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22294] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22294/stat : 22294 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973450128272 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22295] ppid=22287 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22289/task/22295/stat : 22295 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973449075216 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22296] ppid=22287 vsize=26004064 memory=140327184855983 CPUtime=0 cores=0-7
/proc/22289/task/22296/stat : 22296 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973448022672 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22297] ppid=22287 vsize=26004064 memory=140327184858288 CPUtime=0 cores=0-7
/proc/22289/task/22297/stat : 22297 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973446969616 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22298] ppid=22287 vsize=26004064 memory=140327184860592 CPUtime=0 cores=0-7
/proc/22289/task/22298/stat : 22298 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147149559 26628161536 10961 33554432000 4194304 4196468 140727543575984 139973445917072 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22299] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22299/stat : 22299 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149560 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972167285488 139973895244418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22300] ppid=22287 vsize=26004064 memory=280654369728144 CPUtime=0 cores=0-7
/proc/22289/task/22300/stat : 22300 (java) S 22287 22287 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147149561 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972166231712 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22301] ppid=22287 vsize=26004064 memory=280654369735056 CPUtime=0 cores=0-7
/proc/22289/task/22301/stat : 22301 (java) S 22287 22287 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147149561 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972165178608 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22302] ppid=22287 vsize=26004064 memory=280654369676336 CPUtime=0 cores=0-7
/proc/22289/task/22302/stat : 22302 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149563 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972164127184 139973895251867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22303] ppid=22287 vsize=26004064 memory=280654369748880 CPUtime=0.02 cores=0-7
/proc/22289/task/22303/stat : 22303 (java) R 22287 22287 19660 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 147149563 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972163074288 139973895244418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22304] ppid=22287 vsize=26004064 memory=280654369755792 CPUtime=0.01 cores=0-7
/proc/22289/task/22304/stat : 22304 (java) R 22287 22287 19660 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 147149563 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972162021744 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22305] ppid=22287 vsize=26004064 memory=280654369753488 CPUtime=0.03 cores=0-7
/proc/22289/task/22305/stat : 22305 (java) S 22287 22287 19660 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 20 0 147149563 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972160968688 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22306] ppid=22287 vsize=26004064 memory=280654369769648 CPUtime=0.12 cores=0-7
/proc/22289/task/22306/stat : 22306 (java) R 22287 22287 19660 0 -1 4202560 844 0 0 0 12 0 0 0 20 0 20 0 147149563 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972159912512 139973895245206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22307] ppid=22287 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22307/stat : 22307 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147149564 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972158864352 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22308] ppid=22287 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22289/task/22308/stat : 22308 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147149564 26628161536 10961 33554432000 4194304 4196468 140727543575984 139972157811888 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45228 KiB

[startup+0.700972 s]
/proc/loadavg: 1.16 1.07 1.65 4/199 22308
/proc/meminfo: memFree=21326752/32770624 swapFree=67108860/67108860
[pid=22287] ppid=22284 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22287/stat : 22287 (xcsp3-exec) S 22284 22287 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147149557 9740288 346 33554432000 4194304 5098028 140723818026976 140723818025080 140382735389308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31301632 140723818030180 140723818030391 140723818030391 140723818033131 0
/proc/22287/statm: 2378 346 289 221 0 87 0
[pid=22289] ppid=22287 vsize=26004140 memory=148536 CPUtime=2.05 cores=0-7
/proc/22289/stat : 22289 (java) S 22287 22287 19660 0 -1 1077944320 15414 0 0 0 200 5 0 0 20 0 20 0 147149558 26628239360 37134 33554432000 4194304 4196468 140727543575984 140727543558528 139973895233271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
/proc/22289/statm: 6501035 37134 3200 1 0 6488269 0
[pid=22289/tid=22290] ppid=22287 vsize=26004140 memory=280654370127536 CPUtime=0.67 cores=0-7
/proc/22289/task/22290/stat : 22290 (java) R 22287 22287 19660 0 -1 4202560 6460 0 0 0 64 3 0 0 20 0 20 0 147149558 26628239360 37134 33554432000 4194304 4196468 140727543575984 139973899467976 139973531607797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22291] ppid=22287 vsize=26004140 memory=140327185064816 CPUtime=0 cores=0-7
/proc/22289/task/22291/stat : 22291 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628239360 37134 33554432000 4194304 4196468 140727543575984 139973858339856 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22292] ppid=22287 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22292/stat : 22292 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628239360 37134 33554432000 4194304 4196468 140727543575984 139973452233872 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22293] ppid=22287 vsize=26004140 memory=8736 CPUtime=0 cores=0-7
/proc/22289/task/22293/stat : 22293 (java) S 22287 22287 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147149559 26628239360 37134 33554432000 4194304 4196468 140727543575984 139973451180816 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0

################
# More data... #
################

[pid=22289/tid=22306] ppid=22287 vsize=26538700 memory=0 CPUtime=0.79 cores=0-7
/proc/22289/task/22306/stat : 22306 (java) S 22287 22287 19660 0 -1 1077944384 3864 0 0 0 79 0 0 0 20 0 28 0 147149563 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972159916144 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22307] ppid=22287 vsize=26538700 memory=4580 CPUtime=0 cores=0-7
/proc/22289/task/22307/stat : 22307 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147149564 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972158864352 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22308] ppid=22287 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22308/stat : 22308 (java) S 22287 22287 19660 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 147149564 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972157811888 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22309] ppid=22287 vsize=26538700 memory=0 CPUtime=2.78 cores=0-7
/proc/22289/task/22309/stat : 22309 (java) R 22287 22287 19660 0 -1 4202560 156 0 0 0 278 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972149799816 139973540965482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22310] ppid=22287 vsize=26538700 memory=0 CPUtime=2.71 cores=0-7
/proc/22289/task/22310/stat : 22310 (java) R 22287 22287 19660 0 -1 4202560 107 0 0 0 271 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972148749160 139973541284362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22311] ppid=22287 vsize=26538700 memory=0 CPUtime=2.63 cores=0-7
/proc/22289/task/22311/stat : 22311 (java) R 22287 22287 19660 0 -1 4202560 427 0 0 0 261 2 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972147697480 139973540397260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22312] ppid=22287 vsize=26538700 memory=0 CPUtime=2.52 cores=0-7
/proc/22289/task/22312/stat : 22312 (java) R 22287 22287 19660 0 -1 4202560 428 0 0 0 250 2 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972146643496 139973540029049 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22313] ppid=22287 vsize=26538700 memory=0 CPUtime=2.78 cores=0-7
/proc/22289/task/22313/stat : 22313 (java) R 22287 22287 19660 0 -1 4202560 252 0 0 0 278 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972145591912 139973540029076 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22314] ppid=22287 vsize=26538700 memory=0 CPUtime=2.72 cores=0-7
/proc/22289/task/22314/stat : 22314 (java) R 22287 22287 19660 0 -1 4202560 133 0 0 0 272 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972144537264 139973540029867 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22315] ppid=22287 vsize=26538700 memory=0 CPUtime=2.73 cores=0-7
/proc/22289/task/22315/stat : 22315 (java) R 22287 22287 19660 0 -1 4202560 112 0 0 0 273 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972143485048 139973539808449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22316] ppid=22287 vsize=26538700 memory=0 CPUtime=2.85 cores=0-7
/proc/22289/task/22316/stat : 22316 (java) R 22287 22287 19660 0 -1 4202560 155 0 0 0 284 1 0 0 20 0 28 0 147149958 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972142433640 139973539808694 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
Current children cumulated CPU time: 37.02 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1364616 KiB

[startup+7.60201 s]
/proc/loadavg: 1.15 1.07 1.65 11/207 22316
/proc/meminfo: memFree=20034012/32770624 swapFree=67108860/67108860
[pid=22287] ppid=22284 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22287/stat : 22287 (xcsp3-exec) S 22284 22287 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147149557 9740288 346 33554432000 4194304 5098028 140723818026976 140723818025080 140382735389308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31301632 140723818030180 140723818030391 140723818030391 140723818033131 0
/proc/22287/statm: 2378 346 289 221 0 87 0
[pid=22289] ppid=22287 vsize=26538700 memory=1363232 CPUtime=40.21 cores=0-7
/proc/22289/stat : 22289 (java) S 22287 22287 19660 0 -1 1077944320 34598 0 0 0 3905 116 0 0 20 0 28 0 147149558 27175628800 340808 33554432000 4194304 4196468 140727543575984 140727543558528 139973895233271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
/proc/22289/statm: 6634675 340808 3276 1 0 6621909 0
[pid=22289/tid=22290] ppid=22287 vsize=26538700 memory=6656426216303648864 CPUtime=3.68 cores=0-7
/proc/22289/task/22290/stat : 22290 (java) S 22287 22287 19660 0 -1 1077944384 7471 0 0 0 357 11 0 0 20 0 28 0 147149558 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973899474048 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22291] ppid=22287 vsize=26538700 memory=6944656592455359580 CPUtime=0.35 cores=0-7
/proc/22289/task/22291/stat : 22291 (java) S 22287 22287 19660 0 -1 1077944384 297 0 0 0 24 11 0 0 20 0 28 0 147149559 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973858339856 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22292] ppid=22287 vsize=26538700 memory=0 CPUtime=0.36 cores=0-7
/proc/22289/task/22292/stat : 22292 (java) S 22287 22287 19660 0 -1 1077944384 296 0 0 0 25 11 0 0 20 0 28 0 147149559 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973452233872 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22293] ppid=22287 vsize=26538700 memory=667680 CPUtime=0.35 cores=0-7
/proc/22289/task/22293/stat : 22293 (java) S 22287 22287 19660 0 -1 1077944384 285 0 0 0 25 10 0 0 20 0 28 0 147149559 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973451180816 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22294] ppid=22287 vsize=26538700 memory=7309459200473130068 CPUtime=0.34 cores=0-7
/proc/22289/task/22294/stat : 22294 (java) S 22287 22287 19660 0 -1 1077944384 243 0 0 0 24 10 0 0 20 0 28 0 147149559 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973450128272 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22295] ppid=22287 vsize=26538700 memory=12136 CPUtime=0.33 cores=0-7
/proc/22289/task/22295/stat : 22295 (java) S 22287 22287 19660 0 -1 1077944384 314 0 0 0 23 10 0 0 20 0 28 0 147149559 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973449075216 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22296] ppid=22287 vsize=26538700 memory=5792 CPUtime=0.33 cores=0-7
/proc/22289/task/22296/stat : 22296 (java) S 22287 22287 19660 0 -1 1077944384 280 0 0 0 23 10 0 0 20 0 28 0 147149559 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973448022672 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22297] ppid=22287 vsize=26538700 memory=796 CPUtime=0.31 cores=0-7
/proc/22289/task/22297/stat : 22297 (java) S 22287 22287 19660 0 -1 1077944384 214 0 0 0 22 9 0 0 20 0 28 0 147149559 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973446969616 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22298] ppid=22287 vsize=26538700 memory=1436 CPUtime=0.35 cores=0-7
/proc/22289/task/22298/stat : 22298 (java) S 22287 22287 19660 0 -1 1077944384 304 0 0 0 23 12 0 0 20 0 28 0 147149559 27175628800 340808 33554432000 4194304 4196468 140727543575984 139973445917072 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22299] ppid=22287 vsize=26538700 memory=1012 CPUtime=0.01 cores=0-7
/proc/22289/task/22299/stat : 22299 (java) S 22287 22287 19660 0 -1 1077944384 603 0 0 0 1 0 0 0 20 0 28 0 147149560 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972167285488 139973895244418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22300] ppid=22287 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/22289/task/22300/stat : 22300 (java) S 22287 22287 19660 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 147149561 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972166231776 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22301] ppid=22287 vsize=26538700 memory=1952 CPUtime=0 cores=0-7
/proc/22289/task/22301/stat : 22301 (java) S 22287 22287 19660 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 147149561 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972165178624 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22302] ppid=22287 vsize=26538700 memory=8736 CPUtime=0 cores=0-7
/proc/22289/task/22302/stat : 22302 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147149563 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972164127184 139973895251867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22303] ppid=22287 vsize=26538700 memory=31009 CPUtime=2.55 cores=0-7
/proc/22289/task/22303/stat : 22303 (java) S 22287 22287 19660 0 -1 1077944384 5229 0 0 0 254 1 0 0 20 0 28 0 147149563 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972163074288 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22304] ppid=22287 vsize=26538700 memory=288230621803970871 CPUtime=2.83 cores=0-7
/proc/22289/task/22304/stat : 22304 (java) S 22287 22287 19660 0 -1 1077944384 5928 0 0 0 282 1 0 0 20 0 28 0 147149563 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972162021744 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22305] ppid=22287 vsize=26538700 memory=15262532197681705 CPUtime=2.49 cores=0-7
/proc/22289/task/22305/stat : 22305 (java) S 22287 22287 19660 0 -1 1077944384 6141 0 0 0 247 2 0 0 20 0 28 0 147149563 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972160968688 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22306] ppid=22287 vsize=26538700 memory=0 CPUtime=0.79 cores=0-7
/proc/22289/task/22306/stat : 22306 (java) S 22287 22287 19660 0 -1 1077944384 3864 0 0 0 79 0 0 0 20 0 28 0 147149563 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972159916144 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22307] ppid=22287 vsize=26538700 memory=2586 CPUtime=0 cores=0-7
/proc/22289/task/22307/stat : 22307 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147149564 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972158864352 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22308] ppid=22287 vsize=26538700 memory=140327185228770 CPUtime=0 cores=0-7
/proc/22289/task/22308/stat : 22308 (java) S 22287 22287 19660 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 147149564 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972157811888 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22309] ppid=22287 vsize=26538700 memory=0 CPUtime=3.18 cores=0-7
/proc/22289/task/22309/stat : 22309 (java) R 22287 22287 19660 0 -1 4202560 156 0 0 0 318 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972149799712 139973540828452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22310] ppid=22287 vsize=26538700 memory=0 CPUtime=3.11 cores=0-7
/proc/22289/task/22310/stat : 22310 (java) R 22287 22287 19660 0 -1 4202560 107 0 0 0 311 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972148748672 139973540029076 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22311] ppid=22287 vsize=26538700 memory=0 CPUtime=3.03 cores=0-7
/proc/22289/task/22311/stat : 22311 (java) R 22287 22287 19660 0 -1 4202560 431 0 0 0 301 2 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972147695656 139973540028816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22312] ppid=22287 vsize=26538700 memory=0 CPUtime=2.9 cores=0-7
/proc/22289/task/22312/stat : 22312 (java) R 22287 22287 19660 0 -1 4202560 454 0 0 0 288 2 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972146643016 139973531608162 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22313] ppid=22287 vsize=26538700 memory=0 CPUtime=3.18 cores=0-7
/proc/22289/task/22313/stat : 22313 (java) R 22287 22287 19660 0 -1 4202560 264 0 0 0 318 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972145589880 139973540965477 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22314] ppid=22287 vsize=26538700 memory=0 CPUtime=3.12 cores=0-7
/proc/22289/task/22314/stat : 22314 (java) R 22287 22287 19660 0 -1 4202560 133 0 0 0 312 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972144537800 139973540965554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22315] ppid=22287 vsize=26538700 memory=0 CPUtime=3.13 cores=0-7
/proc/22289/task/22315/stat : 22315 (java) R 22287 22287 19660 0 -1 4202560 115 0 0 0 313 0 0 0 20 0 28 0 147149957 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972143485248 139973539808015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22316] ppid=22287 vsize=26538700 memory=6655300316396806240 CPUtime=3.25 cores=0-7
/proc/22289/task/22316/stat : 22316 (java) R 22287 22287 19660 0 -1 4202560 157 0 0 0 324 1 0 0 20 0 28 0 147149958 27175628800 340808 33554432000 4194304 4196468 140727543575984 139972142432800 139973540965482 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
Current children cumulated CPU time: 40.21 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1364616 KiB

[startup+7.7013 s]
/proc/loadavg: 1.15 1.07 1.65 11/207 22316
/proc/meminfo: memFree=20034012/32770624 swapFree=67108860/67108860
[pid=22287] ppid=22284 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22287/stat : 22287 (xcsp3-exec) S 22284 22287 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147149557 9740288 346 33554432000 4194304 5098028 140723818026976 140723818025080 140382735389308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31301632 140723818030180 140723818030391 140723818030391 140723818033131 0
/proc/22287/statm: 2378 346 289 221 0 87 0
[pid=22289] ppid=22287 vsize=26538700 memory=1367328 CPUtime=41 cores=0-7
/proc/22289/stat : 22289 (java) S 22287 22287 19660 0 -1 1077944320 34743 0 0 0 3984 116 0 0 20 0 28 0 147149558 27175628800 341832 33554432000 4194304 4196468 140727543575984 140727543558528 139973895233271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
/proc/22289/statm: 6634675 341832 3276 1 0 6621909 0
[pid=22289/tid=22290] ppid=22287 vsize=26538700 memory=1363232 CPUtime=3.68 cores=0-7
/proc/22289/task/22290/stat : 22290 (java) S 22287 22287 19660 0 -1 1077944384 7471 0 0 0 357 11 0 0 20 0 28 0 147149558 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973899474048 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22291] ppid=22287 vsize=26538700 memory=1384 CPUtime=0.35 cores=0-7
/proc/22289/task/22291/stat : 22291 (java) S 22287 22287 19660 0 -1 1077944384 297 0 0 0 24 11 0 0 20 0 28 0 147149559 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973858339856 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22292] ppid=22287 vsize=26538700 memory=0 CPUtime=0.36 cores=0-7
/proc/22289/task/22292/stat : 22292 (java) S 22287 22287 19660 0 -1 1077944384 296 0 0 0 25 11 0 0 20 0 28 0 147149559 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973452233872 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22293] ppid=22287 vsize=26538700 memory=-3252517613198930781 CPUtime=0.35 cores=0-7
/proc/22289/task/22293/stat : 22293 (java) S 22287 22287 19660 0 -1 1077944384 285 0 0 0 25 10 0 0 20 0 28 0 147149559 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973451180816 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22294] ppid=22287 vsize=26538700 memory=18476 CPUtime=0.34 cores=0-7
/proc/22289/task/22294/stat : 22294 (java) S 22287 22287 19660 0 -1 1077944384 243 0 0 0 24 10 0 0 20 0 28 0 147149559 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973450128272 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22295] ppid=22287 vsize=26538700 memory=23764 CPUtime=0.33 cores=0-7
/proc/22289/task/22295/stat : 22295 (java) S 22287 22287 19660 0 -1 1077944384 314 0 0 0 23 10 0 0 20 0 28 0 147149559 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973449075216 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22296] ppid=22287 vsize=26538700 memory=0 CPUtime=0.33 cores=0-7
/proc/22289/task/22296/stat : 22296 (java) S 22287 22287 19660 0 -1 1077944384 280 0 0 0 23 10 0 0 20 0 28 0 147149559 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973448022672 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22297] ppid=22287 vsize=26538700 memory=140327184960416 CPUtime=0.31 cores=0-7
/proc/22289/task/22297/stat : 22297 (java) S 22287 22287 19660 0 -1 1077944384 214 0 0 0 22 9 0 0 20 0 28 0 147149559 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973446969616 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22298] ppid=22287 vsize=26538700 memory=140327184960448 CPUtime=0.35 cores=0-7
/proc/22289/task/22298/stat : 22298 (java) S 22287 22287 19660 0 -1 1077944384 304 0 0 0 23 12 0 0 20 0 28 0 147149559 27175628800 341832 33554432000 4194304 4196468 140727543575984 139973445917072 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22299] ppid=22287 vsize=26538700 memory=140327184960480 CPUtime=0.01 cores=0-7
/proc/22289/task/22299/stat : 22299 (java) S 22287 22287 19660 0 -1 1077944384 603 0 0 0 1 0 0 0 20 0 28 0 147149560 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972167285488 139973895244418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22300] ppid=22287 vsize=26538700 memory=1 CPUtime=0 cores=0-7
/proc/22289/task/22300/stat : 22300 (java) S 22287 22287 19660 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 147149561 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972166231776 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22301] ppid=22287 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22301/stat : 22301 (java) S 22287 22287 19660 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 147149561 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972165178624 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22302] ppid=22287 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/22289/task/22302/stat : 22302 (java) S 22287 22287 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147149563 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972164127184 139973895251867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22303] ppid=22287 vsize=26538700 memory=0 CPUtime=2.56 cores=0-7
/proc/22289/task/22303/stat : 22303 (java) R 22287 22287 19660 0 -1 4202560 5230 0 0 0 255 1 0 0 20 0 28 0 147149563 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972163074288 139973875991553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22304] ppid=22287 vsize=26538700 memory=255 CPUtime=2.83 cores=0-7
/proc/22289/task/22304/stat : 22304 (java) R 22287 22287 19660 0 -1 4202560 5928 0 0 0 282 1 0 0 20 0 28 0 147149563 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972162021744 139973879654975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22305] ppid=22287 vsize=26538700 memory=280654369525456 CPUtime=2.5 cores=0-7
/proc/22289/task/22305/stat : 22305 (java) R 22287 22287 19660 0 -1 4202560 6149 0 0 0 248 2 0 0 20 0 28 0 147149563 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972160968688 139973881297248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22306] ppid=22287 vsize=26538700 memory=97905792781034 CPUtime=0.8 cores=0-7
/proc/22289/task/22306/stat : 22306 (java) S 22287 22287 19660 0 -1 1077944384 3906 0 0 0 80 0 0 0 20 0 28 0 147149563 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972159916144 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22307] ppid=22287 vsize=26538700 memory=97905792780778 CPUtime=0 cores=0-7
/proc/22289/task/22307/stat : 22307 (java) S 22287 22287 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147149564 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972158864352 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22308] ppid=22287 vsize=26538700 memory=97905792780778 CPUtime=0 cores=0-7
/proc/22289/task/22308/stat : 22308 (java) S 22287 22287 19660 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 147149564 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972157811888 139973895244418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22309] ppid=22287 vsize=26538700 memory=97905792780522 CPUtime=3.27 cores=0-7
/proc/22289/task/22309/stat : 22309 (java) S 22287 22287 19660 0 -1 1077944384 161 0 0 0 327 0 0 0 20 0 28 0 147149957 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972149804976 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22310] ppid=22287 vsize=26538700 memory=56 CPUtime=3.2 cores=0-7
/proc/22289/task/22310/stat : 22310 (java) S 22287 22287 19660 0 -1 1077944384 108 0 0 0 320 0 0 0 20 0 28 0 147149957 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972148753744 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22311] ppid=22287 vsize=26538700 memory=9133 CPUtime=3.12 cores=0-7
/proc/22289/task/22311/stat : 22311 (java) S 22287 22287 19660 0 -1 1077944384 437 0 0 0 310 2 0 0 20 0 28 0 147149957 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972147700688 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22312] ppid=22287 vsize=26538700 memory=25180 CPUtime=3 cores=0-7
/proc/22289/task/22312/stat : 22312 (java) R 22287 22287 19660 0 -1 4202560 462 0 0 0 298 2 0 0 20 0 28 0 147149957 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972146643016 139973540965477 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22313] ppid=22287 vsize=26538700 memory=0 CPUtime=3.27 cores=0-7
/proc/22289/task/22313/stat : 22313 (java) S 22287 22287 19660 0 -1 1077944384 327 0 0 0 327 0 0 0 20 0 28 0 147149957 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972145595088 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22314] ppid=22287 vsize=26538700 memory=0 CPUtime=3.22 cores=0-7
/proc/22289/task/22314/stat : 22314 (java) S 22287 22287 19660 0 -1 1077944384 134 0 0 0 322 0 0 0 20 0 28 0 147149957 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972144542544 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22315] ppid=22287 vsize=26538700 memory=41248 CPUtime=3.23 cores=0-7
/proc/22289/task/22315/stat : 22315 (java) S 22287 22287 19660 0 -1 1077944384 120 0 0 0 323 0 0 0 20 0 28 0 147149957 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972143490512 139973895243477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
[pid=22289/tid=22316] ppid=22287 vsize=26538700 memory=1296 CPUtime=3.35 cores=0-7
/proc/22289/task/22316/stat : 22316 (java) R 22287 22287 19660 0 -1 4202560 170 0 0 0 334 1 0 0 20 0 28 0 147149958 27175628800 341832 33554432000 4194304 4196468 140727543575984 139972142434864 139973531377064 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14192640 140727543583890 140727543584067 140727543584067 140727543586767 0
Current children cumulated CPU time: 41 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1368712 KiB

Child status: 0
Real time (s): 7.73608
CPU time (s): 41.0778
CPU user time (s): 39.9007
CPU system time (s): 1.17711
CPU usage (%): 530.989
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1368712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9007
system time used= 1.17711
maximum resident set size= 1367556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4219
involuntary context switches= 860


# summary of solver processes directly reported to runsolver:
#   pid: 22287
#   total CPU time (s): 41.0778
#   total CPU user time (s): 39.9007
#   total CPU system time (s): 1.17711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095006 second user time and 0.114627 second system time

The end