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 (14795 MiB free)
memory of node 1: 16384 MiB (14712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393260-1568316442/watcher-4393260-1568316442 -o /tmp/evaluation-result-4393260-1568316442/solver-4393260-1568316442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1706839137 HOME/instance-4393260-1568316442.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17725, runsolver pid=17722
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 8.41 8.30 8.08 6/232 17741
/proc/meminfo: memFree=30199396/32770624 swapFree=66996240/67108860
[pid=17725] ppid=17722 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17725/stat : 17725 (xcsp3-exec) S 17722 17725 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407898914 115843072 363 33554432000 4194304 5098028 140736425326816 140736425324920 140063083369084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16056320 140736425333626 140736425333869 140736425333869 140736425336778 0
/proc/17725/statm: 28282 363 304 221 0 87 0
[pid=17727] ppid=17725 vsize=15144768 memory=29316 CPUtime=0.13 cores=0,2,4,6
/proc/17727/stat : 17727 (java) S 17725 17725 14062 0 -1 1077944320 5735 0 0 0 12 1 0 0 20 0 15 0 407898914 15508242432 7329 33554432000 4194304 4196468 140727780123936 140727780106480 139740290957047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
/proc/17727/statm: 3786192 7329 3143 1 0 3748377 0
[pid=17727/tid=17728] ppid=17725 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/17727/task/17728/stat : 17728 (java) R 17725 17725 14062 0 -1 4202560 3637 0 0 0 8 1 0 0 20 0 15 0 407898914 15508242432 7329 33554432000 4194304 4196468 140727780123936 139740295193392 139740275000677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17729] ppid=17725 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17729/stat : 17729 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15508242432 7329 33554432000 4194304 4196468 140727780123936 139740251916560 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17730] ppid=17725 vsize=15144768 memory=139811492836992 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17730/stat : 17730 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739882559888 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17731] ppid=17725 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17731/stat : 17731 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739881507344 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17732] ppid=17725 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17732/stat : 17732 (java) S 17725 17725 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407898915 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739880454800 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17733] ppid=17725 vsize=15144768 memory=139811492836992 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17733/stat : 17733 (java) S 17725 17725 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407898916 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739164256752 139740290968194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17734] ppid=17725 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (java) S 17725 17725 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407898917 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739163202976 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17735] ppid=17725 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17735/stat : 17735 (java) S 17725 17725 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407898917 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739162150384 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17736] ppid=17725 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17736/stat : 17736 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739161098960 139740290975643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17737] ppid=17725 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (java) S 17725 17725 14062 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 407898920 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739160045552 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17738] ppid=17725 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17738/stat : 17738 (java) R 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739158993008 139740290968194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17739] ppid=17725 vsize=15144768 memory=139811492836992 CPUtime=0.02 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (java) R 17725 17725 14062 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 407898920 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739157940464 139740290978394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17740] ppid=17725 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17740/stat : 17740 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739156888160 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17741] ppid=17725 vsize=15144768 memory=139811492836992 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17741/stat : 17741 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898920 15508242432 7329 33554432000 4194304 4196468 140727780123936 139739155835696 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30768 KiB
[startup+0.210921 s]*
/proc/loadavg: 8.41 8.30 8.08 7/232 17741
/proc/meminfo: memFree=30186140/32770624 swapFree=66996240/67108860
[pid=17725] ppid=17722 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17725/stat : 17725 (xcsp3-exec) S 17722 17725 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407898914 115843072 363 33554432000 4194304 5098028 140736425326816 140736425324920 140063083369084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16056320 140736425333626 140736425333869 140736425333869 140736425336778 0
/proc/17725/statm: 28282 363 304 221 0 87 0
[pid=17727] ppid=17725 vsize=15144768 memory=40784 CPUtime=0.34 cores=0,2,4,6
/proc/17727/stat : 17727 (java) S 17725 17725 14062 0 -1 1077944320 9474 0 0 0 31 3 0 0 20 0 15 0 407898914 15508242432 10196 33554432000 4194304 4196468 140727780123936 140727780106480 139740290957047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
/proc/17727/statm: 3786192 10196 3254 1 0 3748377 0
[pid=17727/tid=17728] ppid=17725 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/17727/task/17728/stat : 17728 (java) R 17725 17725 14062 0 -1 4202560 6635 0 0 0 18 2 0 0 20 0 15 0 407898914 15508242432 10196 33554432000 4194304 4196468 140727780123936 139740295191168 139740290978973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17729] ppid=17725 vsize=15144768 memory=2670165 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17729/stat : 17729 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15508242432 10196 33554432000 4194304 4196468 140727780123936 139740251916560 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17730] ppid=17725 vsize=15144768 memory=2854506 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17730/stat : 17730 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739882559888 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17731] ppid=17725 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17731/stat : 17731 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739881507344 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17732] ppid=17725 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17732/stat : 17732 (java) S 17725 17725 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407898915 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739880454800 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17733] ppid=17725 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17733/stat : 17733 (java) S 17725 17725 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407898916 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739164256752 139740290968194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17734] ppid=17725 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (java) S 17725 17725 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407898917 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739163202976 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17735] ppid=17725 vsize=15144768 memory=139811492836992 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17735/stat : 17735 (java) S 17725 17725 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407898917 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739162150384 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17736] ppid=17725 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17736/stat : 17736 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739161098960 139740290975643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17737] ppid=17725 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (java) S 17725 17725 14062 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 407898920 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739160045552 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17738] ppid=17725 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17727/task/17738/stat : 17738 (java) S 17725 17725 14062 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 407898920 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739158993008 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17739] ppid=17725 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (java) S 17725 17725 14062 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 407898920 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739157940464 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17740] ppid=17725 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17740/stat : 17740 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739156888160 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17741] ppid=17725 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17741/stat : 17741 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898920 15508242432 10196 33554432000 4194304 4196468 140727780123936 139739155835696 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42236 KiB
[startup+0.3209 s]*
/proc/loadavg: 8.41 8.30 8.08 7/232 17741
/proc/meminfo: memFree=30178500/32770624 swapFree=66996240/67108860
[pid=17725] ppid=17722 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17725/stat : 17725 (xcsp3-exec) S 17722 17725 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407898914 115843072 363 33554432000 4194304 5098028 140736425326816 140736425324920 140063083369084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16056320 140736425333626 140736425333869 140736425333869 140736425336778 0
/proc/17725/statm: 28282 363 304 221 0 87 0
[pid=17727] ppid=17725 vsize=15149024 memory=50616 CPUtime=0.54 cores=0,2,4,6
/proc/17727/stat : 17727 (java) S 17725 17725 14062 0 -1 1077944320 10982 0 0 0 50 4 0 0 20 0 15 0 407898914 15512600576 12654 33554432000 4194304 4196468 140727780123936 140727780106480 139740290957047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
/proc/17727/statm: 3787256 12654 3373 1 0 3748377 0
[pid=17727/tid=17728] ppid=17725 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/17727/task/17728/stat : 17728 (java) R 17725 17725 14062 0 -1 4202560 7941 0 0 0 27 3 0 0 20 0 15 0 407898914 15512600576 12654 33554432000 4194304 4196468 140727780123936 139740295188816 139740275037534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17729] ppid=17725 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17729/stat : 17729 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15512600576 12654 33554432000 4194304 4196468 140727780123936 139740251916560 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17730] ppid=17725 vsize=15149024 memory=2854491 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17730/stat : 17730 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739882559888 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17731] ppid=17725 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17731/stat : 17731 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739881507344 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17732] ppid=17725 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17732/stat : 17732 (java) S 17725 17725 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407898915 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739880454800 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17733] ppid=17725 vsize=15149024 memory=139811492836992 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17733/stat : 17733 (java) S 17725 17725 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407898916 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739164256752 139740290968194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17734] ppid=17725 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (java) S 17725 17725 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407898917 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739163202976 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17735] ppid=17725 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17735/stat : 17735 (java) S 17725 17725 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407898917 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739162150384 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17736] ppid=17725 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17736/stat : 17736 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739161098960 139740290975643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17737] ppid=17725 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (java) S 17725 17725 14062 0 -1 1077944384 629 0 0 0 5 0 0 0 20 0 15 0 407898920 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739160045552 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17738] ppid=17725 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/17727/task/17738/stat : 17738 (java) S 17725 17725 14062 0 -1 1077944384 265 0 0 0 4 0 0 0 20 0 15 0 407898920 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739158993008 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17739] ppid=17725 vsize=15149024 memory=139811492836992 CPUtime=0.12 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (java) S 17725 17725 14062 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 407898920 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739157940464 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17740] ppid=17725 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17740/stat : 17740 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739156888160 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17741] ppid=17725 vsize=15149024 memory=139811492836992 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17741/stat : 17741 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898920 15512600576 12654 33554432000 4194304 4196468 140727780123936 139739155835696 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52068 KiB
[startup+0.700928 s]
/proc/loadavg: 8.41 8.30 8.08 7/232 17741
/proc/meminfo: memFree=30162452/32770624 swapFree=66996240/67108860
[pid=17725] ppid=17722 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17725/stat : 17725 (xcsp3-exec) S 17722 17725 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407898914 115843072 363 33554432000 4194304 5098028 140736425326816 140736425324920 140063083369084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16056320 140736425333626 140736425333869 140736425333869 140736425336778 0
/proc/17725/statm: 28282 363 304 221 0 87 0
[pid=17727] ppid=17725 vsize=15151148 memory=96820 CPUtime=1.67 cores=0,2,4,6
/proc/17727/stat : 17727 (java) S 17725 17725 14062 0 -1 1077944320 14870 0 0 0 161 6 0 0 20 0 15 0 407898914 15514775552 24205 33554432000 4194304 4196468 140727780123936 140727780106480 139740290957047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
/proc/17727/statm: 3787787 24205 3464 1 0 3748889 0
[pid=17727/tid=17728] ppid=17725 vsize=15151148 memory=11932 CPUtime=0.67 cores=0,2,4,6
/proc/17727/task/17728/stat : 17728 (java) R 17725 17725 14062 0 -1 4202560 9154 0 0 0 63 4 0 0 20 0 15 0 407898914 15514775552 24205 33554432000 4194304 4196468 140727780123936 139740295194536 139739931709886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17729] ppid=17725 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17729/stat : 17729 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15514775552 24205 33554432000 4194304 4196468 140727780123936 139740251916560 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17730] ppid=17725 vsize=15151148 memory=500 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17730/stat : 17730 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739882559888 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17731] ppid=17725 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17731/stat : 17731 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898915 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739881507344 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17732] ppid=17725 vsize=15151148 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17732/stat : 17732 (java) S 17725 17725 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407898915 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739880454800 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17733] ppid=17725 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17733/stat : 17733 (java) S 17725 17725 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407898916 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739164256752 139740290968194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17734] ppid=17725 vsize=15151148 memory=876 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (java) S 17725 17725 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407898917 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739163202976 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17735] ppid=17725 vsize=15151148 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17735/stat : 17735 (java) S 17725 17725 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407898917 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739162150384 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17736] ppid=17725 vsize=15151148 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17736/stat : 17736 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739161098960 139740290975643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17737] ppid=17725 vsize=15151148 memory=7302135314614015840 CPUtime=0.28 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (java) R 17725 17725 14062 0 -1 4202560 1248 0 0 0 28 0 0 0 20 0 15 0 407898920 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739160026680 139740274442970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17738] ppid=17725 vsize=15151148 memory=6152570554783984237 CPUtime=0.27 cores=0,2,4,6
/proc/17727/task/17738/stat : 17738 (java) R 17725 17725 14062 0 -1 4202560 1059 0 0 0 27 0 0 0 20 0 15 0 407898920 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739158974024 139740274442994 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17739] ppid=17725 vsize=15151148 memory=7223887401239728208 CPUtime=0.41 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (java) S 17725 17725 14062 0 -1 1077944384 2102 0 0 0 41 0 0 0 20 0 15 0 407898920 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739157940464 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17740] ppid=17725 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17740/stat : 17740 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407898920 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739156888160 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17741] ppid=17725 vsize=15151148 memory=7379547564840675921 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17741/stat : 17741 (java) S 17725 17725 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407898920 15514775552 24205 33554432000 4194304 4196468 140727780123936 139739155835696 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 98272 KiB
[startup+1.50391 s]
/proc/loadavg: 8.41 8.30 8.08 13/236 17745
/proc/meminfo: memFree=30108256/32770624 swapFree=66996240/67108860
[pid=17725] ppid=17722 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17725/stat : 17725 (xcsp3-exec) S 17722 17725 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407898914 115843072 363 33554432000 4194304 5098028 140736425326816 140736425324920 140063083369084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16056320 140736425333626 140736425333869 140736425333869 140736425336778 0
/proc/17725/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/17727/task/17876/stat : 17876 (java) R 17725 17725 14062 0 -1 4202560 17 0 0 0 55 0 0 0 20 0 19 0 407903969 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739142659272 139739934561188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
Current children cumulated CPU time: 201.98 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 212040 KiB
[startup+52.258 s]
# the end of solver process 17725 was just reported to runsolver
# cumulated CPU time of all completed processes: user=206.335 s, system=0.20607 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2019 s]
/proc/loadavg: 8.46 8.34 8.11 9/236 17876
/proc/meminfo: memFree=30373524/32770624 swapFree=66996240/67108860
[pid=17725] ppid=17722 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17725/stat : 17725 (xcsp3-exec) S 17722 17725 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407898914 115843072 363 33554432000 4194304 5098028 140736425326816 140736425324920 140063083369084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16056320 140736425333626 140736425333869 140736425333869 140736425336778 0
/proc/17725/statm: 28282 363 304 221 0 87 0
[pid=17727] ppid=17725 vsize=15418432 memory=210588 CPUtime=202.34 cores=0,2,4,6
/proc/17727/stat : 17727 (java) S 17725 17725 14062 0 -1 1077944320 47725 0 0 0 20215 19 0 0 20 0 19 0 407898914 15788474368 52647 33554432000 4194304 4196468 140727780123936 140727780106480 139740290957047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
/proc/17727/statm: 3854608 52647 3536 1 0 3815710 0
[pid=17727/tid=17728] ppid=17725 vsize=15418432 memory=221080 CPUtime=0.76 cores=0,2,4,6
/proc/17727/task/17728/stat : 17728 (java) S 17725 17725 14062 0 -1 1077944384 9428 0 0 0 71 5 0 0 20 0 19 0 407898914 15788474368 52647 33554432000 4194304 4196468 140727780123936 139740295197824 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17729] ppid=17725 vsize=15418432 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17729/stat : 17729 (java) S 17725 17725 14062 0 -1 1077944384 1038 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52647 33554432000 4194304 4196468 140727780123936 139740251916560 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17730] ppid=17725 vsize=15418432 memory=224148 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17730/stat : 17730 (java) S 17725 17725 14062 0 -1 1077944384 726 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739882559888 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17731] ppid=17725 vsize=15418432 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17731/stat : 17731 (java) S 17725 17725 14062 0 -1 1077944384 1128 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739881507344 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17732] ppid=17725 vsize=15418432 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/17727/task/17732/stat : 17732 (java) S 17725 17725 14062 0 -1 1077944384 2038 0 0 0 7 1 0 0 20 0 19 0 407898915 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739880454800 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17733] ppid=17725 vsize=15418432 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/17727/task/17733/stat : 17733 (java) S 17725 17725 14062 0 -1 1077944384 1087 0 0 0 2 0 0 0 20 0 19 0 407898916 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739164256752 139740290968194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17734] ppid=17725 vsize=15418432 memory=227200 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (java) S 17725 17725 14062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 407898917 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739163203040 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17735] ppid=17725 vsize=15418432 memory=7 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17735/stat : 17735 (java) S 17725 17725 14062 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 407898917 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739162150400 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17736] ppid=17725 vsize=15418432 memory=7 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17736/stat : 17736 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407898920 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739161098960 139740290975643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17737] ppid=17725 vsize=15418432 memory=7 CPUtime=2.28 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (java) S 17725 17725 14062 0 -1 1077944384 11039 0 0 0 227 1 0 0 20 0 19 0 407898920 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739160045552 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17738] ppid=17725 vsize=15418432 memory=2 CPUtime=2.27 cores=0,2,4,6
/proc/17727/task/17738/stat : 17738 (java) S 17725 17725 14062 0 -1 1077944384 8106 0 0 0 227 0 0 0 20 0 19 0 407898920 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739158993008 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17739] ppid=17725 vsize=15418432 memory=3624 CPUtime=0.81 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (java) S 17725 17725 14062 0 -1 1077944384 6595 0 0 0 80 1 0 0 20 0 19 0 407898920 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739157940464 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17740] ppid=17725 vsize=15418432 memory=22960 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17740/stat : 17740 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407898920 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739156888160 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17741] ppid=17725 vsize=15418432 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/17727/task/17741/stat : 17741 (java) S 17725 17725 14062 0 -1 1077944384 322 0 0 0 0 1 0 0 20 0 19 0 407898920 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739155835696 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17873] ppid=17725 vsize=15418432 memory=2024 CPUtime=0.63 cores=0,2,4,6
/proc/17727/task/17873/stat : 17873 (java) R 17725 17725 14062 0 -1 4202560 17 0 0 0 63 0 0 0 20 0 19 0 407903969 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739144756632 139739935806554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17874] ppid=17725 vsize=15418432 memory=288230574492221466 CPUtime=0.58 cores=0,2,4,6
/proc/17727/task/17874/stat : 17874 (java) R 17725 17725 14062 0 -1 4202560 20 0 0 0 58 0 0 0 20 0 19 0 407903969 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739143706520 139739931424079 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17875] ppid=17725 vsize=15418432 memory=288230617509003574 CPUtime=0.64 cores=0,2,4,6
/proc/17727/task/17875/stat : 17875 (java) R 17725 17725 14062 0 -1 4202560 18 0 0 0 64 0 0 0 20 0 19 0 407903969 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739145817160 139739934706681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17876] ppid=17725 vsize=15418432 memory=15252636593031516 CPUtime=0.64 cores=0,2,4,6
/proc/17727/task/17876/stat : 17876 (java) R 17725 17725 14062 0 -1 4202560 17 0 0 0 64 0 0 0 20 0 19 0 407903969 15788474368 52647 33554432000 4194304 4196468 140727780123936 139739142659272 139739935380947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
Current children cumulated CPU time: 202.34 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 212040 KiB
[startup+52.0009 s]*
/proc/loadavg: 8.42 8.33 8.11 9/236 17876
/proc/meminfo: memFree=30373540/32770624 swapFree=66996240/67108860
[pid=17725] ppid=17722 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17725/stat : 17725 (xcsp3-exec) S 17722 17725 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407898914 115843072 363 33554432000 4194304 5098028 140736425326816 140736425324920 140063083369084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16056320 140736425333626 140736425333869 140736425333869 140736425336778 0
/proc/17725/statm: 28282 363 304 221 0 87 0
[pid=17727] ppid=17725 vsize=15418432 memory=210936 CPUtime=205.57 cores=0,2,4,6
/proc/17727/stat : 17727 (java) S 17725 17725 14062 0 -1 1077944320 48825 0 0 0 20537 20 0 0 20 0 19 0 407898914 15788474368 52734 33554432000 4194304 4196468 140727780123936 140727780106480 139740290957047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
/proc/17727/statm: 3854608 52734 3536 1 0 3815710 0
[pid=17727/tid=17728] ppid=17725 vsize=15418432 memory=8317482817917895235 CPUtime=0.76 cores=0,2,4,6
/proc/17727/task/17728/stat : 17728 (java) S 17725 17725 14062 0 -1 1077944384 9428 0 0 0 71 5 0 0 20 0 19 0 407898914 15788474368 52734 33554432000 4194304 4196468 140727780123936 139740295197824 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17729] ppid=17725 vsize=15418432 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17729/stat : 17729 (java) S 17725 17725 14062 0 -1 1077944384 1038 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52734 33554432000 4194304 4196468 140727780123936 139740251916560 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17730] ppid=17725 vsize=15418432 memory=876 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17730/stat : 17730 (java) S 17725 17725 14062 0 -1 1077944384 726 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739882559888 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17731] ppid=17725 vsize=15418432 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17731/stat : 17731 (java) S 17725 17725 14062 0 -1 1077944384 1128 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739881507344 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17732] ppid=17725 vsize=15418432 memory=-6519613052471072158 CPUtime=0.08 cores=0,2,4,6
/proc/17727/task/17732/stat : 17732 (java) S 17725 17725 14062 0 -1 1077944384 2038 0 0 0 7 1 0 0 20 0 19 0 407898915 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739880454800 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17733] ppid=17725 vsize=15418432 memory=7897517683652307531 CPUtime=0.02 cores=0,2,4,6
/proc/17727/task/17733/stat : 17733 (java) S 17725 17725 14062 0 -1 1077944384 1087 0 0 0 2 0 0 0 20 0 19 0 407898916 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739164256752 139740290968194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17734] ppid=17725 vsize=15418432 memory=8514726395715349656 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (java) S 17725 17725 14062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 407898917 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739163203040 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17735] ppid=17725 vsize=15418432 memory=3047711553320166262 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17735/stat : 17735 (java) S 17725 17725 14062 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 407898917 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739162150400 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17736] ppid=17725 vsize=15418432 memory=7824336315716348491 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17736/stat : 17736 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739161098960 139740290975643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17737] ppid=17725 vsize=15418432 memory=8100116873453004900 CPUtime=2.33 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (java) S 17725 17725 14062 0 -1 1077944384 11330 0 0 0 232 1 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739160045552 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17738] ppid=17725 vsize=15418432 memory=12367 CPUtime=2.31 cores=0,2,4,6
/proc/17727/task/17738/stat : 17738 (java) S 17725 17725 14062 0 -1 1077944384 8233 0 0 0 231 0 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739158993008 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17739] ppid=17725 vsize=15418432 memory=73 CPUtime=0.81 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (java) S 17725 17725 14062 0 -1 1077944384 6890 0 0 0 80 1 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739157940464 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17740] ppid=17725 vsize=15418432 memory=7 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17740/stat : 17740 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739156888160 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17741] ppid=17725 vsize=15418432 memory=7 CPUtime=0.01 cores=0,2,4,6
/proc/17727/task/17741/stat : 17741 (java) S 17725 17725 14062 0 -1 1077944384 336 0 0 0 0 1 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739155835696 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17873] ppid=17725 vsize=15418432 memory=7 CPUtime=1.39 cores=0,2,4,6
/proc/17727/task/17873/stat : 17873 (java) R 17725 17725 14062 0 -1 4202560 144 0 0 0 139 0 0 0 20 0 19 0 407903969 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739144755496 139739935806624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17874] ppid=17725 vsize=15418432 memory=7 CPUtime=1.34 cores=0,2,4,6
/proc/17727/task/17874/stat : 17874 (java) R 17725 17725 14062 0 -1 4202560 173 0 0 0 134 0 0 0 20 0 19 0 407903969 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739143704600 139739933976391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17875] ppid=17725 vsize=15418432 memory=2 CPUtime=1.45 cores=0,2,4,6
/proc/17727/task/17875/stat : 17875 (java) R 17725 17725 14062 0 -1 4202560 25 0 0 0 145 0 0 0 20 0 19 0 407903969 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739145810056 139739934706681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17876] ppid=17725 vsize=15418432 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/17727/task/17876/stat : 17876 (java) R 17725 17725 14062 0 -1 4202560 103 0 0 0 144 0 0 0 20 0 19 0 407903969 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739142651032 139739935806565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
Current children cumulated CPU time: 205.57 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 212388 KiB
[startup+52.2009 s]
/proc/loadavg: 8.42 8.33 8.11 9/236 17876
/proc/meminfo: memFree=30373540/32770624 swapFree=66996240/67108860
[pid=17725] ppid=17722 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17725/stat : 17725 (xcsp3-exec) S 17722 17725 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407898914 115843072 363 33554432000 4194304 5098028 140736425326816 140736425324920 140063083369084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16056320 140736425333626 140736425333869 140736425333869 140736425336778 0
/proc/17725/statm: 28282 363 304 221 0 87 0
[pid=17727] ppid=17725 vsize=15418432 memory=210936 CPUtime=206.33 cores=0,2,4,6
/proc/17727/stat : 17727 (java) S 17725 17725 14062 0 -1 1077944320 48825 0 0 0 20613 20 0 0 20 0 19 0 407898914 15788474368 52734 33554432000 4194304 4196468 140727780123936 140727780106480 139740290957047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
/proc/17727/statm: 3854608 52734 3536 1 0 3815710 0
[pid=17727/tid=17728] ppid=17725 vsize=15418432 memory=6791534058613427641 CPUtime=0.76 cores=0,2,4,6
/proc/17727/task/17728/stat : 17728 (java) S 17725 17725 14062 0 -1 1077944384 9428 0 0 0 71 5 0 0 20 0 19 0 407898914 15788474368 52734 33554432000 4194304 4196468 140727780123936 139740295197824 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17729] ppid=17725 vsize=15418432 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17729/stat : 17729 (java) S 17725 17725 14062 0 -1 1077944384 1038 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52734 33554432000 4194304 4196468 140727780123936 139740251916560 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17730] ppid=17725 vsize=15418432 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17730/stat : 17730 (java) S 17725 17725 14062 0 -1 1077944384 726 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739882559888 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17731] ppid=17725 vsize=15418432 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/17727/task/17731/stat : 17731 (java) S 17725 17725 14062 0 -1 1077944384 1128 0 0 0 6 1 0 0 20 0 19 0 407898915 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739881507344 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17732] ppid=17725 vsize=15418432 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/17727/task/17732/stat : 17732 (java) S 17725 17725 14062 0 -1 1077944384 2038 0 0 0 7 1 0 0 20 0 19 0 407898915 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739880454800 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17733] ppid=17725 vsize=15418432 memory=13252 CPUtime=0.02 cores=0,2,4,6
/proc/17727/task/17733/stat : 17733 (java) S 17725 17725 14062 0 -1 1077944384 1087 0 0 0 2 0 0 0 20 0 19 0 407898916 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739164256752 139740290968194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17734] ppid=17725 vsize=15418432 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (java) S 17725 17725 14062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 407898917 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739163203040 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17735] ppid=17725 vsize=15418432 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17735/stat : 17735 (java) S 17725 17725 14062 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 407898917 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739162150400 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17736] ppid=17725 vsize=15418432 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17736/stat : 17736 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739161098960 139740290975643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17737] ppid=17725 vsize=15418432 memory=19908 CPUtime=2.33 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (java) S 17725 17725 14062 0 -1 1077944384 11330 0 0 0 232 1 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739160045552 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17738] ppid=17725 vsize=15418432 memory=6944938067432061290 CPUtime=2.31 cores=0,2,4,6
/proc/17727/task/17738/stat : 17738 (java) S 17725 17725 14062 0 -1 1077944384 8233 0 0 0 231 0 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739158993008 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17739] ppid=17725 vsize=15418432 memory=4137293581110450563 CPUtime=0.81 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (java) S 17725 17725 14062 0 -1 1077944384 6890 0 0 0 80 1 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739157940464 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17740] ppid=17725 vsize=15418432 memory=279622772537504 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17740/stat : 17740 (java) S 17725 17725 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739156888160 139740290967253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17741] ppid=17725 vsize=15418432 memory=7649399358478563121 CPUtime=0.01 cores=0,2,4,6
/proc/17727/task/17741/stat : 17741 (java) S 17725 17725 14062 0 -1 1077944384 336 0 0 0 0 1 0 0 20 0 19 0 407898920 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739155835696 139740290968194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17873] ppid=17725 vsize=15418432 memory=7649399362773530417 CPUtime=1.58 cores=0,2,4,6
/proc/17727/task/17873/stat : 17873 (java) R 17725 17725 14062 0 -1 4202560 144 0 0 0 158 0 0 0 20 0 19 0 407903969 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739144755496 139739935806624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17874] ppid=17725 vsize=15418432 memory=7649399367068497713 CPUtime=1.53 cores=0,2,4,6
/proc/17727/task/17874/stat : 17874 (java) R 17725 17725 14062 0 -1 4202560 173 0 0 0 153 0 0 0 20 0 19 0 407903969 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739143704600 139739934123791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17875] ppid=17725 vsize=15418432 memory=7649399371363465009 CPUtime=1.64 cores=0,2,4,6
/proc/17727/task/17875/stat : 17875 (java) R 17725 17725 14062 0 -1 4202560 25 0 0 0 164 0 0 0 20 0 19 0 407903969 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739145810056 139739936377008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
[pid=17727/tid=17876] ppid=17725 vsize=15418432 memory=7649399375658432305 CPUtime=1.62 cores=0,2,4,6
/proc/17727/task/17876/stat : 17876 (java) R 17725 17725 14062 0 -1 4202560 103 0 0 0 162 0 0 0 20 0 19 0 407903969 15788474368 52734 33554432000 4194304 4196468 140727780123936 139739142651032 139739935806554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15540224 140727780131823 140727780131994 140727780131994 140727780134863 0
Current children cumulated CPU time: 206.33 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 212388 KiB
Child status: 0
Real time (s): 52.2581
CPU time (s): 206.541
CPU user time (s): 206.335
CPU system time (s): 0.20607
CPU usage (%): 395.233
Max. virtual memory (cumulated for all children) (KiB): 15531560
Max. memory (cumulated for all children) (KiB): 238380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 206.335
system time used= 0.20607
maximum resident set size= 236928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4959
involuntary context switches= 4535
# summary of solver processes directly reported to runsolver:
# pid: 17725
# total CPU time (s): 206.541
# total CPU user time (s): 206.335
# total CPU system time (s): 0.20607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.343194 second user time and 0.672498 second system time
The end