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 (14619 MiB free)
memory of node 1: 16384 MiB (15729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400476-1568694858/watcher-4400476-1568694858 -o /tmp/evaluation-result-4400476-1568694858/solver-4400476-1568694858 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568694971-20217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 462421046 HOME/instance-4400476-1568694858.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20242, runsolver pid=20237
Current StackSize limit: 8192 KiB
[startup+0.100642 s]*
/proc/loadavg: 0.54 0.67 0.76 5/227 20277
/proc/meminfo: memFree=31043552/32770624 swapFree=66922644/67108860
[pid=20242] ppid=20237 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20242/stat : 20242 (xcsp3-exec) S 20237 20242 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445754570 115843072 363 33554432000 4194304 5098028 140733604816832 140733604814936 140571966206588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21061632 140733604819835 140733604820077 140733604820077 140733604822986 0
/proc/20242/statm: 28282 363 304 221 0 87 0
[pid=20244] ppid=20242 vsize=15144776 memory=28988 CPUtime=0.13 cores=1,3,5,7
/proc/20244/stat : 20244 (java) S 20242 20242 20185 0 -1 1077944320 5679 0 0 0 12 1 0 0 20 0 15 0 445754571 15508250624 7247 33554432000 4194304 4196468 140736513926720 140736513909264 140511530000119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
/proc/20244/statm: 3786194 7247 3147 1 0 3748377 0
[pid=20244/tid=20250] ppid=20242 vsize=15144776 memory=4351193297984390544 CPUtime=0.08 cores=1,3,5,7
/proc/20244/task/20250/stat : 20250 (java) R 20242 20242 20185 0 -1 4202560 3580 0 0 0 8 0 0 0 20 0 15 0 445754571 15508250624 7247 33554432000 4194304 4196468 140736513926720 140511534223120 140511514080606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20252] ppid=20242 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20252/stat : 20252 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15508250624 7247 33554432000 4194304 4196468 140736513926720 140511122348688 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20253] ppid=20242 vsize=15144776 memory=140571711800960 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20253/stat : 20253 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15508250624 7247 33554432000 4194304 4196468 140736513926720 140511121295888 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20254] ppid=20242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20254/stat : 20254 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15508250624 7247 33554432000 4194304 4196468 140736513926720 140511120243088 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20255] ppid=20242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20255/stat : 20255 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15508250624 7247 33554432000 4194304 4196468 140736513926720 140511119190288 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20260] ppid=20242 vsize=15144776 memory=140571711800960 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20260/stat : 20260 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754573 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510672591728 140511530011266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20262] ppid=20242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20262/stat : 20262 (java) S 20242 20242 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445754574 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510671537696 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20263] ppid=20242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20263/stat : 20263 (java) S 20242 20242 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445754574 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510670484848 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20266] ppid=20242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20266/stat : 20266 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445754576 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510669433168 140511530018715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20267] ppid=20242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20267/stat : 20267 (java) R 20242 20242 20185 0 -1 4202560 458 0 0 0 0 0 0 0 20 0 15 0 445754576 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510668380528 140511507832976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20268] ppid=20242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20268/stat : 20268 (java) R 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445754576 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510667327728 140511530011266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20269] ppid=20242 vsize=15144776 memory=140571711800960 CPUtime=0.02 cores=1,3,5,7
/proc/20244/task/20269/stat : 20269 (java) S 20242 20242 20185 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 445754576 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510666274928 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20270] ppid=20242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20270/stat : 20270 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445754576 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510665222368 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20275] ppid=20242 vsize=15144776 memory=140571711800960 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20275/stat : 20275 (java) S 20242 20242 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445754577 15508250624 7247 33554432000 4194304 4196468 140736513926720 140510664170672 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30440 KiB
[startup+0.210769 s]*
/proc/loadavg: 0.54 0.67 0.76 5/227 20277
/proc/meminfo: memFree=31017192/32770624 swapFree=66922644/67108860
[pid=20242] ppid=20237 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20242/stat : 20242 (xcsp3-exec) S 20237 20242 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445754570 115843072 363 33554432000 4194304 5098028 140733604816832 140733604814936 140571966206588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21061632 140733604819835 140733604820077 140733604820077 140733604822986 0
/proc/20242/statm: 28282 363 304 221 0 87 0
[pid=20244] ppid=20242 vsize=15144776 memory=40784 CPUtime=0.34 cores=1,3,5,7
/proc/20244/stat : 20244 (java) S 20242 20242 20185 0 -1 1077944320 9430 0 0 0 32 2 0 0 20 0 15 0 445754571 15508250624 10196 33554432000 4194304 4196468 140736513926720 140736513909264 140511530000119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
/proc/20244/statm: 3786194 10196 3310 1 0 3748377 0
[pid=20244/tid=20250] ppid=20242 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20244/task/20250/stat : 20250 (java) R 20242 20242 20185 0 -1 4202560 6574 0 0 0 18 2 0 0 20 0 15 0 445754571 15508250624 10196 33554432000 4194304 4196468 140736513926720 140511534237936 140511530022045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20252] ppid=20242 vsize=15144776 memory=12641 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20252/stat : 20252 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15508250624 10196 33554432000 4194304 4196468 140736513926720 140511122348688 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20253] ppid=20242 vsize=15144776 memory=140571711821428 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20253/stat : 20253 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15508250624 10196 33554432000 4194304 4196468 140736513926720 140511121295888 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20254] ppid=20242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20254/stat : 20254 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15508250624 10196 33554432000 4194304 4196468 140736513926720 140511120243088 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20255] ppid=20242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20255/stat : 20255 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15508250624 10196 33554432000 4194304 4196468 140736513926720 140511119190288 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20260] ppid=20242 vsize=15144776 memory=140571711800960 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20260/stat : 20260 (java) S 20242 20242 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445754573 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510672591728 140511530011266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20262] ppid=20242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20262/stat : 20262 (java) S 20242 20242 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445754574 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510671537696 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20263] ppid=20242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20263/stat : 20263 (java) S 20242 20242 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445754574 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510670484848 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20266] ppid=20242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20266/stat : 20266 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445754576 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510669433168 140511530018715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20267] ppid=20242 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20244/task/20267/stat : 20267 (java) S 20242 20242 20185 0 -1 1077944384 730 0 0 0 3 0 0 0 20 0 15 0 445754576 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510668380528 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20268] ppid=20242 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20244/task/20268/stat : 20268 (java) S 20242 20242 20185 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 15 0 445754576 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510667327728 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20269] ppid=20242 vsize=15144776 memory=140571711800960 CPUtime=0.08 cores=1,3,5,7
/proc/20244/task/20269/stat : 20269 (java) R 20242 20242 20185 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 15 0 445754576 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510666274928 140511530021466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20270] ppid=20242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20270/stat : 20270 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445754576 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510665222368 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20275] ppid=20242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20275/stat : 20275 (java) S 20242 20242 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445754577 15508250624 10196 33554432000 4194304 4196468 140736513926720 140510664170672 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42236 KiB
[startup+0.320195 s]*
/proc/loadavg: 0.54 0.67 0.76 8/227 20277
/proc/meminfo: memFree=31001960/32770624 swapFree=66922644/67108860
[pid=20242] ppid=20237 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20242/stat : 20242 (xcsp3-exec) S 20237 20242 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445754570 115843072 363 33554432000 4194304 5098028 140733604816832 140733604814936 140571966206588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21061632 140733604819835 140733604820077 140733604820077 140733604822986 0
/proc/20242/statm: 28282 363 304 221 0 87 0
[pid=20244] ppid=20242 vsize=15149032 memory=50208 CPUtime=0.54 cores=1,3,5,7
/proc/20244/stat : 20244 (java) S 20242 20242 20185 0 -1 1077944320 10925 0 0 0 51 3 0 0 20 0 15 0 445754571 15512608768 12552 33554432000 4194304 4196468 140736513926720 140736513909264 140511530000119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
/proc/20244/statm: 3787258 12552 3364 1 0 3748377 0
[pid=20244/tid=20250] ppid=20242 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/20244/task/20250/stat : 20250 (java) R 20242 20242 20185 0 -1 4202560 7829 0 0 0 28 3 0 0 20 0 15 0 445754571 15512608768 12617 33554432000 4194304 4196468 140736513926720 140511534235056 140511514080606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20252] ppid=20242 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20252/stat : 20252 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15512608768 12617 33554432000 4194304 4196468 140736513926720 140511122348688 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20253] ppid=20242 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20253/stat : 20253 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15512608768 12617 33554432000 4194304 4196468 140736513926720 140511121295888 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20254] ppid=20242 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20254/stat : 20254 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15512608768 12617 33554432000 4194304 4196468 140736513926720 140511120243088 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20255] ppid=20242 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20255/stat : 20255 (java) S 20242 20242 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445754572 15512608768 12617 33554432000 4194304 4196468 140736513926720 140511119190288 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20260] ppid=20242 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20260/stat : 20260 (java) S 20242 20242 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445754573 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510672591728 140511530011266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20262] ppid=20242 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20262/stat : 20262 (java) S 20242 20242 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445754574 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510671537696 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20263] ppid=20242 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20263/stat : 20263 (java) S 20242 20242 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445754574 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510670484848 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20266] ppid=20242 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20266/stat : 20266 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445754576 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510669433168 140511530018715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20267] ppid=20242 vsize=15149032 memory=7893295687695687954 CPUtime=0.05 cores=1,3,5,7
/proc/20244/task/20267/stat : 20267 (java) S 20242 20242 20185 0 -1 1077944384 744 0 0 0 5 0 0 0 20 0 15 0 445754576 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510668380528 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20268] ppid=20242 vsize=15149032 memory=-8813974798734826869 CPUtime=0.05 cores=1,3,5,7
/proc/20244/task/20268/stat : 20268 (java) S 20242 20242 20185 0 -1 1077944384 180 0 0 0 5 0 0 0 20 0 15 0 445754576 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510667327728 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20269] ppid=20242 vsize=15149032 memory=7827413994055111515 CPUtime=0.12 cores=1,3,5,7
/proc/20244/task/20269/stat : 20269 (java) S 20242 20242 20185 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 445754576 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510666274928 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20270] ppid=20242 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20270/stat : 20270 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445754576 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510665222368 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20275] ppid=20242 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20275/stat : 20275 (java) S 20242 20242 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445754577 15512608768 12617 33554432000 4194304 4196468 140736513926720 140510664170672 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51660 KiB
[startup+0.70147 s]
/proc/loadavg: 0.54 0.67 0.76 10/227 20277
/proc/meminfo: memFree=30977240/32770624 swapFree=66922644/67108860
[pid=20242] ppid=20237 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20242/stat : 20242 (xcsp3-exec) S 20237 20242 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445754570 115843072 363 33554432000 4194304 5098028 140733604816832 140733604814936 140571966206588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21061632 140733604819835 140733604820077 140733604820077 140733604822986 0
/proc/20242/statm: 28282 363 304 221 0 87 0
[pid=20244] ppid=20242 vsize=15486032 memory=169412 CPUtime=1.6 cores=1,3,5,7
/proc/20244/stat : 20244 (java) S 20242 20242 20185 0 -1 1077944320 15804 0 0 0 152 8 0 0 20 0 18 0 445754571 15857696768 42353 33554432000 4194304 4196468 140736513926720 140736513909264 140511530000119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
/proc/20244/statm: 3871508 42353 3458 1 0 3832608 0
[pid=20244/tid=20250] ppid=20242 vsize=15486032 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/20244/task/20250/stat : 20250 (java) S 20242 20242 20185 0 -1 1077944384 9013 0 0 0 48 4 0 0 20 0 18 0 445754571 15857696768 42353 33554432000 4194304 4196468 140736513926720 140511534240896 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20252] ppid=20242 vsize=15486032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20252/stat : 20252 (java) S 20242 20242 20185 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 18 0 445754572 15857696768 42353 33554432000 4194304 4196468 140736513926720 140511122348688 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20253] ppid=20242 vsize=15486032 memory=33 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20253/stat : 20253 (java) S 20242 20242 20185 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 18 0 445754572 15857696768 42353 33554432000 4194304 4196468 140736513926720 140511121295888 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20254] ppid=20242 vsize=15486032 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20254/stat : 20254 (java) S 20242 20242 20185 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 18 0 445754572 15857696768 42353 33554432000 4194304 4196468 140736513926720 140511120243088 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20255] ppid=20242 vsize=15486032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20255/stat : 20255 (java) S 20242 20242 20185 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 18 0 445754572 15857696768 42353 33554432000 4194304 4196468 140736513926720 140511119190288 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20260] ppid=20242 vsize=15486032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20260/stat : 20260 (java) S 20242 20242 20185 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 18 0 445754573 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510672591728 140511530011266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20262] ppid=20242 vsize=15486032 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20262/stat : 20262 (java) S 20242 20242 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 445754574 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510671537696 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20263] ppid=20242 vsize=15486032 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20263/stat : 20263 (java) S 20242 20242 20185 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 445754574 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510670484848 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20266] ppid=20242 vsize=15486032 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20266/stat : 20266 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 445754576 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510669433168 140511530018715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20267] ppid=20242 vsize=15486032 memory=772 CPUtime=0.24 cores=1,3,5,7
/proc/20244/task/20267/stat : 20267 (java) R 20242 20242 20185 0 -1 4202560 1385 0 0 0 24 0 0 0 20 0 18 0 445754576 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510668361544 140511522289501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20268] ppid=20242 vsize=15486032 memory=1060 CPUtime=0.23 cores=1,3,5,7
/proc/20244/task/20268/stat : 20268 (java) R 20242 20242 20185 0 -1 4202560 985 0 0 0 23 0 0 0 20 0 18 0 445754576 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510667317648 140511508017111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20269] ppid=20242 vsize=15486032 memory=1484 CPUtime=0.35 cores=1,3,5,7
/proc/20244/task/20269/stat : 20269 (java) R 20242 20242 20185 0 -1 1077944384 1626 0 0 0 35 0 0 0 20 0 18 0 445754576 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510666274928 140511530011266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20270] ppid=20242 vsize=15486032 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20270/stat : 20270 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 445754576 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510665222368 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20275] ppid=20242 vsize=15486032 memory=1176 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20275/stat : 20275 (java) S 20242 20242 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 445754577 15857696768 42353 33554432000 4194304 4196468 140736513926720 140510664170672 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 170864 KiB
[startup+1.50087 s]
/proc/loadavg: 1.54 0.87 0.82 16/235 20469
/proc/meminfo: memFree=30707080/32770624 swapFree=66922644/67108860
[pid=20242] ppid=20237 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20242/stat : 20242 (xcsp3-exec) S 20237 20242 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445754570 115843072 363 33554432000 4194304 5098028 140733604816832 140733604814936 140571966206588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21061632 140733604819835 140733604820077 140733604820077 140733604822986 0
/proc/20242/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20244/task/20275/stat : 20275 (java) S 20242 20242 20185 0 -1 1077944384 667 0 0 0 0 6 0 0 20 0 19 0 445754577 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510664170672 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20486] ppid=20242 vsize=15551568 memory=12024 CPUtime=327.99 cores=1,3,5,7
/proc/20244/task/20486/stat : 20486 (java) R 20242 20242 20185 0 -1 4202560 1009 0 0 0 32798 1 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510009928600 140511150834130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20487] ppid=20242 vsize=15551568 memory=3620 CPUtime=327.71 cores=1,3,5,7
/proc/20244/task/20487/stat : 20487 (java) R 20242 20242 20185 0 -1 4202560 2228 0 0 0 32771 0 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510007827008 140511153055361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20488] ppid=20242 vsize=15551568 memory=47356 CPUtime=328.43 cores=1,3,5,7
/proc/20244/task/20488/stat : 20488 (java) R 20242 20242 20185 0 -1 4202560 3008 0 0 0 32842 1 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510004665872 140511152890221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20489] ppid=20242 vsize=15551568 memory=988 CPUtime=329.01 cores=1,3,5,7
/proc/20244/task/20489/stat : 20489 (java) R 20242 20242 20185 0 -1 4202560 1596 0 0 0 32901 0 0 0 20 0 19 0 445754729 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510008877784 140511150834697 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
Current children cumulated CPU time: 1324.09 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 327340 KiB
[startup+334.501 s]
/proc/loadavg: 8.65 5.97 3.12 9/236 20823
/proc/meminfo: memFree=30539852/32770624 swapFree=66922648/67108860
[pid=20242] ppid=20237 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20242/stat : 20242 (xcsp3-exec) S 20237 20242 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445754570 115843072 363 33554432000 4194304 5098028 140733604816832 140733604814936 140571966206588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21061632 140733604819835 140733604820077 140733604820077 140733604822986 0
/proc/20242/statm: 28282 363 304 221 0 87 0
[pid=20244] ppid=20242 vsize=15551568 memory=325888 CPUtime=1327.23 cores=1,3,5,7
/proc/20244/stat : 20244 (java) S 20242 20242 20185 0 -1 1077944320 70564 0 0 0 132687 36 0 0 20 0 19 0 445754571 15924805632 81472 33554432000 4194304 4196468 140736513926720 140736513909264 140511530000119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
/proc/20244/statm: 3887892 81472 3516 1 0 3848992 0
[pid=20244/tid=20250] ppid=20242 vsize=15551568 memory=1452 CPUtime=0.52 cores=1,3,5,7
/proc/20244/task/20250/stat : 20250 (java) S 20242 20242 20185 0 -1 1077944384 9013 0 0 0 48 4 0 0 20 0 19 0 445754571 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511534240896 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20252] ppid=20242 vsize=15551568 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20252/stat : 20252 (java) S 20242 20242 20185 0 -1 1077944384 1318 0 0 0 44 4 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511122348688 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20253] ppid=20242 vsize=15551568 memory=6791534058613427641 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20253/stat : 20253 (java) S 20242 20242 20185 0 -1 1077944384 1169 0 0 0 43 5 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511121295888 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20254] ppid=20242 vsize=15551568 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20254/stat : 20254 (java) S 20242 20242 20185 0 -1 1077944384 2189 0 0 0 44 4 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511120243088 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20255] ppid=20242 vsize=15551568 memory=309504 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20255/stat : 20255 (java) S 20242 20242 20185 0 -1 1077944384 1562 0 0 0 43 5 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511119190288 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20260] ppid=20242 vsize=15551568 memory=1408 CPUtime=0.34 cores=1,3,5,7
/proc/20244/task/20260/stat : 20260 (java) S 20242 20242 20185 0 -1 1077944384 2268 0 0 0 30 4 0 0 20 0 19 0 445754573 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510672591728 140511530011266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20262] ppid=20242 vsize=15551568 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20262/stat : 20262 (java) S 20242 20242 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445754574 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510671537760 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20263] ppid=20242 vsize=15551568 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20263/stat : 20263 (java) S 20242 20242 20185 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445754574 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510670484864 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20266] ppid=20242 vsize=15551568 memory=1484 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20266/stat : 20266 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510669433168 140511530018715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20267] ppid=20242 vsize=15551568 memory=1096 CPUtime=2.36 cores=1,3,5,7
/proc/20244/task/20267/stat : 20267 (java) S 20242 20242 20185 0 -1 1077944384 12133 0 0 0 235 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510668380528 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20268] ppid=20242 vsize=15551568 memory=1176 CPUtime=2.93 cores=1,3,5,7
/proc/20244/task/20268/stat : 20268 (java) S 20242 20242 20185 0 -1 1077944384 21248 0 0 0 292 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510667327728 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20269] ppid=20242 vsize=15551568 memory=6072 CPUtime=0.6 cores=1,3,5,7
/proc/20244/task/20269/stat : 20269 (java) S 20242 20242 20185 0 -1 1077944384 7324 0 0 0 59 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510666274928 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20270] ppid=20242 vsize=15551568 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20270/stat : 20270 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510665222368 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20275] ppid=20242 vsize=15551568 memory=1804 CPUtime=0.06 cores=1,3,5,7
/proc/20244/task/20275/stat : 20275 (java) S 20242 20242 20185 0 -1 1077944384 667 0 0 0 0 6 0 0 20 0 19 0 445754577 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510664170672 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20486] ppid=20242 vsize=15551568 memory=916 CPUtime=328.78 cores=1,3,5,7
/proc/20244/task/20486/stat : 20486 (java) R 20242 20242 20185 0 -1 4202560 1009 0 0 0 32877 1 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510009928600 140511150835628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20487] ppid=20242 vsize=15551568 memory=3820 CPUtime=328.5 cores=1,3,5,7
/proc/20244/task/20487/stat : 20487 (java) R 20242 20242 20185 0 -1 4202560 2229 0 0 0 32850 0 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510007826896 140511151930098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20488] ppid=20242 vsize=15551568 memory=2600 CPUtime=329.22 cores=1,3,5,7
/proc/20244/task/20488/stat : 20488 (java) R 20242 20242 20185 0 -1 4202560 3008 0 0 0 32921 1 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510004665760 140511150833957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20489] ppid=20242 vsize=15551568 memory=2304 CPUtime=329.78 cores=1,3,5,7
/proc/20244/task/20489/stat : 20489 (java) R 20242 20242 20185 0 -1 4202560 1596 0 0 0 32978 0 0 0 20 0 19 0 445754729 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510008877784 140511151254644 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
Current children cumulated CPU time: 1327.23 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 327340 KiB
[startup+334.901 s]
/proc/loadavg: 8.65 5.97 3.12 9/236 20823
/proc/meminfo: memFree=30539852/32770624 swapFree=66922648/67108860
[pid=20242] ppid=20237 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20242/stat : 20242 (xcsp3-exec) S 20237 20242 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445754570 115843072 363 33554432000 4194304 5098028 140733604816832 140733604814936 140571966206588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21061632 140733604819835 140733604820077 140733604820077 140733604822986 0
/proc/20242/statm: 28282 363 304 221 0 87 0
[pid=20244] ppid=20242 vsize=15551568 memory=325888 CPUtime=1328.83 cores=1,3,5,7
/proc/20244/stat : 20244 (java) S 20242 20242 20185 0 -1 1077944320 70567 0 0 0 132847 36 0 0 20 0 19 0 445754571 15924805632 81472 33554432000 4194304 4196468 140736513926720 140736513909264 140511530000119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
/proc/20244/statm: 3887892 81472 3516 1 0 3848992 0
[pid=20244/tid=20250] ppid=20242 vsize=15551568 memory=323840 CPUtime=0.52 cores=1,3,5,7
/proc/20244/task/20250/stat : 20250 (java) S 20242 20242 20185 0 -1 1077944384 9013 0 0 0 48 4 0 0 20 0 19 0 445754571 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511534240896 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20252] ppid=20242 vsize=15551568 memory=1484 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20252/stat : 20252 (java) S 20242 20242 20185 0 -1 1077944384 1318 0 0 0 44 4 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511122348688 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20253] ppid=20242 vsize=15551568 memory=1096 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20253/stat : 20253 (java) S 20242 20242 20185 0 -1 1077944384 1169 0 0 0 43 5 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511121295888 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20254] ppid=20242 vsize=15551568 memory=1176 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20254/stat : 20254 (java) S 20242 20242 20185 0 -1 1077944384 2190 0 0 0 44 4 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511120243088 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20255] ppid=20242 vsize=15551568 memory=6072 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20255/stat : 20255 (java) S 20242 20242 20185 0 -1 1077944384 1563 0 0 0 43 5 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511119190288 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20260] ppid=20242 vsize=15551568 memory=6791534058613427641 CPUtime=0.34 cores=1,3,5,7
/proc/20244/task/20260/stat : 20260 (java) S 20242 20242 20185 0 -1 1077944384 2268 0 0 0 30 4 0 0 20 0 19 0 445754573 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510672591728 140511530011266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20262] ppid=20242 vsize=15551568 memory=988 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20262/stat : 20262 (java) S 20242 20242 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445754574 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510671537760 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20263] ppid=20242 vsize=15551568 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20263/stat : 20263 (java) S 20242 20242 20185 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445754574 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510670484864 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20266] ppid=20242 vsize=15551568 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20266/stat : 20266 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510669433168 140511530018715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20267] ppid=20242 vsize=15551568 memory=10728 CPUtime=2.36 cores=1,3,5,7
/proc/20244/task/20267/stat : 20267 (java) S 20242 20242 20185 0 -1 1077944384 12133 0 0 0 235 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510668380528 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20268] ppid=20242 vsize=15551568 memory=1552 CPUtime=2.93 cores=1,3,5,7
/proc/20244/task/20268/stat : 20268 (java) S 20242 20242 20185 0 -1 1077944384 21248 0 0 0 292 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510667327728 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20269] ppid=20242 vsize=15551568 memory=4096 CPUtime=0.6 cores=1,3,5,7
/proc/20244/task/20269/stat : 20269 (java) S 20242 20242 20185 0 -1 1077944384 7324 0 0 0 59 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510666274928 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20270] ppid=20242 vsize=15551568 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20270/stat : 20270 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510665222368 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20275] ppid=20242 vsize=15551568 memory=4104 CPUtime=0.06 cores=1,3,5,7
/proc/20244/task/20275/stat : 20275 (java) S 20242 20242 20185 0 -1 1077944384 667 0 0 0 0 6 0 0 20 0 19 0 445754577 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510664170672 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20486] ppid=20242 vsize=15551568 memory=1804 CPUtime=329.18 cores=1,3,5,7
/proc/20244/task/20486/stat : 20486 (java) R 20242 20242 20185 0 -1 4202560 1009 0 0 0 32917 1 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510009928160 140511150834364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20487] ppid=20242 vsize=15551568 memory=916 CPUtime=328.9 cores=1,3,5,7
/proc/20244/task/20487/stat : 20487 (java) R 20242 20242 20185 0 -1 4202560 2230 0 0 0 32890 0 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510007827008 140511150834270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20488] ppid=20242 vsize=15551568 memory=3820 CPUtime=329.62 cores=1,3,5,7
/proc/20244/task/20488/stat : 20488 (java) R 20242 20242 20185 0 -1 4202560 3008 0 0 0 32961 1 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510004666104 140511152928640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20489] ppid=20242 vsize=15551568 memory=2600 CPUtime=330.18 cores=1,3,5,7
/proc/20244/task/20489/stat : 20489 (java) R 20242 20242 20185 0 -1 4202560 1596 0 0 0 33018 0 0 0 20 0 19 0 445754729 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510008877224 140511151656296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
Current children cumulated CPU time: 1328.83 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 327340 KiB
[startup+335.001 s]
/proc/loadavg: 8.65 5.97 3.12 9/236 20823
/proc/meminfo: memFree=30539852/32770624 swapFree=66922648/67108860
[pid=20242] ppid=20237 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20242/stat : 20242 (xcsp3-exec) S 20237 20242 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445754570 115843072 363 33554432000 4194304 5098028 140733604816832 140733604814936 140571966206588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21061632 140733604819835 140733604820077 140733604820077 140733604822986 0
/proc/20242/statm: 28282 363 304 221 0 87 0
[pid=20244] ppid=20242 vsize=15551568 memory=325888 CPUtime=1329.23 cores=1,3,5,7
/proc/20244/stat : 20244 (java) S 20242 20242 20185 0 -1 1077944320 70567 0 0 0 132887 36 0 0 20 0 19 0 445754571 15924805632 81472 33554432000 4194304 4196468 140736513926720 140736513909264 140511530000119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
/proc/20244/statm: 3887892 81472 3516 1 0 3848992 0
[pid=20244/tid=20250] ppid=20242 vsize=15551568 memory=325888 CPUtime=0.52 cores=1,3,5,7
/proc/20244/task/20250/stat : 20250 (java) S 20242 20242 20185 0 -1 1077944384 9013 0 0 0 48 4 0 0 20 0 19 0 445754571 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511534240896 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20252] ppid=20242 vsize=15551568 memory=323840 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20252/stat : 20252 (java) S 20242 20242 20185 0 -1 1077944384 1318 0 0 0 44 4 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511122348688 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20253] ppid=20242 vsize=15551568 memory=307456 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20253/stat : 20253 (java) S 20242 20242 20185 0 -1 1077944384 1169 0 0 0 43 5 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511121295888 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20254] ppid=20242 vsize=15551568 memory=325888 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20254/stat : 20254 (java) S 20242 20242 20185 0 -1 1077944384 2190 0 0 0 44 4 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511120243088 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20255] ppid=20242 vsize=15551568 memory=325888 CPUtime=0.48 cores=1,3,5,7
/proc/20244/task/20255/stat : 20255 (java) S 20242 20242 20185 0 -1 1077944384 1563 0 0 0 43 5 0 0 20 0 19 0 445754572 15924805632 81472 33554432000 4194304 4196468 140736513926720 140511119190288 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20260] ppid=20242 vsize=15551568 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/20244/task/20260/stat : 20260 (java) S 20242 20242 20185 0 -1 1077944384 2268 0 0 0 30 4 0 0 20 0 19 0 445754573 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510672591728 140511530011266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20262] ppid=20242 vsize=15551568 memory=325888 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20262/stat : 20262 (java) S 20242 20242 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445754574 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510671537760 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20263] ppid=20242 vsize=15551568 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20263/stat : 20263 (java) S 20242 20242 20185 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445754574 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510670484864 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20266] ppid=20242 vsize=15551568 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20266/stat : 20266 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510669433168 140511530018715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20267] ppid=20242 vsize=15551568 memory=1452 CPUtime=2.36 cores=1,3,5,7
/proc/20244/task/20267/stat : 20267 (java) S 20242 20242 20185 0 -1 1077944384 12133 0 0 0 235 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510668380528 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20268] ppid=20242 vsize=15551568 memory=1452 CPUtime=2.93 cores=1,3,5,7
/proc/20244/task/20268/stat : 20268 (java) S 20242 20242 20185 0 -1 1077944384 21248 0 0 0 292 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510667327728 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20269] ppid=20242 vsize=15551568 memory=2016 CPUtime=0.6 cores=1,3,5,7
/proc/20244/task/20269/stat : 20269 (java) S 20242 20242 20185 0 -1 1077944384 7324 0 0 0 59 1 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510666274928 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20270] ppid=20242 vsize=15551568 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/20244/task/20270/stat : 20270 (java) S 20242 20242 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445754576 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510665222368 140511530010325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20275] ppid=20242 vsize=15551568 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/20244/task/20275/stat : 20275 (java) S 20242 20242 20185 0 -1 1077944384 667 0 0 0 0 6 0 0 20 0 19 0 445754577 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510664170672 140511530011266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20486] ppid=20242 vsize=15551568 memory=1452 CPUtime=329.28 cores=1,3,5,7
/proc/20244/task/20486/stat : 20486 (java) R 20242 20242 20185 0 -1 4202560 1009 0 0 0 32927 1 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510009928160 140511151930226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20487] ppid=20242 vsize=15551568 memory=2304 CPUtime=329 cores=1,3,5,7
/proc/20244/task/20487/stat : 20487 (java) R 20242 20242 20185 0 -1 4202560 2230 0 0 0 32900 0 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510007827008 140511150835081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20488] ppid=20242 vsize=15551568 memory=1412 CPUtime=329.72 cores=1,3,5,7
/proc/20244/task/20488/stat : 20488 (java) R 20242 20242 20185 0 -1 4202560 3008 0 0 0 32971 1 0 0 20 0 19 0 445754728 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510004666104 140511153235228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
[pid=20244/tid=20489] ppid=20242 vsize=15551568 memory=3620 CPUtime=330.28 cores=1,3,5,7
/proc/20244/task/20489/stat : 20489 (java) R 20242 20242 20185 0 -1 4202560 1596 0 0 0 33028 0 0 0 20 0 19 0 445754729 15924805632 81472 33554432000 4194304 4196468 140736513926720 140510008877224 140511150835128 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12591104 140736513930223 140736513930394 140736513930394 140736513933263 0
Current children cumulated CPU time: 1329.23 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 327340 KiB
Child status: 0
Real time (s): 335.023
CPU time (s): 1329.31
CPU user time (s): 1328.94
CPU system time (s): 0.369097
CPU usage (%): 396.781
Max. virtual memory (cumulated for all children) (KiB): 15664696
Max. memory (cumulated for all children) (KiB): 327340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1328.94
system time used= 0.369097
maximum resident set size= 326256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71597
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23210
involuntary context switches= 23659
# summary of solver processes directly reported to runsolver:
# pid: 20242
# total CPU time (s): 1329.31
# total CPU user time (s): 1328.94
# total CPU system time (s): 0.369097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09806 second user time and 3.63214 second system time
The end