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 (8790 MiB free)
memory of node 1: 16384 MiB (12244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283157-1503215193/watcher-4283157-1503215193 -o /tmp/evaluation-result-4283157-1503215193/solver-4283157-1503215193 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5117 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1018415031 HOME/instance-4283157-1503215193.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=10145, runsolver pid=10142
[startup+0.100131 s]*
/proc/loadavg: 2.05 1.97 1.88 3/218 10161
/proc/meminfo: memFree=21522748/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154600250 9740288 346 33554432000 4194304 5098028 140720583405248 140720583403352 139719607673468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24698880 140720583410804 140720583411008 140720583411008 140720583413739 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=13978596 memory=27964 CPUtime=0.11 cores=1,3,5,7
/proc/10147/stat : 10147 (java) S 10145 10145 5085 0 -1 1077944320 5424 0 0 0 10 1 0 0 20 0 15 0 154600250 14314082304 6991 33554432000 4194304 4196468 140722603295408 140722603277952 140197903658743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
/proc/10147/statm: 3494649 6991 2839 1 0 3482966 0
[pid=10147/tid=10148] ppid=10145 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 5085 0 -1 4202560 3432 0 0 0 8 1 0 0 20 0 15 0 154600251 14314082304 6991 33554432000 4194304 4196468 140722603295408 140197907890048 140197903670678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10149] ppid=10145 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14314082304 6991 33554432000 4194304 4196468 140722603295408 140197499169552 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10150] ppid=10145 vsize=13978596 memory=139775601014400 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14314082304 6991 33554432000 4194304 4196468 140722603295408 140197498117008 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10151] ppid=10145 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197497064464 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10152] ppid=10145 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154600251 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197496011920 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10153] ppid=10145 vsize=13978596 memory=139775601014400 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154600253 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197243537392 140197903669890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10154] ppid=10145 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154600253 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197242483616 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10155] ppid=10145 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154600253 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197241431024 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10156] ppid=10145 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197240379600 140197903677339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10157] ppid=10145 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 5085 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 154600256 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197239327216 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10158] ppid=10145 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 5085 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154600256 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197238274672 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10159] ppid=10145 vsize=13978596 memory=139775601014400 CPUtime=0.01 cores=1,3,5,7
/proc/10147/task/10159/stat : 10159 (java) R 10145 10145 5085 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 154600256 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197237222128 140197884896304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10160] ppid=10145 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197236169824 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10161] ppid=10145 vsize=13978596 memory=139775601014400 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600256 14314082304 7056 33554432000 4194304 4196468 140722603295408 140197235116336 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29348 KiB
[startup+0.215771 s]*
/proc/loadavg: 2.05 1.97 1.88 4/218 10161
/proc/meminfo: memFree=21511556/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154600250 9740288 346 33554432000 4194304 5098028 140720583405248 140720583403352 139719607673468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24698880 140720583410804 140720583411008 140720583411008 140720583413739 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=13982852 memory=40508 CPUtime=0.33 cores=1,3,5,7
/proc/10147/stat : 10147 (java) S 10145 10145 5085 0 -1 1077944320 8192 0 0 0 31 2 0 0 20 0 15 0 154600250 14318440448 10127 33554432000 4194304 4196468 140722603295408 140722603277952 140197903658743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
/proc/10147/statm: 3495713 10127 3083 1 0 3482966 0
[pid=10147/tid=10148] ppid=10145 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 5085 0 -1 4202560 5413 0 0 0 18 1 0 0 20 0 15 0 154600251 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197907869648 140197903670678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10149] ppid=10145 vsize=13982852 memory=9010 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197499169552 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10150] ppid=10145 vsize=13982852 memory=4050617674006263456 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197498117008 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10151] ppid=10145 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197497064464 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10152] ppid=10145 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154600251 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197496011920 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10153] ppid=10145 vsize=13982852 memory=139775601014400 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154600253 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197243537392 140197903669890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10154] ppid=10145 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154600253 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197242483616 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10155] ppid=10145 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154600253 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197241431024 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10156] ppid=10145 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197240379600 140197903677339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10157] ppid=10145 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 5085 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 154600256 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197239327216 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10158] ppid=10145 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 5085 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 154600256 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197238274672 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10159] ppid=10145 vsize=13982852 memory=139775601014400 CPUtime=0.08 cores=1,3,5,7
/proc/10147/task/10159/stat : 10159 (java) R 10145 10145 5085 0 -1 4202560 727 0 0 0 8 0 0 0 20 0 15 0 154600256 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197237222128 140197882613325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10160] ppid=10145 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197236169824 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10161] ppid=10145 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600256 14318440448 10127 33554432000 4194304 4196468 140722603295408 140197235116336 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41892 KiB
[startup+0.310563 s]*
/proc/loadavg: 2.05 1.97 1.88 4/218 10161
/proc/meminfo: memFree=21504980/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154600250 9740288 346 33554432000 4194304 5098028 140720583405248 140720583403352 139719607673468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24698880 140720583410804 140720583411008 140720583411008 140720583413739 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=13982852 memory=47104 CPUtime=0.51 cores=1,3,5,7
/proc/10147/stat : 10147 (java) S 10145 10145 5085 0 -1 1077944320 8949 0 0 0 48 3 0 0 20 0 15 0 154600250 14318440448 11776 33554432000 4194304 4196468 140722603295408 140722603277952 140197903658743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
/proc/10147/statm: 3495713 11776 3108 1 0 3482966 0
[pid=10147/tid=10148] ppid=10145 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 5085 0 -1 4202560 5947 0 0 0 27 2 0 0 20 0 15 0 154600251 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197907894896 140197540791968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10149] ppid=10145 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197499169552 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10150] ppid=10145 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197498117008 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10151] ppid=10145 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197497064464 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10152] ppid=10145 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154600251 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197496011920 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10153] ppid=10145 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154600253 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197243537392 140197903669890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10154] ppid=10145 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154600253 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197242483616 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10155] ppid=10145 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154600253 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197241431024 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10156] ppid=10145 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197240379600 140197903677339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10157] ppid=10145 vsize=13982852 memory=4630099104583218061 CPUtime=0.04 cores=1,3,5,7
/proc/10147/task/10157/stat : 10157 (java) R 10145 10145 5085 0 -1 1077944384 630 0 0 0 4 0 0 0 20 0 15 0 154600256 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197239327216 140197903669890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10158] ppid=10145 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10147/task/10158/stat : 10158 (java) R 10145 10145 5085 0 -1 4202560 224 0 0 0 3 0 0 0 20 0 15 0 154600256 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197238264592 140197882992368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10159] ppid=10145 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10147/task/10159/stat : 10159 (java) R 10145 10145 5085 0 -1 4202560 845 0 0 0 12 0 0 0 20 0 15 0 154600256 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197237218496 140197882609668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10160] ppid=10145 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197236169824 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10161] ppid=10145 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600256 14318440448 11776 33554432000 4194304 4196468 140722603295408 140197235116336 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48488 KiB
[startup+0.700965 s]
/proc/loadavg: 2.05 1.97 1.88 5/218 10161
/proc/meminfo: memFree=21476752/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154600250 9740288 346 33554432000 4194304 5098028 140720583405248 140720583403352 139719607673468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24698880 140720583410804 140720583411008 140720583411008 140720583413739 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=13984976 memory=115428 CPUtime=1.8 cores=1,3,5,7
/proc/10147/stat : 10147 (java) S 10145 10145 5085 0 -1 1077944320 12336 0 0 0 175 5 0 0 20 0 15 0 154600250 14320615424 28857 33554432000 4194304 4196468 140722603295408 140722603277952 140197903658743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
/proc/10147/statm: 3496244 28857 3203 1 0 3483478 0
[pid=10147/tid=10148] ppid=10145 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 5085 0 -1 1077944384 6602 0 0 0 64 3 0 0 20 0 15 0 154600251 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197907893504 140197903668949 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10149] ppid=10145 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197499169552 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10150] ppid=10145 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197498117008 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10151] ppid=10145 vsize=13984976 memory=43104 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600251 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197497064464 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10152] ppid=10145 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154600251 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197496011920 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10153] ppid=10145 vsize=13984976 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 5085 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197243537392 140197903669890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10154] ppid=10145 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197242483616 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10155] ppid=10145 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197241431024 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10156] ppid=10145 vsize=13984976 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197240379600 140197903677339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10157] ppid=10145 vsize=13984976 memory=5776 CPUtime=0.38 cores=1,3,5,7
/proc/10147/task/10157/stat : 10157 (java) R 10145 10145 5085 0 -1 4202560 1671 0 0 0 38 0 0 0 20 0 15 0 154600256 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197239313760 140197882902635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10158] ppid=10145 vsize=13984976 memory=4616 CPUtime=0.39 cores=1,3,5,7
/proc/10147/task/10158/stat : 10158 (java) R 10145 10145 5085 0 -1 4202560 1208 0 0 0 39 0 0 0 20 0 15 0 154600256 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197238262224 140197881825224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10159] ppid=10145 vsize=13984976 memory=792 CPUtime=0.31 cores=1,3,5,7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 5085 0 -1 1077944384 1550 0 0 0 31 0 0 0 20 0 15 0 154600256 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197237222128 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10160] ppid=10145 vsize=13984976 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197236169824 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10161] ppid=10145 vsize=13984976 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 28857 33554432000 4194304 4196468 140722603295408 140197235116336 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 116812 KiB
[startup+1.50088 s]
/proc/loadavg: 2.05 1.97 1.88 5/218 10161
/proc/meminfo: memFree=21350220/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154600250 9740288 346 33554432000 4194304 5098028 140720583405248 140720583403352 139719607673468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24698880 140720583410804 140720583411008 140720583411008 140720583413739 0
/proc/10145/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 5085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 556837 33554432000 4194304 4196468 140722603295408 140197241431040 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10156] ppid=10145 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 556837 33554432000 4194304 4196468 140722603295408 140197240379600 140197903677339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10157] ppid=10145 vsize=13984976 memory=1384 CPUtime=2.58 cores=1,3,5,7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 5085 0 -1 1077944384 11495 0 0 0 257 1 0 0 20 0 15 0 154600256 14320615424 556837 33554432000 4194304 4196468 140722603295408 140197239327216 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10158] ppid=10145 vsize=13984976 memory=1791124 CPUtime=1.98 cores=1,3,5,7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 5085 0 -1 1077944384 9204 0 0 0 197 1 0 0 20 0 15 0 154600256 14320615424 556837 33554432000 4194304 4196468 140722603295408 140197238274672 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10159] ppid=10145 vsize=13984976 memory=1384 CPUtime=0.69 cores=1,3,5,7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 5085 0 -1 1077944384 4975 0 0 0 67 2 0 0 20 0 15 0 154600256 14320615424 556837 33554432000 4194304 4196468 140722603295408 140197237222128 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10160] ppid=10145 vsize=13984976 memory=2165908 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 556837 33554432000 4194304 4196468 140722603295408 140197236169824 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10161] ppid=10145 vsize=13984976 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 5085 0 -1 1077944384 437 0 0 0 3 3 0 0 20 0 15 0 154600256 14320615424 556837 33554432000 4194304 4196468 140722603295408 140197235116336 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
Current children cumulated CPU time: 108.14 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2228732 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.89 3/218 10163
/proc/meminfo: memFree=17457568/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154600250 9740288 346 33554432000 4194304 5098028 140720583405248 140720583403352 139719607673468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24698880 140720583410804 140720583411008 140720583411008 140720583413739 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=13984976 memory=2652272 CPUtime=168.78 cores=1,3,5,7
/proc/10147/stat : 10147 (java) S 10145 10145 5085 0 -1 1077944320 57151 0 0 0 16801 77 0 0 20 0 15 0 154600250 14320615424 663068 33554432000 4194304 4196468 140722603295408 140722603277952 140197903658743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
/proc/10147/statm: 3496244 663068 3268 1 0 3483478 0
[pid=10147/tid=10148] ppid=10145 vsize=13984976 memory=2651996 CPUtime=162.04 cores=1,3,5,7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 5085 0 -1 4202560 17696 0 0 0 16164 40 0 0 20 0 15 0 154600251 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197907895992 140197547387163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10149] ppid=10145 vsize=13984976 memory=2652256 CPUtime=0.18 cores=1,3,5,7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 5085 0 -1 1077944384 1223 0 0 0 12 6 0 0 20 0 15 0 154600251 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197499169552 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10150] ppid=10145 vsize=13984976 memory=2652272 CPUtime=0.19 cores=1,3,5,7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 5085 0 -1 1077944384 1680 0 0 0 13 6 0 0 20 0 15 0 154600251 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197498117008 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10151] ppid=10145 vsize=13984976 memory=2652272 CPUtime=0.17 cores=1,3,5,7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 5085 0 -1 1077944384 1517 0 0 0 11 6 0 0 20 0 15 0 154600251 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197497064464 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10152] ppid=10145 vsize=13984976 memory=1384 CPUtime=0.19 cores=1,3,5,7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 5085 0 -1 1077944384 1005 0 0 0 13 6 0 0 20 0 15 0 154600251 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197496011920 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10153] ppid=10145 vsize=13984976 memory=276 CPUtime=0.02 cores=1,3,5,7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 5085 0 -1 1077944384 2690 0 0 0 1 1 0 0 20 0 15 0 154600253 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197243537392 140197903669890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10154] ppid=10145 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 5085 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197242483680 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10155] ppid=10145 vsize=13984976 memory=17 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 5085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197241431040 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10156] ppid=10145 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197240379600 140197903677339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10157] ppid=10145 vsize=13984976 memory=1232 CPUtime=2.83 cores=1,3,5,7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 5085 0 -1 1077944384 13130 0 0 0 282 1 0 0 20 0 15 0 154600256 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197239327216 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10158] ppid=10145 vsize=13984976 memory=1296 CPUtime=2.26 cores=1,3,5,7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 5085 0 -1 1077944384 10549 0 0 0 225 1 0 0 20 0 15 0 154600256 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197238274672 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10159] ppid=10145 vsize=13984976 memory=2396 CPUtime=0.72 cores=1,3,5,7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 5085 0 -1 1077944384 5795 0 0 0 70 2 0 0 20 0 15 0 154600256 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197237222128 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10160] ppid=10145 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197236169824 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10161] ppid=10145 vsize=13984976 memory=2652256 CPUtime=0.09 cores=1,3,5,7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 5085 0 -1 1077944384 479 0 0 0 4 5 0 0 20 0 15 0 154600256 14320615424 663068 33554432000 4194304 4196468 140722603295408 140197235116336 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
Current children cumulated CPU time: 168.78 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2653656 KiB
[startup+222.301 s]
/proc/loadavg: 2.11 2.01 1.91 3/217 10318
/proc/meminfo: memFree=17713516/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154600250 9740288 346 33554432000 4194304 5098028 140720583405248 140720583403352 139719607673468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24698880 140720583410804 140720583411008 140720583411008 140720583413739 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=13984976 memory=3840704 CPUtime=229.01 cores=1,3,5,7
/proc/10147/stat : 10147 (java) S 10145 10145 5085 0 -1 1077944320 62425 0 0 0 22803 98 0 0 20 0 15 0 154600250 14320615424 960176 33554432000 4194304 4196468 140722603295408 140722603277952 140197903658743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
/proc/10147/statm: 3496244 960176 3268 1 0 3483478 0
[pid=10147/tid=10148] ppid=10145 vsize=13984976 memory=1384 CPUtime=222.03 cores=1,3,5,7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 5085 0 -1 4202560 21569 0 0 0 22146 57 0 0 20 0 15 0 154600251 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197907895600 140197546824177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10149] ppid=10145 vsize=13984976 memory=3840704 CPUtime=0.18 cores=1,3,5,7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 5085 0 -1 1077944384 1533 0 0 0 12 6 0 0 20 0 15 0 154600251 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197499169552 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10150] ppid=10145 vsize=13984976 memory=1384 CPUtime=0.19 cores=1,3,5,7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 5085 0 -1 1077944384 1709 0 0 0 13 6 0 0 20 0 15 0 154600251 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197498117008 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10151] ppid=10145 vsize=13984976 memory=3840704 CPUtime=0.17 cores=1,3,5,7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 5085 0 -1 1077944384 1569 0 0 0 11 6 0 0 20 0 15 0 154600251 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197497064464 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10152] ppid=10145 vsize=13984976 memory=3840704 CPUtime=0.2 cores=1,3,5,7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 5085 0 -1 1077944384 1062 0 0 0 14 6 0 0 20 0 15 0 154600251 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197496011920 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10153] ppid=10145 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 5085 0 -1 1077944384 2840 0 0 0 1 1 0 0 20 0 15 0 154600253 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197243537392 140197903669890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10154] ppid=10145 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 5085 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197242483680 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10155] ppid=10145 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 5085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197241431040 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10156] ppid=10145 vsize=13984976 memory=3840704 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197240379600 140197903677339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10157] ppid=10145 vsize=13984976 memory=1384 CPUtime=2.93 cores=1,3,5,7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 5085 0 -1 1077944384 13628 0 0 0 292 1 0 0 20 0 15 0 154600256 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197239327216 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10158] ppid=10145 vsize=13984976 memory=1384 CPUtime=2.32 cores=1,3,5,7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 5085 0 -1 1077944384 10739 0 0 0 231 1 0 0 20 0 15 0 154600256 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197238274672 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10159] ppid=10145 vsize=13984976 memory=1384 CPUtime=0.74 cores=1,3,5,7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 5085 0 -1 1077944384 5906 0 0 0 72 2 0 0 20 0 15 0 154600256 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197237222128 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10160] ppid=10145 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197236169824 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10161] ppid=10145 vsize=13984976 memory=4140 CPUtime=0.13 cores=1,3,5,7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 5085 0 -1 1077944384 483 0 0 0 5 8 0 0 20 0 15 0 154600256 14320615424 960176 33554432000 4194304 4196468 140722603295408 140197235116336 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
Current children cumulated CPU time: 229.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3842088 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.00 1.99 1.91 3/217 10318
/proc/meminfo: memFree=17713316/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154600250 9740288 346 33554432000 4194304 5098028 140720583405248 140720583403352 139719607673468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24698880 140720583410804 140720583411008 140720583411008 140720583413739 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=13984976 memory=3840764 CPUtime=247.33 cores=1,3,5,7
/proc/10147/stat : 10147 (java) S 10145 10145 5085 0 -1 1077944320 70342 0 0 0 24633 100 0 0 20 0 15 0 154600250 14320615424 960191 33554432000 4194304 4196468 140722603295408 140722603277952 140197903658743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
/proc/10147/statm: 3496244 960191 3268 1 0 3483478 0
[pid=10147/tid=10148] ppid=10145 vsize=13984976 memory=6791534058613427641 CPUtime=239.74 cores=1,3,5,7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 5085 0 -1 4202560 22166 0 0 0 23916 58 0 0 20 0 15 0 154600251 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197907895600 140197547387752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10149] ppid=10145 vsize=13984976 memory=4126316290023845779 CPUtime=0.18 cores=1,3,5,7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 5085 0 -1 1077944384 1533 0 0 0 12 6 0 0 20 0 15 0 154600251 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197499169552 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10150] ppid=10145 vsize=13984976 memory=2796 CPUtime=0.19 cores=1,3,5,7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 5085 0 -1 1077944384 1709 0 0 0 13 6 0 0 20 0 15 0 154600251 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197498117008 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10151] ppid=10145 vsize=13984976 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 5085 0 -1 1077944384 1569 0 0 0 11 6 0 0 20 0 15 0 154600251 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197497064464 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10152] ppid=10145 vsize=13984976 memory=1114316 CPUtime=0.2 cores=1,3,5,7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 5085 0 -1 1077944384 1062 0 0 0 14 6 0 0 20 0 15 0 154600251 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197496011920 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10153] ppid=10145 vsize=13984976 memory=1200 CPUtime=0.02 cores=1,3,5,7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 5085 0 -1 1077944384 2885 0 0 0 1 1 0 0 20 0 15 0 154600253 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197243537392 140197903669890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10154] ppid=10145 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 5085 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197242483680 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10155] ppid=10145 vsize=13984976 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 5085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154600253 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197241431040 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10156] ppid=10145 vsize=13984976 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197240379600 140197903677339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10157] ppid=10145 vsize=13984976 memory=24836 CPUtime=3.11 cores=1,3,5,7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 5085 0 -1 1077944384 15853 0 0 0 310 1 0 0 20 0 15 0 154600256 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197239327216 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10158] ppid=10145 vsize=13984976 memory=1796 CPUtime=2.72 cores=1,3,5,7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 5085 0 -1 1077944384 14139 0 0 0 270 2 0 0 20 0 15 0 154600256 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197238274672 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10159] ppid=10145 vsize=13984976 memory=636 CPUtime=0.75 cores=1,3,5,7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 5085 0 -1 1077944384 7521 0 0 0 73 2 0 0 20 0 15 0 154600256 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197237222128 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10160] ppid=10145 vsize=13984976 memory=960 CPUtime=0 cores=1,3,5,7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154600256 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197236169824 140197903668949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
[pid=10147/tid=10161] ppid=10145 vsize=13984976 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 5085 0 -1 1077944384 518 0 0 0 6 8 0 0 20 0 15 0 154600256 14320615424 960191 33554432000 4194304 4196468 140722603295408 140197235116336 140197903669890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 24215552 140722603299997 140722603300172 140722603300172 140722603302863 0
Current children cumulated CPU time: 247.33 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3842148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.035 s]
# the end of solver process 10145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000949 s, system=0.000949 s
[startup+240.036 s]
# the end of solver process 10147 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.34 s, system=1.02937 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.036
CPU time (s): 247.369
CPU user time (s): 246.34
CPU system time (s): 1.02937
CPU usage (%): 103.055
Max. virtual memory (cumulated for all children) (KiB): 13996316
Max. memory (cumulated for all children) (KiB): 3842148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.34
system time used= 1.02937
maximum resident set size= 3848340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8253
involuntary context switches= 306
# summary of solver processes directly reported to runsolver:
# pid: 10145,10147
# total CPU time (s): 247.369
# total CPU user time (s): 246.34
# total CPU system time (s): 1.02937
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4092 second user time and 2.53777 second system time
The end