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 (15324 MiB free)
memory of node 1: 16384 MiB (11984 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282699-1503165251/watcher-4282699-1503165251 -o /tmp/evaluation-result-4282699-1503165251/solver-4282699-1503165251 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16489 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1586520296 HOME/instance-4282699-1503165251.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=29066, runsolver pid=29063
[startup+0.10017 s]*
/proc/loadavg: 1.96 2.04 2.05 3/208 29075
/proc/meminfo: memFree=27957576/32770624 swapFree=67108860/67108860
[pid=29066] ppid=29063 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13574484 memory=17196 CPUtime=0.02 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 4117 0 0 0 2 0 0 0 20 0 9 0 14934845 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3393621 4299 2098 1 0 3383118 0
[pid=29068/tid=29069] ppid=29066 vsize=13574484 memory=-6871798056524144002 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) R 29066 29066 16431 0 -1 4202560 2821 0 0 0 2 0 0 0 20 0 9 0 14934846 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 139804680536296 139804676322461 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14934846 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13574484 memory=140621708056192 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14934846 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14934846 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29073/stat : 29073 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14934846 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 139804273191184 139804676310741 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29074] ppid=29066 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29074/stat : 29074 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14934848 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 139804222012272 139804676311682 0 0 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29075] ppid=29066 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29075/stat : 29075 (java) S 29066 29066 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 14934848 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 139804220958240 139804676310741 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29076] ppid=29066 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29076/stat : 29076 (java) S 29066 29066 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 14934848 13900271616 4299 18446744073709551615 4194304 4196468 140734320202928 139804219905456 139804676310741 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18576 KiB
[startup+0.210234 s]*
/proc/loadavg: 1.96 2.04 2.05 3/215 29082
/proc/meminfo: memFree=27948932/32770624 swapFree=67108860/67108860
[pid=29066] ppid=29063 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13974352 memory=28208 CPUtime=0.11 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 5558 0 0 0 10 1 0 0 20 0 15 0 14934845 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3493588 7052 2811 1 0 3482964 0
[pid=29068/tid=29069] ppid=29066 vsize=13974352 memory=8390339637985935414 CPUtime=0.08 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) R 29066 29066 16431 0 -1 4202560 3571 0 0 0 8 0 0 0 20 0 15 0 14934846 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804680525264 139804676312470 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13974352 memory=288230583233161597 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934846 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13974352 memory=3690336073268385440 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14934846 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934846 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29073/stat : 29073 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14934846 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804273191184 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29074] ppid=29066 vsize=13974352 memory=140621708056192 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29074/stat : 29074 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14934848 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804222012272 139804676311682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29075] ppid=29066 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29075/stat : 29075 (java) S 29066 29066 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14934848 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804220958240 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29076] ppid=29066 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29076/stat : 29076 (java) S 29066 29066 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14934848 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804219905392 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29077] ppid=29066 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29077/stat : 29077 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804218853712 139804676319131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29078] ppid=29066 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29078/stat : 29078 (java) S 29066 29066 16431 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 14934851 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804217801072 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29079] ppid=29066 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29079/stat : 29079 (java) S 29066 29066 16431 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 14934851 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804216748272 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29080] ppid=29066 vsize=13974352 memory=140621708056192 CPUtime=0.01 cores=0,2,4,6
/proc/29068/task/29080/stat : 29080 (java) R 29066 29066 16431 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 14934851 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804215695472 139804669396931 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29081] ppid=29066 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29081/stat : 29081 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804214642912 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29082] ppid=29066 vsize=13974352 memory=140621708056192 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29082/stat : 29082 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934856 14309736448 7052 18446744073709551615 4194304 4196468 140734320202928 139804213591216 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29588 KiB
[startup+0.31548 s]*
/proc/loadavg: 1.96 2.04 2.05 5/215 29082
/proc/meminfo: memFree=27936140/32770624 swapFree=67108860/67108860
[pid=29066] ppid=29063 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13978608 memory=39976 CPUtime=0.32 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 9210 0 0 0 29 3 0 0 20 0 15 0 14934845 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3494652 9994 3010 1 0 3482964 0
[pid=29068/tid=29069] ppid=29066 vsize=13978608 memory=8390339637985935414 CPUtime=0.19 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) R 29066 29066 16431 0 -1 4202560 6358 0 0 0 17 2 0 0 20 0 15 0 14934846 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804680521528 139804676322461 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13978608 memory=319755780624755069 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934846 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13978608 memory=3690336073268385440 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14934846 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13978608 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934846 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13978608 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29073/stat : 29073 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14934846 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804273191184 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29074] ppid=29066 vsize=13978608 memory=4211962197249179639 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29074/stat : 29074 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14934848 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804222012272 139804676311682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29075] ppid=29066 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29075/stat : 29075 (java) S 29066 29066 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14934848 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804220958240 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29076] ppid=29066 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29076/stat : 29076 (java) S 29066 29066 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14934848 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804219905392 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29077] ppid=29066 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29077/stat : 29077 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804218853712 139804676319131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29078] ppid=29066 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29068/task/29078/stat : 29078 (java) S 29066 29066 16431 0 -1 1077944384 636 0 0 0 3 0 0 0 20 0 15 0 14934851 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804217801072 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29079] ppid=29066 vsize=13978608 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29068/task/29079/stat : 29079 (java) S 29066 29066 16431 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 15 0 14934851 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804216748272 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29080] ppid=29066 vsize=13978608 memory=140621708056192 CPUtime=0.07 cores=0,2,4,6
/proc/29068/task/29080/stat : 29080 (java) S 29066 29066 16431 0 -1 1077944384 688 0 0 0 7 0 0 0 20 0 15 0 14934851 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804215695472 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29081] ppid=29066 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29081/stat : 29081 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804214642912 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29082] ppid=29066 vsize=13978608 memory=140621708056192 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29082/stat : 29082 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934856 14314094592 9994 18446744073709551615 4194304 4196468 140734320202928 139804213591216 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41356 KiB
[startup+0.700827 s]
/proc/loadavg: 1.96 2.04 2.05 4/215 29082
/proc/meminfo: memFree=27917464/32770624 swapFree=67108860/67108860
[pid=29066] ppid=29063 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13978684 memory=121160 CPUtime=1.27 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 12753 0 0 0 122 5 0 0 20 0 15 0 14934845 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3494671 30290 3163 1 0 3482964 0
[pid=29068/tid=29069] ppid=29066 vsize=13978684 memory=2542687749633 CPUtime=0.57 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) R 29066 29066 16431 0 -1 4202560 7882 0 0 0 53 4 0 0 20 0 15 0 14934846 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804680534608 139804676312470 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13978684 memory=2551277684225 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934846 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13978684 memory=64536 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14934846 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934846 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29073/stat : 29073 (java) S 29066 29066 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14934846 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804273191184 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29074] ppid=29066 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29074/stat : 29074 (java) S 29066 29066 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14934848 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804222012272 139804676311682 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29075] ppid=29066 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29075/stat : 29075 (java) S 29066 29066 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14934848 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804220958240 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29076] ppid=29066 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29076/stat : 29076 (java) S 29066 29066 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14934848 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804219905392 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29077] ppid=29066 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29077/stat : 29077 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804218853712 139804676319131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29078] ppid=29066 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/29068/task/29078/stat : 29078 (java) R 29066 29066 16431 0 -1 4202560 1109 0 0 0 23 0 0 0 20 0 15 0 14934851 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804217787640 139804656152657 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29079] ppid=29066 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/29068/task/29079/stat : 29079 (java) R 29066 29066 16431 0 -1 4202560 1031 0 0 0 22 0 0 0 20 0 15 0 14934851 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804216733800 139804655955760 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29080] ppid=29066 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/29068/task/29080/stat : 29080 (java) R 29066 29066 16431 0 -1 1077944384 1423 0 0 0 23 0 0 0 20 0 15 0 14934851 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804215695472 139804676311682 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29081] ppid=29066 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29081/stat : 29081 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804214642912 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29082] ppid=29066 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29082/stat : 29082 (java) S 29066 29066 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14934856 14314172416 30290 18446744073709551615 4194304 4196468 140734320202928 139804213591216 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 122540 KiB
[startup+1.50089 s]
/proc/loadavg: 1.96 2.04 2.05 3/215 29082
/proc/meminfo: memFree=27751336/32770624 swapFree=67108860/67108860
[pid=29066] ppid=29063 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13980732 memory=228860 CPUtime=2.8 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 13726 0 0 0 268 12 0 0 20 0 15 0 14934845 14316269568 57215 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3495183 57215 3189 1 0 3483476 0
[pid=29068/tid=29069] ppid=29066 vsize=13980732 memory=2529 CPUtime=1.33 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) R 29066 29066 16431 0 -1 4202560 7967 0 0 0 128 5 0 0 20 0 15 0 14934846 14316269568 57215 18446744073709551615 4194304 4196468 140734320202928 139804680535776 139804676312470 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 15 0 14934846 14316269568 57215 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 15 0 14934846 14316269568 57215 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14934846 14316269568 57215 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13980732 memory=4580 CPUtime=0.02 cores=0,2,4,6
################
# More data... #
################
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13980732 memory=265944 CPUtime=4.57 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 13866 0 0 0 445 12 0 0 20 0 15 0 14934845 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3495183 66486 3190 1 0 3483476 0
[pid=29068/tid=29069] ppid=29066 vsize=13980732 memory=0 CPUtime=3.03 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) R 29066 29066 16431 0 -1 4202560 8021 0 0 0 298 5 0 0 20 0 15 0 14934846 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804680538832 139804293312608 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 15 0 14934846 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13980732 memory=6451040879805 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 15 0 14934846 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13980732 memory=10841 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14934846 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13980732 memory=23376 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29073/stat : 29073 (java) S 29066 29066 16431 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 15 0 14934846 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804273191184 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29074] ppid=29066 vsize=13980732 memory=281243182694640 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29074/stat : 29074 (java) S 29066 29066 16431 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804222012272 139804676311682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29075] ppid=29066 vsize=13980732 memory=7451319251511628387 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29075/stat : 29075 (java) S 29066 29066 16431 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804220958240 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29076] ppid=29066 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29076/stat : 29076 (java) S 29066 29066 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804219905392 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29077] ppid=29066 vsize=13980732 memory=2772 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29077/stat : 29077 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804218853712 139804676319131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29078] ppid=29066 vsize=13980732 memory=2760 CPUtime=0.56 cores=0,2,4,6
/proc/29068/task/29078/stat : 29078 (java) S 29066 29066 16431 0 -1 1077944384 1295 0 0 0 56 0 0 0 20 0 15 0 14934851 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804217801072 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29079] ppid=29066 vsize=13980732 memory=4068 CPUtime=0.5 cores=0,2,4,6
/proc/29068/task/29079/stat : 29079 (java) S 29066 29066 16431 0 -1 1077944384 1284 0 0 0 50 0 0 0 20 0 15 0 14934851 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804216748272 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29080] ppid=29066 vsize=13980732 memory=1156 CPUtime=0.35 cores=0,2,4,6
/proc/29068/task/29080/stat : 29080 (java) S 29066 29066 16431 0 -1 1077944384 1619 0 0 0 34 1 0 0 20 0 15 0 14934851 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804215695472 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29081] ppid=29066 vsize=13980732 memory=3196 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29081/stat : 29081 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804214642912 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29082] ppid=29066 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29082/stat : 29082 (java) S 29066 29066 16431 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 14934856 14316269568 66486 18446744073709551615 4194304 4196468 140734320202928 139804213591216 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 267324 KiB
[startup+4.80093 s]
/proc/loadavg: 2.04 2.06 2.06 3/215 29083
/proc/meminfo: memFree=27695316/32770624 swapFree=67108860/67108860
[pid=29066] ppid=29063 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13980732 memory=335924 CPUtime=6.18 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 15582 0 0 0 605 13 0 0 20 0 15 0 14934845 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3495183 83981 3195 1 0 3483476 0
[pid=29068/tid=29069] ppid=29066 vsize=13980732 memory=265459043722008 CPUtime=4.63 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) R 29066 29066 16431 0 -1 4202560 8782 0 0 0 457 6 0 0 20 0 15 0 14934846 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804680537576 139804293312608 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13980732 memory=281243182982976 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 15 0 14934846 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13980732 memory=3900310813698891984 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 15 0 14934846 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13980732 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14934846 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13980732 memory=-8774313645642428999 CPUtime=0.02 cores=0,2,4,6
/proc/29068/task/29073/stat : 29073 (java) S 29066 29066 16431 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 15 0 14934846 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804273191184 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29074] ppid=29066 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29074/stat : 29074 (java) S 29066 29066 16431 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804222012272 139804676311682 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29075] ppid=29066 vsize=13980732 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29075/stat : 29075 (java) S 29066 29066 16431 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804220958240 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29076] ppid=29066 vsize=13980732 memory=7741522190160913233 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29076/stat : 29076 (java) S 29066 29066 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804219905392 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29077] ppid=29066 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29077/stat : 29077 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804218853712 139804676319131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29078] ppid=29066 vsize=13980732 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/29068/task/29078/stat : 29078 (java) S 29066 29066 16431 0 -1 1077944384 1550 0 0 0 57 0 0 0 20 0 15 0 14934851 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804217801072 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29079] ppid=29066 vsize=13980732 memory=281243183253552 CPUtime=0.51 cores=0,2,4,6
/proc/29068/task/29079/stat : 29079 (java) S 29066 29066 16431 0 -1 1077944384 1704 0 0 0 51 0 0 0 20 0 15 0 14934851 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804216748272 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29080] ppid=29066 vsize=13980732 memory=1380 CPUtime=0.35 cores=0,2,4,6
/proc/29068/task/29080/stat : 29080 (java) S 29066 29066 16431 0 -1 1077944384 1621 0 0 0 34 1 0 0 20 0 15 0 14934851 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804215695472 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29081] ppid=29066 vsize=13980732 memory=228860 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29081/stat : 29081 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804214642912 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29082] ppid=29066 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29082/stat : 29082 (java) S 29066 29066 16431 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 14934856 14316269568 83981 18446744073709551615 4194304 4196468 140734320202928 139804213591216 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 337304 KiB
[startup+5.60091 s]
/proc/loadavg: 2.04 2.06 2.06 3/215 29083
/proc/meminfo: memFree=27534388/32770624 swapFree=67108860/67108860
[pid=29066] ppid=29063 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13980732 memory=442980 CPUtime=7.23 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 16969 0 0 0 698 25 0 0 20 0 15 0 14934845 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3495183 110745 3204 1 0 3483476 0
[pid=29068/tid=29069] ppid=29066 vsize=13980732 memory=11928 CPUtime=5.35 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) R 29066 29066 16431 0 -1 4202560 8814 0 0 0 529 6 0 0 20 0 15 0 14934846 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804680537960 139804293312608 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13980732 memory=2209 CPUtime=0.1 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 245 0 0 0 6 4 0 0 20 0 15 0 14934846 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13980732 memory=6788 CPUtime=0.09 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 347 0 0 0 6 3 0 0 20 0 15 0 14934846 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13980732 memory=7451599652662960466 CPUtime=0.08 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 248 0 0 0 5 3 0 0 20 0 15 0 14934846 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13980732 memory=6441361776102757480 CPUtime=0.1 cores=0,2,4,6
/proc/29068/task/29073/stat : 29073 (java) S 29066 29066 16431 0 -1 1077944384 132 0 0 0 6 4 0 0 20 0 15 0 14934846 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804273191184 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29074] ppid=29066 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29074/stat : 29074 (java) S 29066 29066 16431 0 -1 1077944384 637 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804222012272 139804676311682 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29075] ppid=29066 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29075/stat : 29075 (java) S 29066 29066 16431 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804220958304 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29076] ppid=29066 vsize=13980732 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29076/stat : 29076 (java) S 29066 29066 16431 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804219905408 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29077] ppid=29066 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29077/stat : 29077 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804218853712 139804676319131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29078] ppid=29066 vsize=13980732 memory=6788 CPUtime=0.57 cores=0,2,4,6
/proc/29068/task/29078/stat : 29078 (java) S 29066 29066 16431 0 -1 1077944384 1550 0 0 0 57 0 0 0 20 0 15 0 14934851 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804217801072 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29079] ppid=29066 vsize=13980732 memory=4137287014106042739 CPUtime=0.51 cores=0,2,4,6
/proc/29068/task/29079/stat : 29079 (java) S 29066 29066 16431 0 -1 1077944384 1753 0 0 0 51 0 0 0 20 0 15 0 14934851 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804216748272 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29080] ppid=29066 vsize=13980732 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/29068/task/29080/stat : 29080 (java) S 29066 29066 16431 0 -1 1077944384 1663 0 0 0 34 1 0 0 20 0 15 0 14934851 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804215695472 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29081] ppid=29066 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29081/stat : 29081 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804214642912 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29082] ppid=29066 vsize=13980732 memory=3472328296227680304 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29082/stat : 29082 (java) S 29066 29066 16431 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 14934856 14316269568 110745 18446744073709551615 4194304 4196468 140734320202928 139804213591216 139804676311682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
Current children cumulated CPU time: 7.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 444360 KiB
[startup+6.00076 s]*
/proc/loadavg: 2.04 2.06 2.06 5/215 29083
/proc/meminfo: memFree=27529064/32770624 swapFree=67108860/67108860
[pid=29066] ppid=29063 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (xcsp3-exec) S 29063 29066 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14934838 9740288 345 18446744073709551615 4194304 5098028 140736705479440 140736705477544 140020582589052 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 26836992 140736705487225 140736705487430 140736705487430 140736705490923 0
/proc/29066/statm: 2378 345 289 221 0 87 0
[pid=29068] ppid=29066 vsize=13980732 memory=448468 CPUtime=8.04 cores=0,2,4,6
/proc/29068/stat : 29068 (java) S 29066 29066 16431 0 -1 1077944320 21578 0 0 0 778 26 0 0 20 0 15 0 14934845 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 140734320185472 139804676300535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
/proc/29068/statm: 3495183 112117 3208 1 0 3483476 0
[pid=29068/tid=29069] ppid=29066 vsize=13980732 memory=-8774313645642428999 CPUtime=5.76 cores=0,2,4,6
/proc/29068/task/29069/stat : 29069 (java) S 29066 29066 16431 0 -1 1077944384 10319 0 0 0 569 7 0 0 20 0 15 0 14934846 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804680543248 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29070] ppid=29066 vsize=13980732 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (java) S 29066 29066 16431 0 -1 1077944384 245 0 0 0 6 4 0 0 20 0 15 0 14934846 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804610734736 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29071] ppid=29066 vsize=13980732 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (java) S 29066 29066 16431 0 -1 1077944384 347 0 0 0 6 3 0 0 20 0 15 0 14934846 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804609681936 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29072] ppid=29066 vsize=13980732 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (java) S 29066 29066 16431 0 -1 1077944384 248 0 0 0 5 3 0 0 20 0 15 0 14934846 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804274243984 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29073] ppid=29066 vsize=13980732 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/29068/task/29073/stat : 29073 (java) S 29066 29066 16431 0 -1 1077944384 132 0 0 0 6 4 0 0 20 0 15 0 14934846 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804273191184 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29074] ppid=29066 vsize=13980732 memory=140621708056192 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29074/stat : 29074 (java) S 29066 29066 16431 0 -1 1077944384 719 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804222012272 139804676311682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29075] ppid=29066 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29075/stat : 29075 (java) S 29066 29066 16431 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804220958304 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29076] ppid=29066 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29076/stat : 29076 (java) S 29066 29066 16431 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 14934848 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804219905408 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29077] ppid=29066 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29077/stat : 29077 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804218853712 139804676319131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29078] ppid=29066 vsize=13980732 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/29068/task/29078/stat : 29078 (java) R 29066 29066 16431 0 -1 4202560 3075 0 0 0 75 0 0 0 20 0 15 0 14934851 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804217787096 139804655547651 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29079] ppid=29066 vsize=13980732 memory=-1 CPUtime=0.67 cores=0,2,4,6
/proc/29068/task/29079/stat : 29079 (java) R 29066 29066 16431 0 -1 4202560 2815 0 0 0 67 0 0 0 20 0 15 0 14934851 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804216748192 139804657821620 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29080] ppid=29066 vsize=13980732 memory=140621708056192 CPUtime=0.4 cores=0,2,4,6
/proc/29068/task/29080/stat : 29080 (java) R 29066 29066 16431 0 -1 4202560 2099 0 0 0 39 1 0 0 20 0 15 0 14934851 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804215695472 139804660381022 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29081] ppid=29066 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29081/stat : 29081 (java) S 29066 29066 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14934851 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804214642912 139804676310741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
[pid=29068/tid=29082] ppid=29066 vsize=13980732 memory=140621708056192 CPUtime=0 cores=0,2,4,6
/proc/29068/task/29082/stat : 29082 (java) R 29066 29066 16431 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 14934856 14316269568 112117 18446744073709551615 4194304 4196468 140734320202928 139804213591216 139804676311682 0 4 1 16800974 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 24166400 140734320210354 140734320210530 140734320210530 140734320213967 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 449848 KiB
Child status: 0
Real time (s): 6.02819
CPU time (s): 8.07011
CPU user time (s): 7.79524
CPU system time (s): 0.274866
CPU usage (%): 133.873
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 449848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.79524
system time used= 0.274866
maximum resident set size= 448976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22136
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2149
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 29066
# total CPU time (s): 8.07011
# total CPU user time (s): 7.79524
# total CPU system time (s): 0.274866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063565 second user time and 0.10723 second system time
The end