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 (14859 MiB free)
memory of node 1: 16384 MiB (15751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269982-1502623671/watcher-4269982-1502623671 -o /tmp/evaluation-result-4269982-1502623671/solver-4269982-1502623671 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502620090-31366 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 177122219 HOME/instance-4269982-1502623671.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
solver pid=1203, runsolver pid=1200
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.88 1.89 1.87 4/217 1219
/proc/meminfo: memFree=31328640/32770624 swapFree=67108860/67108860
[pid=1203] ppid=1200 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (xcsp3-exec) S 1200 1203 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95454879 9740288 346 33554432000 4194304 5098028 140728909118128 140728909116232 140156623680124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140728909120629 140728909120832 140728909120832 140728909123563 0
/proc/1203/statm: 2378 346 289 221 0 87 0
[pid=1205] ppid=1203 vsize=13978596 memory=28260 CPUtime=0.11 cores=1,3,5,7
/proc/1205/stat : 1205 (java) S 1203 1203 28385 0 -1 1077944320 5490 0 0 0 10 1 0 0 20 0 15 0 95454880 14314082304 7065 33554432000 4194304 4196468 140730423139376 140730423121920 140130217168631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
/proc/1205/statm: 3494649 7065 2837 1 0 3482966 0
[pid=1205/tid=1206] ppid=1203 vsize=13978596 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/1205/task/1206/stat : 1206 (java) R 1203 1203 28385 0 -1 4202560 3508 0 0 0 8 0 0 0 20 0 15 0 95454880 14314082304 7130 33554432000 4194304 4196468 140730423139376 140130221400736 140130217180566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1207] ppid=1203 vsize=13978596 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1207/stat : 1207 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14314082304 7130 33554432000 4194304 4196468 140730423139376 140130154768912 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1208] ppid=1203 vsize=13978596 memory=140014636508800 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1208/stat : 1208 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129811831440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1209] ppid=1203 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1209/stat : 1209 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129810778384 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1210] ppid=1203 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1210/stat : 1210 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129809725840 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1211] ppid=1203 vsize=13978596 memory=140014636508800 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1211/stat : 1211 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454882 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129330879216 140130217179778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1212] ppid=1203 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1212/stat : 1212 (java) S 1203 1203 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95454883 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129329825440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1213] ppid=1203 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1213/stat : 1213 (java) S 1203 1203 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95454883 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129328772336 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1214] ppid=1203 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1214/stat : 1214 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129327720912 140130217187227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1215] ppid=1203 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1215/stat : 1215 (java) R 1203 1203 28385 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 95454885 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129326668016 140130217179778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1216] ppid=1203 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1216/stat : 1216 (java) S 1203 1203 28385 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 95454885 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129325615472 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1217] ppid=1203 vsize=13978596 memory=140014636508800 CPUtime=0.01 cores=1,3,5,7
/proc/1205/task/1217/stat : 1217 (java) R 1203 1203 28385 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 95454885 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129324562416 140130217180566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1218] ppid=1203 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1218/stat : 1218 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129323510112 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1219] ppid=1203 vsize=13978596 memory=140014636508800 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1219/stat : 1219 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454886 14314082304 7130 33554432000 4194304 4196468 140730423139376 140129322458160 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29644 KiB
[startup+0.210512 s]*
/proc/loadavg: 1.88 1.89 1.87 3/217 1219
/proc/meminfo: memFree=31317600/32770624 swapFree=67108860/67108860
[pid=1203] ppid=1200 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (xcsp3-exec) S 1200 1203 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95454879 9740288 346 33554432000 4194304 5098028 140728909118128 140728909116232 140156623680124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140728909120629 140728909120832 140728909120832 140728909123563 0
/proc/1203/statm: 2378 346 289 221 0 87 0
[pid=1205] ppid=1203 vsize=13982852 memory=40152 CPUtime=0.34 cores=1,3,5,7
/proc/1205/stat : 1205 (java) S 1203 1203 28385 0 -1 1077944320 8049 0 0 0 31 3 0 0 20 0 15 0 95454880 14318440448 10038 33554432000 4194304 4196468 140730423139376 140730423121920 140130217168631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
/proc/1205/statm: 3495713 10038 3069 1 0 3482966 0
[pid=1205/tid=1206] ppid=1203 vsize=13982884 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/1205/task/1206/stat : 1206 (java) R 1203 1203 28385 0 -1 4202560 5342 0 0 0 18 1 0 0 20 0 15 0 95454880 14318473216 10058 33554432000 4194304 4196468 140730423139376 140130221370320 140130209848349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1207] ppid=1203 vsize=13982852 memory=4294980891 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1207/stat : 1207 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14318440448 10058 33554432000 4194304 4196468 140730423139376 140130154768912 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1208] ppid=1203 vsize=13982852 memory=3690057281165076128 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1208/stat : 1208 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129811831440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1209] ppid=1203 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1209/stat : 1209 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129810778384 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1210] ppid=1203 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1210/stat : 1210 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129809725840 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1211] ppid=1203 vsize=13982852 memory=140014636508800 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1211/stat : 1211 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454882 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129330879216 140130217179778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1212] ppid=1203 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1212/stat : 1212 (java) S 1203 1203 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95454883 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129329825440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1213] ppid=1203 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1213/stat : 1213 (java) S 1203 1203 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95454883 14318473216 10058 33554432000 4194304 4196468 140730423139376 140129328772336 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1214] ppid=1203 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1214/stat : 1214 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129327720912 140130217187227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1215] ppid=1203 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1205/task/1215/stat : 1215 (java) S 1203 1203 28385 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 95454885 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129326668016 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1216] ppid=1203 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1205/task/1216/stat : 1216 (java) S 1203 1203 28385 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 95454885 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129325615472 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1217] ppid=1203 vsize=13982852 memory=140014636508800 CPUtime=0.07 cores=1,3,5,7
/proc/1205/task/1217/stat : 1217 (java) S 1203 1203 28385 0 -1 1077944384 701 0 0 0 7 0 0 0 20 0 15 0 95454885 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129324562416 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1218] ppid=1203 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1218/stat : 1218 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129323510112 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1219] ppid=1203 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1219/stat : 1219 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454886 14318440448 10058 33554432000 4194304 4196468 140730423139376 140129322458160 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41536 KiB
[startup+0.310294 s]*
/proc/loadavg: 1.88 1.89 1.87 6/217 1219
/proc/meminfo: memFree=31280180/32770624 swapFree=67108860/67108860
[pid=1203] ppid=1200 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (xcsp3-exec) S 1200 1203 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95454879 9740288 346 33554432000 4194304 5098028 140728909118128 140728909116232 140156623680124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140728909120629 140728909120832 140728909120832 140728909123563 0
/proc/1203/statm: 2378 346 289 221 0 87 0
[pid=1205] ppid=1203 vsize=13982852 memory=47396 CPUtime=0.5 cores=1,3,5,7
/proc/1205/stat : 1205 (java) S 1203 1203 28385 0 -1 1077944320 8984 0 0 0 47 3 0 0 20 0 15 0 95454880 14318440448 11849 33554432000 4194304 4196468 140730423139376 140730423121920 140130217168631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
/proc/1205/statm: 3495713 11849 3117 1 0 3482966 0
[pid=1205/tid=1206] ppid=1203 vsize=13982852 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1205/task/1206/stat : 1206 (java) R 1203 1203 28385 0 -1 4202560 6010 0 0 0 27 2 0 0 20 0 15 0 95454880 14318440448 11849 33554432000 4194304 4196468 140730423139376 140130221399184 140130217190557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1207] ppid=1203 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1207/stat : 1207 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14318440448 11849 33554432000 4194304 4196468 140730423139376 140130154768912 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1208] ppid=1203 vsize=13982852 memory=18488 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1208/stat : 1208 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129811831440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1209] ppid=1203 vsize=13982852 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1209/stat : 1209 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129810778384 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1210] ppid=1203 vsize=13982852 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1210/stat : 1210 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129809725840 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1211] ppid=1203 vsize=13982852 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1211/stat : 1211 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454882 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129330879216 140130217179778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1212] ppid=1203 vsize=13982852 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1212/stat : 1212 (java) S 1203 1203 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95454883 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129329825440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1213] ppid=1203 vsize=13982852 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1213/stat : 1213 (java) S 1203 1203 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95454883 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129328772336 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1214] ppid=1203 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1214/stat : 1214 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129327720912 140130217187227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1215] ppid=1203 vsize=13982852 memory=6656426216303648864 CPUtime=0.04 cores=1,3,5,7
/proc/1205/task/1215/stat : 1215 (java) S 1203 1203 28385 0 -1 1077944384 500 0 0 0 4 0 0 0 20 0 15 0 95454885 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129326668016 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1216] ppid=1203 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1205/task/1216/stat : 1216 (java) R 1203 1203 28385 0 -1 4202560 410 0 0 0 3 0 0 0 20 0 15 0 95454885 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129325605584 140130198712735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1217] ppid=1203 vsize=13982852 memory=35809 CPUtime=0.13 cores=1,3,5,7
/proc/1205/task/1217/stat : 1217 (java) S 1203 1203 28385 0 -1 1077944384 804 0 0 0 13 0 0 0 20 0 15 0 95454885 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129324562416 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1218] ppid=1203 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1218/stat : 1218 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129323510112 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1219] ppid=1203 vsize=13982852 memory=-1598831813028945288 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1219/stat : 1219 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454886 14318440448 11849 33554432000 4194304 4196468 140730423139376 140129322458160 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48780 KiB
[startup+0.700755 s]
/proc/loadavg: 1.88 1.89 1.87 5/217 1219
/proc/meminfo: memFree=31214960/32770624 swapFree=67108860/67108860
[pid=1203] ppid=1200 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (xcsp3-exec) S 1200 1203 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95454879 9740288 346 33554432000 4194304 5098028 140728909118128 140728909116232 140156623680124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140728909120629 140728909120832 140728909120832 140728909123563 0
/proc/1203/statm: 2378 346 289 221 0 87 0
[pid=1205] ppid=1203 vsize=13984976 memory=70348 CPUtime=1.57 cores=1,3,5,7
/proc/1205/stat : 1205 (java) S 1203 1203 28385 0 -1 1077944320 11322 0 0 0 152 5 0 0 20 0 15 0 95454880 14320615424 17587 33554432000 4194304 4196468 140730423139376 140730423121920 140130217168631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
/proc/1205/statm: 3496244 17587 3202 1 0 3483478 0
[pid=1205/tid=1206] ppid=1203 vsize=13984976 memory=38 CPUtime=0.67 cores=1,3,5,7
/proc/1205/task/1206/stat : 1206 (java) R 1203 1203 28385 0 -1 4202560 6650 0 0 0 64 3 0 0 20 0 15 0 95454880 14320615424 17587 33554432000 4194304 4196468 140730423139376 140130221406000 140129838117666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1207] ppid=1203 vsize=13984976 memory=4 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1207/stat : 1207 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 17587 33554432000 4194304 4196468 140730423139376 140130154768912 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1208] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1208/stat : 1208 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129811831440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1209] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1209/stat : 1209 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129810778384 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1210] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1210/stat : 1210 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129809725840 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1211] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1211/stat : 1211 (java) S 1203 1203 28385 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95454882 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129330879216 140130217179778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1212] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1212/stat : 1212 (java) S 1203 1203 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129329825440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1213] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1213/stat : 1213 (java) S 1203 1203 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129328772336 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1214] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1214/stat : 1214 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129327720912 140130217187227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1215] ppid=1203 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/1205/task/1215/stat : 1215 (java) R 1203 1203 28385 0 -1 4202560 1063 0 0 0 30 0 0 0 20 0 15 0 95454885 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129326653088 140130217189978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1216] ppid=1203 vsize=13984976 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/1205/task/1216/stat : 1216 (java) R 1203 1203 28385 0 -1 4202560 1072 0 0 0 26 0 0 0 20 0 15 0 95454885 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129325615472 140130217189978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1217] ppid=1203 vsize=13984976 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/1205/task/1217/stat : 1217 (java) S 1203 1203 28385 0 -1 1077944384 1229 0 0 0 29 0 0 0 20 0 15 0 95454885 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129324562416 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1218] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1218/stat : 1218 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129323510112 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1219] ppid=1203 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1219/stat : 1219 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454886 14320615424 17587 33554432000 4194304 4196468 140730423139376 140129322458160 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 71732 KiB
[startup+1.50083 s]
/proc/loadavg: 1.88 1.89 1.87 3/217 1219
/proc/meminfo: memFree=31202552/32770624 swapFree=67108860/67108860
[pid=1203] ppid=1200 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (xcsp3-exec) S 1200 1203 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95454879 9740288 346 33554432000 4194304 5098028 140728909118128 140728909116232 140156623680124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140728909120629 140728909120832 140728909120832 140728909123563 0
/proc/1203/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/1205/task/1213/stat : 1213 (java) S 1203 1203 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 35708 33554432000 4194304 4196468 140730423139376 140129328772336 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1214] ppid=1203 vsize=13984976 memory=4465 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1214/stat : 1214 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 35708 33554432000 4194304 4196468 140730423139376 140129327720912 140130217187227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1215] ppid=1203 vsize=13984976 memory=4420 CPUtime=1.46 cores=1,3,5,7
/proc/1205/task/1215/stat : 1215 (java) S 1203 1203 28385 0 -1 1077944384 12620 0 0 0 144 2 0 0 20 0 15 0 95454885 14320615424 35708 33554432000 4194304 4196468 140730423139376 140129326668016 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1216] ppid=1203 vsize=13984976 memory=164 CPUtime=1.21 cores=1,3,5,7
/proc/1205/task/1216/stat : 1216 (java) S 1203 1203 28385 0 -1 1077944384 9412 0 0 0 120 1 0 0 20 0 15 0 95454885 14320615424 35708 33554432000 4194304 4196468 140730423139376 140129325615472 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1217] ppid=1203 vsize=13984976 memory=6944656592455359580 CPUtime=0.44 cores=1,3,5,7
/proc/1205/task/1217/stat : 1217 (java) S 1203 1203 28385 0 -1 1077944384 4462 0 0 0 43 1 0 0 20 0 15 0 95454885 14320615424 35708 33554432000 4194304 4196468 140730423139376 140129324562416 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1218] ppid=1203 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1218/stat : 1218 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 35708 33554432000 4194304 4196468 140730423139376 140129323510112 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1219] ppid=1203 vsize=13984976 memory=117600 CPUtime=0.01 cores=1,3,5,7
/proc/1205/task/1219/stat : 1219 (java) S 1203 1203 28385 0 -1 1077944384 485 0 0 0 0 1 0 0 20 0 15 0 95454886 14320615424 35708 33554432000 4194304 4196468 140730423139376 140129322458160 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
Current children cumulated CPU time: 105.42 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 144216 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.92 1.88 3/217 1221
/proc/meminfo: memFree=30736944/32770624 swapFree=67108860/67108860
[pid=1203] ppid=1200 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (xcsp3-exec) S 1200 1203 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95454879 9740288 346 33554432000 4194304 5098028 140728909118128 140728909116232 140156623680124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140728909120629 140728909120832 140728909120832 140728909123563 0
/proc/1203/statm: 2378 346 289 221 0 87 0
[pid=1205] ppid=1203 vsize=13984976 memory=159300 CPUtime=165.65 cores=1,3,5,7
/proc/1205/stat : 1205 (java) S 1203 1203 28385 0 -1 1077944320 43070 0 0 0 16554 11 0 0 20 0 15 0 95454880 14320615424 39825 33554432000 4194304 4196468 140730423139376 140730423121920 140130217168631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
/proc/1205/statm: 3496244 39825 3221 1 0 3483478 0
[pid=1205/tid=1206] ppid=1203 vsize=13984976 memory=159300 CPUtime=162.26 cores=1,3,5,7
/proc/1205/task/1206/stat : 1206 (java) R 1203 1203 28385 0 -1 4202560 10987 0 0 0 16222 4 0 0 20 0 15 0 95454880 14320615424 39825 33554432000 4194304 4196468 140730423139376 140130221405448 140129838950999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1207] ppid=1203 vsize=13984976 memory=159300 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1207/stat : 1207 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 39825 33554432000 4194304 4196468 140730423139376 140130154768912 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1208] ppid=1203 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1208/stat : 1208 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129811831440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1209] ppid=1203 vsize=13984976 memory=146936 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1209/stat : 1209 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129810778384 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1210] ppid=1203 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1210/stat : 1210 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129809725840 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1211] ppid=1203 vsize=13984976 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1211/stat : 1211 (java) S 1203 1203 28385 0 -1 1077944384 514 0 0 0 0 0 0 0 20 0 15 0 95454882 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129330879216 140130217179778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1212] ppid=1203 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1212/stat : 1212 (java) S 1203 1203 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129329825440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1213] ppid=1203 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1213/stat : 1213 (java) S 1203 1203 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129328772336 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1214] ppid=1203 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1214/stat : 1214 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129327720912 140130217187227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1215] ppid=1203 vsize=13984976 memory=288230617509003574 CPUtime=1.58 cores=1,3,5,7
/proc/1205/task/1215/stat : 1215 (java) S 1203 1203 28385 0 -1 1077944384 14056 0 0 0 156 2 0 0 20 0 15 0 95454885 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129326668016 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1216] ppid=1203 vsize=13984976 memory=157176 CPUtime=1.3 cores=1,3,5,7
/proc/1205/task/1216/stat : 1216 (java) S 1203 1203 28385 0 -1 1077944384 10675 0 0 0 129 1 0 0 20 0 15 0 95454885 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129325615472 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1217] ppid=1203 vsize=13984976 memory=1384 CPUtime=0.45 cores=1,3,5,7
/proc/1205/task/1217/stat : 1217 (java) S 1203 1203 28385 0 -1 1077944384 5015 0 0 0 44 1 0 0 20 0 15 0 95454885 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129324562416 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1218] ppid=1203 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1218/stat : 1218 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129323510112 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1219] ppid=1203 vsize=13984976 memory=1948 CPUtime=0.03 cores=1,3,5,7
/proc/1205/task/1219/stat : 1219 (java) S 1203 1203 28385 0 -1 1077944384 521 0 0 0 1 2 0 0 20 0 15 0 95454886 14320615424 39825 33554432000 4194304 4196468 140730423139376 140129322458160 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
Current children cumulated CPU time: 165.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 160684 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 1.93 1.88 3/217 1222
/proc/meminfo: memFree=30689460/32770624 swapFree=67108860/67108860
[pid=1203] ppid=1200 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (xcsp3-exec) S 1200 1203 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95454879 9740288 346 33554432000 4194304 5098028 140728909118128 140728909116232 140156623680124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140728909120629 140728909120832 140728909120832 140728909123563 0
/proc/1203/statm: 2378 346 289 221 0 87 0
[pid=1205] ppid=1203 vsize=13984976 memory=183988 CPUtime=225.76 cores=1,3,5,7
/proc/1205/stat : 1205 (java) S 1203 1203 28385 0 -1 1077944320 44085 0 0 0 22564 12 0 0 20 0 15 0 95454880 14320615424 45997 33554432000 4194304 4196468 140730423139376 140730423121920 140130217168631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
/proc/1205/statm: 3496244 45997 3223 1 0 3483478 0
[pid=1205/tid=1206] ppid=1203 vsize=13984976 memory=181940 CPUtime=222.25 cores=1,3,5,7
/proc/1205/task/1206/stat : 1206 (java) R 1203 1203 28385 0 -1 4202560 11336 0 0 0 22221 4 0 0 20 0 15 0 95454880 14320615424 45997 33554432000 4194304 4196468 140730423139376 140130221405128 140129838105452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1207] ppid=1203 vsize=13984976 memory=181940 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1207/stat : 1207 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 45997 33554432000 4194304 4196468 140730423139376 140130154768912 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1208] ppid=1203 vsize=13984976 memory=183988 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1208/stat : 1208 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129811831440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1209] ppid=1203 vsize=13984976 memory=183988 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1209/stat : 1209 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129810778384 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1210] ppid=1203 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1210/stat : 1210 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129809725840 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1211] ppid=1203 vsize=13984976 memory=183988 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1211/stat : 1211 (java) S 1203 1203 28385 0 -1 1077944384 541 0 0 0 0 0 0 0 20 0 15 0 95454882 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129330879216 140130217179778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1212] ppid=1203 vsize=13984976 memory=183988 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1212/stat : 1212 (java) S 1203 1203 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129329825440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1213] ppid=1203 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1213/stat : 1213 (java) S 1203 1203 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129328772336 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1214] ppid=1203 vsize=13984976 memory=183988 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1214/stat : 1214 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129327720912 140130217187227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1215] ppid=1203 vsize=13984976 memory=1384 CPUtime=1.63 cores=1,3,5,7
/proc/1205/task/1215/stat : 1215 (java) S 1203 1203 28385 0 -1 1077944384 14424 0 0 0 161 2 0 0 20 0 15 0 95454885 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129326668016 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1216] ppid=1203 vsize=13984976 memory=177844 CPUtime=1.34 cores=1,3,5,7
/proc/1205/task/1216/stat : 1216 (java) S 1203 1203 28385 0 -1 1077944384 10807 0 0 0 133 1 0 0 20 0 15 0 95454885 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129325615472 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1217] ppid=1203 vsize=13984976 memory=4140 CPUtime=0.45 cores=1,3,5,7
/proc/1205/task/1217/stat : 1217 (java) S 1203 1203 28385 0 -1 1077944384 5127 0 0 0 44 1 0 0 20 0 15 0 95454885 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129324562416 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1218] ppid=1203 vsize=13984976 memory=27408 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1218/stat : 1218 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129323510112 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1219] ppid=1203 vsize=13984976 memory=1296 CPUtime=0.03 cores=1,3,5,7
/proc/1205/task/1219/stat : 1219 (java) S 1203 1203 28385 0 -1 1077944384 548 0 0 0 1 2 0 0 20 0 15 0 95454886 14320615424 45997 33554432000 4194304 4196468 140730423139376 140129322458160 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
Current children cumulated CPU time: 225.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 185372 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.99 1.94 1.89 3/217 1309
/proc/meminfo: memFree=31096948/32770624 swapFree=67108860/67108860
[pid=1203] ppid=1200 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (xcsp3-exec) S 1200 1203 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95454879 9740288 346 33554432000 4194304 5098028 140728909118128 140728909116232 140156623680124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140728909120629 140728909120832 140728909120832 140728909123563 0
/proc/1203/statm: 2378 346 289 221 0 87 0
[pid=1205] ppid=1203 vsize=13984976 memory=192180 CPUtime=243.47 cores=1,3,5,7
/proc/1205/stat : 1205 (java) S 1203 1203 28385 0 -1 1077944320 44333 0 0 0 24335 12 0 0 20 0 15 0 95454880 14320615424 48045 33554432000 4194304 4196468 140730423139376 140730423121920 140130217168631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
/proc/1205/statm: 3496244 48045 3223 1 0 3483478 0
[pid=1205/tid=1206] ppid=1203 vsize=13984976 memory=6935054825532540783 CPUtime=239.96 cores=1,3,5,7
/proc/1205/task/1206/stat : 1206 (java) R 1203 1203 28385 0 -1 4202560 11455 0 0 0 23992 4 0 0 20 0 15 0 95454880 14320615424 48045 33554432000 4194304 4196468 140730423139376 140130221405640 140129838117465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1207] ppid=1203 vsize=13984976 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1207/stat : 1207 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 48045 33554432000 4194304 4196468 140730423139376 140130154768912 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1208] ppid=1203 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1208/stat : 1208 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129811831440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1209] ppid=1203 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1209/stat : 1209 (java) S 1203 1203 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129810778384 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1210] ppid=1203 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1210/stat : 1210 (java) S 1203 1203 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95454881 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129809725840 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1211] ppid=1203 vsize=13984976 memory=290763892299399478 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1211/stat : 1211 (java) S 1203 1203 28385 0 -1 1077944384 543 0 0 0 0 0 0 0 20 0 15 0 95454882 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129330879216 140130217179778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1212] ppid=1203 vsize=13984976 memory=13569288569095677 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1212/stat : 1212 (java) S 1203 1203 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129329825440 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1213] ppid=1203 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1213/stat : 1213 (java) S 1203 1203 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95454883 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129328772336 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1214] ppid=1203 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1214/stat : 1214 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129327720912 140130217187227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1215] ppid=1203 vsize=13984976 memory=186036 CPUtime=1.63 cores=1,3,5,7
/proc/1205/task/1215/stat : 1215 (java) S 1203 1203 28385 0 -1 1077944384 14428 0 0 0 161 2 0 0 20 0 15 0 95454885 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129326668016 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1216] ppid=1203 vsize=13984976 memory=1236 CPUtime=1.34 cores=1,3,5,7
/proc/1205/task/1216/stat : 1216 (java) S 1203 1203 28385 0 -1 1077944384 10926 0 0 0 133 1 0 0 20 0 15 0 95454885 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129325615472 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1217] ppid=1203 vsize=13984976 memory=1384 CPUtime=0.45 cores=1,3,5,7
/proc/1205/task/1217/stat : 1217 (java) S 1203 1203 28385 0 -1 1077944384 5129 0 0 0 44 1 0 0 20 0 15 0 95454885 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129324562416 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1218] ppid=1203 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1205/task/1218/stat : 1218 (java) S 1203 1203 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95454885 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129323510112 140130217178837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
[pid=1205/tid=1219] ppid=1203 vsize=13984976 memory=188084 CPUtime=0.04 cores=1,3,5,7
/proc/1205/task/1219/stat : 1219 (java) S 1203 1203 28385 0 -1 1077944384 550 0 0 0 2 2 0 0 20 0 15 0 95454886 14320615424 48045 33554432000 4194304 4196468 140730423139376 140129322458160 140130217179778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11169792 140730423141533 140730423141708 140730423141708 140730423144399 0
Current children cumulated CPU time: 243.47 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 193564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.025 s]
# the end of solver process 1203 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001815 s, system=0 s
[startup+240.034 s]
# the end of solver process 1205 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.392 s, system=0.144047 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.034
CPU time (s): 243.536
CPU user time (s): 243.392
CPU system time (s): 0.144047
CPU usage (%): 101.459
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 193564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.392
system time used= 0.144047
maximum resident set size= 211340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7635
involuntary context switches= 167
# summary of solver processes directly reported to runsolver:
# pid: 1203,1205
# total CPU time (s): 243.536
# total CPU user time (s): 243.392
# total CPU system time (s): 0.144047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25609 second user time and 2.20993 second system time
The end