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 (14003 MiB free)
memory of node 1: 16384 MiB (15680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281739-1503152779/watcher-4281739-1503152779 -o /tmp/evaluation-result-4281739-1503152779/solver-4281739-1503152779 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 395148402 HOME/instance-4281739-1503152779.xml
running on 4 cores: 1,3,5,7
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=28180, runsolver pid=28177
[startup+0.1051 s]*
/proc/loadavg: 1.74 1.74 1.77 3/205 28190
/proc/meminfo: memFree=30386832/32770624 swapFree=67108860/67108860
[pid=28180] ppid=28177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (xcsp3-exec) S 28177 28180 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13687010 9740288 345 18446744073709551615 4194304 5098028 140729197180272 140729197178376 140566951531132 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 22151168 140729197183354 140729197183558 140729197183558 140729197187051 0
/proc/28180/statm: 2378 345 289 221 0 87 0
[pid=28182] ppid=28180 vsize=13574484 memory=18340 CPUtime=0.03 cores=1,3,5,7
/proc/28182/stat : 28182 (java) S 28180 28180 17292 0 -1 1077944320 3931 0 0 0 3 0 0 0 20 0 9 0 13687016 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140720738861488 140244815806199 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
/proc/28182/statm: 3393621 4585 2137 1 0 3383118 0
[pid=28182/tid=28183] ppid=28180 vsize=13574484 memory=-8713483618642983523 CPUtime=0.03 cores=1,3,5,7
/proc/28182/task/28183/stat : 28183 (java) R 28180 28180 17292 0 -1 4202560 2638 0 0 0 3 0 0 0 20 0 9 0 13687017 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140244820041592 140244815828125 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28184] ppid=28180 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28184/stat : 28184 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 13687017 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140244776704400 140244815816405 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28185] ppid=28180 vsize=13574484 memory=140491797329536 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28185/stat : 28185 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 13687017 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140244414818576 140244815816405 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28186] ppid=28180 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28186/stat : 28186 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 13687017 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140244413766288 140244815816405 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28187] ppid=28180 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28187/stat : 28187 (java) S 28180 28180 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 13687017 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140244412713488 140244815816405 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28188] ppid=28180 vsize=13574484 memory=140491797329536 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28188/stat : 28188 (java) S 28180 28180 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 13687019 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140243799710320 140244815817346 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28189] ppid=28180 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28189/stat : 28189 (java) S 28180 28180 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 13687019 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140243798656288 140244815816405 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28190] ppid=28180 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28190/stat : 28190 (java) S 28180 28180 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 13687019 13900271616 4585 18446744073709551615 4194304 4196468 140720738878944 140243797603952 140244815816405 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19720 KiB
[startup+0.210036 s]*
/proc/loadavg: 1.74 1.74 1.77 3/211 28196
/proc/meminfo: memFree=30380408/32770624 swapFree=67108860/67108860
[pid=28180] ppid=28177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (xcsp3-exec) S 28177 28180 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13687010 9740288 345 18446744073709551615 4194304 5098028 140729197180272 140729197178376 140566951531132 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 22151168 140729197183354 140729197183558 140729197183558 140729197187051 0
/proc/28180/statm: 2378 345 289 221 0 87 0
[pid=28182] ppid=28180 vsize=13974352 memory=26736 CPUtime=0.1 cores=1,3,5,7
/proc/28182/stat : 28182 (java) S 28180 28180 17292 0 -1 1077944320 5105 0 0 0 9 1 0 0 20 0 15 0 13687016 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140720738861488 140244815806199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
/proc/28182/statm: 3493588 6684 2757 1 0 3482964 0
[pid=28182/tid=28183] ppid=28180 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/28182/task/28183/stat : 28183 (java) R 28180 28180 17292 0 -1 4202560 3264 0 0 0 7 0 0 0 20 0 15 0 13687017 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140244820019696 140244799886686 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28184] ppid=28180 vsize=13974352 memory=10613 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28184/stat : 28184 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140244776704400 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28185] ppid=28180 vsize=13974352 memory=140491797357046 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28185/stat : 28185 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140244414818576 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28186] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28186/stat : 28186 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140244413766288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28187] ppid=28180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28187/stat : 28187 (java) S 28180 28180 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13687017 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140244412713488 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28188] ppid=28180 vsize=13974352 memory=140491797329536 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28188/stat : 28188 (java) S 28180 28180 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13687019 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243799710320 140244815817346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28189] ppid=28180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28189/stat : 28189 (java) S 28180 28180 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13687019 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243798656288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28190] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28190/stat : 28190 (java) S 28180 28180 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13687019 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243797603952 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28191] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28191/stat : 28191 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243796552272 140244815824795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28192] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28192/stat : 28192 (java) S 28180 28180 17292 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 13687022 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243795499120 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28193] ppid=28180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28193/stat : 28193 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243794446320 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28194] ppid=28180 vsize=13974352 memory=140491797329536 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28194/stat : 28194 (java) S 28180 28180 17292 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 13687022 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243793394032 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28195] ppid=28180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28195/stat : 28195 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243792341472 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28196] ppid=28180 vsize=13974352 memory=140491797329536 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28196/stat : 28196 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687029 14309736448 6684 18446744073709551615 4194304 4196468 140720738878944 140243791289264 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28116 KiB
[startup+0.316174 s]*
/proc/loadavg: 1.74 1.74 1.77 3/211 28196
/proc/meminfo: memFree=30368608/32770624 swapFree=67108860/67108860
[pid=28180] ppid=28177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (xcsp3-exec) S 28177 28180 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13687010 9740288 345 18446744073709551615 4194304 5098028 140729197180272 140729197178376 140566951531132 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 22151168 140729197183354 140729197183558 140729197183558 140729197187051 0
/proc/28180/statm: 2378 345 289 221 0 87 0
[pid=28182] ppid=28180 vsize=13974352 memory=39684 CPUtime=0.3 cores=1,3,5,7
/proc/28182/stat : 28182 (java) S 28180 28180 17292 0 -1 1077944320 9096 0 0 0 28 2 0 0 20 0 15 0 13687016 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140720738861488 140244815806199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
/proc/28182/statm: 3493588 9921 3034 1 0 3482964 0
[pid=28182/tid=28183] ppid=28180 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/28182/task/28183/stat : 28183 (java) R 28180 28180 17292 0 -1 4202560 6244 0 0 0 16 2 0 0 20 0 15 0 13687017 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140244820040176 140244815818134 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28184] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28184/stat : 28184 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140244776704400 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28185] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28185/stat : 28185 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140244414818576 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28186] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28186/stat : 28186 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140244413766288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28187] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28187/stat : 28187 (java) S 28180 28180 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13687017 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140244412713488 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28188] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28188/stat : 28188 (java) S 28180 28180 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13687019 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243799710320 140244815817346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28189] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28189/stat : 28189 (java) S 28180 28180 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13687019 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243798656288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28190] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28190/stat : 28190 (java) S 28180 28180 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13687019 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243797603952 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28191] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28191/stat : 28191 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243796552272 140244815824795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28192] ppid=28180 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28182/task/28192/stat : 28192 (java) S 28180 28180 17292 0 -1 1077944384 679 0 0 0 3 0 0 0 20 0 15 0 13687022 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243795499120 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28193] ppid=28180 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28182/task/28193/stat : 28193 (java) S 28180 28180 17292 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 15 0 13687022 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243794446320 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28194] ppid=28180 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28182/task/28194/stat : 28194 (java) R 28180 28180 17292 0 -1 4202560 742 0 0 0 6 0 0 0 20 0 15 0 13687022 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243793394032 140244794250950 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28195] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28195/stat : 28195 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243792341472 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28196] ppid=28180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28196/stat : 28196 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687029 14309736448 9921 18446744073709551615 4194304 4196468 140720738878944 140243791289264 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41064 KiB
[startup+0.700893 s]
/proc/loadavg: 1.74 1.74 1.77 5/211 28196
/proc/meminfo: memFree=30353308/32770624 swapFree=67108860/67108860
[pid=28180] ppid=28177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (xcsp3-exec) S 28177 28180 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13687010 9740288 345 18446744073709551615 4194304 5098028 140729197180272 140729197178376 140566951531132 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 22151168 140729197183354 140729197183558 140729197183558 140729197187051 0
/proc/28180/statm: 2378 345 289 221 0 87 0
[pid=28182] ppid=28180 vsize=13978684 memory=103604 CPUtime=1.19 cores=1,3,5,7
/proc/28182/stat : 28182 (java) S 28180 28180 17292 0 -1 1077944320 12409 0 0 0 114 5 0 0 20 0 15 0 13687016 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140720738861488 140244815806199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
/proc/28182/statm: 3494671 25901 3160 1 0 3482964 0
[pid=28182/tid=28183] ppid=28180 vsize=13978684 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/28182/task/28183/stat : 28183 (java) R 28180 28180 17292 0 -1 4202560 7839 0 0 0 51 3 0 0 20 0 15 0 13687017 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140244820041056 140244794883731 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28184] ppid=28180 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28184/stat : 28184 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140244776704400 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28185] ppid=28180 vsize=13978684 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28185/stat : 28185 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140244414818576 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28186] ppid=28180 vsize=13978684 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28186/stat : 28186 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687017 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140244413766288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28187] ppid=28180 vsize=13978684 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28187/stat : 28187 (java) S 28180 28180 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13687017 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140244412713488 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28188] ppid=28180 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28188/stat : 28188 (java) S 28180 28180 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13687019 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243799710320 140244815817346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28189] ppid=28180 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28189/stat : 28189 (java) S 28180 28180 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13687019 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243798656288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28190] ppid=28180 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28190/stat : 28190 (java) S 28180 28180 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13687019 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243797603952 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28191] ppid=28180 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28191/stat : 28191 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243796552272 140244815824795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28192] ppid=28180 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/28182/task/28192/stat : 28192 (java) R 28180 28180 17292 0 -1 4202560 1197 0 0 0 21 0 0 0 20 0 15 0 13687022 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243795480232 140244801486853 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28193] ppid=28180 vsize=13978684 memory=3 CPUtime=0.2 cores=1,3,5,7
/proc/28182/task/28193/stat : 28193 (java) R 28180 28180 17292 0 -1 4202560 803 0 0 0 20 0 0 0 20 0 15 0 13687022 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243794437776 140244808095528 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28194] ppid=28180 vsize=13978684 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28182/task/28194/stat : 28194 (java) S 28180 28180 17292 0 -1 1077944384 1266 0 0 0 20 0 0 0 20 0 15 0 13687022 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243793394032 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28195] ppid=28180 vsize=13978684 memory=3 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28195/stat : 28195 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243792341472 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28196] ppid=28180 vsize=13978684 memory=12 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28196/stat : 28196 (java) S 28180 28180 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13687029 14314172416 25901 18446744073709551615 4194304 4196468 140720738878944 140243791289264 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 104984 KiB
[startup+1.50091 s]
/proc/loadavg: 1.74 1.74 1.77 3/211 28196
/proc/meminfo: memFree=30247368/32770624 swapFree=67108860/67108860
[pid=28180] ppid=28177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (xcsp3-exec) S 28177 28180 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13687010 9740288 345 18446744073709551615 4194304 5098028 140729197180272 140729197178376 140566951531132 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 22151168 140729197183354 140729197183558 140729197183558 140729197187051 0
/proc/28180/statm: 2378 345 289 221 0 87 0
[pid=28182] ppid=28180 vsize=13980732 memory=194640 CPUtime=3.04 cores=1,3,5,7
/proc/28182/stat : 28182 (java) S 28180 28180 17292 0 -1 1077944320 14930 0 0 0 296 8 0 0 20 0 15 0 13687016 14316269568 48660 18446744073709551615 4194304 4196468 140720738878944 140720738861488 140244815806199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
/proc/28182/statm: 3495183 48660 3194 1 0 3483476 0
[pid=28182/tid=28183] ppid=28180 vsize=13980732 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/28182/task/28183/stat : 28183 (java) R 28180 28180 17292 0 -1 4202560 8052 0 0 0 129 5 0 0 20 0 15 0 13687017 14316269568 48660 18446744073709551615 4194304 4196468 140720738878944 140244820041520 140244456645778 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28184] ppid=28180 vsize=13980732 memory=280983337411776 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28184/stat : 28184 (java) S 28180 28180 17292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 13687017 14316269568 48660 18446744073709551615 4194304 4196468 140720738878944 140244776704400 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28185] ppid=28180 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28185/stat : 28185 (java) S 28180 28180 17292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 13687017 14316269568 48660 18446744073709551615 4194304 4196468 140720738878944 140244414818576 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28186] ppid=28180 vsize=13980732 memory=6933690287860520088 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28186/stat : 28186 (java) S 28180 28180 17292 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 13687017 14316269568 48660 18446744073709551615 4194304 4196468 140720738878944 140244413766288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28187] ppid=28180 vsize=13980732 memory=4138356658378995242 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/28182/task/28190/stat : 28190 (java) S 28180 28180 17292 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 13687019 14316269568 185536 18446744073709551615 4194304 4196468 140720738878944 140243797603968 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28191] ppid=28180 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28191/stat : 28191 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14316269568 185536 18446744073709551615 4194304 4196468 140720738878944 140243796552272 140244815824795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28192] ppid=28180 vsize=13980732 memory=4124 CPUtime=2.42 cores=1,3,5,7
/proc/28182/task/28192/stat : 28192 (java) S 28180 28180 17292 0 -1 1077944384 20277 0 0 0 239 3 0 0 20 0 15 0 13687022 14316269568 185536 18446744073709551615 4194304 4196468 140720738878944 140243795499120 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28193] ppid=28180 vsize=13980732 memory=1380 CPUtime=2.93 cores=1,3,5,7
/proc/28182/task/28193/stat : 28193 (java) S 28180 28180 17292 0 -1 1077944384 19513 0 0 0 290 3 0 0 20 0 15 0 13687022 14316269568 185536 18446744073709551615 4194304 4196468 140720738878944 140243794446320 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28194] ppid=28180 vsize=13980732 memory=4124 CPUtime=0.56 cores=1,3,5,7
/proc/28182/task/28194/stat : 28194 (java) S 28180 28180 17292 0 -1 1077944384 10402 0 0 0 54 2 0 0 20 0 15 0 13687022 14316269568 185536 18446744073709551615 4194304 4196468 140720738878944 140243793394032 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28195] ppid=28180 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28195/stat : 28195 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14316269568 185536 18446744073709551615 4194304 4196468 140720738878944 140243792341472 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28196] ppid=28180 vsize=13980732 memory=742144 CPUtime=1.37 cores=1,3,5,7
/proc/28182/task/28196/stat : 28196 (java) S 28180 28180 17292 0 -1 1077944384 1981 0 0 0 62 75 0 0 20 0 15 0 13687029 14316269568 185536 18446744073709551615 4194304 4196468 140720738878944 140243791289264 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
Current children cumulated CPU time: 2449.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 743524 KiB
[startup+2502.3 s]
/proc/loadavg: 2.10 2.11 2.06 3/211 28415
/proc/meminfo: memFree=30910492/32770624 swapFree=67108860/67108860
[pid=28180] ppid=28177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (xcsp3-exec) S 28177 28180 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13687010 9740288 345 18446744073709551615 4194304 5098028 140729197180272 140729197178376 140566951531132 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 22151168 140729197183354 140729197183558 140729197183558 140729197187051 0
/proc/28180/statm: 2378 345 289 221 0 87 0
[pid=28182] ppid=28180 vsize=13980732 memory=724188 CPUtime=2509.83 cores=1,3,5,7
/proc/28182/stat : 28182 (java) S 28180 28180 17292 0 -1 1077944320 126907 0 0 0 250865 118 0 0 20 0 15 0 13687016 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140720738861488 140244815806199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
/proc/28182/statm: 3495183 181047 3230 1 0 3483476 0
[pid=28182/tid=28183] ppid=28180 vsize=13980732 memory=724188 CPUtime=2501.87 cores=1,3,5,7
/proc/28182/task/28183/stat : 28183 (java) R 28180 28180 17292 0 -1 4202560 50597 0 0 0 250163 24 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244820045664 140244461513478 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28184] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.12 cores=1,3,5,7
/proc/28182/task/28184/stat : 28184 (java) S 28180 28180 17292 0 -1 1077944384 3846 0 0 0 7 5 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244776704400 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28185] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.11 cores=1,3,5,7
/proc/28182/task/28185/stat : 28185 (java) S 28180 28180 17292 0 -1 1077944384 4871 0 0 0 7 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244414818576 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28186] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.11 cores=1,3,5,7
/proc/28182/task/28186/stat : 28186 (java) S 28180 28180 17292 0 -1 1077944384 4069 0 0 0 7 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244413766288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28187] ppid=28180 vsize=13980732 memory=3472328296227679313 CPUtime=0.13 cores=1,3,5,7
/proc/28182/task/28187/stat : 28187 (java) S 28180 28180 17292 0 -1 1077944384 3441 0 0 0 9 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244412713488 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28188] ppid=28180 vsize=13980732 memory=-8774313645642428999 CPUtime=0.09 cores=1,3,5,7
/proc/28182/task/28188/stat : 28188 (java) S 28180 28180 17292 0 -1 1077944384 6513 0 0 0 4 5 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243799710320 140244815817346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28189] ppid=28180 vsize=13980732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28189/stat : 28189 (java) S 28180 28180 17292 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243798656352 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28190] ppid=28180 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28190/stat : 28190 (java) S 28180 28180 17292 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243797603968 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28191] ppid=28180 vsize=13980732 memory=724188 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28191/stat : 28191 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243796552272 140244815824795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28192] ppid=28180 vsize=13980732 memory=1380 CPUtime=2.42 cores=1,3,5,7
/proc/28182/task/28192/stat : 28192 (java) S 28180 28180 17292 0 -1 1077944384 20280 0 0 0 239 3 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243795499120 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28193] ppid=28180 vsize=13980732 memory=4124 CPUtime=2.93 cores=1,3,5,7
/proc/28182/task/28193/stat : 28193 (java) S 28180 28180 17292 0 -1 1077944384 19515 0 0 0 290 3 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243794446320 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28194] ppid=28180 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/28182/task/28194/stat : 28194 (java) S 28180 28180 17292 0 -1 1077944384 10404 0 0 0 54 2 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243793394032 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28195] ppid=28180 vsize=13980732 memory=724188 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28195/stat : 28195 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243792341472 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28196] ppid=28180 vsize=13980732 memory=1380 CPUtime=1.4 cores=1,3,5,7
/proc/28182/task/28196/stat : 28196 (java) S 28180 28180 17292 0 -1 1077944384 2012 0 0 0 63 77 0 0 20 0 15 0 13687029 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243791289264 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
Current children cumulated CPU time: 2509.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 725568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.5 s]
/proc/loadavg: 2.08 2.11 2.05 3/211 28416
/proc/meminfo: memFree=30908460/32770624 swapFree=67108860/67108860
[pid=28180] ppid=28177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (xcsp3-exec) S 28177 28180 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13687010 9740288 345 18446744073709551615 4194304 5098028 140729197180272 140729197178376 140566951531132 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 22151168 140729197183354 140729197183558 140729197183558 140729197187051 0
/proc/28180/statm: 2378 345 289 221 0 87 0
[pid=28182] ppid=28180 vsize=13980732 memory=724188 CPUtime=2520.04 cores=1,3,5,7
/proc/28182/stat : 28182 (java) S 28180 28180 17292 0 -1 1077944320 126907 0 0 0 251885 119 0 0 20 0 15 0 13687016 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140720738861488 140244815806199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
/proc/28182/statm: 3495183 181047 3230 1 0 3483476 0
[pid=28182/tid=28183] ppid=28180 vsize=13980732 memory=724188 CPUtime=2512.07 cores=1,3,5,7
/proc/28182/task/28183/stat : 28183 (java) R 28180 28180 17292 0 -1 4202560 50597 0 0 0 251183 24 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244820045664 140244461514518 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28184] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.12 cores=1,3,5,7
/proc/28182/task/28184/stat : 28184 (java) S 28180 28180 17292 0 -1 1077944384 3846 0 0 0 7 5 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244776704400 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28185] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.11 cores=1,3,5,7
/proc/28182/task/28185/stat : 28185 (java) S 28180 28180 17292 0 -1 1077944384 4871 0 0 0 7 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244414818576 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28186] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.11 cores=1,3,5,7
/proc/28182/task/28186/stat : 28186 (java) S 28180 28180 17292 0 -1 1077944384 4069 0 0 0 7 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244413766288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28187] ppid=28180 vsize=13980732 memory=1380 CPUtime=0.13 cores=1,3,5,7
/proc/28182/task/28187/stat : 28187 (java) S 28180 28180 17292 0 -1 1077944384 3441 0 0 0 9 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244412713488 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28188] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.09 cores=1,3,5,7
/proc/28182/task/28188/stat : 28188 (java) S 28180 28180 17292 0 -1 1077944384 6513 0 0 0 4 5 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243799710320 140244815817346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28189] ppid=28180 vsize=13980732 memory=724188 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28189/stat : 28189 (java) S 28180 28180 17292 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243798656352 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28190] ppid=28180 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28190/stat : 28190 (java) S 28180 28180 17292 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243797603968 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28191] ppid=28180 vsize=13980732 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28191/stat : 28191 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243796552272 140244815824795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28192] ppid=28180 vsize=13980732 memory=0 CPUtime=2.42 cores=1,3,5,7
/proc/28182/task/28192/stat : 28192 (java) S 28180 28180 17292 0 -1 1077944384 20280 0 0 0 239 3 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243795499120 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28193] ppid=28180 vsize=13980732 memory=293 CPUtime=2.93 cores=1,3,5,7
/proc/28182/task/28193/stat : 28193 (java) S 28180 28180 17292 0 -1 1077944384 19515 0 0 0 290 3 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243794446320 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28194] ppid=28180 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/28182/task/28194/stat : 28194 (java) S 28180 28180 17292 0 -1 1077944384 10404 0 0 0 54 2 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243793394032 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28195] ppid=28180 vsize=13980732 memory=724188 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28195/stat : 28195 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243792341472 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28196] ppid=28180 vsize=13980732 memory=1380 CPUtime=1.41 cores=1,3,5,7
/proc/28182/task/28196/stat : 28196 (java) S 28180 28180 17292 0 -1 1077944384 2012 0 0 0 63 78 0 0 20 0 15 0 13687029 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243791289264 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 725568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.51 s]
# the end of solver process 28180 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001915 s, system=0 s
[startup+2512.51 s]
# the end of solver process 28182 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.86 s, system=1.19615 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.5 s]
/proc/loadavg: 2.08 2.11 2.05 3/211 28416
/proc/meminfo: memFree=30908460/32770624 swapFree=67108860/67108860
[pid=28180] ppid=28177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (xcsp3-exec) S 28177 28180 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13687010 9740288 345 18446744073709551615 4194304 5098028 140729197180272 140729197178376 140566951531132 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 22151168 140729197183354 140729197183558 140729197183558 140729197187051 0
/proc/28180/statm: 2378 345 289 221 0 87 0
[pid=28182] ppid=28180 vsize=13980732 memory=724188 CPUtime=2520.04 cores=1,3,5,7
/proc/28182/stat : 28182 (java) S 28180 28180 17292 0 -1 1077944320 126907 0 0 0 251885 119 0 0 20 0 15 0 13687016 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140720738861488 140244815806199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
/proc/28182/statm: 3495183 181047 3230 1 0 3483476 0
[pid=28182/tid=28183] ppid=28180 vsize=13980732 memory=724188 CPUtime=2512.07 cores=1,3,5,7
/proc/28182/task/28183/stat : 28183 (java) R 28180 28180 17292 0 -1 4202560 50597 0 0 0 251183 24 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244820045664 140244461514518 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28184] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.12 cores=1,3,5,7
/proc/28182/task/28184/stat : 28184 (java) S 28180 28180 17292 0 -1 1077944384 3846 0 0 0 7 5 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244776704400 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28185] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.11 cores=1,3,5,7
/proc/28182/task/28185/stat : 28185 (java) S 28180 28180 17292 0 -1 1077944384 4871 0 0 0 7 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244414818576 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28186] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.11 cores=1,3,5,7
/proc/28182/task/28186/stat : 28186 (java) S 28180 28180 17292 0 -1 1077944384 4069 0 0 0 7 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244413766288 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28187] ppid=28180 vsize=13980732 memory=1380 CPUtime=0.13 cores=1,3,5,7
/proc/28182/task/28187/stat : 28187 (java) S 28180 28180 17292 0 -1 1077944384 3441 0 0 0 9 4 0 0 20 0 15 0 13687017 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140244412713488 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28188] ppid=28180 vsize=13980732 memory=724188 CPUtime=0.09 cores=1,3,5,7
/proc/28182/task/28188/stat : 28188 (java) S 28180 28180 17292 0 -1 1077944384 6513 0 0 0 4 5 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243799710320 140244815817346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28189] ppid=28180 vsize=13980732 memory=724188 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28189/stat : 28189 (java) S 28180 28180 17292 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243798656352 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28190] ppid=28180 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28190/stat : 28190 (java) S 28180 28180 17292 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 13687019 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243797603968 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28191] ppid=28180 vsize=13980732 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28191/stat : 28191 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243796552272 140244815824795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28192] ppid=28180 vsize=13980732 memory=0 CPUtime=2.42 cores=1,3,5,7
/proc/28182/task/28192/stat : 28192 (java) S 28180 28180 17292 0 -1 1077944384 20280 0 0 0 239 3 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243795499120 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28193] ppid=28180 vsize=13980732 memory=293 CPUtime=2.93 cores=1,3,5,7
/proc/28182/task/28193/stat : 28193 (java) S 28180 28180 17292 0 -1 1077944384 19515 0 0 0 290 3 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243794446320 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28194] ppid=28180 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/28182/task/28194/stat : 28194 (java) S 28180 28180 17292 0 -1 1077944384 10404 0 0 0 54 2 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243793394032 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28195] ppid=28180 vsize=13980732 memory=724188 CPUtime=0 cores=1,3,5,7
/proc/28182/task/28195/stat : 28195 (java) S 28180 28180 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13687022 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243792341472 140244815816405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
[pid=28182/tid=28196] ppid=28180 vsize=13980732 memory=1380 CPUtime=1.41 cores=1,3,5,7
/proc/28182/task/28196/stat : 28196 (java) S 28180 28180 17292 0 -1 1077944384 2012 0 0 0 63 78 0 0 20 0 15 0 13687029 14316269568 181047 18446744073709551615 4194304 4196468 140720738878944 140243791289264 140244815817346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33873920 140720738881970 140720738882146 140720738882146 140720738885583 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 725568 KiB
Child status: 143
Real time (s): 2512.51
CPU time (s): 2520.06
CPU user time (s): 2518.86
CPU system time (s): 1.19615
CPU usage (%): 100.3
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1263052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.86
system time used= 1.19615
maximum resident set size= 1282160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57115
involuntary context switches= 973
# summary of solver processes directly reported to runsolver:
# pid: 28180,28182
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.86
# total CPU system time (s): 1.19615
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1255 second user time and 23.0819 second system time
The end