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 (13000 MiB free)
memory of node 1: 16384 MiB (12967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284487-1503210207/watcher-4284487-1503210207 -o /tmp/evaluation-result-4284487-1503210207/solver-4284487-1503210207 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1869375883 HOME/instance-4284487-1503210207.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=8273, runsolver pid=8270
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 1.68 1.52 1.59 5/218 8289
/proc/meminfo: memFree=26565764/32770624 swapFree=67108860/67108860
[pid=8273] ppid=8270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (xcsp3-exec) S 8270 8273 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154108194 9740288 345 33554432000 4194304 5098028 140725057293888 140725057291992 139912011530876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28848128 140725057295476 140725057295680 140725057295680 140725057298411 0
/proc/8273/statm: 2378 345 289 221 0 87 0
[pid=8275] ppid=8273 vsize=13978596 memory=28356 CPUtime=0.12 cores=1,3,5,7
/proc/8275/stat : 8275 (java) S 8273 8273 8036 0 -1 1077944320 5395 0 0 0 11 1 0 0 20 0 15 0 154108194 14314082304 7089 33554432000 4194304 4196468 140725078195536 140725078178080 139783381352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
/proc/8275/statm: 3494649 7089 2902 1 0 3482966 0
[pid=8275/tid=8276] ppid=8273 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (java) R 8273 8273 8036 0 -1 4202560 3317 0 0 0 8 1 0 0 20 0 15 0 154108195 14314082304 7089 33554432000 4194304 4196468 140725078195536 139783385584432 139783365432670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8277] ppid=8273 vsize=13978596 memory=3472468770808042704 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14314082304 7089 33554432000 4194304 4196468 140725078195536 139783337904912 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8278] ppid=8273 vsize=13978596 memory=140641912891008 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14314082304 7089 33554432000 4194304 4196468 140725078195536 139783336852368 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8279] ppid=8273 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8279/stat : 8279 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14314082304 7089 33554432000 4194304 4196468 140725078195536 139783335799824 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8280] ppid=8273 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8280/stat : 8280 (java) S 8273 8273 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154108195 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782974270608 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8281] ppid=8273 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8281/stat : 8281 (java) S 8273 8273 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154108197 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782855284720 139783381363330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8282] ppid=8273 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8282/stat : 8282 (java) S 8273 8273 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154108197 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782854230944 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8283] ppid=8273 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8283/stat : 8283 (java) S 8273 8273 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154108197 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782853178352 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8284] ppid=8273 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8284/stat : 8284 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782852126928 139783381370779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8285] ppid=8273 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8285/stat : 8285 (java) S 8273 8273 8036 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 154108200 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782851074544 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8286] ppid=8273 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8286/stat : 8286 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782850022000 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8287] ppid=8273 vsize=13978596 memory=140641912891008 CPUtime=0.01 cores=1,3,5,7
/proc/8275/task/8287/stat : 8287 (java) S 8273 8273 8036 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 154108200 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782848969456 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8288] ppid=8273 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8288/stat : 8288 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782847917152 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8289] ppid=8273 vsize=13978596 memory=140641912891008 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8289/stat : 8289 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108200 14314082304 7089 33554432000 4194304 4196468 140725078195536 139782846863664 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29736 KiB
[startup+0.210822 s]*
/proc/loadavg: 1.68 1.52 1.59 3/218 8289
/proc/meminfo: memFree=26544736/32770624 swapFree=67108860/67108860
[pid=8273] ppid=8270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (xcsp3-exec) S 8270 8273 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154108194 9740288 345 33554432000 4194304 5098028 140725057293888 140725057291992 139912011530876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28848128 140725057295476 140725057295680 140725057295680 140725057298411 0
/proc/8273/statm: 2378 345 289 221 0 87 0
[pid=8275] ppid=8273 vsize=13982852 memory=40584 CPUtime=0.33 cores=1,3,5,7
/proc/8275/stat : 8275 (java) S 8273 8273 8036 0 -1 1077944320 8276 0 0 0 31 2 0 0 20 0 15 0 154108194 14318440448 10146 33554432000 4194304 4196468 140725078195536 140725078178080 139783381352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
/proc/8275/statm: 3495713 10146 3072 1 0 3482966 0
[pid=8275/tid=8276] ppid=8273 vsize=13982852 memory=4790596700399117203 CPUtime=0.19 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (java) R 8273 8273 8036 0 -1 4202560 5368 0 0 0 18 1 0 0 20 0 15 0 154108195 14318440448 10146 33554432000 4194304 4196468 140725078195536 139783385561920 139783366718864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8277] ppid=8273 vsize=13982852 memory=3472468770808042704 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14318440448 10146 33554432000 4194304 4196468 140725078195536 139783337904912 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8278] ppid=8273 vsize=13982852 memory=140641912891008 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14318440448 10146 33554432000 4194304 4196468 140725078195536 139783336852368 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8279] ppid=8273 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8279/stat : 8279 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14318440448 10146 33554432000 4194304 4196468 140725078195536 139783335799824 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8280] ppid=8273 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8280/stat : 8280 (java) S 8273 8273 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154108195 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782974270608 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8281] ppid=8273 vsize=13982852 memory=140641912891008 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8281/stat : 8281 (java) S 8273 8273 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154108197 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782855284720 139783381363330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8282] ppid=8273 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8282/stat : 8282 (java) S 8273 8273 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154108197 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782854230944 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8283] ppid=8273 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8283/stat : 8283 (java) S 8273 8273 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154108197 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782853178352 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8284] ppid=8273 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8284/stat : 8284 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782852126928 139783381370779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8285] ppid=8273 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8275/task/8285/stat : 8285 (java) S 8273 8273 8036 0 -1 1077944384 671 0 0 0 2 0 0 0 20 0 15 0 154108200 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782851074544 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8286] ppid=8273 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8275/task/8286/stat : 8286 (java) S 8273 8273 8036 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 15 0 154108200 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782850022000 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8287] ppid=8273 vsize=13982852 memory=140641912891008 CPUtime=0.07 cores=1,3,5,7
/proc/8275/task/8287/stat : 8287 (java) R 8273 8273 8036 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 15 0 154108200 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782848969456 139783360313920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8288] ppid=8273 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8288/stat : 8288 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782847917152 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8289] ppid=8273 vsize=13982852 memory=140641912891008 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8289/stat : 8289 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108200 14318440448 10146 33554432000 4194304 4196468 140725078195536 139782846863664 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41964 KiB
[startup+0.314679 s]*
/proc/loadavg: 1.68 1.52 1.59 5/218 8289
/proc/meminfo: memFree=26532716/32770624 swapFree=67108860/67108860
[pid=8273] ppid=8270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (xcsp3-exec) S 8270 8273 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154108194 9740288 345 33554432000 4194304 5098028 140725057293888 140725057291992 139912011530876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28848128 140725057295476 140725057295680 140725057295680 140725057298411 0
/proc/8273/statm: 2378 345 289 221 0 87 0
[pid=8275] ppid=8273 vsize=13982852 memory=47712 CPUtime=0.52 cores=1,3,5,7
/proc/8275/stat : 8275 (java) S 8273 8273 8036 0 -1 1077944320 9100 0 0 0 49 3 0 0 20 0 15 0 154108194 14318440448 11928 33554432000 4194304 4196468 140725078195536 140725078178080 139783381352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
/proc/8275/statm: 3495713 11928 3103 1 0 3482966 0
[pid=8275/tid=8276] ppid=8273 vsize=13982852 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (java) R 8273 8273 8036 0 -1 4202560 5977 0 0 0 28 2 0 0 20 0 15 0 154108195 14318440448 11928 33554432000 4194304 4196468 140725078195536 139783385587152 139783365432670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8277] ppid=8273 vsize=13982852 memory=3472468770808042704 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14318440448 11928 33554432000 4194304 4196468 140725078195536 139783337904912 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8278] ppid=8273 vsize=13982852 memory=140641912891008 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14318440448 11928 33554432000 4194304 4196468 140725078195536 139783336852368 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8279] ppid=8273 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8279/stat : 8279 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14318440448 11928 33554432000 4194304 4196468 140725078195536 139783335799824 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8280] ppid=8273 vsize=13982852 memory=140641791256607 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8280/stat : 8280 (java) S 8273 8273 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154108195 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782974270608 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8281] ppid=8273 vsize=13982852 memory=281283582492448 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8281/stat : 8281 (java) S 8273 8273 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154108197 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782855284720 139783381363330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8282] ppid=8273 vsize=13982852 memory=140641791233551 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8282/stat : 8282 (java) S 8273 8273 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154108197 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782854230944 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8283] ppid=8273 vsize=13982852 memory=281283704133728 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8283/stat : 8283 (java) S 8273 8273 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154108197 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782853178352 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8284] ppid=8273 vsize=13982852 memory=140641791238159 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8284/stat : 8284 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782852126928 139783381370779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8285] ppid=8273 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8275/task/8285/stat : 8285 (java) S 8273 8273 8036 0 -1 1077944384 683 0 0 0 3 0 0 0 20 0 15 0 154108200 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782851074544 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8286] ppid=8273 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8275/task/8286/stat : 8286 (java) S 8273 8273 8036 0 -1 1077944384 253 0 0 0 3 0 0 0 20 0 15 0 154108200 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782850022000 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8287] ppid=8273 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8275/task/8287/stat : 8287 (java) S 8273 8273 8036 0 -1 1077944384 889 0 0 0 13 0 0 0 20 0 15 0 154108200 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782848969456 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8288] ppid=8273 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8288/stat : 8288 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782847917152 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8289] ppid=8273 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8289/stat : 8289 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108200 14318440448 11928 33554432000 4194304 4196468 140725078195536 139782846863664 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49092 KiB
[startup+0.702427 s]
/proc/loadavg: 1.68 1.52 1.59 5/218 8289
/proc/meminfo: memFree=26502180/32770624 swapFree=67108860/67108860
[pid=8273] ppid=8270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (xcsp3-exec) S 8270 8273 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154108194 9740288 345 33554432000 4194304 5098028 140725057293888 140725057291992 139912011530876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28848128 140725057295476 140725057295680 140725057295680 140725057298411 0
/proc/8273/statm: 2378 345 289 221 0 87 0
[pid=8275] ppid=8273 vsize=13984976 memory=75028 CPUtime=1.51 cores=1,3,5,7
/proc/8275/stat : 8275 (java) S 8273 8273 8036 0 -1 1077944320 11995 0 0 0 145 6 0 0 20 0 15 0 154108194 14320615424 18757 33554432000 4194304 4196468 140725078195536 140725078178080 139783381352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
/proc/8275/statm: 3496244 18757 3206 1 0 3483478 0
[pid=8275/tid=8276] ppid=8273 vsize=13984976 memory=281283582300208 CPUtime=0.66 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (java) R 8273 8273 8036 0 -1 4202560 6827 0 0 0 63 3 0 0 20 0 15 0 154108195 14320615424 18757 33554432000 4194304 4196468 140725078195536 139783385589344 139783020092198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8277] ppid=8273 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14320615424 18757 33554432000 4194304 4196468 140725078195536 139783337904912 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8278] ppid=8273 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14320615424 18757 33554432000 4194304 4196468 140725078195536 139783336852368 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8279] ppid=8273 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8279/stat : 8279 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108195 14320615424 18757 33554432000 4194304 4196468 140725078195536 139783335799824 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8280] ppid=8273 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8280/stat : 8280 (java) S 8273 8273 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154108195 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782974270608 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8281] ppid=8273 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8281/stat : 8281 (java) S 8273 8273 8036 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782855284720 139783381363330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8282] ppid=8273 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8282/stat : 8282 (java) S 8273 8273 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782854230944 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8283] ppid=8273 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8283/stat : 8283 (java) S 8273 8273 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782853178352 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8284] ppid=8273 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8284/stat : 8284 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782852126928 139783381370779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8285] ppid=8273 vsize=13984976 memory=5787213827131598673 CPUtime=0.21 cores=1,3,5,7
/proc/8275/task/8285/stat : 8285 (java) R 8273 8273 8036 0 -1 1077944384 1394 0 0 0 21 0 0 0 20 0 15 0 154108200 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782851066000 139783381362389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8286] ppid=8273 vsize=13984976 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/8275/task/8286/stat : 8286 (java) R 8273 8273 8036 0 -1 4202560 720 0 0 0 22 0 0 0 20 0 15 0 154108200 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782850011600 139783362872327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8287] ppid=8273 vsize=13984976 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/8275/task/8287/stat : 8287 (java) R 8273 8273 8036 0 -1 4202560 1747 0 0 0 38 0 0 0 20 0 15 0 154108200 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782848969456 139783365432670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8288] ppid=8273 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8288/stat : 8288 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782847917152 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8289] ppid=8273 vsize=13984976 memory=42508 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8289/stat : 8289 (java) S 8273 8273 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 18757 33554432000 4194304 4196468 140725078195536 139782846863664 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76408 KiB
[startup+1.50085 s]
/proc/loadavg: 1.68 1.52 1.59 7/218 8289
/proc/meminfo: memFree=26421120/32770624 swapFree=67108860/67108860
[pid=8273] ppid=8270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (xcsp3-exec) S 8270 8273 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154108194 9740288 345 33554432000 4194304 5098028 140725057293888 140725057291992 139912011530876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28848128 140725057295476 140725057295680 140725057295680 140725057298411 0
/proc/8273/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/8275/task/8283/stat : 8283 (java) S 8273 8273 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 67071 33554432000 4194304 4196468 140725078195536 139782853178352 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8284] ppid=8273 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8284/stat : 8284 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 67071 33554432000 4194304 4196468 140725078195536 139782852126928 139783381370779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8285] ppid=8273 vsize=13984976 memory=42520 CPUtime=5.32 cores=1,3,5,7
/proc/8275/task/8285/stat : 8285 (java) S 8273 8273 8036 0 -1 1077944384 34620 0 0 0 528 4 0 0 20 0 15 0 154108200 14320615424 67071 33554432000 4194304 4196468 140725078195536 139782851074544 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8286] ppid=8273 vsize=13984976 memory=55 CPUtime=5.7 cores=1,3,5,7
/proc/8275/task/8286/stat : 8286 (java) S 8273 8273 8036 0 -1 1077944384 30668 0 0 0 567 3 0 0 20 0 15 0 154108200 14320615424 67071 33554432000 4194304 4196468 140725078195536 139782850022000 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8287] ppid=8273 vsize=13984976 memory=9130442918539852932 CPUtime=0.78 cores=1,3,5,7
/proc/8275/task/8287/stat : 8287 (java) S 8273 8273 8036 0 -1 1077944384 7740 0 0 0 77 1 0 0 20 0 15 0 154108200 14320615424 67071 33554432000 4194304 4196468 140725078195536 139782848969456 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8288] ppid=8273 vsize=13984976 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8288/stat : 8288 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 67071 33554432000 4194304 4196468 140725078195536 139782847917152 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8289] ppid=8273 vsize=13984976 memory=2448 CPUtime=0.02 cores=1,3,5,7
/proc/8275/task/8289/stat : 8289 (java) S 8273 8273 8036 0 -1 1077944384 950 0 0 0 1 1 0 0 20 0 15 0 154108200 14320615424 67071 33554432000 4194304 4196468 140725078195536 139782846863664 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
Current children cumulated CPU time: 114.3 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 269664 KiB
[startup+162.301 s]
/proc/loadavg: 1.88 1.72 1.66 3/217 8298
/proc/meminfo: memFree=26003732/32770624 swapFree=67108860/67108860
[pid=8273] ppid=8270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (xcsp3-exec) S 8270 8273 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154108194 9740288 345 33554432000 4194304 5098028 140725057293888 140725057291992 139912011530876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28848128 140725057295476 140725057295680 140725057295680 140725057298411 0
/proc/8273/statm: 2378 345 289 221 0 87 0
[pid=8275] ppid=8273 vsize=13984976 memory=289584 CPUtime=175.27 cores=1,3,5,7
/proc/8275/stat : 8275 (java) S 8273 8273 8036 0 -1 1077944320 104699 0 0 0 17501 26 0 0 20 0 15 0 154108194 14320615424 72396 33554432000 4194304 4196468 140725078195536 140725078178080 139783381352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
/proc/8275/statm: 3496244 72396 3267 1 0 3483478 0
[pid=8275/tid=8276] ppid=8273 vsize=13984976 memory=289584 CPUtime=162.07 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (java) R 8273 8273 8036 0 -1 4202560 15150 0 0 0 16201 6 0 0 20 0 15 0 154108195 14320615424 72396 33554432000 4194304 4196468 140725078195536 139783385587856 139783026931522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8277] ppid=8273 vsize=13984976 memory=289584 CPUtime=0.12 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (java) S 8273 8273 8036 0 -1 1077944384 1052 0 0 0 11 1 0 0 20 0 15 0 154108195 14320615424 72396 33554432000 4194304 4196468 140725078195536 139783337904912 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8278] ppid=8273 vsize=13984976 memory=289584 CPUtime=0.14 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (java) S 8273 8273 8036 0 -1 1077944384 2124 0 0 0 12 2 0 0 20 0 15 0 154108195 14320615424 72396 33554432000 4194304 4196468 140725078195536 139783336852368 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8279] ppid=8273 vsize=13984976 memory=289584 CPUtime=0.14 cores=1,3,5,7
/proc/8275/task/8279/stat : 8279 (java) S 8273 8273 8036 0 -1 1077944384 1670 0 0 0 12 2 0 0 20 0 15 0 154108195 14320615424 72396 33554432000 4194304 4196468 140725078195536 139783335799824 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8280] ppid=8273 vsize=13984976 memory=1380 CPUtime=0.13 cores=1,3,5,7
/proc/8275/task/8280/stat : 8280 (java) S 8273 8273 8036 0 -1 1077944384 604 0 0 0 11 2 0 0 20 0 15 0 154108195 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782974270608 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8281] ppid=8273 vsize=13984976 memory=290584 CPUtime=0.02 cores=1,3,5,7
/proc/8275/task/8281/stat : 8281 (java) S 8273 8273 8036 0 -1 1077944384 1331 0 0 0 2 0 0 0 20 0 15 0 154108197 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782855284720 139783381363330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8282] ppid=8273 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8282/stat : 8282 (java) S 8273 8273 8036 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782854230944 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8283] ppid=8273 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8283/stat : 8283 (java) S 8273 8273 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782853178352 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8284] ppid=8273 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8284/stat : 8284 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782852126928 139783381370779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8285] ppid=8273 vsize=13984976 memory=1380 CPUtime=5.66 cores=1,3,5,7
/proc/8275/task/8285/stat : 8285 (java) S 8273 8273 8036 0 -1 1077944384 38401 0 0 0 562 4 0 0 20 0 15 0 154108200 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782851074544 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8286] ppid=8273 vsize=13984976 memory=1380 CPUtime=6.05 cores=1,3,5,7
/proc/8275/task/8286/stat : 8286 (java) S 8273 8273 8036 0 -1 1077944384 33802 0 0 0 602 3 0 0 20 0 15 0 154108200 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782850022000 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8287] ppid=8273 vsize=13984976 memory=4100 CPUtime=0.82 cores=1,3,5,7
/proc/8275/task/8287/stat : 8287 (java) S 8273 8273 8036 0 -1 1077944384 8232 0 0 0 80 2 0 0 20 0 15 0 154108200 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782848969456 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8288] ppid=8273 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8288/stat : 8288 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782847917152 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8289] ppid=8273 vsize=13984976 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/8275/task/8289/stat : 8289 (java) S 8273 8273 8036 0 -1 1077944384 989 0 0 0 2 1 0 0 20 0 15 0 154108200 14320615424 72396 33554432000 4194304 4196468 140725078195536 139782846863664 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
Current children cumulated CPU time: 175.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 290964 KiB
[startup+222.301 s]
/proc/loadavg: 1.86 1.74 1.67 3/217 8299
/proc/meminfo: memFree=26020616/32770624 swapFree=67108860/67108860
[pid=8273] ppid=8270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (xcsp3-exec) S 8270 8273 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154108194 9740288 345 33554432000 4194304 5098028 140725057293888 140725057291992 139912011530876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28848128 140725057295476 140725057295680 140725057295680 140725057298411 0
/proc/8273/statm: 2378 345 289 221 0 87 0
[pid=8275] ppid=8273 vsize=13984976 memory=286492 CPUtime=236.25 cores=1,3,5,7
/proc/8275/stat : 8275 (java) S 8273 8273 8036 0 -1 1077944320 109934 0 0 0 23597 28 0 0 20 0 15 0 154108194 14320615424 71623 33554432000 4194304 4196468 140725078195536 140725078178080 139783381352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
/proc/8275/statm: 3496244 71623 3268 1 0 3483478 0
[pid=8275/tid=8276] ppid=8273 vsize=13984976 memory=140641792050360 CPUtime=222.01 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (java) R 8273 8273 8036 0 -1 4202560 15889 0 0 0 22195 6 0 0 20 0 15 0 154108195 14320615424 71623 33554432000 4194304 4196468 140725078195536 139783385589496 139783026931341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8277] ppid=8273 vsize=13984976 memory=288032 CPUtime=0.17 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (java) S 8273 8273 8036 0 -1 1077944384 1499 0 0 0 16 1 0 0 20 0 15 0 154108195 14320615424 71623 33554432000 4194304 4196468 140725078195536 139783337904912 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8278] ppid=8273 vsize=13984976 memory=286492 CPUtime=0.18 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (java) S 8273 8273 8036 0 -1 1077944384 2159 0 0 0 16 2 0 0 20 0 15 0 154108195 14320615424 71623 33554432000 4194304 4196468 140725078195536 139783336852368 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8279] ppid=8273 vsize=13984976 memory=1380 CPUtime=0.18 cores=1,3,5,7
/proc/8275/task/8279/stat : 8279 (java) S 8273 8273 8036 0 -1 1077944384 1720 0 0 0 16 2 0 0 20 0 15 0 154108195 14320615424 71623 33554432000 4194304 4196468 140725078195536 139783335799824 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8280] ppid=8273 vsize=13984976 memory=286492 CPUtime=0.18 cores=1,3,5,7
/proc/8275/task/8280/stat : 8280 (java) S 8273 8273 8036 0 -1 1077944384 680 0 0 0 16 2 0 0 20 0 15 0 154108195 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782974270608 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8281] ppid=8273 vsize=13984976 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/8275/task/8281/stat : 8281 (java) S 8273 8273 8036 0 -1 1077944384 1539 0 0 0 3 0 0 0 20 0 15 0 154108197 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782855284720 139783381363330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8282] ppid=8273 vsize=13984976 memory=286492 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8282/stat : 8282 (java) S 8273 8273 8036 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782854230944 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8283] ppid=8273 vsize=13984976 memory=286492 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8283/stat : 8283 (java) S 8273 8273 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782853178352 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8284] ppid=8273 vsize=13984976 memory=286492 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8284/stat : 8284 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782852126928 139783381370779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8285] ppid=8273 vsize=13984976 memory=1380 CPUtime=5.79 cores=1,3,5,7
/proc/8275/task/8285/stat : 8285 (java) S 8273 8273 8036 0 -1 1077944384 39523 0 0 0 575 4 0 0 20 0 15 0 154108200 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782851074544 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8286] ppid=8273 vsize=13984976 memory=286492 CPUtime=6.75 cores=1,3,5,7
/proc/8275/task/8286/stat : 8286 (java) S 8273 8273 8036 0 -1 1077944384 36095 0 0 0 672 3 0 0 20 0 15 0 154108200 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782850022000 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8287] ppid=8273 vsize=13984976 memory=286492 CPUtime=0.82 cores=1,3,5,7
/proc/8275/task/8287/stat : 8287 (java) S 8273 8273 8036 0 -1 1077944384 8480 0 0 0 80 2 0 0 20 0 15 0 154108200 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782848969456 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8288] ppid=8273 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8288/stat : 8288 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782847917152 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8289] ppid=8273 vsize=13984976 memory=1160 CPUtime=0.05 cores=1,3,5,7
/proc/8275/task/8289/stat : 8289 (java) S 8273 8273 8036 0 -1 1077944384 1006 0 0 0 3 2 0 0 20 0 15 0 154108200 14320615424 71623 33554432000 4194304 4196468 140725078195536 139782846863664 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
Current children cumulated CPU time: 236.25 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 287872 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.81 1.73 1.67 2/200 8301
/proc/meminfo: memFree=26330160/32770624 swapFree=67108860/67108860
[pid=8273] ppid=8270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (xcsp3-exec) S 8270 8273 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154108194 9740288 345 33554432000 4194304 5098028 140725057293888 140725057291992 139912011530876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28848128 140725057295476 140725057295680 140725057295680 140725057298411 0
/proc/8273/statm: 2378 345 289 221 0 87 0
[pid=8275] ppid=8273 vsize=13984976 memory=284436 CPUtime=254.05 cores=1,3,5,7
/proc/8275/stat : 8275 (java) S 8273 8273 8036 0 -1 1077944320 111378 0 0 0 25375 30 0 0 20 0 15 0 154108194 14320615424 71109 33554432000 4194304 4196468 140725078195536 140725078178080 139783381352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
/proc/8275/statm: 3496244 71109 3269 1 0 3483478 0
[pid=8275/tid=8276] ppid=8273 vsize=13984976 memory=8112282956445269571 CPUtime=239.7 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (java) R 8273 8273 8036 0 -1 4202560 15907 0 0 0 23964 6 0 0 20 0 15 0 154108195 14320615424 71109 33554432000 4194304 4196468 140725078195536 139783385591504 139783026929210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8277] ppid=8273 vsize=13984976 memory=-7003737579269690708 CPUtime=0.19 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (java) S 8273 8273 8036 0 -1 1077944384 1501 0 0 0 17 2 0 0 20 0 15 0 154108195 14320615424 71109 33554432000 4194304 4196468 140725078195536 139783337904912 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8278] ppid=8273 vsize=13984976 memory=1380 CPUtime=0.19 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (java) S 8273 8273 8036 0 -1 1077944384 2162 0 0 0 17 2 0 0 20 0 15 0 154108195 14320615424 71109 33554432000 4194304 4196468 140725078195536 139783336852368 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8279] ppid=8273 vsize=13984976 memory=4100 CPUtime=0.2 cores=1,3,5,7
/proc/8275/task/8279/stat : 8279 (java) S 8273 8273 8036 0 -1 1077944384 1723 0 0 0 17 3 0 0 20 0 15 0 154108195 14320615424 71109 33554432000 4194304 4196468 140725078195536 139783335799824 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8280] ppid=8273 vsize=13984976 memory=42520 CPUtime=0.19 cores=1,3,5,7
/proc/8275/task/8280/stat : 8280 (java) S 8273 8273 8036 0 -1 1077944384 688 0 0 0 17 2 0 0 20 0 15 0 154108195 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782974270608 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8281] ppid=8273 vsize=13984976 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/8275/task/8281/stat : 8281 (java) S 8273 8273 8036 0 -1 1077944384 1550 0 0 0 3 0 0 0 20 0 15 0 154108197 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782855284720 139783381363330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8282] ppid=8273 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8282/stat : 8282 (java) S 8273 8273 8036 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782854230944 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8283] ppid=8273 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8283/stat : 8283 (java) S 8273 8273 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154108197 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782853178352 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8284] ppid=8273 vsize=13984976 memory=23608 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8284/stat : 8284 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782852126928 139783381370779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8285] ppid=8273 vsize=13984976 memory=4052 CPUtime=5.79 cores=1,3,5,7
/proc/8275/task/8285/stat : 8285 (java) S 8273 8273 8036 0 -1 1077944384 39523 0 0 0 575 4 0 0 20 0 15 0 154108200 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782851074544 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8286] ppid=8273 vsize=13984976 memory=16236 CPUtime=6.79 cores=1,3,5,7
/proc/8275/task/8286/stat : 8286 (java) S 8273 8273 8036 0 -1 1077944384 37491 0 0 0 675 4 0 0 20 0 15 0 154108200 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782850022000 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8287] ppid=8273 vsize=13984976 memory=1796 CPUtime=0.82 cores=1,3,5,7
/proc/8275/task/8287/stat : 8287 (java) S 8273 8273 8036 0 -1 1077944384 8480 0 0 0 80 2 0 0 20 0 15 0 154108200 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782848969456 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8288] ppid=8273 vsize=13984976 memory=644 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8288/stat : 8288 (java) S 8273 8273 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154108200 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782847917152 139783381362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
[pid=8275/tid=8289] ppid=8273 vsize=13984976 memory=960 CPUtime=0.05 cores=1,3,5,7
/proc/8275/task/8289/stat : 8289 (java) S 8273 8273 8036 0 -1 1077944384 1009 0 0 0 3 2 0 0 20 0 15 0 154108200 14320615424 71109 33554432000 4194304 4196468 140725078195536 139782846863664 139783381363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140725078201501 140725078201676 140725078201676 140725078204367 0
Current children cumulated CPU time: 254.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 285816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 8273 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000971 s, system=0.000971 s
[startup+240.024 s]
# the end of solver process 8275 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.763 s, system=0.310146 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.024
CPU time (s): 254.073
CPU user time (s): 253.763
CPU system time (s): 0.310146
CPU usage (%): 105.853
Max. virtual memory (cumulated for all children) (KiB): 13997552
Max. memory (cumulated for all children) (KiB): 293008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.763
system time used= 0.310146
maximum resident set size= 293680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112241
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= 9526
involuntary context switches= 186
# summary of solver processes directly reported to runsolver:
# pid: 8273,8275
# total CPU time (s): 254.073
# total CPU user time (s): 253.763
# total CPU system time (s): 0.310146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24005 second user time and 2.3328 second system time
The end