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 (15362 MiB free)
memory of node 1: 16384 MiB (14659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282425-1503122970/watcher-4282425-1503122970 -o /tmp/evaluation-result-4282425-1503122970/solver-4282425-1503122970 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15586 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1084883184 HOME/instance-4282425-1503122970.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20204, runsolver pid=20201
[startup+0.100198 s]*
/proc/loadavg: 1.73 1.72 1.65 3/202 20211
/proc/meminfo: memFree=30735448/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
[pid=20206] ppid=20204 vsize=13441356 memory=15688 CPUtime=0.02 cores=0,2,4,6
/proc/20206/stat : 20206 (java) S 20204 20204 15523 0 -1 1077944320 3706 0 0 0 1 1 0 0 20 0 7 0 10705055 13763948544 3922 18446744073709551615 4194304 4196468 140725622787136 140725622769680 139769421033207 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
/proc/20206/statm: 3360339 3922 2003 1 0 3349836 0
[pid=20206/tid=20207] ppid=20204 vsize=13441356 memory=-8713483618642850651 CPUtime=0.01 cores=0,2,4,6
/proc/20206/task/20207/stat : 20207 (java) R 20204 20204 15523 0 -1 4202560 2461 0 0 0 1 0 0 0 20 0 7 0 10705056 13763948544 3922 18446744073709551615 4194304 4196468 140725622787136 139769425275664 139769405113694 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20208] ppid=20204 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20208/stat : 20208 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 10705056 13763948544 3922 18446744073709551615 4194304 4196468 140725622787136 139769377999248 139769421043413 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20209] ppid=20204 vsize=13441356 memory=140549528036992 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 10705057 13763948544 3922 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 10705057 13763948544 3922 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 10705057 13763948544 3922 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13441356 memory=140549528036992 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 10705058 13763948544 3922 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17068 KiB
[startup+0.209849 s]*
/proc/loadavg: 1.73 1.72 1.65 3/211 20220
/proc/meminfo: memFree=30724528/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
[pid=20206] ppid=20204 vsize=13974352 memory=27712 CPUtime=0.1 cores=0,2,4,6
/proc/20206/stat : 20206 (java) S 20204 20204 15523 0 -1 1077944320 5352 0 0 0 9 1 0 0 20 0 15 0 10705055 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 140725622769680 139769421033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
/proc/20206/statm: 3493588 6928 2748 1 0 3482964 0
[pid=20206/tid=20207] ppid=20204 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/20206/task/20207/stat : 20207 (java) R 20204 20204 15523 0 -1 4202560 3488 0 0 0 7 1 0 0 20 0 15 0 10705056 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139769425262624 139769421055133 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20208] ppid=20204 vsize=13974352 memory=8941 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20208/stat : 20208 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705056 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139769377999248 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20209] ppid=20204 vsize=13974352 memory=3616589557173397152 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13974352 memory=140549528036992 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705058 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20213] ppid=20204 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20213/stat : 20213 (java) S 20204 20204 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10705058 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768538162464 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20214] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20214/stat : 20214 (java) S 20204 20204 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10705059 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768537110128 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20215] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20215/stat : 20215 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768536058448 139769421051803 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20216] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20216/stat : 20216 (java) S 20204 20204 15523 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 10705061 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768535005296 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20217] ppid=20204 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20217/stat : 20217 (java) S 20204 20204 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10705061 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768533952496 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20218] ppid=20204 vsize=13974352 memory=140549528036992 CPUtime=0.01 cores=0,2,4,6
/proc/20206/task/20218/stat : 20218 (java) S 20204 20204 15523 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 10705061 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768532900208 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20219] ppid=20204 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20219/stat : 20219 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768531847648 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20220] ppid=20204 vsize=13974352 memory=140549528036992 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20220/stat : 20220 (java) S 20204 20204 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10705065 14309736448 6928 18446744073709551615 4194304 4196468 140725622787136 139768530795440 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29092 KiB
[startup+0.31008 s]*
/proc/loadavg: 1.73 1.72 1.65 4/211 20220
/proc/meminfo: memFree=30713788/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
[pid=20206] ppid=20204 vsize=13974352 memory=39744 CPUtime=0.3 cores=0,2,4,6
/proc/20206/stat : 20206 (java) S 20204 20204 15523 0 -1 1077944320 9089 0 0 0 27 3 0 0 20 0 15 0 10705055 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 140725622769680 139769421033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
/proc/20206/statm: 3493588 9936 3033 1 0 3482964 0
[pid=20206/tid=20207] ppid=20204 vsize=13975376 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/20206/task/20207/stat : 20207 (java) R 20204 20204 15523 0 -1 4202560 6258 0 0 0 16 2 0 0 20 0 15 0 10705056 14310785024 9936 18446744073709551615 4194304 4196468 140725622787136 139769425251296 139769413773197 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20208] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20208/stat : 20208 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705056 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139769377999248 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20209] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705058 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20213] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20213/stat : 20213 (java) S 20204 20204 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10705058 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768538162464 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20214] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20214/stat : 20214 (java) S 20204 20204 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10705059 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768537110128 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20215] ppid=20204 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20215/stat : 20215 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768536058448 139769421051803 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20216] ppid=20204 vsize=13974352 memory=140549382493120 CPUtime=0.02 cores=0,2,4,6
/proc/20206/task/20216/stat : 20216 (java) S 20204 20204 15523 0 -1 1077944384 562 0 0 0 2 0 0 0 20 0 15 0 10705061 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768535005296 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20217] ppid=20204 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20206/task/20217/stat : 20217 (java) R 20204 20204 15523 0 -1 4202560 274 0 0 0 2 0 0 0 20 0 15 0 10705061 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768533952496 139769400696816 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20218] ppid=20204 vsize=13974352 memory=140549528036992 CPUtime=0.06 cores=0,2,4,6
/proc/20206/task/20218/stat : 20218 (java) S 20204 20204 15523 0 -1 1077944384 725 0 0 0 6 0 0 0 20 0 15 0 10705061 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768532900208 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20219] ppid=20204 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20219/stat : 20219 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768531847648 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20220] ppid=20204 vsize=13974352 memory=140549528036992 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20220/stat : 20220 (java) S 20204 20204 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10705065 14309736448 9936 18446744073709551615 4194304 4196468 140725622787136 139768530795440 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41124 KiB
[startup+0.70426 s]
/proc/loadavg: 1.73 1.72 1.65 5/211 20220
/proc/meminfo: memFree=30703096/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
[pid=20206] ppid=20204 vsize=13980732 memory=75020 CPUtime=1.34 cores=0,2,4,6
/proc/20206/stat : 20206 (java) S 20204 20204 15523 0 -1 1077944320 13807 0 0 0 129 5 0 0 20 0 15 0 10705055 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 140725622769680 139769421033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
/proc/20206/statm: 3495183 18755 3176 1 0 3483476 0
[pid=20206/tid=20207] ppid=20204 vsize=13980732 memory=4124 CPUtime=0.56 cores=0,2,4,6
/proc/20206/task/20207/stat : 20207 (java) R 20204 20204 15523 0 -1 4202560 8435 0 0 0 53 3 0 0 20 0 15 0 10705056 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139769425271824 139769057266997 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20208] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20208/stat : 20208 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705056 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139769377999248 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20209] ppid=20204 vsize=13980732 memory=140549382218352 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20213] ppid=20204 vsize=13980732 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20213/stat : 20213 (java) S 20204 20204 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768538162464 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20214] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20214/stat : 20214 (java) S 20204 20204 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10705059 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768537110128 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20215] ppid=20204 vsize=13980732 memory=-6438283276707849832 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20215/stat : 20215 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768536058448 139769421051803 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20216] ppid=20204 vsize=13980732 memory=6944656592387989600 CPUtime=0.22 cores=0,2,4,6
/proc/20206/task/20216/stat : 20216 (java) S 20204 20204 15523 0 -1 1077944384 1361 0 0 0 22 0 0 0 20 0 15 0 10705061 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768535005392 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20217] ppid=20204 vsize=13980732 memory=6944656575208382560 CPUtime=0.22 cores=0,2,4,6
/proc/20206/task/20217/stat : 20217 (java) R 20204 20204 15523 0 -1 4202560 1123 0 0 0 22 0 0 0 20 0 15 0 10705061 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768533943840 139769404532076 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20218] ppid=20204 vsize=13980732 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/20206/task/20218/stat : 20218 (java) R 20204 20204 15523 0 -1 4202560 1577 0 0 0 31 0 0 0 20 0 15 0 10705061 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768532900208 139769421045142 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20219] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20219/stat : 20219 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768531847648 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20220] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20220/stat : 20220 (java) S 20204 20204 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10705065 14316269568 18755 18446744073709551615 4194304 4196468 140725622787136 139768530795440 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76400 KiB
[startup+1.50084 s]
/proc/loadavg: 1.76 1.73 1.65 5/211 20220
/proc/meminfo: memFree=30679080/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
[pid=20206] ppid=20204 vsize=13980732 memory=76652 CPUtime=2.83 cores=0,2,4,6
/proc/20206/stat : 20206 (java) S 20204 20204 15523 0 -1 1077944320 17096 0 0 0 277 6 0 0 20 0 15 0 10705055 14316269568 19163 18446744073709551615 4194304 4196468 140725622787136 140725622769680 139769421033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
/proc/20206/statm: 3495183 19163 3191 1 0 3483476 0
[pid=20206/tid=20207] ppid=20204 vsize=13980732 memory=1380 CPUtime=1.35 cores=0,2,4,6
/proc/20206/task/20207/stat : 20207 (java) R 20204 20204 15523 0 -1 4202560 8724 0 0 0 132 3 0 0 20 0 15 0 10705056 14316269568 19163 18446744073709551615 4194304 4196468 140725622787136 139769425272072 139769061214645 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20208] ppid=20204 vsize=13980732 memory=75792 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20208/stat : 20208 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705056 14316269568 19163 18446744073709551615 4194304 4196468 140725622787136 139769377999248 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20209] ppid=20204 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 19163 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 19163 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 19163 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 19163 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20213] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13980732 memory=7161661730605524048 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13980732 memory=3472592183261933599 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13980732 memory=4122678266767366833 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20213] ppid=20204 vsize=13980732 memory=4049052970027004209 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20213/stat : 20213 (java) S 20204 20204 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768538162464 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20214] ppid=20204 vsize=13980732 memory=8242264893896616293 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20214/stat : 20214 (java) S 20204 20204 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10705059 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768537110128 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20215] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20215/stat : 20215 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768536058448 139769421051803 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20216] ppid=20204 vsize=13980732 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/20206/task/20216/stat : 20216 (java) S 20204 20204 15523 0 -1 1077944384 4816 0 0 0 83 1 0 0 20 0 15 0 10705061 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768535005296 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20217] ppid=20204 vsize=13980732 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/20206/task/20217/stat : 20217 (java) S 20204 20204 15523 0 -1 1077944384 4168 0 0 0 78 0 0 0 20 0 15 0 10705061 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768533952496 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20218] ppid=20204 vsize=13980732 memory=7151822038026764388 CPUtime=0.39 cores=0,2,4,6
/proc/20206/task/20218/stat : 20218 (java) S 20204 20204 15523 0 -1 1077944384 2492 0 0 0 38 1 0 0 20 0 15 0 10705061 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768532900208 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20219] ppid=20204 vsize=13980732 memory=4640185807860158544 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20219/stat : 20219 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768531847648 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20220] ppid=20204 vsize=13980732 memory=-3106803524053856335 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20220/stat : 20220 (java) S 20204 20204 15523 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 10705065 14316269568 22372 18446744073709551615 4194304 4196468 140725622787136 139768530795440 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90868 KiB
[startup+8.80075 s]
/proc/loadavg: 1.78 1.73 1.66 3/211 20221
/proc/meminfo: memFree=30664800/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
[pid=20206] ppid=20204 vsize=13980732 memory=89492 CPUtime=10.71 cores=0,2,4,6
/proc/20206/stat : 20206 (java) S 20204 20204 15523 0 -1 1077944320 22877 0 0 0 1064 7 0 0 20 0 15 0 10705055 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 140725622769680 139769421033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
/proc/20206/statm: 3495183 22373 3197 1 0 3483476 0
[pid=20206/tid=20207] ppid=20204 vsize=13980732 memory=78 CPUtime=8.65 cores=0,2,4,6
/proc/20206/task/20207/stat : 20207 (java) R 20204 20204 15523 0 -1 4202560 9463 0 0 0 862 3 0 0 20 0 15 0 10705056 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139769425269728 139769061077992 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20208] ppid=20204 vsize=13980732 memory=39 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20208/stat : 20208 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705056 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139769377999248 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20209] ppid=20204 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13980732 memory=84 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13980732 memory=78 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20213] ppid=20204 vsize=13980732 memory=39 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20213/stat : 20213 (java) S 20204 20204 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768538162464 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20214] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20214/stat : 20214 (java) S 20204 20204 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10705059 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768537110128 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20215] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20215/stat : 20215 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768536058448 139769421051803 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20216] ppid=20204 vsize=13980732 memory=1380 CPUtime=0.85 cores=0,2,4,6
/proc/20206/task/20216/stat : 20216 (java) S 20204 20204 15523 0 -1 1077944384 4909 0 0 0 84 1 0 0 20 0 15 0 10705061 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768535005296 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20217] ppid=20204 vsize=13980732 memory=87440 CPUtime=0.78 cores=0,2,4,6
/proc/20206/task/20217/stat : 20217 (java) S 20204 20204 15523 0 -1 1077944384 4168 0 0 0 78 0 0 0 20 0 15 0 10705061 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768533952496 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20218] ppid=20204 vsize=13980732 memory=7306621343611511888 CPUtime=0.39 cores=0,2,4,6
/proc/20206/task/20218/stat : 20218 (java) S 20204 20204 15523 0 -1 1077944384 2492 0 0 0 38 1 0 0 20 0 15 0 10705061 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768532900208 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20219] ppid=20204 vsize=13980732 memory=6370718141553468264 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20219/stat : 20219 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768531847648 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20220] ppid=20204 vsize=13980732 memory=7668906052839500140 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20220/stat : 20220 (java) S 20204 20204 15523 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 10705065 14316269568 22373 18446744073709551615 4194304 4196468 140725622787136 139768530795440 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
Current children cumulated CPU time: 10.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90872 KiB
[startup+9.60075 s]
/proc/loadavg: 1.78 1.73 1.66 3/211 20221
/proc/meminfo: memFree=30664852/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
[pid=20206] ppid=20204 vsize=13980732 memory=89532 CPUtime=11.54 cores=0,2,4,6
/proc/20206/stat : 20206 (java) S 20204 20204 15523 0 -1 1077944320 24019 0 0 0 1147 7 0 0 20 0 15 0 10705055 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 140725622769680 139769421033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
/proc/20206/statm: 3495183 22383 3198 1 0 3483476 0
[pid=20206/tid=20207] ppid=20204 vsize=13980732 memory=87412 CPUtime=9.45 cores=0,2,4,6
/proc/20206/task/20207/stat : 20207 (java) R 20204 20204 15523 0 -1 4202560 9612 0 0 0 942 3 0 0 20 0 15 0 10705056 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139769425269640 139769061519309 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20208] ppid=20204 vsize=13980732 memory=5 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20208/stat : 20208 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705056 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139769377999248 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20209] ppid=20204 vsize=13980732 memory=13 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20213] ppid=20204 vsize=13980732 memory=85336 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20213/stat : 20213 (java) S 20204 20204 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768538162464 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20214] ppid=20204 vsize=13980732 memory=8259761640030508194 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20214/stat : 20214 (java) S 20204 20204 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10705059 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768537110128 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20215] ppid=20204 vsize=13980732 memory=-7595718148000617580 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20215/stat : 20215 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768536058448 139769421051803 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20216] ppid=20204 vsize=13980732 memory=-7595754389018307734 CPUtime=0.85 cores=0,2,4,6
/proc/20206/task/20216/stat : 20216 (java) S 20204 20204 15523 0 -1 1077944384 5142 0 0 0 84 1 0 0 20 0 15 0 10705061 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768535005296 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20217] ppid=20204 vsize=13980732 memory=1380 CPUtime=0.81 cores=0,2,4,6
/proc/20206/task/20217/stat : 20217 (java) S 20204 20204 15523 0 -1 1077944384 4924 0 0 0 81 0 0 0 20 0 15 0 10705061 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768533952496 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20218] ppid=20204 vsize=13980732 memory=89492 CPUtime=0.39 cores=0,2,4,6
/proc/20206/task/20218/stat : 20218 (java) S 20204 20204 15523 0 -1 1077944384 2494 0 0 0 38 1 0 0 20 0 15 0 10705061 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768532900208 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20219] ppid=20204 vsize=13980732 memory=6395206304949 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20219/stat : 20219 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768531847648 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20220] ppid=20204 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20220/stat : 20220 (java) S 20204 20204 15523 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 10705065 14316269568 22383 18446744073709551615 4194304 4196468 140725622787136 139768530795440 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
Current children cumulated CPU time: 11.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90912 KiB
[startup+9.80076 s]
/proc/loadavg: 1.78 1.73 1.66 3/211 20221
/proc/meminfo: memFree=30664852/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
[pid=20206] ppid=20204 vsize=13980732 memory=91580 CPUtime=11.74 cores=0,2,4,6
/proc/20206/stat : 20206 (java) S 20204 20204 15523 0 -1 1077944320 24021 0 0 0 1167 7 0 0 20 0 15 0 10705055 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 140725622769680 139769421033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
/proc/20206/statm: 3495183 22895 3198 1 0 3483476 0
[pid=20206/tid=20207] ppid=20204 vsize=13980732 memory=281098765051520 CPUtime=9.65 cores=0,2,4,6
/proc/20206/task/20207/stat : 20207 (java) R 20204 20204 15523 0 -1 4202560 9614 0 0 0 962 3 0 0 20 0 15 0 10705056 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139769425269640 139769061079132 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20208] ppid=20204 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20208/stat : 20208 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705056 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139769377999248 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20209] ppid=20204 vsize=13980732 memory=105 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20209/stat : 20209 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139769376946448 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20210] ppid=20204 vsize=13980732 memory=20 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20210/stat : 20210 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139769019558544 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20211] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20211/stat : 20211 (java) S 20204 20204 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10705057 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139769018505744 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20212] ppid=20204 vsize=13980732 memory=365 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20212/stat : 20212 (java) S 20204 20204 15523 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768539216496 139769421044354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20213] ppid=20204 vsize=13980732 memory=67 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20213/stat : 20213 (java) S 20204 20204 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10705058 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768538162464 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20214] ppid=20204 vsize=13980732 memory=51 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20214/stat : 20214 (java) S 20204 20204 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10705059 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768537110128 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20215] ppid=20204 vsize=13980732 memory=148 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20215/stat : 20215 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768536058448 139769421051803 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20216] ppid=20204 vsize=13980732 memory=47 CPUtime=0.85 cores=0,2,4,6
/proc/20206/task/20216/stat : 20216 (java) S 20204 20204 15523 0 -1 1077944384 5142 0 0 0 84 1 0 0 20 0 15 0 10705061 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768535005296 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20217] ppid=20204 vsize=13980732 memory=53 CPUtime=0.81 cores=0,2,4,6
/proc/20206/task/20217/stat : 20217 (java) S 20204 20204 15523 0 -1 1077944384 4924 0 0 0 81 0 0 0 20 0 15 0 10705061 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768533952496 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20218] ppid=20204 vsize=13980732 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/20206/task/20218/stat : 20218 (java) S 20204 20204 15523 0 -1 1077944384 2494 0 0 0 38 1 0 0 20 0 15 0 10705061 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768532900208 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20219] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20219/stat : 20219 (java) S 20204 20204 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10705061 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768531847648 139769421043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
[pid=20206/tid=20220] ppid=20204 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20206/task/20220/stat : 20220 (java) S 20204 20204 15523 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 10705065 14316269568 22895 18446744073709551615 4194304 4196468 140725622787136 139768530795440 139769421044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140725622792626 140725622792802 140725622792802 140725622796239 0
Current children cumulated CPU time: 11.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 92960 KiB
[startup+9.90073 s]
/proc/loadavg: 1.78 1.73 1.66 3/211 20221
/proc/meminfo: memFree=30664852/32770624 swapFree=67108860/67108860
[pid=20204] ppid=20201 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20204/stat : 20204 (xcsp3-exec) S 20201 20204 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 10705047 9740288 345 18446744073709551615 4194304 5098028 140734665332944 140734665331048 139940266844796 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 21266432 140734665335161 140734665335366 140734665335366 140734665338859 0
/proc/20204/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 0
Real time (s): 9.90172
CPU time (s): 11.8538
CPU user time (s): 11.7735
CPU system time (s): 0.080376
CPU usage (%): 119.715
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 92960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7735
system time used= 0.080376
maximum resident set size= 91940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2109
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 20204
# total CPU time (s): 11.8538
# total CPU user time (s): 11.7735
# total CPU system time (s): 0.080376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081357 second user time and 0.12911 second system time
The end