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 (11049 MiB free)
memory of node 1: 16384 MiB (9388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284241-1503213572/watcher-4284241-1503213572 -o /tmp/evaluation-result-4284241-1503213572/solver-4284241-1503213572 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20020 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 715927015 HOME/instance-4284241-1503213572.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=23234, runsolver pid=23231
[startup+0.10069 s]*
/proc/loadavg: 1.33 1.50 1.68 3/219 23250
/proc/meminfo: memFree=20910480/32770624 swapFree=67108860/67108860
[pid=23234] ppid=23231 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (xcsp3-exec) S 23231 23234 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154444844 9740288 346 33554432000 4194304 5098028 140735331715568 140735331713672 140298448110204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32165888 140735331722357 140735331722560 140735331722560 140735331725291 0
/proc/23234/statm: 2378 346 289 221 0 87 0
[pid=23236] ppid=23234 vsize=13978596 memory=27820 CPUtime=0.12 cores=1,3,5,7
/proc/23236/stat : 23236 (java) S 23234 23234 19988 0 -1 1077944320 5392 0 0 0 11 1 0 0 20 0 15 0 154444844 14314082304 6955 33554432000 4194304 4196468 140721211259168 140721211241712 140446628450039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
/proc/23236/statm: 3494649 6955 2840 1 0 3482966 0
[pid=23236/tid=23237] ppid=23234 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/23236/task/23237/stat : 23237 (java) R 23234 23234 19988 0 -1 4202560 3391 0 0 0 8 0 0 0 20 0 15 0 154444844 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446632670448 140446628461974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23238] ppid=23234 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23238/stat : 23238 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444845 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446581070480 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23239] ppid=23234 vsize=13978596 memory=140619641808512 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23239/stat : 23239 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444845 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446580017680 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23240] ppid=23234 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23240/stat : 23240 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444845 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446578964880 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23241] ppid=23234 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23241/stat : 23241 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444845 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446577912080 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23242] ppid=23234 vsize=13978596 memory=140619641808512 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23242/stat : 23242 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444846 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446169828208 140446628461186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23243] ppid=23234 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23243/stat : 23243 (java) S 23234 23234 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154444847 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446101661216 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23244] ppid=23234 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23244/stat : 23244 (java) S 23234 23234 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154444847 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446100608368 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23245] ppid=23234 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444849 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446099556688 140446628468635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23246] ppid=23234 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) S 23234 23234 19988 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 154444849 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446098504048 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23247] ppid=23234 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) S 23234 23234 19988 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 154444849 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446097451248 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23248] ppid=23234 vsize=13978596 memory=140619641808512 CPUtime=0.01 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) R 23234 23234 19988 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 154444849 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446096398448 140446607054537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23249] ppid=23234 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444850 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446095345888 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23250] ppid=23234 vsize=13978596 memory=140619641808512 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444850 14314082304 6955 33554432000 4194304 4196468 140721211259168 140446094294192 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29204 KiB
[startup+0.210723 s]*
/proc/loadavg: 1.33 1.50 1.68 3/219 23250
/proc/meminfo: memFree=20899068/32770624 swapFree=67108860/67108860
[pid=23234] ppid=23231 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (xcsp3-exec) S 23231 23234 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154444844 9740288 346 33554432000 4194304 5098028 140735331715568 140735331713672 140298448110204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32165888 140735331722357 140735331722560 140735331722560 140735331725291 0
/proc/23234/statm: 2378 346 289 221 0 87 0
[pid=23236] ppid=23234 vsize=13982852 memory=40428 CPUtime=0.33 cores=1,3,5,7
/proc/23236/stat : 23236 (java) S 23234 23234 19988 0 -1 1077944320 8172 0 0 0 31 2 0 0 20 0 15 0 154444844 14318440448 10107 33554432000 4194304 4196468 140721211259168 140721211241712 140446628450039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
/proc/23236/statm: 3495713 10107 3039 1 0 3482966 0
[pid=23236/tid=23237] ppid=23234 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/23236/task/23237/stat : 23237 (java) R 23234 23234 19988 0 -1 4202560 5320 0 0 0 18 1 0 0 20 0 15 0 154444844 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446632660832 140446621129261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23238] ppid=23234 vsize=13982884 memory=9107 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23238/stat : 23238 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444845 14318473216 10107 33554432000 4194304 4196468 140721211259168 140446581070480 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23239] ppid=23234 vsize=13982852 memory=140619641831030 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23239/stat : 23239 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444845 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446580017680 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23240] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23240/stat : 23240 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444845 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446578964880 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23241] ppid=23234 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23241/stat : 23241 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444845 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446577912080 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23242] ppid=23234 vsize=13982852 memory=140619641808512 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23242/stat : 23242 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444846 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446169828208 140446628461186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23243] ppid=23234 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23243/stat : 23243 (java) S 23234 23234 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154444847 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446101661216 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23244] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23244/stat : 23244 (java) S 23234 23234 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154444847 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446100608368 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23245] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444849 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446099556688 140446628468635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23246] ppid=23234 vsize=13982884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) S 23234 23234 19988 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 154444849 14318473216 10107 33554432000 4194304 4196468 140721211259168 140446098504048 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23247] ppid=23234 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) S 23234 23234 19988 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 154444849 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446097451248 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23248] ppid=23234 vsize=13982852 memory=140619641808512 CPUtime=0.08 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) S 23234 23234 19988 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 154444849 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446096398448 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23249] ppid=23234 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444850 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446095345888 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23250] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444850 14318440448 10107 33554432000 4194304 4196468 140721211259168 140446094294192 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41812 KiB
[startup+0.312467 s]*
/proc/loadavg: 1.33 1.50 1.68 5/219 23250
/proc/meminfo: memFree=20891896/32770624 swapFree=67108860/67108860
[pid=23234] ppid=23231 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (xcsp3-exec) S 23231 23234 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154444844 9740288 346 33554432000 4194304 5098028 140735331715568 140735331713672 140298448110204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32165888 140735331722357 140735331722560 140735331722560 140735331725291 0
/proc/23234/statm: 2378 346 289 221 0 87 0
[pid=23236] ppid=23234 vsize=13982852 memory=48076 CPUtime=0.52 cores=1,3,5,7
/proc/23236/stat : 23236 (java) S 23234 23234 19988 0 -1 1077944320 9233 0 0 0 49 3 0 0 20 0 15 0 154444844 14318440448 12019 33554432000 4194304 4196468 140721211259168 140721211241712 140446628450039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
/proc/23236/statm: 3495713 12019 3118 1 0 3482966 0
[pid=23236/tid=23237] ppid=23234 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/23236/task/23237/stat : 23237 (java) R 23234 23234 19988 0 -1 4202560 5943 0 0 0 28 2 0 0 20 0 15 0 154444844 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446632675936 140446628471386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23238] ppid=23234 vsize=13982852 memory=9469 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23238/stat : 23238 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444845 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446581070480 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23239] ppid=23234 vsize=13982852 memory=3760840147386781520 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23239/stat : 23239 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444845 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446580017680 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23240] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23240/stat : 23240 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444845 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446578964880 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23241] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23241/stat : 23241 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444845 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446577912080 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23242] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23242/stat : 23242 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444846 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446169828208 140446628461186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23243] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23243/stat : 23243 (java) S 23234 23234 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154444847 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446101661216 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23244] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23244/stat : 23244 (java) S 23234 23234 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154444847 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446100608368 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23245] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444849 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446099556688 140446628468635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23246] ppid=23234 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) R 23234 23234 19988 0 -1 1077944384 620 0 0 0 3 0 0 0 20 0 15 0 154444849 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446098490832 140446628460245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23247] ppid=23234 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) R 23234 23234 19988 0 -1 4202560 452 0 0 0 4 0 0 0 20 0 15 0 154444849 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446097438032 140446613574064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23248] ppid=23234 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) R 23234 23234 19988 0 -1 4202560 921 0 0 0 13 0 0 0 20 0 15 0 154444849 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446096395384 140446607353184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23249] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444850 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446095345888 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23250] ppid=23234 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444850 14318440448 12019 33554432000 4194304 4196468 140721211259168 140446094294192 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49460 KiB
[startup+0.701695 s]
/proc/loadavg: 1.55 1.54 1.69 5/219 23250
/proc/meminfo: memFree=20866708/32770624 swapFree=67108860/67108860
[pid=23234] ppid=23231 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (xcsp3-exec) S 23231 23234 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154444844 9740288 346 33554432000 4194304 5098028 140735331715568 140735331713672 140298448110204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32165888 140735331722357 140735331722560 140735331722560 140735331725291 0
/proc/23234/statm: 2378 346 289 221 0 87 0
[pid=23236] ppid=23234 vsize=13984976 memory=92480 CPUtime=1.76 cores=1,3,5,7
/proc/23236/stat : 23236 (java) S 23234 23234 19988 0 -1 1077944320 14748 0 0 0 171 5 0 0 20 0 15 0 154444844 14320615424 23120 33554432000 4194304 4196468 140721211259168 140721211241712 140446628450039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
/proc/23236/statm: 3496244 23120 3205 1 0 3483478 0
[pid=23236/tid=23237] ppid=23234 vsize=13984976 memory=23628 CPUtime=0.67 cores=1,3,5,7
/proc/23236/task/23237/stat : 23237 (java) R 23234 23234 19988 0 -1 4202560 6650 0 0 0 65 2 0 0 20 0 15 0 154444844 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446632686248 140446256653827 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23238] ppid=23234 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23238/stat : 23238 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444845 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446581070480 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23239] ppid=23234 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23239/stat : 23239 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444845 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446580017680 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23240] ppid=23234 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23240/stat : 23240 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444845 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446578964880 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23241] ppid=23234 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23241/stat : 23241 (java) S 23234 23234 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154444845 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446577912080 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23242] ppid=23234 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23242/stat : 23242 (java) S 23234 23234 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154444846 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446169828208 140446628461186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23243] ppid=23234 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23243/stat : 23243 (java) S 23234 23234 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446101661216 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23244] ppid=23234 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23244/stat : 23244 (java) S 23234 23234 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446100608368 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23245] ppid=23234 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444849 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446099556688 140446628468635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23246] ppid=23234 vsize=13984976 memory=4124 CPUtime=0.36 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) R 23234 23234 19988 0 -1 4202560 2645 0 0 0 35 1 0 0 20 0 15 0 154444849 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446098488520 140446628471386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23247] ppid=23234 vsize=13984976 memory=2200 CPUtime=0.36 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) R 23234 23234 19988 0 -1 4202560 2062 0 0 0 36 0 0 0 20 0 15 0 154444849 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446097439272 140446620739488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23248] ppid=23234 vsize=13984976 memory=7528 CPUtime=0.35 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) S 23234 23234 19988 0 -1 1077944384 2083 0 0 0 35 0 0 0 20 0 15 0 154444849 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446096398448 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23249] ppid=23234 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444850 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446095345888 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23250] ppid=23234 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23234 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154444850 14320615424 23120 33554432000 4194304 4196468 140721211259168 140446094294192 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93864 KiB
[startup+1.50077 s]
/proc/loadavg: 1.55 1.54 1.69 5/219 23250
/proc/meminfo: memFree=20839292/32770624 swapFree=67108860/67108860
[pid=23234] ppid=23231 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (xcsp3-exec) S 23231 23234 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154444844 9740288 346 33554432000 4194304 5098028 140735331715568 140735331713672 140298448110204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32165888 140735331722357 140735331722560 140735331722560 140735331725291 0
/proc/23234/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/23236/task/23244/stat : 23244 (java) S 23234 23234 19988 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 528170 33554432000 4194304 4196468 140721211259168 140446100608368 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23245] ppid=23234 vsize=13984976 memory=2112680 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444849 14320615424 528170 33554432000 4194304 4196468 140721211259168 140446099556688 140446628468635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23246] ppid=23234 vsize=13984976 memory=0 CPUtime=3.38 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) S 23234 23234 19988 0 -1 1077944384 13439 0 0 0 336 2 0 0 20 0 15 0 154444849 14320615424 528170 33554432000 4194304 4196468 140721211259168 140446098504048 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23247] ppid=23234 vsize=13984976 memory=240406499472788 CPUtime=3.62 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) S 23234 23234 19988 0 -1 1077944384 13913 0 0 0 360 2 0 0 20 0 15 0 154444849 14320615424 528170 33554432000 4194304 4196468 140721211259168 140446097451248 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23248] ppid=23234 vsize=13984976 memory=2112680 CPUtime=0.69 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) S 23234 23234 19988 0 -1 1077944384 4387 0 0 0 68 1 0 0 20 0 15 0 154444849 14320615424 528170 33554432000 4194304 4196468 140721211259168 140446096398448 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23249] ppid=23234 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444850 14320615424 528170 33554432000 4194304 4196468 140721211259168 140446095345888 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23250] ppid=23234 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23234 19988 0 -1 1077944384 118 0 0 0 1 3 0 0 20 0 15 0 154444850 14320615424 528170 33554432000 4194304 4196468 140721211259168 140446094294192 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
Current children cumulated CPU time: 112.11 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2114064 KiB
[startup+162.301 s]
/proc/loadavg: 1.68 1.60 1.69 3/217 23713
/proc/meminfo: memFree=18328336/32770624 swapFree=67108860/67108860
[pid=23234] ppid=23231 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (xcsp3-exec) S 23231 23234 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154444844 9740288 346 33554432000 4194304 5098028 140735331715568 140735331713672 140298448110204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32165888 140735331722357 140735331722560 140735331722560 140735331725291 0
/proc/23234/statm: 2378 346 289 221 0 87 0
[pid=23236] ppid=23234 vsize=13984976 memory=2253852 CPUtime=174.29 cores=1,3,5,7
/proc/23236/stat : 23236 (java) S 23234 23234 19988 0 -1 1077944320 71196 0 0 0 17291 138 0 0 20 0 15 0 154444844 14320615424 563463 33554432000 4194304 4196468 140721211259168 140721211241712 140446628450039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
/proc/23236/statm: 3496244 563463 3276 1 0 3483478 0
[pid=23236/tid=23237] ppid=23234 vsize=13984976 memory=2253852 CPUtime=160.78 cores=1,3,5,7
/proc/23236/task/23237/stat : 23237 (java) R 23234 23234 19988 0 -1 4202560 21128 0 0 0 16056 22 0 0 20 0 15 0 154444844 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446632686512 140446258532045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23238] ppid=23234 vsize=13984976 memory=2253852 CPUtime=1.36 cores=1,3,5,7
/proc/23236/task/23238/stat : 23238 (java) S 23234 23234 19988 0 -1 1077944384 1610 0 0 0 111 25 0 0 20 0 15 0 154444845 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446581070480 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23239] ppid=23234 vsize=13984976 memory=7 CPUtime=1.39 cores=1,3,5,7
/proc/23236/task/23239/stat : 23239 (java) S 23234 23234 19988 0 -1 1077944384 1788 0 0 0 113 26 0 0 20 0 15 0 154444845 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446580017680 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23240] ppid=23234 vsize=13984976 memory=2253852 CPUtime=1.38 cores=1,3,5,7
/proc/23236/task/23240/stat : 23240 (java) S 23234 23234 19988 0 -1 1077944384 2962 0 0 0 113 25 0 0 20 0 15 0 154444845 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446578964880 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23241] ppid=23234 vsize=13984976 memory=1384 CPUtime=1.38 cores=1,3,5,7
/proc/23236/task/23241/stat : 23241 (java) S 23234 23234 19988 0 -1 1077944384 1990 0 0 0 112 26 0 0 20 0 15 0 154444845 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446577912080 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23242] ppid=23234 vsize=13984976 memory=2253852 CPUtime=0.09 cores=1,3,5,7
/proc/23236/task/23242/stat : 23242 (java) S 23234 23234 19988 0 -1 1077944384 5084 0 0 0 8 1 0 0 20 0 15 0 154444846 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446169828208 140446628461186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23243] ppid=23234 vsize=13984976 memory=2253852 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23243/stat : 23243 (java) S 23234 23234 19988 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446101661280 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23244] ppid=23234 vsize=13984976 memory=2253852 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23244/stat : 23244 (java) S 23234 23234 19988 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446100608384 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23245] ppid=23234 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444849 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446099556688 140446628468635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23246] ppid=23234 vsize=13984976 memory=2428 CPUtime=3.38 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) S 23234 23234 19988 0 -1 1077944384 13442 0 0 0 336 2 0 0 20 0 15 0 154444849 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446098504048 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23247] ppid=23234 vsize=13984976 memory=1732 CPUtime=3.66 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) S 23234 23234 19988 0 -1 1077944384 15431 0 0 0 364 2 0 0 20 0 15 0 154444849 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446097451248 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23248] ppid=23234 vsize=13984976 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) S 23234 23234 19988 0 -1 1077944384 6226 0 0 0 68 1 0 0 20 0 15 0 154444849 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446096398448 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23249] ppid=23234 vsize=13984976 memory=3 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444850 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446095345888 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23250] ppid=23234 vsize=13984976 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23234 19988 0 -1 1077944384 157 0 0 0 4 4 0 0 20 0 15 0 154444850 14320615424 563463 33554432000 4194304 4196468 140721211259168 140446094294192 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
Current children cumulated CPU time: 174.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2255236 KiB
[startup+222.301 s]
/proc/loadavg: 1.56 1.60 1.68 3/217 23714
/proc/meminfo: memFree=18404236/32770624 swapFree=67108860/67108860
[pid=23234] ppid=23231 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (xcsp3-exec) S 23231 23234 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154444844 9740288 346 33554432000 4194304 5098028 140735331715568 140735331713672 140298448110204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32165888 140735331722357 140735331722560 140735331722560 140735331725291 0
/proc/23234/statm: 2378 346 289 221 0 87 0
[pid=23236] ppid=23234 vsize=13984976 memory=2251632 CPUtime=235.16 cores=1,3,5,7
/proc/23236/stat : 23236 (java) S 23234 23234 19988 0 -1 1077944320 78850 0 0 0 23362 154 0 0 20 0 15 0 154444844 14320615424 562908 33554432000 4194304 4196468 140721211259168 140721211241712 140446628450039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
/proc/23236/statm: 3496244 562908 3276 1 0 3483478 0
[pid=23236/tid=23237] ppid=23234 vsize=13984976 memory=2251632 CPUtime=220.55 cores=1,3,5,7
/proc/23236/task/23237/stat : 23237 (java) R 23234 23234 19988 0 -1 4202560 23808 0 0 0 22032 23 0 0 20 0 15 0 154444844 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446632687336 140446257110723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23238] ppid=23234 vsize=13984976 memory=2251632 CPUtime=1.6 cores=1,3,5,7
/proc/23236/task/23238/stat : 23238 (java) S 23234 23234 19988 0 -1 1077944384 1811 0 0 0 131 29 0 0 20 0 15 0 154444845 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446581070480 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23239] ppid=23234 vsize=13984976 memory=1384 CPUtime=1.63 cores=1,3,5,7
/proc/23236/task/23239/stat : 23239 (java) S 23234 23234 19988 0 -1 1077944384 1944 0 0 0 133 30 0 0 20 0 15 0 154444845 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446580017680 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23240] ppid=23234 vsize=13984976 memory=2249104 CPUtime=1.61 cores=1,3,5,7
/proc/23236/task/23240/stat : 23240 (java) S 23234 23234 19988 0 -1 1077944384 3298 0 0 0 133 28 0 0 20 0 15 0 154444845 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446578964880 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23241] ppid=23234 vsize=13984976 memory=1384 CPUtime=1.62 cores=1,3,5,7
/proc/23236/task/23241/stat : 23241 (java) S 23234 23234 19988 0 -1 1077944384 2668 0 0 0 133 29 0 0 20 0 15 0 154444845 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446577912080 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23242] ppid=23234 vsize=13984976 memory=1384 CPUtime=0.09 cores=1,3,5,7
/proc/23236/task/23242/stat : 23242 (java) S 23234 23234 19988 0 -1 1077944384 5294 0 0 0 8 1 0 0 20 0 15 0 154444846 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446169828208 140446628461186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23243] ppid=23234 vsize=13984976 memory=2253236 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23243/stat : 23243 (java) S 23234 23234 19988 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446101661280 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23244] ppid=23234 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23244/stat : 23244 (java) S 23234 23234 19988 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446100608384 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23245] ppid=23234 vsize=13984976 memory=42832 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444849 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446099556688 140446628468635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23246] ppid=23234 vsize=13984976 memory=1292 CPUtime=3.44 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) S 23234 23234 19988 0 -1 1077944384 15107 0 0 0 342 2 0 0 20 0 15 0 154444849 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446098504048 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23247] ppid=23234 vsize=13984976 memory=2428 CPUtime=3.71 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) S 23234 23234 19988 0 -1 1077944384 16821 0 0 0 369 2 0 0 20 0 15 0 154444849 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446097451248 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23248] ppid=23234 vsize=13984976 memory=1384 CPUtime=0.71 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) S 23234 23234 19988 0 -1 1077944384 6530 0 0 0 69 2 0 0 20 0 15 0 154444849 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446096398448 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23249] ppid=23234 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444850 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446095345888 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23250] ppid=23234 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23234 19988 0 -1 1077944384 191 0 0 0 5 6 0 0 20 0 15 0 154444850 14320615424 562908 33554432000 4194304 4196468 140721211259168 140446094294192 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
Current children cumulated CPU time: 235.16 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2253016 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.66 1.62 1.68 3/217 23714
/proc/meminfo: memFree=18455556/32770624 swapFree=67108860/67108860
[pid=23234] ppid=23231 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (xcsp3-exec) S 23231 23234 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154444844 9740288 346 33554432000 4194304 5098028 140735331715568 140735331713672 140298448110204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32165888 140735331722357 140735331722560 140735331722560 140735331725291 0
/proc/23234/statm: 2378 346 289 221 0 87 0
[pid=23236] ppid=23234 vsize=13984976 memory=2246128 CPUtime=253.17 cores=1,3,5,7
/proc/23236/stat : 23236 (java) S 23234 23234 19988 0 -1 1077944320 80735 0 0 0 25159 158 0 0 20 0 15 0 154444844 14320615424 561532 33554432000 4194304 4196468 140721211259168 140721211241712 140446628450039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
/proc/23236/statm: 3496244 561532 3277 1 0 3483478 0
[pid=23236/tid=23237] ppid=23234 vsize=13984976 memory=6791534058613427641 CPUtime=238.2 cores=1,3,5,7
/proc/23236/task/23237/stat : 23237 (java) R 23234 23234 19988 0 -1 4202560 25361 0 0 0 23797 23 0 0 20 0 15 0 154444844 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446632689584 140446258382217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23238] ppid=23234 vsize=13984976 memory=23628 CPUtime=1.66 cores=1,3,5,7
/proc/23236/task/23238/stat : 23238 (java) S 23234 23234 19988 0 -1 1077944384 1845 0 0 0 136 30 0 0 20 0 15 0 154444845 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446581070480 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23239] ppid=23234 vsize=13984976 memory=1232 CPUtime=1.69 cores=1,3,5,7
/proc/23236/task/23239/stat : 23239 (java) S 23234 23234 19988 0 -1 1077944384 1968 0 0 0 138 31 0 0 20 0 15 0 154444845 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446580017680 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23240] ppid=23234 vsize=13984976 memory=4872558044660077418 CPUtime=1.67 cores=1,3,5,7
/proc/23236/task/23240/stat : 23240 (java) S 23234 23234 19988 0 -1 1077944384 3319 0 0 0 138 29 0 0 20 0 15 0 154444845 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446578964880 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23241] ppid=23234 vsize=13984976 memory=4124 CPUtime=1.68 cores=1,3,5,7
/proc/23236/task/23241/stat : 23241 (java) S 23234 23234 19988 0 -1 1077944384 2742 0 0 0 138 30 0 0 20 0 15 0 154444845 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446577912080 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23242] ppid=23234 vsize=13984976 memory=2200 CPUtime=0.09 cores=1,3,5,7
/proc/23236/task/23242/stat : 23242 (java) S 23234 23234 19988 0 -1 1077944384 5296 0 0 0 8 1 0 0 20 0 15 0 154444846 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446169828208 140446628461186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23243] ppid=23234 vsize=13984976 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23243/stat : 23243 (java) S 23234 23234 19988 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446101661280 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23244] ppid=23234 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23244/stat : 23244 (java) S 23234 23234 19988 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 154444847 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446100608384 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23245] ppid=23234 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444849 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446099556688 140446628468635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23246] ppid=23234 vsize=13984976 memory=916 CPUtime=3.51 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) S 23234 23234 19988 0 -1 1077944384 15180 0 0 0 349 2 0 0 20 0 15 0 154444849 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446098504048 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23247] ppid=23234 vsize=13984976 memory=6791534058613427641 CPUtime=3.78 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) S 23234 23234 19988 0 -1 1077944384 16925 0 0 0 376 2 0 0 20 0 15 0 154444849 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446097451248 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23248] ppid=23234 vsize=13984976 memory=640 CPUtime=0.71 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) S 23234 23234 19988 0 -1 1077944384 6530 0 0 0 69 2 0 0 20 0 15 0 154444849 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446096398448 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23249] ppid=23234 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23234 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154444850 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446095345888 140446628460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
[pid=23236/tid=23250] ppid=23234 vsize=13984976 memory=2468 CPUtime=0.12 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23234 19988 0 -1 1077944384 191 0 0 0 5 7 0 0 20 0 15 0 154444850 14320615424 561532 33554432000 4194304 4196468 140721211259168 140446094294192 140446628461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140721211262109 140721211262284 140721211262284 140721211264975 0
Current children cumulated CPU time: 253.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2247512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 23234 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000945 s, system=0.000945 s
[startup+240.03 s]
# the end of solver process 23236 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.605 s, system=1.60286 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.03
CPU time (s): 253.208
CPU user time (s): 251.605
CPU system time (s): 1.60286
CPU usage (%): 105.49
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 2280104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.605
system time used= 1.60286
maximum resident set size= 2289092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8420
involuntary context switches= 263
# summary of solver processes directly reported to runsolver:
# pid: 23234,23236
# total CPU time (s): 253.208
# total CPU user time (s): 251.605
# total CPU system time (s): 1.60286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45635 second user time and 2.40722 second system time
The end