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 (14522 MiB free)
memory of node 1: 16384 MiB (14133 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399213-1568694441/watcher-4399213-1568694441 -o /tmp/evaluation-result-4399213-1568694441/solver-4399213-1568694441 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 589046551 HOME/instance-4399213-1568694441.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32488, runsolver pid=32485
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.58 0.64 0.89 5/229 32529
/proc/meminfo: memFree=29309612/32770624 swapFree=66939908/67108860
[pid=32488] ppid=32485 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32488/stat : 32488 (xcsp3-exec) S 32485 32488 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445358943 115843072 363 33554432000 4194304 5098028 140729992025456 140729992023560 140401827295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25903104 140729992029051 140729992029293 140729992029293 140729992032202 0
/proc/32488/statm: 28282 363 304 221 0 87 0
[pid=32492] ppid=32488 vsize=15144776 memory=29932 CPUtime=0.13 cores=1,3,5,7
/proc/32492/stat : 32492 (java) S 32488 32488 32437 0 -1 1077944320 5452 0 0 0 11 2 0 0 20 0 15 0 445358943 15508250624 7483 33554432000 4194304 4196468 140721592140256 140721592122800 140115080204023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
/proc/32492/statm: 3786194 7483 3120 1 0 3748377 0
[pid=32492/tid=32495] ppid=32488 vsize=15144776 memory=4351193298018402191 CPUtime=0.09 cores=1,3,5,7
/proc/32492/task/32495/stat : 32495 (java) R 32488 32488 32437 0 -1 4202560 3353 0 0 0 8 1 0 0 20 0 15 0 445358944 15508250624 7483 33554432000 4194304 4196468 140721592140256 140115084439248 140115080225370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32496] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32496/stat : 32496 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114991860368 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32497] ppid=32488 vsize=15144776 memory=139999472010880 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32497/stat : 32497 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114990807568 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32498] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32498/stat : 32498 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114989754768 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32499] ppid=32488 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32499/stat : 32499 (java) S 32488 32488 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445358944 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114988701968 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32508] ppid=32488 vsize=15144776 memory=139999472010880 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32508/stat : 32508 (java) S 32488 32488 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445358946 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114021337968 140115080215170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32509] ppid=32488 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32509/stat : 32509 (java) S 32488 32488 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445358946 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114020283936 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32514] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32514/stat : 32514 (java) S 32488 32488 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445358946 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114019231088 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32518] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32518/stat : 32518 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445358949 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114018179408 140115080222619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32519] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32519/stat : 32519 (java) R 32488 32488 32437 0 -1 4202560 323 0 0 0 0 0 0 0 20 0 15 0 445358949 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114017126768 140115063639761 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32520] ppid=32488 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32520/stat : 32520 (java) R 32488 32488 32437 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445358949 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114016073968 140115080215170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32521] ppid=32488 vsize=15144776 memory=139999472010880 CPUtime=0.02 cores=1,3,5,7
/proc/32492/task/32521/stat : 32521 (java) R 32488 32488 32437 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 445358949 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114015021168 140115080225370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32522] ppid=32488 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32522/stat : 32522 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445358949 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114013968608 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32523] ppid=32488 vsize=15144776 memory=139999472010880 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32523/stat : 32523 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358949 15508250624 7483 33554432000 4194304 4196468 140721592140256 140114012916912 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31384 KiB
[startup+0.210763 s]*
/proc/loadavg: 0.58 0.64 0.89 4/229 32529
/proc/meminfo: memFree=29283644/32770624 swapFree=66939908/67108860
[pid=32488] ppid=32485 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32488/stat : 32488 (xcsp3-exec) S 32485 32488 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445358943 115843072 363 33554432000 4194304 5098028 140729992025456 140729992023560 140401827295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25903104 140729992029051 140729992029293 140729992029293 140729992032202 0
/proc/32488/statm: 28282 363 304 221 0 87 0
[pid=32492] ppid=32488 vsize=15144776 memory=41108 CPUtime=0.34 cores=1,3,5,7
/proc/32492/stat : 32492 (java) S 32488 32488 32437 0 -1 1077944320 8988 0 0 0 31 3 0 0 20 0 15 0 445358943 15508250624 10277 33554432000 4194304 4196468 140721592140256 140721592122800 140115080204023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
/proc/32492/statm: 3786194 10277 3309 1 0 3748377 0
[pid=32492/tid=32495] ppid=32488 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/32492/task/32495/stat : 32495 (java) R 32488 32488 32437 0 -1 4202560 6175 0 0 0 17 2 0 0 20 0 15 0 445358944 15508250624 10277 33554432000 4194304 4196468 140721592140256 140115084443696 140115080225949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32496] ppid=32488 vsize=15144776 memory=10535 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32496/stat : 32496 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114991860368 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32497] ppid=32488 vsize=15144776 memory=139999472042492 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32497/stat : 32497 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114990807568 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32498] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32498/stat : 32498 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114989754768 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32499] ppid=32488 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32499/stat : 32499 (java) S 32488 32488 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445358944 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114988701968 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32508] ppid=32488 vsize=15144776 memory=139999472010880 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32508/stat : 32508 (java) S 32488 32488 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445358946 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114021337968 140115080215170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32509] ppid=32488 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32509/stat : 32509 (java) S 32488 32488 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445358946 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114020283936 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32514] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32514/stat : 32514 (java) S 32488 32488 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445358946 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114019231088 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32518] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32518/stat : 32518 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445358949 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114018179408 140115080222619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32519] ppid=32488 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32492/task/32519/stat : 32519 (java) S 32488 32488 32437 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 445358949 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114017126768 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32520] ppid=32488 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32492/task/32520/stat : 32520 (java) R 32488 32488 32437 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 445358949 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114016073968 140115080215170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32521] ppid=32488 vsize=15144776 memory=139999472010880 CPUtime=0.08 cores=1,3,5,7
/proc/32492/task/32521/stat : 32521 (java) S 32488 32488 32437 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 445358949 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114015021168 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32522] ppid=32488 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32522/stat : 32522 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445358949 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114013968608 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32523] ppid=32488 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32523/stat : 32523 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358949 15508250624 10277 33554432000 4194304 4196468 140721592140256 140114012916912 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42560 KiB
[startup+0.311686 s]*
/proc/loadavg: 0.58 0.64 0.89 4/229 32529
/proc/meminfo: memFree=29271864/32770624 swapFree=66939908/67108860
[pid=32488] ppid=32485 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32488/stat : 32488 (xcsp3-exec) S 32485 32488 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445358943 115843072 363 33554432000 4194304 5098028 140729992025456 140729992023560 140401827295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25903104 140729992029051 140729992029293 140729992029293 140729992032202 0
/proc/32488/statm: 28282 363 304 221 0 87 0
[pid=32492] ppid=32488 vsize=15149032 memory=49876 CPUtime=0.54 cores=1,3,5,7
/proc/32492/stat : 32492 (java) S 32488 32488 32437 0 -1 1077944320 10320 0 0 0 49 5 0 0 20 0 15 0 445358943 15512608768 12469 33554432000 4194304 4196468 140721592140256 140721592122800 140115080204023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
/proc/32492/statm: 3787258 12469 3352 1 0 3748377 0
[pid=32492/tid=32495] ppid=32488 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/32492/task/32495/stat : 32495 (java) R 32488 32488 32437 0 -1 4202560 7327 0 0 0 26 3 0 0 20 0 15 0 445358944 15512608768 12469 33554432000 4194304 4196468 140721592140256 140115084435136 140115080225949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32496] ppid=32488 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32496/stat : 32496 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114991860368 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32497] ppid=32488 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32497/stat : 32497 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114990807568 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32498] ppid=32488 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32498/stat : 32498 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114989754768 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32499] ppid=32488 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32499/stat : 32499 (java) S 32488 32488 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445358944 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114988701968 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32508] ppid=32488 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32508/stat : 32508 (java) S 32488 32488 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445358946 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114021337968 140115080215170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32509] ppid=32488 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32509/stat : 32509 (java) S 32488 32488 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445358946 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114020283936 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32514] ppid=32488 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32514/stat : 32514 (java) S 32488 32488 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445358946 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114019231088 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32518] ppid=32488 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32518/stat : 32518 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445358949 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114018179408 140115080222619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32519] ppid=32488 vsize=15149032 memory=6944656591801720471 CPUtime=0.05 cores=1,3,5,7
/proc/32492/task/32519/stat : 32519 (java) R 32488 32488 32437 0 -1 4202560 654 0 0 0 5 0 0 0 20 0 15 0 445358949 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114017107784 140115058620203 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32520] ppid=32488 vsize=15149032 memory=-8458152057954561420 CPUtime=0.04 cores=1,3,5,7
/proc/32492/task/32520/stat : 32520 (java) S 32488 32488 32437 0 -1 1077944384 190 0 0 0 4 0 0 0 20 0 15 0 445358949 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114016073968 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32521] ppid=32488 vsize=15149032 memory=-8813974798734826869 CPUtime=0.12 cores=1,3,5,7
/proc/32492/task/32521/stat : 32521 (java) S 32488 32488 32437 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 15 0 445358949 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114015021168 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32522] ppid=32488 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32522/stat : 32522 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445358949 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114013968608 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32523] ppid=32488 vsize=15149032 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32523/stat : 32523 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358949 15512608768 12469 33554432000 4194304 4196468 140721592140256 140114012916912 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51328 KiB
[startup+0.701732 s]
/proc/loadavg: 0.58 0.64 0.89 9/229 32529
/proc/meminfo: memFree=29244220/32770624 swapFree=66939908/67108860
[pid=32488] ppid=32485 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32488/stat : 32488 (xcsp3-exec) S 32485 32488 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445358943 115843072 363 33554432000 4194304 5098028 140729992025456 140729992023560 140401827295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25903104 140729992029051 140729992029293 140729992029293 140729992032202 0
/proc/32488/statm: 28282 363 304 221 0 87 0
[pid=32492] ppid=32488 vsize=15151156 memory=101556 CPUtime=1.65 cores=1,3,5,7
/proc/32492/stat : 32492 (java) S 32488 32488 32437 0 -1 1077944320 13939 0 0 0 158 7 0 0 20 0 15 0 445358943 15514783744 25389 33554432000 4194304 4196468 140721592140256 140721592122800 140115080204023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
/proc/32492/statm: 3787789 25389 3459 1 0 3748889 0
[pid=32492/tid=32495] ppid=32488 vsize=15151156 memory=56 CPUtime=0.67 cores=1,3,5,7
/proc/32492/task/32495/stat : 32495 (java) R 32488 32488 32437 0 -1 4202560 8786 0 0 0 62 5 0 0 20 0 15 0 445358944 15514783744 25389 33554432000 4194304 4196468 140721592140256 140115084439712 140114670193390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32496] ppid=32488 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32496/stat : 32496 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114991860368 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32497] ppid=32488 vsize=15151156 memory=148 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32497/stat : 32497 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114990807568 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32498] ppid=32488 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32498/stat : 32498 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358944 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114989754768 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32499] ppid=32488 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32499/stat : 32499 (java) S 32488 32488 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445358944 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114988701968 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32508] ppid=32488 vsize=15151156 memory=8072 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32508/stat : 32508 (java) S 32488 32488 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445358946 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114021337968 140115080215170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32509] ppid=32488 vsize=15151156 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32509/stat : 32509 (java) S 32488 32488 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445358946 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114020283936 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32514] ppid=32488 vsize=15151156 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32514/stat : 32514 (java) S 32488 32488 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445358946 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114019231088 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32518] ppid=32488 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32518/stat : 32518 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445358949 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114018179408 140115080222619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32519] ppid=32488 vsize=15151156 memory=2832 CPUtime=0.29 cores=1,3,5,7
/proc/32492/task/32519/stat : 32519 (java) R 32488 32488 32437 0 -1 4202560 990 0 0 0 29 0 0 0 20 0 15 0 445358949 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114017119792 140115080225370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32520] ppid=32488 vsize=15151156 memory=668 CPUtime=0.29 cores=1,3,5,7
/proc/32492/task/32520/stat : 32520 (java) R 32488 32488 32437 0 -1 4202560 898 0 0 0 29 0 0 0 20 0 15 0 445358949 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114016055568 140115065103398 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32521] ppid=32488 vsize=15151156 memory=1256 CPUtime=0.37 cores=1,3,5,7
/proc/32492/task/32521/stat : 32521 (java) R 32488 32488 32437 0 -1 4202560 1959 0 0 0 37 0 0 0 20 0 15 0 445358949 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114015021296 140115080225370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32522] ppid=32488 vsize=15151156 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32522/stat : 32522 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445358949 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114013968608 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32523] ppid=32488 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32523/stat : 32523 (java) S 32488 32488 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445358949 15514783744 25389 33554432000 4194304 4196468 140721592140256 140114012916912 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103008 KiB
[startup+1.51138 s]
/proc/loadavg: 0.58 0.64 0.89 16/237 32537
/proc/meminfo: memFree=29112156/32770624 swapFree=66939908/67108860
[pid=32488] ppid=32485 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32488/stat : 32488 (xcsp3-exec) S 32485 32488 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445358943 115843072 363 33554432000 4194304 5098028 140729992025456 140729992023560 140401827295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25903104 140729992029051 140729992029293 140729992029293 140729992032202 0
/proc/32488/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/32492/task/32537/stat : 32537 (java) R 32488 32488 32437 0 -1 4202560 37 0 0 0 50 0 0 0 20 0 19 0 445359021 15787429888 54326 33554432000 4194304 4196468 140721592140256 140114000539080 140114672953352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 218756 KiB
[startup+3.11073 s]
/proc/loadavg: 1.33 0.80 0.93 11/237 32561
/proc/meminfo: memFree=28752692/32770624 swapFree=66939908/67108860
[pid=32488] ppid=32485 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32488/stat : 32488 (xcsp3-exec) S 32485 32488 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445358943 115843072 363 33554432000 4194304 5098028 140729992025456 140729992023560 140401827295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25903104 140729992029051 140729992029293 140729992029293 140729992032202 0
/proc/32488/statm: 28282 363 304 221 0 87 0
[pid=32492] ppid=32488 vsize=15418440 memory=369724 CPUtime=11.1 cores=1,3,5,7
/proc/32492/stat : 32492 (java) S 32488 32488 32437 0 -1 1077944320 16878 0 0 0 1094 16 0 0 20 0 19 0 445358943 15788482560 92431 33554432000 4194304 4196468 140721592140256 140721592122800 140115080204023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
/proc/32492/statm: 3854610 92431 3524 1 0 3815710 0
[pid=32492/tid=32495] ppid=32488 vsize=15418440 memory=19455 CPUtime=0.75 cores=1,3,5,7
/proc/32492/task/32495/stat : 32495 (java) S 32488 32488 32437 0 -1 1077944384 8870 0 0 0 70 5 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140115084444800 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32496] ppid=32488 vsize=15418440 memory=139999472018465 CPUtime=0.07 cores=1,3,5,7
/proc/32492/task/32496/stat : 32496 (java) S 32488 32488 32437 0 -1 1077944384 154 0 0 0 6 1 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114991860368 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32497] ppid=32488 vsize=15418440 memory=279533651557847 CPUtime=0.07 cores=1,3,5,7
/proc/32492/task/32497/stat : 32497 (java) S 32488 32488 32437 0 -1 1077944384 135 0 0 0 6 1 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114990807568 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32498] ppid=32488 vsize=15418440 memory=279533651557848 CPUtime=0.06 cores=1,3,5,7
/proc/32492/task/32498/stat : 32498 (java) S 32488 32488 32437 0 -1 1077944384 123 0 0 0 5 1 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114989754768 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32499] ppid=32488 vsize=15418440 memory=279533651557849 CPUtime=0.07 cores=1,3,5,7
/proc/32492/task/32499/stat : 32499 (java) S 32488 32488 32437 0 -1 1077944384 130 0 0 0 6 1 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114988701968 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32508] ppid=32488 vsize=15418440 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32508/stat : 32508 (java) S 32488 32488 32437 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114021337968 140115080215170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32509] ppid=32488 vsize=15418440 memory=47992 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32509/stat : 32509 (java) S 32488 32488 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114020284000 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32514] ppid=32488 vsize=15418440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32514/stat : 32514 (java) S 32488 32488 32437 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114019231104 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32518] ppid=32488 vsize=15418440 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32518/stat : 32518 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114018179408 140115080222619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32519] ppid=32488 vsize=15418440 memory=57 CPUtime=1.24 cores=1,3,5,7
/proc/32492/task/32519/stat : 32519 (java) S 32488 32488 32437 0 -1 1077944384 1636 0 0 0 124 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114017126768 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32520] ppid=32488 vsize=15418440 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/32492/task/32520/stat : 32520 (java) S 32488 32488 32437 0 -1 1077944384 1169 0 0 0 113 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114016073968 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32521] ppid=32488 vsize=15418440 memory=2273 CPUtime=0.64 cores=1,3,5,7
/proc/32492/task/32521/stat : 32521 (java) S 32488 32488 32437 0 -1 1077944384 2448 0 0 0 63 1 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114015021168 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32522] ppid=32488 vsize=15418440 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32522/stat : 32522 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114013968608 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32523] ppid=32488 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32523/stat : 32523 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114012916912 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32558] ppid=32488 vsize=15418440 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/32492/task/32558/stat : 32558 (java) R 32488 32488 32437 0 -1 4202560 17 0 0 0 40 0 0 0 20 0 19 0 445359207 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114002648632 140114673431853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32559] ppid=32488 vsize=15418440 memory=369564 CPUtime=0.43 cores=1,3,5,7
/proc/32492/task/32559/stat : 32559 (java) R 32488 32488 32437 0 -1 4202560 17 0 0 0 43 0 0 0 20 0 19 0 445359207 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114001593288 140114674326054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32560] ppid=32488 vsize=15418440 memory=3835153943563087451 CPUtime=0.46 cores=1,3,5,7
/proc/32492/task/32560/stat : 32560 (java) R 32488 32488 32437 0 -1 4202560 16 0 0 0 46 0 0 0 20 0 19 0 445359207 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114000540520 140114673431670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32561] ppid=32488 vsize=15418440 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/32492/task/32561/stat : 32561 (java) R 32488 32488 32437 0 -1 4202560 17 0 0 0 40 0 0 0 20 0 19 0 445359207 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114003699000 140114673431824 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
Current children cumulated CPU time: 11.1 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 371176 KiB
[startup+3.33856 s]
# the end of solver process 32488 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.7758 s, system=0.205886 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20273 s]
/proc/loadavg: 1.33 0.80 0.93 11/237 32561
/proc/meminfo: memFree=28752692/32770624 swapFree=66939908/67108860
[pid=32488] ppid=32485 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32488/stat : 32488 (xcsp3-exec) S 32485 32488 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445358943 115843072 363 33554432000 4194304 5098028 140729992025456 140729992023560 140401827295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25903104 140729992029051 140729992029293 140729992029293 140729992032202 0
/proc/32488/statm: 28282 363 304 221 0 87 0
[pid=32492] ppid=32488 vsize=15418440 memory=369724 CPUtime=11.46 cores=1,3,5,7
/proc/32492/stat : 32492 (java) S 32488 32488 32437 0 -1 1077944320 16882 0 0 0 1130 16 0 0 20 0 19 0 445358943 15788482560 92431 33554432000 4194304 4196468 140721592140256 140721592122800 140115080204023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
/proc/32492/statm: 3854610 92431 3524 1 0 3815710 0
[pid=32492/tid=32495] ppid=32488 vsize=15418440 memory=-2317720213663851332 CPUtime=0.75 cores=1,3,5,7
/proc/32492/task/32495/stat : 32495 (java) S 32488 32488 32437 0 -1 1077944384 8870 0 0 0 70 5 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140115084444800 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32496] ppid=32488 vsize=15418440 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/32492/task/32496/stat : 32496 (java) S 32488 32488 32437 0 -1 1077944384 154 0 0 0 6 1 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114991860368 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32497] ppid=32488 vsize=15418440 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/32492/task/32497/stat : 32497 (java) S 32488 32488 32437 0 -1 1077944384 135 0 0 0 6 1 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114990807568 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32498] ppid=32488 vsize=15418440 memory=288230574492221466 CPUtime=0.06 cores=1,3,5,7
/proc/32492/task/32498/stat : 32498 (java) S 32488 32488 32437 0 -1 1077944384 123 0 0 0 5 1 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114989754768 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32499] ppid=32488 vsize=15418440 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32492/task/32499/stat : 32499 (java) S 32488 32488 32437 0 -1 1077944384 130 0 0 0 6 1 0 0 20 0 19 0 445358944 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114988701968 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32508] ppid=32488 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32508/stat : 32508 (java) S 32488 32488 32437 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114021337968 140115080215170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32509] ppid=32488 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32509/stat : 32509 (java) S 32488 32488 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114020284000 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32514] ppid=32488 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32514/stat : 32514 (java) S 32488 32488 32437 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114019231104 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32518] ppid=32488 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32518/stat : 32518 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114018179408 140115080222619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32519] ppid=32488 vsize=15418440 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/32492/task/32519/stat : 32519 (java) S 32488 32488 32437 0 -1 1077944384 1639 0 0 0 124 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114017126768 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32520] ppid=32488 vsize=15418440 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/32492/task/32520/stat : 32520 (java) R 32488 32488 32437 0 -1 4202560 1169 0 0 0 114 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114016074264 140115061726621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32521] ppid=32488 vsize=15418440 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/32492/task/32521/stat : 32521 (java) S 32488 32488 32437 0 -1 1077944384 2449 0 0 0 63 1 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114015021168 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32522] ppid=32488 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32522/stat : 32522 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114013968608 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32523] ppid=32488 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32523/stat : 32523 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114012916912 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32558] ppid=32488 vsize=15418440 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/32492/task/32558/stat : 32558 (java) R 32488 32488 32437 0 -1 4202560 17 0 0 0 49 0 0 0 20 0 19 0 445359207 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114002648632 140114673623336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32559] ppid=32488 vsize=15418440 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/32492/task/32559/stat : 32559 (java) R 32488 32488 32437 0 -1 4202560 17 0 0 0 51 0 0 0 20 0 19 0 445359207 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114001593032 140114673471265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32560] ppid=32488 vsize=15418440 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/32492/task/32560/stat : 32560 (java) R 32488 32488 32437 0 -1 4202560 16 0 0 0 55 0 0 0 20 0 19 0 445359207 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114000540520 140114673515264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32561] ppid=32488 vsize=15418440 memory=1436 CPUtime=0.49 cores=1,3,5,7
/proc/32492/task/32561/stat : 32561 (java) R 32488 32488 32437 0 -1 4202560 17 0 0 0 49 0 0 0 20 0 19 0 445359207 15788482560 92431 33554432000 4194304 4196468 140721592140256 140114003698264 140114673447976 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
Current children cumulated CPU time: 11.46 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 371176 KiB
[startup+3.31273 s]
/proc/loadavg: 1.33 0.80 0.93 11/237 32561
/proc/meminfo: memFree=28752692/32770624 swapFree=66939908/67108860
[pid=32488] ppid=32485 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32488/stat : 32488 (xcsp3-exec) S 32485 32488 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445358943 115843072 363 33554432000 4194304 5098028 140729992025456 140729992023560 140401827295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25903104 140729992029051 140729992029293 140729992029293 140729992032202 0
/proc/32488/statm: 28282 363 304 221 0 87 0
[pid=32492] ppid=32488 vsize=15418440 memory=384280 CPUtime=11.9 cores=1,3,5,7
/proc/32492/stat : 32492 (java) S 32488 32488 32437 0 -1 1077944320 16911 0 0 0 1172 18 0 0 20 0 19 0 445358943 15788482560 96070 33554432000 4194304 4196468 140721592140256 140721592122800 140115080204023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
/proc/32492/statm: 3854610 96070 3524 1 0 3815710 0
[pid=32492/tid=32495] ppid=32488 vsize=15418440 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/32492/task/32495/stat : 32495 (java) S 32488 32488 32437 0 -1 1077944384 8870 0 0 0 70 5 0 0 20 0 19 0 445358944 15788482560 96070 33554432000 4194304 4196468 140721592140256 140115084444800 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32496] ppid=32488 vsize=15418440 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/32492/task/32496/stat : 32496 (java) R 32488 32488 32437 0 -1 4202560 161 0 0 0 6 2 0 0 20 0 19 0 445358944 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114991860368 140115073310569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32497] ppid=32488 vsize=15418440 memory=369724 CPUtime=0.08 cores=1,3,5,7
/proc/32492/task/32497/stat : 32497 (java) R 32488 32488 32437 0 -1 4202560 142 0 0 0 7 1 0 0 20 0 19 0 445358944 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114990807768 140115065228078 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32498] ppid=32488 vsize=15418440 memory=19455 CPUtime=0.07 cores=1,3,5,7
/proc/32492/task/32498/stat : 32498 (java) R 32488 32488 32437 0 -1 4202560 130 0 0 0 6 1 0 0 20 0 19 0 445358944 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114989754768 140115065231897 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32499] ppid=32488 vsize=15418440 memory=3504 CPUtime=0.09 cores=1,3,5,7
/proc/32492/task/32499/stat : 32499 (java) R 32488 32488 32437 0 -1 4202560 136 0 0 0 7 2 0 0 20 0 19 0 445358944 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114988701968 140115065231897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32508] ppid=32488 vsize=15418440 memory=47992 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32508/stat : 32508 (java) S 32488 32488 32437 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114021336480 140115080214229 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32509] ppid=32488 vsize=15418440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32509/stat : 32509 (java) S 32488 32488 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114020284000 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32514] ppid=32488 vsize=15418440 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32514/stat : 32514 (java) S 32488 32488 32437 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445358946 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114019231104 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32518] ppid=32488 vsize=15418440 memory=139999472018465 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32518/stat : 32518 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114018179408 140115080222619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32519] ppid=32488 vsize=15418440 memory=279533651557847 CPUtime=1.24 cores=1,3,5,7
/proc/32492/task/32519/stat : 32519 (java) S 32488 32488 32437 0 -1 1077944384 1639 0 0 0 124 0 0 0 20 0 19 0 445358949 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114017126768 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32520] ppid=32488 vsize=15418440 memory=279533651557848 CPUtime=1.14 cores=1,3,5,7
/proc/32492/task/32520/stat : 32520 (java) S 32488 32488 32437 0 -1 1077944384 1171 0 0 0 114 0 0 0 20 0 19 0 445358949 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114016073968 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32521] ppid=32488 vsize=15418440 memory=279533651557849 CPUtime=0.64 cores=1,3,5,7
/proc/32492/task/32521/stat : 32521 (java) S 32488 32488 32437 0 -1 1077944384 2449 0 0 0 63 1 0 0 20 0 19 0 445358949 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114015021168 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32522] ppid=32488 vsize=15418440 memory=57 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32522/stat : 32522 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 96070 33554432000 4194304 4196468 140721592140256 140114013968608 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32523] ppid=32488 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32492/task/32523/stat : 32523 (java) S 32488 32488 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445358949 15788482560 96582 33554432000 4194304 4196468 140721592140256 140114012916912 140115080215170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32558] ppid=32488 vsize=15418440 memory=2273 CPUtime=0.59 cores=1,3,5,7
/proc/32492/task/32558/stat : 32558 (java) S 32488 32488 32437 0 -1 1077944384 17 0 0 0 59 0 0 0 20 0 19 0 445359207 15788482560 96582 33554432000 4194304 4196468 140721592140256 140114002644240 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32559] ppid=32488 vsize=15418440 memory=2244 CPUtime=0.61 cores=1,3,5,7
/proc/32492/task/32559/stat : 32559 (java) S 32488 32488 32437 0 -1 1077944384 17 0 0 0 61 0 0 0 20 0 19 0 445359207 15788482560 96582 33554432000 4194304 4196468 140721592140256 140114001595600 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32560] ppid=32488 vsize=15418440 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/32492/task/32560/stat : 32560 (java) S 32488 32488 32437 0 -1 1077944384 16 0 0 0 64 0 0 0 20 0 19 0 445359207 15788482560 96582 33554432000 4194304 4196468 140721592140256 140114000539616 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
[pid=32492/tid=32561] ppid=32488 vsize=15418440 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/32492/task/32561/stat : 32561 (java) S 32488 32488 32437 0 -1 1077944384 17 0 0 0 59 0 0 0 20 0 19 0 445359207 15788482560 96582 33554432000 4194304 4196468 140721592140256 140114003701568 140115080214229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140721592144879 140721592145050 140721592145050 140721592147919 0
Current children cumulated CPU time: 11.9 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 385732 KiB
Child status: 0
Real time (s): 3.33861
CPU time (s): 11.9817
CPU user time (s): 11.7758
CPU system time (s): 0.205886
CPU usage (%): 358.883
Max. virtual memory (cumulated for all children) (KiB): 15531568
Max. memory (cumulated for all children) (KiB): 385732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7758
system time used= 0.205886
maximum resident set size= 394672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2373
involuntary context switches= 445
# summary of solver processes directly reported to runsolver:
# pid: 32488
# total CPU time (s): 11.9817
# total CPU user time (s): 11.7758
# total CPU system time (s): 0.205886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035783 second user time and 0.089868 second system time
The end