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 (15413 MiB free)
memory of node 1: 16384 MiB (14816 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269808-1502788484/watcher-4269808-1502788484 -o /tmp/evaluation-result-4269808-1502788484/solver-4269808-1502788484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1386634158 HOME/instance-4269808-1502788484.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17256, runsolver pid=17253
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.05 3/210 17263
/proc/meminfo: memFree=30950064/32770624 swapFree=67108764/67108860
[pid=17256] ppid=17253 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (xcsp3-exec) S 17253 17256 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 126354927 9740288 344 18446744073709551615 4194304 5098028 140733681261632 140733681259736 140658713965180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38158336 140733681262968 140733681263173 140733681263173 140733681266667 0
/proc/17256/statm: 2378 344 289 221 0 87 0
[pid=17258] ppid=17256 vsize=13441356 memory=15688 CPUtime=0.01 cores=0,2,4,6
/proc/17258/stat : 17258 (java) S 17256 17256 4674 0 -1 1077944320 3720 0 0 0 1 0 0 0 20 0 7 0 126354936 13763948544 3922 18446744073709551615 4194304 4196468 140734692149024 140734692131568 140494034702071 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
/proc/17258/statm: 3360339 3922 2003 1 0 3349836 0
[pid=17258/tid=17259] ppid=17256 vsize=13441356 memory=-6871798056557643345 CPUtime=0.01 cores=0,2,4,6
/proc/17258/task/17259/stat : 17259 (java) R 17256 17256 4674 0 -1 4202560 2510 0 0 0 1 0 0 0 20 0 7 0 126354936 13763948544 3988 18446744073709551615 4194304 4196468 140734692149024 140494038944528 140494016095805 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17260] ppid=17256 vsize=13441356 memory=735272052430568040 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17260/stat : 17260 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 126354937 13763948544 3988 18446744073709551615 4194304 4196468 140734692149024 140493954116496 140494034712277 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17261] ppid=17256 vsize=13441356 memory=139867309373056 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17261/stat : 17261 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 126354937 13763948544 3988 18446744073709551615 4194304 4196468 140734692149024 140493953063696 140494034712277 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17262] ppid=17256 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17262/stat : 17262 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 126354937 13763948544 3988 18446744073709551615 4194304 4196468 140734692149024 140493952011408 140494034712277 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17263] ppid=17256 vsize=13441356 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17263/stat : 17263 (java) S 17256 17256 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 126354937 13763948544 3988 18446744073709551615 4194304 4196468 140734692149024 140493631515664 140494034712277 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17264] ppid=17256 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17264/stat : 17264 (java) S 17256 17256 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 126354938 13763948544 3988 18446744073709551615 4194304 4196468 140734692149024 140493513250928 140494034713218 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17064 KiB
[startup+0.210371 s]*
/proc/loadavg: 2.00 2.01 2.05 3/219 17272
/proc/meminfo: memFree=30945388/32770624 swapFree=67108764/67108860
[pid=17256] ppid=17253 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (xcsp3-exec) S 17253 17256 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 126354927 9740288 344 18446744073709551615 4194304 5098028 140733681261632 140733681259736 140658713965180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38158336 140733681262968 140733681263173 140733681263173 140733681266667 0
/proc/17256/statm: 2378 344 289 221 0 87 0
[pid=17258] ppid=17256 vsize=13974352 memory=24860 CPUtime=0.08 cores=0,2,4,6
/proc/17258/stat : 17258 (java) S 17256 17256 4674 0 -1 1077944320 5130 0 0 0 7 1 0 0 20 0 15 0 126354936 14309736448 6215 18446744073709551615 4194304 4196468 140734692149024 140734692131568 140494034702071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
/proc/17258/statm: 3493588 6215 2732 1 0 3482964 0
[pid=17258/tid=17259] ppid=17256 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/17258/task/17259/stat : 17259 (java) R 17256 17256 4674 0 -1 4202560 3294 0 0 0 5 1 0 0 20 0 15 0 126354936 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140494038935312 140494016976928 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17260] ppid=17256 vsize=13974352 memory=12630 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17260/stat : 17260 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493954116496 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17261] ppid=17256 vsize=13974352 memory=288370243461084800 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17261/stat : 17261 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493953063696 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17262] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17262/stat : 17262 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493952011408 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17263] ppid=17256 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17263/stat : 17263 (java) S 17256 17256 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126354937 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493631515664 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17264] ppid=17256 vsize=13974352 memory=139867309373056 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17264/stat : 17264 (java) S 17256 17256 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126354938 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493513250928 140494034713218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17265] ppid=17256 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17265/stat : 17265 (java) S 17256 17256 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126354939 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493512196896 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17266] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17266/stat : 17266 (java) S 17256 17256 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126354939 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493511144560 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17267] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17267/stat : 17267 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493510092880 140494034720667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17268] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17268/stat : 17268 (java) S 17256 17256 4674 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 126354941 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493509040752 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17269] ppid=17256 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17269/stat : 17269 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493507987952 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17270] ppid=17256 vsize=13974352 memory=139867309373056 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17270/stat : 17270 (java) S 17256 17256 4674 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 126354941 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493506935664 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17271] ppid=17256 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17271/stat : 17271 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493505883104 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17272] ppid=17256 vsize=13974352 memory=139867309373056 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17272/stat : 17272 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354947 14309736448 6727 18446744073709551615 4194304 4196468 140734692149024 140493504829872 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26236 KiB
[startup+0.3115 s]*
/proc/loadavg: 2.00 2.01 2.05 3/219 17272
/proc/meminfo: memFree=30929328/32770624 swapFree=67108764/67108860
[pid=17256] ppid=17253 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (xcsp3-exec) S 17253 17256 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 126354927 9740288 344 18446744073709551615 4194304 5098028 140733681261632 140733681259736 140658713965180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38158336 140733681262968 140733681263173 140733681263173 140733681266667 0
/proc/17256/statm: 2378 344 289 221 0 87 0
[pid=17258] ppid=17256 vsize=13974352 memory=37136 CPUtime=0.26 cores=0,2,4,6
/proc/17258/stat : 17258 (java) S 17256 17256 4674 0 -1 1077944320 8856 0 0 0 23 3 0 0 20 0 15 0 126354936 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140734692131568 140494034702071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
/proc/17258/statm: 3493588 9284 2989 1 0 3482964 0
[pid=17258/tid=17259] ppid=17256 vsize=13974352 memory=4278483708103473607 CPUtime=0.16 cores=0,2,4,6
/proc/17258/task/17259/stat : 17259 (java) R 17256 17256 4674 0 -1 4202560 6073 0 0 0 14 2 0 0 20 0 15 0 126354936 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140494038935568 140494034714006 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17260] ppid=17256 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17260/stat : 17260 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493954116496 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17261] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17261/stat : 17261 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493953063696 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17262] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17262/stat : 17262 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493952011408 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17263] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17263/stat : 17263 (java) S 17256 17256 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126354937 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493631515664 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17264] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17264/stat : 17264 (java) S 17256 17256 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126354938 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493513250928 140494034713218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17265] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17265/stat : 17265 (java) S 17256 17256 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126354939 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493512196896 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17266] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17266/stat : 17266 (java) S 17256 17256 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126354939 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493511144560 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17267] ppid=17256 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17267/stat : 17267 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493510092880 140494034720667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17268] ppid=17256 vsize=13974352 memory=139867153795520 CPUtime=0.01 cores=0,2,4,6
/proc/17258/task/17268/stat : 17268 (java) S 17256 17256 4674 0 -1 1077944384 560 0 0 0 1 0 0 0 20 0 15 0 126354941 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493509040752 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17269] ppid=17256 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17258/task/17269/stat : 17269 (java) S 17256 17256 4674 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 126354941 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493507987952 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17270] ppid=17256 vsize=13974352 memory=139867309373056 CPUtime=0.05 cores=0,2,4,6
/proc/17258/task/17270/stat : 17270 (java) R 17256 17256 4674 0 -1 4202560 717 0 0 0 5 0 0 0 20 0 15 0 126354941 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493506935664 140494034714006 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17271] ppid=17256 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17271/stat : 17271 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493505883104 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17272] ppid=17256 vsize=13974352 memory=139867309373056 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17272/stat : 17272 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354947 14309736448 9284 18446744073709551615 4194304 4196468 140734692149024 140493504829872 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38512 KiB
[startup+0.700813 s]
/proc/loadavg: 2.00 2.01 2.05 5/219 17272
/proc/meminfo: memFree=30909228/32770624 swapFree=67108764/67108860
[pid=17256] ppid=17253 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (xcsp3-exec) S 17253 17256 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 126354927 9740288 344 18446744073709551615 4194304 5098028 140733681261632 140733681259736 140658713965180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38158336 140733681262968 140733681263173 140733681263173 140733681266667 0
/proc/17256/statm: 2378 344 289 221 0 87 0
[pid=17258] ppid=17256 vsize=13978684 memory=79856 CPUtime=1.3 cores=0,2,4,6
/proc/17258/stat : 17258 (java) S 17256 17256 4674 0 -1 1077944320 13156 0 0 0 124 6 0 0 20 0 15 0 126354936 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140734692131568 140494034702071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
/proc/17258/statm: 3494671 19964 3147 1 0 3482964 0
[pid=17258/tid=17259] ppid=17256 vsize=13978684 memory=4081 CPUtime=0.54 cores=0,2,4,6
/proc/17258/task/17259/stat : 17259 (java) R 17256 17256 4674 0 -1 4202560 7852 0 0 0 50 4 0 0 20 0 15 0 126354936 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140494038938320 140494018782558 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17260] ppid=17256 vsize=13978684 memory=7 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17260/stat : 17260 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493954116496 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17261] ppid=17256 vsize=13978684 memory=139867309371937 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17261/stat : 17261 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493953063696 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17262] ppid=17256 vsize=13978684 memory=139867153629568 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17262/stat : 17262 (java) S 17256 17256 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126354937 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493952011408 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17263] ppid=17256 vsize=13978684 memory=139869904962125 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17263/stat : 17263 (java) S 17256 17256 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126354937 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493631515664 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17264] ppid=17256 vsize=13978684 memory=4572 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17264/stat : 17264 (java) S 17256 17256 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 126354938 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493513250928 140494034713218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17265] ppid=17256 vsize=13978684 memory=7302135314614015849 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17265/stat : 17265 (java) S 17256 17256 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126354939 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493512196896 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17266] ppid=17256 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17266/stat : 17266 (java) S 17256 17256 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126354939 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493511144560 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17267] ppid=17256 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17267/stat : 17267 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493510092880 140494034720667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17268] ppid=17256 vsize=13978684 memory=6655300316396806240 CPUtime=0.24 cores=0,2,4,6
/proc/17258/task/17268/stat : 17268 (java) R 17256 17256 4674 0 -1 4202560 1614 0 0 0 24 0 0 0 20 0 15 0 126354941 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493509031136 140494012296816 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17269] ppid=17256 vsize=13978684 memory=6944656575208382560 CPUtime=0.23 cores=0,2,4,6
/proc/17258/task/17269/stat : 17269 (java) S 17256 17256 4674 0 -1 1077944384 927 0 0 0 23 0 0 0 20 0 15 0 126354941 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493507987952 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17270] ppid=17256 vsize=13978684 memory=6943526294502006880 CPUtime=0.25 cores=0,2,4,6
/proc/17258/task/17270/stat : 17270 (java) R 17256 17256 4674 0 -1 4202560 1456 0 0 0 25 0 0 0 20 0 15 0 126354941 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493506935664 140494018782558 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17271] ppid=17256 vsize=13978684 memory=279734307281760 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17271/stat : 17271 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493505883104 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17272] ppid=17256 vsize=13978684 memory=279734307135432 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17272/stat : 17272 (java) S 17256 17256 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126354947 14314172416 19964 18446744073709551615 4194304 4196468 140734692149024 140493504829872 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 81232 KiB
[startup+1.50125 s]
/proc/loadavg: 2.00 2.01 2.05 8/219 17272
/proc/meminfo: memFree=30765444/32770624 swapFree=67108764/67108860
[pid=17256] ppid=17253 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (xcsp3-exec) S 17253 17256 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 126354927 9740288 344 18446744073709551615 4194304 5098028 140733681261632 140733681259736 140658713965180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38158336 140733681262968 140733681263173 140733681263173 140733681266667 0
/proc/17256/statm: 2378 344 289 221 0 87 0
[pid=17258] ppid=17256 vsize=13980732 memory=232660 CPUtime=3.87 cores=0,2,4,6
/proc/17258/stat : 17258 (java) S 17256 17256 4674 0 -1 1077944320 18212 0 0 0 375 12 0 0 20 0 15 0 126354936 14316269568 58165 18446744073709551615 4194304 4196468 140734692149024 140734692131568 140494034702071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
/proc/17258/statm: 3495183 58165 3206 1 0 3483476 0
[pid=17258/tid=17259] ppid=17256 vsize=13980732 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/17258/task/17259/stat : 17259 (java) R 17256 17256 4674 0 -1 4202560 8122 0 0 0 121 5 0 0 20 0 15 0 126354936 14316269568 58165 18446744073709551615 4194304 4196468 140734692149024 140494038939248 140493631657924 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17260] ppid=17256 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17258/task/17260/stat : 17260 (java) S 17256 17256 4674 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 15 0 126354937 14316269568 58165 18446744073709551615 4194304 4196468 140734692149024 140493954116496 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17261] ppid=17256 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17258/task/17261/stat : 17261 (java) S 17256 17256 4674 0 -1 1077944384 96 0 0 0 3 0 0 0 20 0 15 0 126354937 14316269568 58165 18446744073709551615 4194304 4196468 140734692149024 140493953063696 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17262] ppid=17256 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17258/task/17262/stat : 17262 (java) S 17256 17256 4674 0 -1 1077944384 16 0 0 0 2 0 0 0 20 0 15 0 126354937 14316269568 58165 18446744073709551615 4194304 4196468 140734692149024 140493952011408 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17263] ppid=17256 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17258/task/17263/stat : 17263 (java) S 17256 17256 4674 0 -1 1077944384 101 0 0 0 3 0 0 0 20 0 15 0 126354937 14316269568 58165 18446744073709551615 4194304 4196468 140734692149024 140493631515664 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17264] ppid=17256 vsize=13980732 memory=5788366128452758121 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17264/stat : 17264 (java) S 17256 17256 4674 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 126354938 14316269568 58165 18446744073709551615 4194304 4196468 140734692149024 140493513250928 140494034713218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17265] ppid=17256 vsize=13980732 memory=14436091389 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/17258/task/17266/stat : 17266 (java) S 17256 17256 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 126354939 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493511144576 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17267] ppid=17256 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17267/stat : 17267 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493510092880 140494034720667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17268] ppid=17256 vsize=13980732 memory=2293288 CPUtime=3.21 cores=0,2,4,6
/proc/17258/task/17268/stat : 17268 (java) S 17256 17256 4674 0 -1 1077944384 14960 0 0 0 319 2 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493509040752 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17269] ppid=17256 vsize=13980732 memory=1376 CPUtime=3.18 cores=0,2,4,6
/proc/17258/task/17269/stat : 17269 (java) S 17256 17256 4674 0 -1 1077944384 14614 0 0 0 315 3 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493507987952 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17270] ppid=17256 vsize=13980732 memory=1376 CPUtime=0.76 cores=0,2,4,6
/proc/17258/task/17270/stat : 17270 (java) S 17256 17256 4674 0 -1 1077944384 10371 0 0 0 73 3 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493506935664 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17271] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17271/stat : 17271 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493505883104 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17272] ppid=17256 vsize=13980732 memory=1376 CPUtime=1.43 cores=0,2,4,6
/proc/17258/task/17272/stat : 17272 (java) S 17256 17256 4674 0 -1 1077944384 2508 0 0 0 70 73 0 0 20 0 15 0 126354947 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493504829872 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
Current children cumulated CPU time: 2391.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2294664 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/218 17750
/proc/meminfo: memFree=27113888/32770624 swapFree=67108764/67108860
[pid=17256] ppid=17253 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (xcsp3-exec) S 17253 17256 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 126354927 9740288 344 18446744073709551615 4194304 5098028 140733681261632 140733681259736 140658713965180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38158336 140733681262968 140733681263173 140733681263173 140733681266667 0
/proc/17256/statm: 2378 344 289 221 0 87 0
[pid=17258] ppid=17256 vsize=13980732 memory=2293288 CPUtime=2451.65 cores=0,2,4,6
/proc/17258/stat : 17258 (java) S 17256 17256 4674 0 -1 1077944320 87917 0 0 0 245033 132 0 0 20 0 15 0 126354936 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140734692131568 140494034702071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
/proc/17258/statm: 3495183 573322 3248 1 0 3483476 0
[pid=17258/tid=17259] ppid=17256 vsize=13980732 memory=2293288 CPUtime=2441.85 cores=0,2,4,6
/proc/17258/task/17259/stat : 17259 (java) R 17256 17256 4674 0 -1 4202560 37176 0 0 0 244149 36 0 0 20 0 15 0 126354936 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140494038939400 140493639115469 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17260] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.28 cores=0,2,4,6
/proc/17258/task/17260/stat : 17260 (java) S 17256 17256 4674 0 -1 1077944384 1323 0 0 0 21 7 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493954116496 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17261] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.25 cores=0,2,4,6
/proc/17258/task/17261/stat : 17261 (java) S 17256 17256 4674 0 -1 1077944384 1090 0 0 0 19 6 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493953063696 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17262] ppid=17256 vsize=13980732 memory=1376 CPUtime=0.25 cores=0,2,4,6
/proc/17258/task/17262/stat : 17262 (java) S 17256 17256 4674 0 -1 1077944384 822 0 0 0 19 6 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493952011408 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17263] ppid=17256 vsize=13980732 memory=1376 CPUtime=0.24 cores=0,2,4,6
/proc/17258/task/17263/stat : 17263 (java) S 17256 17256 4674 0 -1 1077944384 678 0 0 0 19 5 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493631515664 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17264] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.07 cores=0,2,4,6
/proc/17258/task/17264/stat : 17264 (java) S 17256 17256 4674 0 -1 1077944384 3049 0 0 0 3 4 0 0 20 0 15 0 126354938 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493513250928 140494034713218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17265] ppid=17256 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17265/stat : 17265 (java) S 17256 17256 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126354939 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493512196960 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17266] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17266/stat : 17266 (java) S 17256 17256 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 126354939 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493511144576 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17267] ppid=17256 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17267/stat : 17267 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493510092880 140494034720667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17268] ppid=17256 vsize=13980732 memory=4572 CPUtime=3.21 cores=0,2,4,6
/proc/17258/task/17268/stat : 17268 (java) S 17256 17256 4674 0 -1 1077944384 14962 0 0 0 319 2 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493509040752 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17269] ppid=17256 vsize=13980732 memory=1444 CPUtime=3.18 cores=0,2,4,6
/proc/17258/task/17269/stat : 17269 (java) S 17256 17256 4674 0 -1 1077944384 14617 0 0 0 315 3 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493507987952 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17270] ppid=17256 vsize=13980732 memory=1376 CPUtime=0.76 cores=0,2,4,6
/proc/17258/task/17270/stat : 17270 (java) S 17256 17256 4674 0 -1 1077944384 10373 0 0 0 73 3 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493506935664 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17271] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17271/stat : 17271 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493505883104 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17272] ppid=17256 vsize=13980732 memory=1376 CPUtime=1.46 cores=0,2,4,6
/proc/17258/task/17272/stat : 17272 (java) S 17256 17256 4674 0 -1 1077944384 2530 0 0 0 71 75 0 0 20 0 15 0 126354947 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493504829872 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
Current children cumulated CPU time: 2451.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2294664 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/215 17752
/proc/meminfo: memFree=27118344/32770624 swapFree=67108764/67108860
[pid=17256] ppid=17253 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (xcsp3-exec) S 17253 17256 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 126354927 9740288 344 18446744073709551615 4194304 5098028 140733681261632 140733681259736 140658713965180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38158336 140733681262968 140733681263173 140733681263173 140733681266667 0
/proc/17256/statm: 2378 344 289 221 0 87 0
[pid=17258] ppid=17256 vsize=13980732 memory=2293288 CPUtime=2511.69 cores=0,2,4,6
/proc/17258/stat : 17258 (java) S 17256 17256 4674 0 -1 1077944320 88602 0 0 0 251035 134 0 0 20 0 15 0 126354936 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140734692131568 140494034702071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
/proc/17258/statm: 3495183 573322 3248 1 0 3483476 0
[pid=17258/tid=17259] ppid=17256 vsize=13980732 memory=1376 CPUtime=2501.85 cores=0,2,4,6
/proc/17258/task/17259/stat : 17259 (java) R 17256 17256 4674 0 -1 4202560 37826 0 0 0 250149 36 0 0 20 0 15 0 126354936 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140494038939400 140493638943683 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17260] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.28 cores=0,2,4,6
/proc/17258/task/17260/stat : 17260 (java) S 17256 17256 4674 0 -1 1077944384 1323 0 0 0 21 7 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493954116496 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17261] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.25 cores=0,2,4,6
/proc/17258/task/17261/stat : 17261 (java) S 17256 17256 4674 0 -1 1077944384 1090 0 0 0 19 6 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493953063696 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17262] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.25 cores=0,2,4,6
/proc/17258/task/17262/stat : 17262 (java) S 17256 17256 4674 0 -1 1077944384 822 0 0 0 19 6 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493952011408 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17263] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.24 cores=0,2,4,6
/proc/17258/task/17263/stat : 17263 (java) S 17256 17256 4674 0 -1 1077944384 678 0 0 0 19 5 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493631515664 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17264] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.07 cores=0,2,4,6
/proc/17258/task/17264/stat : 17264 (java) S 17256 17256 4674 0 -1 1077944384 3055 0 0 0 3 4 0 0 20 0 15 0 126354938 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493513250928 140494034713218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17265] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17265/stat : 17265 (java) S 17256 17256 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126354939 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493512196960 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17266] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17266/stat : 17266 (java) S 17256 17256 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 126354939 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493511144576 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17267] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17267/stat : 17267 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493510092880 140494034720667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17268] ppid=17256 vsize=13980732 memory=2293288 CPUtime=3.21 cores=0,2,4,6
/proc/17258/task/17268/stat : 17268 (java) S 17256 17256 4674 0 -1 1077944384 14965 0 0 0 319 2 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493509040752 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17269] ppid=17256 vsize=13980732 memory=148305220765408 CPUtime=3.18 cores=0,2,4,6
/proc/17258/task/17269/stat : 17269 (java) S 17256 17256 4674 0 -1 1077944384 14619 0 0 0 315 3 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493507987952 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17270] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.76 cores=0,2,4,6
/proc/17258/task/17270/stat : 17270 (java) S 17256 17256 4674 0 -1 1077944384 10375 0 0 0 73 3 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493506935664 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17271] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17271/stat : 17271 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493505883104 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17272] ppid=17256 vsize=13980732 memory=1376 CPUtime=1.5 cores=0,2,4,6
/proc/17258/task/17272/stat : 17272 (java) S 17256 17256 4674 0 -1 1077944384 2552 0 0 0 73 77 0 0 20 0 15 0 126354947 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493504829872 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
Current children cumulated CPU time: 2511.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2294664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.6 s]
/proc/loadavg: 2.05 2.04 2.05 3/216 17753
/proc/meminfo: memFree=27118348/32770624 swapFree=67108764/67108860
[pid=17256] ppid=17253 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (xcsp3-exec) S 17253 17256 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 126354927 9740288 344 18446744073709551615 4194304 5098028 140733681261632 140733681259736 140658713965180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38158336 140733681262968 140733681263173 140733681263173 140733681266667 0
/proc/17256/statm: 2378 344 289 221 0 87 0
[pid=17258] ppid=17256 vsize=13980732 memory=2293288 CPUtime=2520 cores=0,2,4,6
/proc/17258/stat : 17258 (java) S 17256 17256 4674 0 -1 1077944320 88782 0 0 0 251866 134 0 0 20 0 15 0 126354936 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140734692131568 140494034702071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
/proc/17258/statm: 3495183 573322 3248 1 0 3483476 0
[pid=17258/tid=17259] ppid=17256 vsize=13980732 memory=-8774313645642428999 CPUtime=2510.15 cores=0,2,4,6
/proc/17258/task/17259/stat : 17259 (java) R 17256 17256 4674 0 -1 4202560 37973 0 0 0 250979 36 0 0 20 0 15 0 126354936 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140494038939400 140493638943434 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17260] ppid=17256 vsize=13980732 memory=1376 CPUtime=0.28 cores=0,2,4,6
/proc/17258/task/17260/stat : 17260 (java) S 17256 17256 4674 0 -1 1077944384 1323 0 0 0 21 7 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493954116496 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17261] ppid=17256 vsize=13980732 memory=1376 CPUtime=0.25 cores=0,2,4,6
/proc/17258/task/17261/stat : 17261 (java) S 17256 17256 4674 0 -1 1077944384 1090 0 0 0 19 6 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493953063696 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17262] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.25 cores=0,2,4,6
/proc/17258/task/17262/stat : 17262 (java) S 17256 17256 4674 0 -1 1077944384 822 0 0 0 19 6 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493952011408 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17263] ppid=17256 vsize=13980732 memory=1376 CPUtime=0.24 cores=0,2,4,6
/proc/17258/task/17263/stat : 17263 (java) S 17256 17256 4674 0 -1 1077944384 678 0 0 0 19 5 0 0 20 0 15 0 126354937 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493631515664 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17264] ppid=17256 vsize=13980732 memory=2293288 CPUtime=0.07 cores=0,2,4,6
/proc/17258/task/17264/stat : 17264 (java) S 17256 17256 4674 0 -1 1077944384 3061 0 0 0 3 4 0 0 20 0 15 0 126354938 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493513250928 140494034713218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17265] ppid=17256 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17265/stat : 17265 (java) S 17256 17256 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126354939 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493512196960 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17266] ppid=17256 vsize=13980732 memory=3264 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17266/stat : 17266 (java) S 17256 17256 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 126354939 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493511144576 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17267] ppid=17256 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17267/stat : 17267 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493510092880 140494034720667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17268] ppid=17256 vsize=13980732 memory=3472468163381949200 CPUtime=3.21 cores=0,2,4,6
/proc/17258/task/17268/stat : 17268 (java) S 17256 17256 4674 0 -1 1077944384 14967 0 0 0 319 2 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493509040752 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17269] ppid=17256 vsize=13980732 memory=3472468163381790944 CPUtime=3.18 cores=0,2,4,6
/proc/17258/task/17269/stat : 17269 (java) S 17256 17256 4674 0 -1 1077944384 14622 0 0 0 315 3 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493507987952 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17270] ppid=17256 vsize=13980732 memory=3471342263475107696 CPUtime=0.76 cores=0,2,4,6
/proc/17258/task/17270/stat : 17270 (java) S 17256 17256 4674 0 -1 1077944384 10377 0 0 0 73 3 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493506935664 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17271] ppid=17256 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17258/task/17271/stat : 17271 (java) S 17256 17256 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126354941 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493505883104 140494034712277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
[pid=17258/tid=17272] ppid=17256 vsize=13980732 memory=1376 CPUtime=1.5 cores=0,2,4,6
/proc/17258/task/17272/stat : 17272 (java) S 17256 17256 4674 0 -1 1077944384 2572 0 0 0 73 77 0 0 20 0 15 0 126354947 14316269568 573322 18446744073709551615 4194304 4196468 140734692149024 140493504829872 140494034713218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16326656 140734692151729 140734692151905 140734692151905 140734692155343 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2294664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.61 s]
# the end of solver process 17256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001865 s
[startup+2510.62 s]
# the end of solver process 17258 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.67 s, system=1.35818 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2510.62
CPU time (s): 2520.02
CPU user time (s): 2518.67
CPU system time (s): 1.35818
CPU usage (%): 100.375
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2294664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.35818
maximum resident set size= 2293868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57974
involuntary context switches= 1656
# summary of solver processes directly reported to runsolver:
# pid: 17256,17258
# total CPU time (s): 2520.02
# total CPU user time (s): 2518.67
# total CPU system time (s): 1.35818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7124 second user time and 24.8588 second system time
The end