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 (15073 MiB free)
memory of node 1: 16384 MiB (14675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283869-1503218084/watcher-4283869-1503218084 -o /tmp/evaluation-result-4283869-1503218084/solver-4283869-1503218084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28736 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 580116327 HOME/instance-4283869-1503218084.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=5196, runsolver pid=5193
[startup+0.101656 s]*
/proc/loadavg: 1.44 1.51 1.52 3/208 5206
/proc/meminfo: memFree=30454584/32770624 swapFree=67108860/67108860
[pid=5196] ppid=5193 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (xcsp3-exec) S 5193 5196 13977 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110149064 9740288 344 18446744073709551615 4194304 5098028 140722637380496 140722637378600 140710034412156 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 17141760 140722637382009 140722637382213 140722637382213 140722637385707 0
/proc/5196/statm: 2378 344 289 221 0 87 0
[pid=5198] ppid=5196 vsize=13574484 memory=18432 CPUtime=0.02 cores=0,2,4,6
/proc/5198/stat : 5198 (java) S 5196 5196 13977 0 -1 1077944320 3945 0 0 0 2 0 0 0 20 0 9 0 110149071 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140736626905056 140016930373367 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
/proc/5198/statm: 3393621 4608 2085 1 0 3383118 0
[pid=5198/tid=5199] ppid=5196 vsize=13574484 memory=-7524816175711288448 CPUtime=0.02 cores=0,2,4,6
/proc/5198/task/5199/stat : 5199 (java) R 5196 5196 13977 0 -1 4202560 2665 0 0 0 2 0 0 0 20 0 9 0 110149071 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140016934609128 140016554741760 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5200] ppid=5196 vsize=13574484 memory=-6623561123032097703 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5200/stat : 5200 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 110149072 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140016887339408 140016930383573 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5201] ppid=5196 vsize=13574484 memory=140476949382784 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5201/stat : 5201 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 110149072 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140016886286608 140016930383573 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5202] ppid=5196 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5202/stat : 5202 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 110149072 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140016885234320 140016930383573 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5203] ppid=5196 vsize=13574484 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5203/stat : 5203 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 110149072 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140016884181520 140016930383573 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5204] ppid=5196 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5204/stat : 5204 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 110149073 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140016476117616 140016930384514 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5205] ppid=5196 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5205/stat : 5205 (java) S 5196 5196 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 110149074 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140016475063584 140016930383573 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5206] ppid=5196 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5206/stat : 5206 (java) S 5196 5196 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 9 0 110149074 13900271616 4608 18446744073709551615 4194304 4196468 140736626922512 140016474011312 140016930383573 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19808 KiB
[startup+0.210094 s]*
/proc/loadavg: 1.44 1.51 1.52 5/214 5212
/proc/meminfo: memFree=30448144/32770624 swapFree=67108860/67108860
[pid=5196] ppid=5193 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (xcsp3-exec) S 5193 5196 13977 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110149064 9740288 344 18446744073709551615 4194304 5098028 140722637380496 140722637378600 140710034412156 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 17141760 140722637382009 140722637382213 140722637382213 140722637385707 0
/proc/5196/statm: 2378 344 289 221 0 87 0
[pid=5198] ppid=5196 vsize=13974352 memory=26816 CPUtime=0.1 cores=0,2,4,6
/proc/5198/stat : 5198 (java) S 5196 5196 13977 0 -1 1077944320 5110 0 0 0 9 1 0 0 20 0 15 0 110149071 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140736626905056 140016930373367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
/proc/5198/statm: 3493588 6704 2750 1 0 3482964 0
[pid=5198/tid=5199] ppid=5196 vsize=13974352 memory=-7524816175711288448 CPUtime=0.07 cores=0,2,4,6
/proc/5198/task/5199/stat : 5199 (java) R 5196 5196 13977 0 -1 4202560 3256 0 0 0 7 0 0 0 20 0 15 0 110149071 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016934602784 140016930394714 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5200] ppid=5196 vsize=13974352 memory=-6623561123032097703 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5200/stat : 5200 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149072 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016887339408 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5201] ppid=5196 vsize=13974352 memory=140476949382784 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5201/stat : 5201 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149072 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016886286608 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5202] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5202/stat : 5202 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110149072 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016885234320 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5203] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5203/stat : 5203 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110149072 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016884181520 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5204] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5204/stat : 5204 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110149073 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016476117616 140016930384514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5205] ppid=5196 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5205/stat : 5205 (java) S 5196 5196 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110149074 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016475063584 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5206] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5206/stat : 5206 (java) S 5196 5196 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 110149074 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016474011248 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5207] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5207/stat : 5207 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149076 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016472959568 140016930391963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5208] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5208/stat : 5208 (java) S 5196 5196 13977 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 110149076 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016471906416 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5209] ppid=5196 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5209/stat : 5209 (java) R 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149076 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016403605488 140016930384514 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5210] ppid=5196 vsize=13974352 memory=140476949382784 CPUtime=0.01 cores=0,2,4,6
/proc/5198/task/5210/stat : 5210 (java) S 5196 5196 13977 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 110149076 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016402553200 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5211] ppid=5196 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5211/stat : 5211 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149077 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016401500640 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5212] ppid=5196 vsize=13974352 memory=140476949382784 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5212/stat : 5212 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149083 14309736448 6704 18446744073709551615 4194304 4196468 140736626922512 140016400448432 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28192 KiB
[startup+0.310646 s]*
/proc/loadavg: 1.44 1.51 1.52 4/214 5212
/proc/meminfo: memFree=30436872/32770624 swapFree=67108860/67108860
[pid=5196] ppid=5193 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (xcsp3-exec) S 5193 5196 13977 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110149064 9740288 344 18446744073709551615 4194304 5098028 140722637380496 140722637378600 140710034412156 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 17141760 140722637382009 140722637382213 140722637382213 140722637385707 0
/proc/5196/statm: 2378 344 289 221 0 87 0
[pid=5198] ppid=5196 vsize=13974352 memory=37092 CPUtime=0.29 cores=0,2,4,6
/proc/5198/stat : 5198 (java) S 5196 5196 13977 0 -1 1077944320 8910 0 0 0 27 2 0 0 20 0 15 0 110149071 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140736626905056 140016930373367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
/proc/5198/statm: 3493588 9273 2973 1 0 3482964 0
[pid=5198/tid=5199] ppid=5196 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=0,2,4,6
/proc/5198/task/5199/stat : 5199 (java) R 5196 5196 13977 0 -1 4202560 6093 0 0 0 16 1 0 0 20 0 15 0 110149071 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016934604144 140016930395293 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5200] ppid=5196 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5200/stat : 5200 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149072 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016887339408 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5201] ppid=5196 vsize=13974352 memory=8760507720369494670 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5201/stat : 5201 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149072 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016886286608 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5202] ppid=5196 vsize=13974352 memory=-7241047639945213120 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5202/stat : 5202 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110149072 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016885234320 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5203] ppid=5196 vsize=13974352 memory=-4075877051373423744 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5203/stat : 5203 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110149072 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016884181520 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5204] ppid=5196 vsize=13974352 memory=140476949393377 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5204/stat : 5204 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110149073 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016476117616 140016930384514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5205] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5205/stat : 5205 (java) S 5196 5196 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110149074 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016475063584 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5206] ppid=5196 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5206/stat : 5206 (java) S 5196 5196 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 110149074 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016474011248 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5207] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5207/stat : 5207 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149076 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016472959568 140016930391963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5208] ppid=5196 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5198/task/5208/stat : 5208 (java) R 5196 5196 13977 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 110149076 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016471906416 140016930384514 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5209] ppid=5196 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5198/task/5209/stat : 5209 (java) R 5196 5196 13977 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 110149076 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016403605488 140016916388494 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5210] ppid=5196 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5198/task/5210/stat : 5210 (java) R 5196 5196 13977 0 -1 4202560 743 0 0 0 6 0 0 0 20 0 15 0 110149076 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016402553200 140016909507891 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5211] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5211/stat : 5211 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149077 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016401500640 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5212] ppid=5196 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5212/stat : 5212 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149083 14309736448 9273 18446744073709551615 4194304 4196468 140736626922512 140016400448432 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38468 KiB
[startup+0.700818 s]
/proc/loadavg: 1.44 1.51 1.52 5/214 5212
/proc/meminfo: memFree=30416716/32770624 swapFree=67108860/67108860
[pid=5196] ppid=5193 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (xcsp3-exec) S 5193 5196 13977 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110149064 9740288 344 18446744073709551615 4194304 5098028 140722637380496 140722637378600 140710034412156 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 17141760 140722637382009 140722637382213 140722637382213 140722637385707 0
/proc/5196/statm: 2378 344 289 221 0 87 0
[pid=5198] ppid=5196 vsize=13978684 memory=90976 CPUtime=1.38 cores=0,2,4,6
/proc/5198/stat : 5198 (java) S 5196 5196 13977 0 -1 1077944320 13360 0 0 0 135 3 0 0 20 0 15 0 110149071 14314172416 22678 18446744073709551615 4194304 4196468 140736626922512 140736626905056 140016930373367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
/proc/5198/statm: 3494671 22744 3165 1 0 3482964 0
[pid=5198/tid=5199] ppid=5196 vsize=13978684 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/5198/task/5199/stat : 5199 (java) R 5196 5196 13977 0 -1 4202560 7853 0 0 0 53 2 0 0 20 0 15 0 110149071 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016934609904 140016557882508 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5200] ppid=5196 vsize=13978684 memory=2 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5200/stat : 5200 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149072 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016887339408 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5201] ppid=5196 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5201/stat : 5201 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149072 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016886286608 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5202] ppid=5196 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5202/stat : 5202 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110149072 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016885234320 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5203] ppid=5196 vsize=13978684 memory=23 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5203/stat : 5203 (java) S 5196 5196 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110149072 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016884181520 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5204] ppid=5196 vsize=13978684 memory=3 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5204/stat : 5204 (java) S 5196 5196 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 110149073 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016476117616 140016930384514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5205] ppid=5196 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5205/stat : 5205 (java) S 5196 5196 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110149074 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016475063584 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5206] ppid=5196 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5206/stat : 5206 (java) S 5196 5196 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 110149074 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016474011248 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5207] ppid=5196 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5207/stat : 5207 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149076 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016472959568 140016930391963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5208] ppid=5196 vsize=13978684 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/5198/task/5208/stat : 5208 (java) R 5196 5196 13977 0 -1 4202560 1333 0 0 0 26 0 0 0 20 0 15 0 110149076 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016471896208 140016911074855 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5209] ppid=5196 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/5198/task/5209/stat : 5209 (java) R 5196 5196 13977 0 -1 4202560 1366 0 0 0 27 0 0 0 20 0 15 0 110149076 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016403593392 140016909611824 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5210] ppid=5196 vsize=13978684 memory=8315171486948655189 CPUtime=0.27 cores=0,2,4,6
/proc/5198/task/5210/stat : 5210 (java) S 5196 5196 13977 0 -1 1077944384 1537 0 0 0 27 0 0 0 20 0 15 0 110149076 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016402553200 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5211] ppid=5196 vsize=13978684 memory=17722 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5211/stat : 5211 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149077 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016401500640 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5212] ppid=5196 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5212/stat : 5212 (java) S 5196 5196 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110149083 14314172416 22744 18446744073709551615 4194304 4196468 140736626922512 140016400448432 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 92352 KiB
[startup+1.50132 s]
/proc/loadavg: 1.44 1.51 1.52 5/214 5212
/proc/meminfo: memFree=30322020/32770624 swapFree=67108860/67108860
[pid=5196] ppid=5193 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (xcsp3-exec) S 5193 5196 13977 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110149064 9740288 344 18446744073709551615 4194304 5098028 140722637380496 140722637378600 140710034412156 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 17141760 140722637382009 140722637382213 140722637382213 140722637385707 0
/proc/5196/statm: 2378 344 289 221 0 87 0
[pid=5198] ppid=5196 vsize=13980732 memory=199108 CPUtime=3.48 cores=0,2,4,6
/proc/5198/stat : 5198 (java) S 5196 5196 13977 0 -1 1077944320 20873 0 0 0 341 7 0 0 20 0 15 0 110149071 14316269568 49777 18446744073709551615 4194304 4196468 140736626922512 140736626905056 140016930373367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
/proc/5198/statm: 3495183 49777 3221 1 0 3483476 0
[pid=5198/tid=5199] ppid=5196 vsize=13980732 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/5198/task/5199/stat : 5199 (java) R 5196 5196 13977 0 -1 4202560 10045 0 0 0 129 4 0 0 20 0 15 0 110149071 14316269568 49777 18446744073709551615 4194304 4196468 140736626922512 140016934612072 140016560191915 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5200] ppid=5196 vsize=13980732 memory=8747226831578988619 CPUtime=0.01 cores=0,2,4,6
/proc/5198/task/5200/stat : 5200 (java) S 5196 5196 13977 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 15 0 110149072 14316269568 49777 18446744073709551615 4194304 4196468 140736626922512 140016887339408 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5201] ppid=5196 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5201/stat : 5201 (java) S 5196 5196 13977 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 110149072 14316269568 49777 18446744073709551615 4194304 4196468 140736626922512 140016886286608 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5202] ppid=5196 vsize=13980732 memory=8303054830060986464 CPUtime=0.01 cores=0,2,4,6
/proc/5198/task/5202/stat : 5202 (java) S 5196 5196 13977 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 110149072 14316269568 49777 18446744073709551615 4194304 4196468 140736626922512 140016885234320 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5203] ppid=5196 vsize=13980732 memory=-7966001967256141664 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
/proc/5198/task/5206/stat : 5206 (java) S 5196 5196 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 110149074 14316269568 1086533 18446744073709551615 4194304 4196468 140736626922512 140016474011264 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5207] ppid=5196 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5207/stat : 5207 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149076 14316269568 1086533 18446744073709551615 4194304 4196468 140736626922512 140016472959568 140016930391963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5208] ppid=5196 vsize=13980732 memory=1376 CPUtime=3.72 cores=0,2,4,6
/proc/5198/task/5208/stat : 5208 (java) S 5196 5196 13977 0 -1 1077944384 16285 0 0 0 370 2 0 0 20 0 15 0 110149076 14316269568 1086533 18446744073709551615 4194304 4196468 140736626922512 140016471906416 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5209] ppid=5196 vsize=13980732 memory=1376 CPUtime=3.52 cores=0,2,4,6
/proc/5198/task/5209/stat : 5209 (java) S 5196 5196 13977 0 -1 1077944384 13034 0 0 0 351 1 0 0 20 0 15 0 110149076 14316269568 1086533 18446744073709551615 4194304 4196468 140736626922512 140016403605488 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5210] ppid=5196 vsize=13980732 memory=1376 CPUtime=0.87 cores=0,2,4,6
/proc/5198/task/5210/stat : 5210 (java) S 5196 5196 13977 0 -1 1077944384 11951 0 0 0 85 2 0 0 20 0 15 0 110149076 14316269568 1086533 18446744073709551615 4194304 4196468 140736626922512 140016402553200 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5211] ppid=5196 vsize=13980732 memory=4346132 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5211/stat : 5211 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149077 14316269568 1086533 18446744073709551615 4194304 4196468 140736626922512 140016401500640 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5212] ppid=5196 vsize=13980732 memory=796 CPUtime=1.26 cores=0,2,4,6
/proc/5198/task/5212/stat : 5212 (java) S 5196 5196 13977 0 -1 1077944384 1712 0 0 0 59 67 0 0 20 0 15 0 110149083 14316269568 1086533 18446744073709551615 4194304 4196468 140736626922512 140016400448432 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
Current children cumulated CPU time: 2377.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4347508 KiB
[startup+2382.3 s]
/proc/loadavg: 2.19 1.95 1.83 3/214 5431
/proc/meminfo: memFree=26566684/32770624 swapFree=67108860/67108860
[pid=5196] ppid=5193 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (xcsp3-exec) S 5193 5196 13977 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110149064 9740288 344 18446744073709551615 4194304 5098028 140722637380496 140722637378600 140710034412156 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 17141760 140722637382009 140722637382213 140722637382213 140722637385707 0
/proc/5196/statm: 2378 344 289 221 0 87 0
[pid=5198] ppid=5196 vsize=13980732 memory=4346116 CPUtime=2439.02 cores=0,2,4,6
/proc/5198/stat : 5198 (java) S 5196 5196 13977 0 -1 1077944320 307726 0 0 0 243222 680 0 0 20 0 15 0 110149071 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140736626905056 140016930373367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
/proc/5198/statm: 3495183 1086529 3258 1 0 3483476 0
[pid=5198/tid=5199] ppid=5196 vsize=13980732 memory=4346116 CPUtime=2365.15 cores=0,2,4,6
/proc/5198/task/5199/stat : 5199 (java) R 5196 5196 13977 0 -1 4202560 142776 0 0 0 236462 53 0 0 20 0 15 0 110149071 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016934612896 140016561439237 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5200] ppid=5196 vsize=13980732 memory=4346116 CPUtime=15.85 cores=0,2,4,6
/proc/5198/task/5200/stat : 5200 (java) S 5196 5196 13977 0 -1 1077944384 20038 0 0 0 1446 139 0 0 20 0 15 0 110149072 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016887339408 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5201] ppid=5196 vsize=13980732 memory=4346116 CPUtime=15.84 cores=0,2,4,6
/proc/5198/task/5201/stat : 5201 (java) S 5196 5196 13977 0 -1 1077944384 18551 0 0 0 1443 141 0 0 20 0 15 0 110149072 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016886286608 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5202] ppid=5196 vsize=13980732 memory=4346116 CPUtime=15.86 cores=0,2,4,6
/proc/5198/task/5202/stat : 5202 (java) S 5196 5196 13977 0 -1 1077944384 17644 0 0 0 1449 137 0 0 20 0 15 0 110149072 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016885234320 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5203] ppid=5196 vsize=13980732 memory=4346116 CPUtime=15.85 cores=0,2,4,6
/proc/5198/task/5203/stat : 5203 (java) S 5196 5196 13977 0 -1 1077944384 22162 0 0 0 1442 143 0 0 20 0 15 0 110149072 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016884181520 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5204] ppid=5196 vsize=13980732 memory=1376 CPUtime=0.96 cores=0,2,4,6
/proc/5198/task/5204/stat : 5204 (java) S 5196 5196 13977 0 -1 1077944384 42176 0 0 0 90 6 0 0 20 0 15 0 110149073 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016476117616 140016930384514 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5205] ppid=5196 vsize=13980732 memory=4346116 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5205/stat : 5205 (java) S 5196 5196 13977 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 110149074 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016475063648 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5206] ppid=5196 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5206/stat : 5206 (java) S 5196 5196 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 110149074 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016474011264 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5207] ppid=5196 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5207/stat : 5207 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149076 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016472959568 140016930391963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5208] ppid=5196 vsize=13980732 memory=1376 CPUtime=3.72 cores=0,2,4,6
/proc/5198/task/5208/stat : 5208 (java) S 5196 5196 13977 0 -1 1077944384 16288 0 0 0 370 2 0 0 20 0 15 0 110149076 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016471906416 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5209] ppid=5196 vsize=13980732 memory=1376 CPUtime=3.52 cores=0,2,4,6
/proc/5198/task/5209/stat : 5209 (java) S 5196 5196 13977 0 -1 1077944384 13044 0 0 0 351 1 0 0 20 0 15 0 110149076 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016403605488 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5210] ppid=5196 vsize=13980732 memory=1 CPUtime=0.87 cores=0,2,4,6
/proc/5198/task/5210/stat : 5210 (java) S 5196 5196 13977 0 -1 1077944384 11954 0 0 0 85 2 0 0 20 0 15 0 110149076 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016402553200 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5211] ppid=5196 vsize=13980732 memory=4346116 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5211/stat : 5211 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149077 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016401500640 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5212] ppid=5196 vsize=13980732 memory=1376 CPUtime=1.3 cores=0,2,4,6
/proc/5198/task/5212/stat : 5212 (java) S 5196 5196 13977 0 -1 1077944384 1751 0 0 0 61 69 0 0 20 0 15 0 110149083 14316269568 1086529 18446744073709551615 4194304 4196468 140736626922512 140016400448432 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
Current children cumulated CPU time: 2439.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4347492 KiB
[startup+2442.3 s]
/proc/loadavg: 1.93 1.91 1.82 3/214 5457
/proc/meminfo: memFree=26565020/32770624 swapFree=67108860/67108860
[pid=5196] ppid=5193 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (xcsp3-exec) S 5193 5196 13977 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110149064 9740288 344 18446744073709551615 4194304 5098028 140722637380496 140722637378600 140710034412156 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 17141760 140722637382009 140722637382213 140722637382213 140722637385707 0
/proc/5196/statm: 2378 344 289 221 0 87 0
[pid=5198] ppid=5196 vsize=13980732 memory=4346088 CPUtime=2500.15 cores=0,2,4,6
/proc/5198/stat : 5198 (java) S 5196 5196 13977 0 -1 1077944320 315028 0 0 0 249333 682 0 0 20 0 15 0 110149071 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140736626905056 140016930373367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
/proc/5198/statm: 3495183 1086522 3258 1 0 3483476 0
[pid=5198/tid=5199] ppid=5196 vsize=13980732 memory=4346088 CPUtime=2424.79 cores=0,2,4,6
/proc/5198/task/5199/stat : 5199 (java) R 5196 5196 13977 0 -1 4202560 146653 0 0 0 242425 54 0 0 20 0 15 0 110149071 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016934612752 140016561438297 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5200] ppid=5196 vsize=13980732 memory=4346112 CPUtime=16.21 cores=0,2,4,6
/proc/5198/task/5200/stat : 5200 (java) S 5196 5196 13977 0 -1 1077944384 21650 0 0 0 1482 139 0 0 20 0 15 0 110149072 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016887339408 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5201] ppid=5196 vsize=13980732 memory=4346112 CPUtime=16.21 cores=0,2,4,6
/proc/5198/task/5201/stat : 5201 (java) S 5196 5196 13977 0 -1 1077944384 18775 0 0 0 1480 141 0 0 20 0 15 0 110149072 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016886286608 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5202] ppid=5196 vsize=13980732 memory=4346112 CPUtime=16.22 cores=0,2,4,6
/proc/5198/task/5202/stat : 5202 (java) S 5196 5196 13977 0 -1 1077944384 18196 0 0 0 1485 137 0 0 20 0 15 0 110149072 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016885234320 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5203] ppid=5196 vsize=13980732 memory=4346112 CPUtime=16.22 cores=0,2,4,6
/proc/5198/task/5203/stat : 5203 (java) S 5196 5196 13977 0 -1 1077944384 22689 0 0 0 1479 143 0 0 20 0 15 0 110149072 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016884181520 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5204] ppid=5196 vsize=13980732 memory=4346088 CPUtime=0.96 cores=0,2,4,6
/proc/5198/task/5204/stat : 5204 (java) S 5196 5196 13977 0 -1 1077944384 42642 0 0 0 90 6 0 0 20 0 15 0 110149073 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016476117616 140016930384514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5205] ppid=5196 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5205/stat : 5205 (java) S 5196 5196 13977 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 110149074 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016475063648 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5206] ppid=5196 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5206/stat : 5206 (java) S 5196 5196 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 110149074 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016474011264 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5207] ppid=5196 vsize=13980732 memory=4346116 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5207/stat : 5207 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149076 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016472959568 140016930391963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5208] ppid=5196 vsize=13980732 memory=59716 CPUtime=3.72 cores=0,2,4,6
/proc/5198/task/5208/stat : 5208 (java) S 5196 5196 13977 0 -1 1077944384 16293 0 0 0 370 2 0 0 20 0 15 0 110149076 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016471906416 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5209] ppid=5196 vsize=13980732 memory=2384 CPUtime=3.52 cores=0,2,4,6
/proc/5198/task/5209/stat : 5209 (java) S 5196 5196 13977 0 -1 1077944384 13048 0 0 0 351 1 0 0 20 0 15 0 110149076 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016403605488 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5210] ppid=5196 vsize=13980732 memory=1376 CPUtime=0.87 cores=0,2,4,6
/proc/5198/task/5210/stat : 5210 (java) S 5196 5196 13977 0 -1 1077944384 11959 0 0 0 85 2 0 0 20 0 15 0 110149076 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016402553200 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5211] ppid=5196 vsize=13980732 memory=4346112 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5211/stat : 5211 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149077 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016401500640 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5212] ppid=5196 vsize=13980732 memory=4346112 CPUtime=1.32 cores=0,2,4,6
/proc/5198/task/5212/stat : 5212 (java) S 5196 5196 13977 0 -1 1077944384 1781 0 0 0 62 70 0 0 20 0 15 0 110149083 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016400448432 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
Current children cumulated CPU time: 2500.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4347464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.2 s]
/proc/loadavg: 1.87 1.90 1.82 3/214 5457
/proc/meminfo: memFree=26565752/32770624 swapFree=67108860/67108860
[pid=5196] ppid=5193 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (xcsp3-exec) S 5193 5196 13977 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110149064 9740288 344 18446744073709551615 4194304 5098028 140722637380496 140722637378600 140710034412156 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 17141760 140722637382009 140722637382213 140722637382213 140722637385707 0
/proc/5196/statm: 2378 344 289 221 0 87 0
[pid=5198] ppid=5196 vsize=13980732 memory=4346088 CPUtime=2520.06 cores=0,2,4,6
/proc/5198/stat : 5198 (java) S 5196 5196 13977 0 -1 1077944320 316132 0 0 0 251323 683 0 0 20 0 15 0 110149071 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140736626905056 140016930373367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
/proc/5198/statm: 3495183 1086522 3258 1 0 3483476 0
[pid=5198/tid=5199] ppid=5196 vsize=13980732 memory=7680170660397595203 CPUtime=2444.69 cores=0,2,4,6
/proc/5198/task/5199/stat : 5199 (java) R 5196 5196 13977 0 -1 4202560 147757 0 0 0 244414 55 0 0 20 0 15 0 110149071 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016934612752 140016563912886 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5200] ppid=5196 vsize=13980732 memory=-6007618642538616707 CPUtime=16.21 cores=0,2,4,6
/proc/5198/task/5200/stat : 5200 (java) S 5196 5196 13977 0 -1 1077944384 21650 0 0 0 1482 139 0 0 20 0 15 0 110149072 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016887339408 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5201] ppid=5196 vsize=13980732 memory=-5935003789254536334 CPUtime=16.21 cores=0,2,4,6
/proc/5198/task/5201/stat : 5201 (java) S 5196 5196 13977 0 -1 1077944384 18775 0 0 0 1480 141 0 0 20 0 15 0 110149072 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016886286608 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5202] ppid=5196 vsize=13980732 memory=-1161699032755756126 CPUtime=16.22 cores=0,2,4,6
/proc/5198/task/5202/stat : 5202 (java) S 5196 5196 13977 0 -1 1077944384 18196 0 0 0 1485 137 0 0 20 0 15 0 110149072 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016885234320 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5203] ppid=5196 vsize=13980732 memory=-3395018512065318687 CPUtime=16.22 cores=0,2,4,6
/proc/5198/task/5203/stat : 5203 (java) S 5196 5196 13977 0 -1 1077944384 22689 0 0 0 1479 143 0 0 20 0 15 0 110149072 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016884181520 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5204] ppid=5196 vsize=13980732 memory=-3472574513799858002 CPUtime=0.96 cores=0,2,4,6
/proc/5198/task/5204/stat : 5204 (java) S 5196 5196 13977 0 -1 1077944384 42642 0 0 0 90 6 0 0 20 0 15 0 110149073 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016476117616 140016930384514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5205] ppid=5196 vsize=13980732 memory=-6452064069391756930 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5205/stat : 5205 (java) S 5196 5196 13977 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 110149074 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016475063648 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5206] ppid=5196 vsize=13980732 memory=9123589904177684695 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5206/stat : 5206 (java) S 5196 5196 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 110149074 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016474011264 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5207] ppid=5196 vsize=13980732 memory=-6452064069391756930 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5207/stat : 5207 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149076 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016472959568 140016930391963 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5208] ppid=5196 vsize=13980732 memory=-6800304300559393640 CPUtime=3.72 cores=0,2,4,6
/proc/5198/task/5208/stat : 5208 (java) S 5196 5196 13977 0 -1 1077944384 16293 0 0 0 370 2 0 0 20 0 15 0 110149076 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016471906416 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5209] ppid=5196 vsize=13980732 memory=-6294492239123603046 CPUtime=3.52 cores=0,2,4,6
/proc/5198/task/5209/stat : 5209 (java) S 5196 5196 13977 0 -1 1077944384 13048 0 0 0 351 1 0 0 20 0 15 0 110149076 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016403605488 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5210] ppid=5196 vsize=13980732 memory=-5935003789254536334 CPUtime=0.87 cores=0,2,4,6
/proc/5198/task/5210/stat : 5210 (java) S 5196 5196 13977 0 -1 1077944384 11959 0 0 0 85 2 0 0 20 0 15 0 110149076 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016402553200 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5211] ppid=5196 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/5198/task/5211/stat : 5211 (java) S 5196 5196 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110149077 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016401500640 140016930383573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
[pid=5198/tid=5212] ppid=5196 vsize=13980732 memory=796 CPUtime=1.34 cores=0,2,4,6
/proc/5198/task/5212/stat : 5212 (java) S 5196 5196 13977 0 -1 1077944384 1781 0 0 0 63 71 0 0 20 0 15 0 110149083 14316269568 1086522 18446744073709551615 4194304 4196468 140736626922512 140016400448432 140016930384514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736626926001 140736626926177 140736626926177 140736626929615 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4347464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.21 s]
# the end of solver process 5196 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00093 s, system=0.00093 s
[startup+2462.23 s]
# the end of solver process 5198 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.25 s, system=6.85806 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): 2462.23
CPU time (s): 2520.11
CPU user time (s): 2513.25
CPU system time (s): 6.85806
CPU usage (%): 102.351
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 4400776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.25
system time used= 6.85806
maximum resident set size= 4399400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59054
involuntary context switches= 3165
# summary of solver processes directly reported to runsolver:
# pid: 5196,5198
# total CPU time (s): 2520.11
# total CPU user time (s): 2513.25
# total CPU system time (s): 6.85806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5629 second user time and 23.5891 second system time
The end