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 (6538 MiB free)
memory of node 1: 16384 MiB (10590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292465-1532494894/watcher-4292465-1532494894 -o /tmp/evaluation-result-4292465-1532494894/solver-4292465-1532494894 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532470661-17281 --watchdog 2560 HOME/xcsp3-exec -seed 857603798 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292465-1532494894.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20847, runsolver pid=20844
[startup+0.100141 s]*
/proc/loadavg: 2.17 1.90 1.81 3/219 20863
/proc/meminfo: memFree=17522156/32770624 swapFree=67108796/67108860
[pid=20847] ppid=20844 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (xcsp3-exec) S 20844 20847 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67052596 115843072 364 33554432000 4194304 5098028 140726711293408 140726711291512 139989068903036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16809984 140726711297083 140726711297284 140726711297284 140726711300042 0
/proc/20847/statm: 28282 364 306 221 0 87 0
[pid=20849] ppid=20847 vsize=14082840 memory=29276 CPUtime=0.12 cores=1,3,5,7
/proc/20849/stat : 20849 (java) S 20847 20847 17249 0 -1 1077944320 5661 0 0 0 11 1 0 0 20 0 15 0 67052596 14420828160 7319 33554432000 4194304 4196468 140723247760096 140723247742640 140543924731639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
/proc/20849/statm: 3520710 7319 3000 1 0 3483008 0
[pid=20849/tid=20850] ppid=20847 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/20849/task/20850/stat : 20850 (java) R 20847 20847 17249 0 -1 4202560 3688 0 0 0 9 0 0 0 20 0 15 0 67052596 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543928955280 140543924743574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20851] ppid=20847 vsize=14082840 memory=3472467868108170448 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20851/stat : 20851 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543881284624 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20852] ppid=20847 vsize=14082840 memory=139739213018752 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543519026320 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20853] ppid=20847 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543517973264 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20854] ppid=20847 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543516920720 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20855] ppid=20847 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052598 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543105616112 140543924742786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20856] ppid=20847 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20847 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67052599 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543104562336 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20857] ppid=20847 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20847 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67052599 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543103509232 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20858] ppid=20847 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543102457808 140543924750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20859] ppid=20847 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) R 20847 20847 17249 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 67052602 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543101405936 140543924742786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20860] ppid=20847 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052602 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543100353392 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20861] ppid=20847 vsize=14082840 memory=139739213018752 CPUtime=0.01 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) R 20847 20847 17249 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 15 0 67052602 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543099300336 140543910100442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20862] ppid=20847 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543098248032 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20863] ppid=20847 vsize=14082840 memory=139739213018752 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052602 14420828160 7319 33554432000 4194304 4196468 140723247760096 140543097195056 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30732 KiB
[startup+0.21262 s]*
/proc/loadavg: 2.17 1.90 1.81 3/219 20863
/proc/meminfo: memFree=17511364/32770624 swapFree=67108796/67108860
[pid=20847] ppid=20844 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (xcsp3-exec) S 20844 20847 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67052596 115843072 364 33554432000 4194304 5098028 140726711293408 140726711291512 139989068903036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16809984 140726711297083 140726711297284 140726711297284 140726711300042 0
/proc/20847/statm: 28282 364 306 221 0 87 0
[pid=20849] ppid=20847 vsize=14087096 memory=41448 CPUtime=0.34 cores=1,3,5,7
/proc/20849/stat : 20849 (java) S 20847 20847 17249 0 -1 1077944320 8371 0 0 0 32 2 0 0 20 0 15 0 67052596 14425186304 10362 33554432000 4194304 4196468 140723247760096 140723247742640 140543924731639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
/proc/20849/statm: 3521774 10362 3179 1 0 3483008 0
[pid=20849/tid=20850] ppid=20847 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/20849/task/20850/stat : 20850 (java) R 20847 20847 17249 0 -1 4202560 5489 0 0 0 19 1 0 0 20 0 15 0 67052596 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543928952632 140543908812126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20851] ppid=20847 vsize=14087096 memory=3472467868108170448 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20851/stat : 20851 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543881284624 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20852] ppid=20847 vsize=14087096 memory=139739213018752 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543519026320 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20853] ppid=20847 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543517973264 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20854] ppid=20847 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543516920720 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20855] ppid=20847 vsize=14087096 memory=139739213018752 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20847 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67052598 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543105616112 140543924742786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20856] ppid=20847 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20847 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67052599 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543104562336 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20857] ppid=20847 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20847 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67052599 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543103509232 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20858] ppid=20847 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543102457808 140543924750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20859] ppid=20847 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) S 20847 20847 17249 0 -1 1077944384 749 0 0 0 2 0 0 0 20 0 15 0 67052602 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543101405936 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20860] ppid=20847 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) S 20847 20847 17249 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 67052602 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543100353392 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20861] ppid=20847 vsize=14087096 memory=139739213018752 CPUtime=0.07 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) S 20847 20847 17249 0 -1 1077944384 727 0 0 0 7 0 0 0 20 0 15 0 67052602 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543099300336 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20862] ppid=20847 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543098248032 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20863] ppid=20847 vsize=14087096 memory=139739213018752 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052602 14425186304 10362 33554432000 4194304 4196468 140723247760096 140543097195056 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42904 KiB
[startup+0.310578 s]*
/proc/loadavg: 2.17 1.90 1.81 4/219 20863
/proc/meminfo: memFree=17504788/32770624 swapFree=67108796/67108860
[pid=20847] ppid=20844 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (xcsp3-exec) S 20844 20847 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67052596 115843072 364 33554432000 4194304 5098028 140726711293408 140726711291512 139989068903036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16809984 140726711297083 140726711297284 140726711297284 140726711300042 0
/proc/20847/statm: 28282 364 306 221 0 87 0
[pid=20849] ppid=20847 vsize=14087096 memory=48288 CPUtime=0.52 cores=1,3,5,7
/proc/20849/stat : 20849 (java) S 20847 20847 17249 0 -1 1077944320 9251 0 0 0 49 3 0 0 20 0 15 0 67052596 14425186304 12072 33554432000 4194304 4196468 140723247760096 140723247742640 140543924731639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
/proc/20849/statm: 3521774 12072 3231 1 0 3483008 0
[pid=20849/tid=20850] ppid=20847 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/20849/task/20850/stat : 20850 (java) R 20847 20847 17249 0 -1 4202560 6178 0 0 0 27 2 0 0 20 0 15 0 67052596 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543928962752 140543924753565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20851] ppid=20847 vsize=14087096 memory=3472467868108170448 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20851/stat : 20851 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543881284624 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20852] ppid=20847 vsize=14087096 memory=139739213018752 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543519026320 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20853] ppid=20847 vsize=14087096 memory=15 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543517973264 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20854] ppid=20847 vsize=14087096 memory=139739109926943 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543516920720 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20855] ppid=20847 vsize=14087096 memory=279478219814656 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20847 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67052598 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543105616112 140543924742786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20856] ppid=20847 vsize=14087096 memory=139739109903887 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20847 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67052599 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543104562336 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20857] ppid=20847 vsize=14087096 memory=279478322931808 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20847 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67052599 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543103509232 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20858] ppid=20847 vsize=14087096 memory=139739109908495 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543102457808 140543924750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20859] ppid=20847 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) S 20847 20847 17249 0 -1 1077944384 854 0 0 0 5 0 0 0 20 0 15 0 67052602 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543101405936 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20860] ppid=20847 vsize=14087096 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) S 20847 20847 17249 0 -1 1077944384 113 0 0 0 4 0 0 0 20 0 15 0 67052602 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543100353392 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20861] ppid=20847 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) S 20847 20847 17249 0 -1 1077944384 800 0 0 0 12 0 0 0 20 0 15 0 67052602 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543099300336 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20862] ppid=20847 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543098248032 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20863] ppid=20847 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052602 14425186304 12072 33554432000 4194304 4196468 140723247760096 140543097195056 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49744 KiB
[startup+0.701477 s]
/proc/loadavg: 2.17 1.90 1.81 6/219 20863
/proc/meminfo: memFree=17479808/32770624 swapFree=67108796/67108860
[pid=20847] ppid=20844 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (xcsp3-exec) S 20844 20847 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67052596 115843072 364 33554432000 4194304 5098028 140726711293408 140726711291512 139989068903036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16809984 140726711297083 140726711297284 140726711297284 140726711300042 0
/proc/20847/statm: 28282 364 306 221 0 87 0
[pid=20849] ppid=20847 vsize=14089220 memory=91832 CPUtime=1.79 cores=1,3,5,7
/proc/20849/stat : 20849 (java) S 20847 20847 17249 0 -1 1077944320 14124 0 0 0 174 5 0 0 20 0 15 0 67052596 14427361280 22958 33554432000 4194304 4196468 140723247760096 140723247742640 140543924731639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
/proc/20849/statm: 3522305 22958 3340 1 0 3483520 0
[pid=20849/tid=20850] ppid=20847 vsize=14089220 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20849/task/20850/stat : 20850 (java) R 20847 20847 17249 0 -1 4202560 7025 0 0 0 64 3 0 0 20 0 15 0 67052596 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543928965968 140543564981472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20851] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20851/stat : 20851 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543881284624 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20852] ppid=20847 vsize=14089220 memory=7813587196152133429 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543519026320 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20853] ppid=20847 vsize=14089220 memory=7156871085463720546 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543517973264 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20854] ppid=20847 vsize=14089220 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543516920720 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20855] ppid=20847 vsize=14089220 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20847 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67052598 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543105616112 140543924742786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20856] ppid=20847 vsize=14089220 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20847 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543104562336 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20857] ppid=20847 vsize=14089220 memory=5024 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20847 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543103509232 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20858] ppid=20847 vsize=14089220 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543102457808 140543924750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20859] ppid=20847 vsize=14089220 memory=1284 CPUtime=0.31 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) R 20847 20847 17249 0 -1 4202560 2532 0 0 0 31 0 0 0 20 0 15 0 67052602 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543101391816 140543908118631 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20860] ppid=20847 vsize=14089220 memory=1088 CPUtime=0.37 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) R 20847 20847 17249 0 -1 4202560 1096 0 0 0 37 0 0 0 20 0 15 0 67052602 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543100340240 140543908225817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20861] ppid=20847 vsize=14089220 memory=1796 CPUtime=0.4 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) R 20847 20847 17249 0 -1 4202560 2163 0 0 0 40 0 0 0 20 0 15 0 67052602 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543099294912 140543917828475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20862] ppid=20847 vsize=14089220 memory=7012 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543098248032 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20863] ppid=20847 vsize=14089220 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 22958 33554432000 4194304 4196468 140723247760096 140543097195056 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 93288 KiB
[startup+1.50172 s]
/proc/loadavg: 2.17 1.90 1.81 5/219 20863
/proc/meminfo: memFree=17441864/32770624 swapFree=67108796/67108860
[pid=20847] ppid=20844 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (xcsp3-exec) S 20844 20847 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67052596 115843072 364 33554432000 4194304 5098028 140726711293408 140726711291512 139989068903036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16809984 140726711297083 140726711297284 140726711297284 140726711300042 0
/proc/20847/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/20849/task/20851/stat : 20851 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543881284624 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20852] ppid=20847 vsize=14089220 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543519026320 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20853] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543517973264 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20854] ppid=20847 vsize=14089220 memory=139739109954736 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543516920720 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20855] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20847 17249 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 67052598 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543105616112 140543924742786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20856] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20847 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543104562336 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20857] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20847 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543103509232 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20858] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543102457808 140543924750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20859] ppid=20847 vsize=14089220 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) S 20847 20847 17249 0 -1 1077944384 6940 0 0 0 105 0 0 0 20 0 15 0 67052602 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543101405936 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20860] ppid=20847 vsize=14089220 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) R 20847 20847 17249 0 -1 4202560 3966 0 0 0 105 0 0 0 20 0 15 0 67052602 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543100353392 140543906295214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20861] ppid=20847 vsize=14089220 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) S 20847 20847 17249 0 -1 1077944384 3292 0 0 0 56 1 0 0 20 0 15 0 67052602 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543099300336 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20862] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543098248032 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20863] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30181 33554432000 4194304 4196468 140723247760096 140543097195056 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 122180 KiB
[startup+2.2415 s]
# the end of solver process 20847 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.25256 s, system=0.083388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60101 s]
/proc/loadavg: 2.17 1.90 1.81 5/219 20863
/proc/meminfo: memFree=17441864/32770624 swapFree=67108796/67108860
[pid=20847] ppid=20844 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (xcsp3-exec) S 20844 20847 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67052596 115843072 364 33554432000 4194304 5098028 140726711293408 140726711291512 139989068903036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16809984 140726711297083 140726711297284 140726711297284 140726711300042 0
/proc/20847/statm: 28282 364 306 221 0 87 0
[pid=20849] ppid=20847 vsize=14089220 memory=121088 CPUtime=4.45 cores=1,3,5,7
/proc/20849/stat : 20849 (java) S 20847 20847 17249 0 -1 1077944320 23178 0 0 0 438 7 0 0 20 0 15 0 67052596 14427361280 30272 33554432000 4194304 4196468 140723247760096 140723247742640 140543924731639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
/proc/20849/statm: 3522305 30272 3358 1 0 3483520 0
[pid=20849/tid=20850] ppid=20847 vsize=14089220 memory=8028676333680759155 CPUtime=1.57 cores=1,3,5,7
/proc/20849/task/20850/stat : 20850 (java) R 20847 20847 17249 0 -1 4202560 7587 0 0 0 153 4 0 0 20 0 15 0 67052596 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543928968752 140543565555728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20851] ppid=20847 vsize=14089220 memory=8292148123324110535 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20851/stat : 20851 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543881284624 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20852] ppid=20847 vsize=14089220 memory=-4866526891258710369 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543519026320 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20853] ppid=20847 vsize=14089220 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543517973264 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20854] ppid=20847 vsize=14089220 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543516920720 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20855] ppid=20847 vsize=14089220 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20847 17249 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 67052598 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543105616112 140543924742786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20856] ppid=20847 vsize=14089220 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20847 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543104562336 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20857] ppid=20847 vsize=14089220 memory=8330969454845486047 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20847 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543103509232 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20858] ppid=20847 vsize=14089220 memory=-7591212276383569497 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543102457808 140543924750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20859] ppid=20847 vsize=14089220 memory=6082200805632790609 CPUtime=1.12 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) S 20847 20847 17249 0 -1 1077944384 6955 0 0 0 112 0 0 0 20 0 15 0 67052602 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543101405936 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20860] ppid=20847 vsize=14089220 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) R 20847 20847 17249 0 -1 4202560 4017 0 0 0 115 0 0 0 20 0 15 0 67052602 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543100353392 140543906253039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20861] ppid=20847 vsize=14089220 memory=15044 CPUtime=0.58 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) S 20847 20847 17249 0 -1 1077944384 3299 0 0 0 57 1 0 0 20 0 15 0 67052602 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543099300336 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20862] ppid=20847 vsize=14089220 memory=16836 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543098248032 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20863] ppid=20847 vsize=14089220 memory=17804 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30272 33554432000 4194304 4196468 140723247760096 140543097195056 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
Current children cumulated CPU time: 4.45 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 122544 KiB
[startup+2.00074 s]*
/proc/loadavg: 2.17 1.90 1.81 3/219 20863
/proc/meminfo: memFree=17431208/32770624 swapFree=67108796/67108860
[pid=20847] ppid=20844 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (xcsp3-exec) S 20844 20847 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67052596 115843072 364 33554432000 4194304 5098028 140726711293408 140726711291512 139989068903036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16809984 140726711297083 140726711297284 140726711297284 140726711300042 0
/proc/20847/statm: 28282 364 306 221 0 87 0
[pid=20849] ppid=20847 vsize=14089220 memory=121468 CPUtime=5.02 cores=1,3,5,7
/proc/20849/stat : 20849 (java) S 20847 20847 17249 0 -1 1077944320 23367 0 0 0 495 7 0 0 20 0 15 0 67052596 14427361280 30367 33554432000 4194304 4196468 140723247760096 140723247742640 140543924731639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
/proc/20849/statm: 3522305 30367 3359 1 0 3483520 0
[pid=20849/tid=20850] ppid=20847 vsize=14089220 memory=6791534058613427641 CPUtime=1.98 cores=1,3,5,7
/proc/20849/task/20850/stat : 20850 (java) R 20847 20847 17249 0 -1 4202560 7609 0 0 0 194 4 0 0 20 0 15 0 67052596 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543928969304 140543565555700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20851] ppid=20847 vsize=14089220 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20851/stat : 20851 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543881284624 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20852] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543519026320 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20853] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543517973264 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20854] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543516920720 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20855] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20847 17249 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 67052598 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543105616112 140543924742786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20856] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20847 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543104562336 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20857] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20847 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543103509232 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20858] ppid=20847 vsize=14089220 memory=3472592183261933599 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543102457808 140543924750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20859] ppid=20847 vsize=14089220 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) S 20847 20847 17249 0 -1 1077944384 6991 0 0 0 118 0 0 0 20 0 15 0 67052602 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543101405936 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20860] ppid=20847 vsize=14089220 memory=4830786140298962533 CPUtime=1.23 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) S 20847 20847 17249 0 -1 1077944384 4113 0 0 0 123 0 0 0 20 0 15 0 67052602 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543100353392 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20861] ppid=20847 vsize=14089220 memory=3472468035373590192 CPUtime=0.59 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) S 20847 20847 17249 0 -1 1077944384 3334 0 0 0 58 1 0 0 20 0 15 0 67052602 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543099300336 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20862] ppid=20847 vsize=14089220 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543098248032 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20863] ppid=20847 vsize=14089220 memory=3472468035373590192 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30367 33554432000 4194304 4196468 140723247760096 140543097195056 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 122924 KiB
[startup+2.20069 s]
/proc/loadavg: 2.17 1.90 1.81 3/219 20863
/proc/meminfo: memFree=17431208/32770624 swapFree=67108796/67108860
[pid=20847] ppid=20844 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (xcsp3-exec) S 20844 20847 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67052596 115843072 364 33554432000 4194304 5098028 140726711293408 140726711291512 139989068903036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16809984 140726711297083 140726711297284 140726711297284 140726711300042 0
/proc/20847/statm: 28282 364 306 221 0 87 0
[pid=20849] ppid=20847 vsize=14089220 memory=121636 CPUtime=5.24 cores=1,3,5,7
/proc/20849/stat : 20849 (java) S 20847 20847 17249 0 -1 1077944320 24206 0 0 0 517 7 0 0 20 0 15 0 67052596 14427361280 30409 33554432000 4194304 4196468 140723247760096 140723247742640 140543924731639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
/proc/20849/statm: 3522305 30409 3359 1 0 3483520 0
[pid=20849/tid=20850] ppid=20847 vsize=14089220 memory=362358 CPUtime=2.17 cores=1,3,5,7
/proc/20849/task/20850/stat : 20850 (java) R 20847 20847 17249 0 -1 4202560 7942 0 0 0 213 4 0 0 20 0 15 0 67052596 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543928970392 140543565555377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20851] ppid=20847 vsize=14089220 memory=-3535470213243961690 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20851/stat : 20851 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543881284624 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20852] ppid=20847 vsize=14089220 memory=2608 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543519026320 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20853] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20847 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543517973264 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20854] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20847 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67052597 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543516920720 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20855] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20847 17249 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 67052598 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543105616112 140543924742786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20856] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20847 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543104562336 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20857] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20847 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67052599 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543103509232 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20858] ppid=20847 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543102457808 140543924750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20859] ppid=20847 vsize=14089220 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) R 20847 20847 17249 0 -1 4202560 7109 0 0 0 119 0 0 0 20 0 15 0 67052602 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543101405936 140543910412337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20860] ppid=20847 vsize=14089220 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) R 20847 20847 17249 0 -1 4202560 4375 0 0 0 125 0 0 0 20 0 15 0 67052602 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543100353392 140543909125396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20861] ppid=20847 vsize=14089220 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) S 20847 20847 17249 0 -1 1077944384 3448 0 0 0 58 1 0 0 20 0 15 0 67052602 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543099300336 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20862] ppid=20847 vsize=14089220 memory=8316297343878395758 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20847 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543098248032 140543924741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
[pid=20849/tid=20863] ppid=20847 vsize=14089220 memory=-2026666227646606628 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) S 20847 20847 17249 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 67052602 14427361280 30409 33554432000 4194304 4196468 140723247760096 140543097195056 140543924742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140723247768705 140723247768881 140723247768881 140723247771599 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 123092 KiB
Child status: 0
Real time (s): 2.24154
CPU time (s): 5.33595
CPU user time (s): 5.25256
CPU system time (s): 0.083388
CPU usage (%): 238.048
Max. virtual memory (cumulated for all children) (KiB): 14204232
Max. memory (cumulated for all children) (KiB): 123092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.25256
system time used= 0.083388
maximum resident set size= 124048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2075
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 20847
# total CPU time (s): 5.33595
# total CPU user time (s): 5.25256
# total CPU system time (s): 0.083388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034079 second user time and 0.071438 second system time
The end