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 (6909 MiB free)
memory of node 1: 16384 MiB (10159 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306518-1534051481/watcher-4306518-1534051481 -o /tmp/evaluation-result-4306518-1534051481/solver-4306518-1534051481 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534040437-29090 --watchdog 2580 HOME/xcsp3-exec -seed 1504839101 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306518-1534051481.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=30430, runsolver pid=30427
[startup+0.100059 s]*
/proc/loadavg: 1.38 1.51 1.67 3/222 30446
/proc/meminfo: memFree=17462944/32770624 swapFree=67108860/67108860
[pid=30430] ppid=30427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (xcsp3-exec) S 30427 30430 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222711261 115843072 363 33554432000 4194304 5098028 140731058895872 140731058893976 139985732723324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40726528 140731058902074 140731058902276 140731058902276 140731058905034 0
/proc/30430/statm: 28282 363 306 221 0 87 0
[pid=30432] ppid=30430 vsize=14082940 memory=29112 CPUtime=0.11 cores=0,2,4,6
/proc/30432/stat : 30432 (java) S 30430 30430 27146 0 -1 1077944320 5681 0 0 0 10 1 0 0 20 0 15 0 222711261 14420930560 7278 33554432000 4194304 4196468 140737140074608 140737140057152 139625259044599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
/proc/30432/statm: 3520735 7278 3009 1 0 3483012 0
[pid=30432/tid=30433] ppid=30430 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/30432/task/30433/stat : 30433 (java) R 30430 30430 27146 0 -1 4202560 3655 0 0 0 8 1 0 0 20 0 15 0 222711261 14420930560 7278 33554432000 4194304 4196468 140737140074608 139625263277872 139625259066525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30434] ppid=30430 vsize=14082940 memory=3472468200520004816 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30434/stat : 30434 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624854781072 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30435] ppid=30430 vsize=14082940 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30435/stat : 30435 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624853728272 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30436] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30436/stat : 30436 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624852675472 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30437] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30437/stat : 30437 (java) S 30430 30430 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711262 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624851622672 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30438] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30438/stat : 30438 (java) S 30430 30430 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711263 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624238483824 139625259055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30439] ppid=30430 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30439/stat : 30439 (java) S 30430 30430 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711264 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624237429792 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30440] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30440/stat : 30440 (java) S 30430 30430 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711264 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624236376944 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30441] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30441/stat : 30441 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711266 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624235325264 139625259063195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30442] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30442/stat : 30442 (java) S 30430 30430 27146 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 222711266 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624234273648 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30443] ppid=30430 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30443/stat : 30443 (java) S 30430 30430 27146 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 222711266 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624233220848 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30444] ppid=30430 vsize=14082940 memory=140071624853120 CPUtime=0.01 cores=0,2,4,6
/proc/30432/task/30444/stat : 30444 (java) S 30430 30430 27146 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 15 0 222711266 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624232168048 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30445] ppid=30430 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30445/stat : 30445 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711267 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624231115488 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30446] ppid=30430 vsize=14082940 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30446/stat : 30446 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711267 14420930560 7278 33554432000 4194304 4196468 140737140074608 139624230062768 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30564 KiB
[startup+0.21095 s]*
/proc/loadavg: 1.38 1.51 1.67 4/222 30446
/proc/meminfo: memFree=17453020/32770624 swapFree=67108860/67108860
[pid=30430] ppid=30427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (xcsp3-exec) S 30427 30430 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222711261 115843072 363 33554432000 4194304 5098028 140731058895872 140731058893976 139985732723324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40726528 140731058902074 140731058902276 140731058902276 140731058905034 0
/proc/30430/statm: 28282 363 306 221 0 87 0
[pid=30432] ppid=30430 vsize=14082940 memory=41364 CPUtime=0.34 cores=0,2,4,6
/proc/30432/stat : 30432 (java) S 30430 30430 27146 0 -1 1077944320 8340 0 0 0 31 3 0 0 20 0 15 0 222711261 14420930560 10341 33554432000 4194304 4196468 140737140074608 140737140057152 139625259044599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
/proc/30432/statm: 3520735 10341 3212 1 0 3483012 0
[pid=30432/tid=30433] ppid=30430 vsize=14082940 memory=5852833025768652961 CPUtime=0.2 cores=0,2,4,6
/proc/30432/task/30433/stat : 30433 (java) R 30430 30430 27146 0 -1 4202560 5416 0 0 0 17 3 0 0 20 0 15 0 222711261 14420930560 10341 33554432000 4194304 4196468 140737140074608 139625263276512 139625243125086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30434] ppid=30430 vsize=14082940 memory=3472468200520004816 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30434/stat : 30434 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624854781072 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30435] ppid=30430 vsize=14082940 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30435/stat : 30435 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624853728272 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30436] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30436/stat : 30436 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624852675472 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30437] ppid=30430 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30437/stat : 30437 (java) S 30430 30430 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711262 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624851622672 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30438] ppid=30430 vsize=14082940 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30438/stat : 30438 (java) S 30430 30430 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222711263 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624238483824 139625259055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30439] ppid=30430 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30439/stat : 30439 (java) S 30430 30430 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711264 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624237429792 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30440] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30440/stat : 30440 (java) S 30430 30430 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711264 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624236376944 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30441] ppid=30430 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30441/stat : 30441 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711266 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624235325264 139625259063195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30442] ppid=30430 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30432/task/30442/stat : 30442 (java) R 30430 30430 27146 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 222711266 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624234273648 139625259055746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30443] ppid=30430 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30432/task/30443/stat : 30443 (java) R 30430 30430 27146 0 -1 4202560 322 0 0 0 3 0 0 0 20 0 15 0 222711266 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624233220848 139625238761735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30444] ppid=30430 vsize=14082940 memory=140071624853120 CPUtime=0.08 cores=0,2,4,6
/proc/30432/task/30444/stat : 30444 (java) R 30430 30430 27146 0 -1 1077944384 869 0 0 0 8 0 0 0 20 0 15 0 222711266 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624232168048 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30445] ppid=30430 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30445/stat : 30445 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711267 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624231115488 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30446] ppid=30430 vsize=14082940 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30446/stat : 30446 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711267 14420930560 10341 33554432000 4194304 4196468 140737140074608 139624230062768 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42816 KiB
[startup+0.310582 s]*
/proc/loadavg: 1.38 1.51 1.67 5/222 30446
/proc/meminfo: memFree=17446332/32770624 swapFree=67108860/67108860
[pid=30430] ppid=30427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (xcsp3-exec) S 30427 30430 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222711261 115843072 363 33554432000 4194304 5098028 140731058895872 140731058893976 139985732723324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40726528 140731058902074 140731058902276 140731058902276 140731058905034 0
/proc/30430/statm: 28282 363 306 221 0 87 0
[pid=30432] ppid=30430 vsize=14087196 memory=48436 CPUtime=0.53 cores=0,2,4,6
/proc/30432/stat : 30432 (java) S 30430 30430 27146 0 -1 1077944320 9315 0 0 0 49 4 0 0 20 0 15 0 222711261 14425288704 12109 33554432000 4194304 4196468 140737140074608 140737140057152 139625259044599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
/proc/30432/statm: 3521799 12109 3248 1 0 3483012 0
[pid=30432/tid=30433] ppid=30430 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/30432/task/30433/stat : 30433 (java) R 30430 30430 27146 0 -1 4202560 6070 0 0 0 26 3 0 0 20 0 15 0 222711261 14425288704 12109 33554432000 4194304 4196468 140737140074608 139625263275712 139625243125086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30434] ppid=30430 vsize=14087196 memory=3472468200520004816 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30434/stat : 30434 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624854781072 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30435] ppid=30430 vsize=14087196 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30435/stat : 30435 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624853728272 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30436] ppid=30430 vsize=14087196 memory=15 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30436/stat : 30436 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624852675472 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30437] ppid=30430 vsize=14087196 memory=140071500130335 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30437/stat : 30437 (java) S 30430 30430 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711262 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624851622672 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30438] ppid=30430 vsize=14087196 memory=280143000221440 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30438/stat : 30438 (java) S 30430 30430 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222711263 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624238483824 139625259055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30439] ppid=30430 vsize=14087196 memory=140071500107279 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30439/stat : 30439 (java) S 30430 30430 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711264 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624237429792 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30440] ppid=30430 vsize=14087196 memory=280143124969568 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30440/stat : 30440 (java) S 30430 30430 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711264 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624236376944 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30441] ppid=30430 vsize=14087196 memory=140071500111887 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30441/stat : 30441 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711266 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624235325264 139625259063195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30442] ppid=30430 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30432/task/30442/stat : 30442 (java) S 30430 30430 27146 0 -1 1077944384 455 0 0 0 3 0 0 0 20 0 15 0 222711266 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624234273648 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30443] ppid=30430 vsize=14087196 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/30432/task/30443/stat : 30443 (java) R 30430 30430 27146 0 -1 4202560 409 0 0 0 5 0 0 0 20 0 15 0 222711266 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624233211232 139625240573172 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30444] ppid=30430 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/30432/task/30444/stat : 30444 (java) S 30430 30430 27146 0 -1 1077944384 1075 0 0 0 13 0 0 0 20 0 15 0 222711266 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624232168048 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30445] ppid=30430 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30445/stat : 30445 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711267 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624231115488 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30446] ppid=30430 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30446/stat : 30446 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711267 14425288704 12109 33554432000 4194304 4196468 140737140074608 139624230062768 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49888 KiB
[startup+0.600994 s]
# the end of solver process 30430 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.13253 s, system=0.064389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410865 s]*
/proc/loadavg: 1.38 1.51 1.67 4/222 30446
/proc/meminfo: memFree=17438516/32770624 swapFree=67108860/67108860
[pid=30430] ppid=30427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (xcsp3-exec) S 30427 30430 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222711261 115843072 363 33554432000 4194304 5098028 140731058895872 140731058893976 139985732723324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40726528 140731058902074 140731058902276 140731058902276 140731058905034 0
/proc/30430/statm: 28282 363 306 221 0 87 0
[pid=30432] ppid=30430 vsize=14089320 memory=57796 CPUtime=0.74 cores=0,2,4,6
/proc/30432/stat : 30432 (java) S 30430 30430 27146 0 -1 1077944320 10020 0 0 0 69 5 0 0 20 0 15 0 222711261 14427463680 14449 33554432000 4194304 4196468 140737140074608 140737140057152 139625259044599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
/proc/30432/statm: 3522330 14449 3314 1 0 3483524 0
[pid=30432/tid=30433] ppid=30430 vsize=14089320 memory=5852828619199316129 CPUtime=0.4 cores=0,2,4,6
/proc/30432/task/30433/stat : 30433 (java) R 30430 30430 27146 0 -1 4202560 6530 0 0 0 36 4 0 0 20 0 15 0 222711261 14427463680 14449 33554432000 4194304 4196468 140737140074608 139625263282272 139624896419392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30434] ppid=30430 vsize=14089320 memory=3472468200520004816 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30434/stat : 30434 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624854781072 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30435] ppid=30430 vsize=14089320 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30435/stat : 30435 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624853728272 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30436] ppid=30430 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30436/stat : 30436 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624852675472 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30437] ppid=30430 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30437/stat : 30437 (java) S 30430 30430 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711262 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624851622672 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30438] ppid=30430 vsize=14089320 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30438/stat : 30438 (java) S 30430 30430 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222711263 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624238483824 139625259055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30439] ppid=30430 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30439/stat : 30439 (java) S 30430 30430 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711264 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624237429792 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30440] ppid=30430 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30440/stat : 30440 (java) S 30430 30430 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711264 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624236376944 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30441] ppid=30430 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30441/stat : 30441 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711266 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624235325264 139625259063195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30442] ppid=30430 vsize=14089320 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30432/task/30442/stat : 30442 (java) R 30430 30430 27146 0 -1 1077944384 470 0 0 0 4 0 0 0 20 0 15 0 222711266 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624234273648 139625259055746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30443] ppid=30430 vsize=14089320 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30432/task/30443/stat : 30443 (java) R 30430 30430 27146 0 -1 4202560 426 0 0 0 8 0 0 0 20 0 15 0 222711266 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624233211232 139625242431407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30444] ppid=30430 vsize=14089320 memory=140071624853120 CPUtime=0.19 cores=0,2,4,6
/proc/30432/task/30444/stat : 30444 (java) R 30430 30430 27146 0 -1 4202560 1288 0 0 0 19 0 0 0 20 0 15 0 222711266 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624232168048 139625252144446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30445] ppid=30430 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30445/stat : 30445 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711267 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624231115488 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30446] ppid=30430 vsize=14089320 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30446/stat : 30446 (java) R 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711267 14427463680 14449 33554432000 4194304 4196468 140737140074608 139624230062768 139625259055746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 59248 KiB
[startup+0.51095 s]*
/proc/loadavg: 1.38 1.51 1.67 5/222 30446
/proc/meminfo: memFree=17431816/32770624 swapFree=67108860/67108860
[pid=30430] ppid=30427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (xcsp3-exec) S 30427 30430 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222711261 115843072 363 33554432000 4194304 5098028 140731058895872 140731058893976 139985732723324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40726528 140731058902074 140731058902276 140731058902276 140731058905034 0
/proc/30430/statm: 28282 363 306 221 0 87 0
[pid=30432] ppid=30430 vsize=14089320 memory=64296 CPUtime=0.96 cores=0,2,4,6
/proc/30432/stat : 30432 (java) S 30430 30430 27146 0 -1 1077944320 10761 0 0 0 91 5 0 0 20 0 15 0 222711261 14427463680 16074 33554432000 4194304 4196468 140737140074608 140737140057152 139625259044599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
/proc/30432/statm: 3522330 16074 3329 1 0 3483524 0
[pid=30432/tid=30433] ppid=30430 vsize=14089320 memory=-8540663193526752614 CPUtime=0.49 cores=0,2,4,6
/proc/30432/task/30433/stat : 30433 (java) R 30430 30430 27146 0 -1 4202560 6840 0 0 0 45 4 0 0 20 0 15 0 222711261 14427463680 16074 33554432000 4194304 4196468 140737140074608 139625263280736 139624896411505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30434] ppid=30430 vsize=14089320 memory=3472468200520004816 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30434/stat : 30434 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624854781072 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30435] ppid=30430 vsize=14089320 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30435/stat : 30435 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624853728272 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30436] ppid=30430 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30436/stat : 30436 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711262 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624852675472 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30437] ppid=30430 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30437/stat : 30437 (java) S 30430 30430 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711262 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624851622672 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30438] ppid=30430 vsize=14089320 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30438/stat : 30438 (java) S 30430 30430 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222711263 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624238483824 139625259055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30439] ppid=30430 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30439/stat : 30439 (java) S 30430 30430 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711264 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624237429792 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30440] ppid=30430 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30440/stat : 30440 (java) S 30430 30430 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711264 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624236376944 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30441] ppid=30430 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30441/stat : 30441 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711266 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624235325264 139625259063195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30442] ppid=30430 vsize=14089320 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30432/task/30442/stat : 30442 (java) S 30430 30430 27146 0 -1 1077944384 623 0 0 0 8 0 0 0 20 0 15 0 222711266 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624234273648 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30443] ppid=30430 vsize=14089320 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/30432/task/30443/stat : 30443 (java) S 30430 30430 27146 0 -1 1077944384 440 0 0 0 10 0 0 0 20 0 15 0 222711266 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624233220848 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30444] ppid=30430 vsize=14089320 memory=140071624853120 CPUtime=0.26 cores=0,2,4,6
/proc/30432/task/30444/stat : 30444 (java) R 30430 30430 27146 0 -1 4202560 1550 0 0 0 26 0 0 0 20 0 15 0 222711266 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624232168048 139625238760295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30445] ppid=30430 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30445/stat : 30445 (java) S 30430 30430 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711267 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624231115488 139625259054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
[pid=30432/tid=30446] ppid=30430 vsize=14089320 memory=140071624853120 CPUtime=0 cores=0,2,4,6
/proc/30432/task/30446/stat : 30446 (java) S 30430 30430 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711267 14427463680 16074 33554432000 4194304 4196468 140737140074608 139624230062768 139625259055746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33341440 140737140081798 140737140081969 140737140081969 140737140084687 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 65748 KiB
Child status: 0
Real time (s): 0.601031
CPU time (s): 1.19692
CPU user time (s): 1.13253
CPU system time (s): 0.064389
CPU usage (%): 199.145
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 65748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.13253
system time used= 0.064389
maximum resident set size= 70900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1703
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 30430
# total CPU time (s): 1.19692
# total CPU user time (s): 1.13253
# total CPU system time (s): 0.064389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031208 second user time and 0.045056 second system time
The end