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 (12539 MiB free)
memory of node 1: 16384 MiB (12966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284208-1503214612/watcher-4284208-1503214612 -o /tmp/evaluation-result-4284208-1503214612/solver-4284208-1503214612 -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 533799464 HOME/instance-4284208-1503214612.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=11795, runsolver pid=11792
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 1.28 1.52 1.68 3/217 11811
/proc/meminfo: memFree=26101008/32770624 swapFree=67108860/67108860
[pid=11795] ppid=11792 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11795/stat : 11795 (xcsp3-exec) S 11792 11795 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154548685 9740288 345 33554432000 4194304 5098028 140729209944976 140729209943080 139813502612092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18882560 140729209947253 140729209947456 140729209947456 140729209950187 0
/proc/11795/statm: 2378 345 289 221 0 87 0
[pid=11797] ppid=11795 vsize=13978596 memory=28144 CPUtime=0.12 cores=1,3,5,7
/proc/11797/stat : 11797 (java) S 11795 11795 8036 0 -1 1077944320 5400 0 0 0 11 1 0 0 20 0 15 0 154548685 14314082304 7036 33554432000 4194304 4196468 140723175350592 140723175333136 140435569557239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
/proc/11797/statm: 3494649 7036 2870 1 0 3482966 0
[pid=11797/tid=11798] ppid=11795 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/11797/task/11798/stat : 11798 (java) R 11795 11795 8036 0 -1 4202560 3332 0 0 0 8 1 0 0 20 0 15 0 154548685 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435573789152 140435553637726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11799] ppid=11795 vsize=13978596 memory=3472467992947303632 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11799/stat : 11799 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435499645456 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11800] ppid=11795 vsize=13978596 memory=139864052151936 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11800/stat : 11800 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435164674704 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11801] ppid=11795 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11801/stat : 11801 (java) S 11795 11795 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154548686 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435163621648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11802] ppid=11795 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11802/stat : 11802 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435162569104 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11803] ppid=11795 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11803/stat : 11803 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548687 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435110853360 140435569568386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11804] ppid=11795 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11804/stat : 11804 (java) S 11795 11795 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154548688 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435109799584 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11805] ppid=11795 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11805/stat : 11805 (java) S 11795 11795 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154548688 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435108746480 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11806] ppid=11795 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11806/stat : 11806 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548690 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435107695056 140435569575835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11807] ppid=11795 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11807/stat : 11807 (java) S 11795 11795 8036 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154548690 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435106642160 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11808] ppid=11795 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11808/stat : 11808 (java) S 11795 11795 8036 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154548690 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435105589616 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11809] ppid=11795 vsize=13978596 memory=139864052151936 CPUtime=0.01 cores=1,3,5,7
/proc/11797/task/11809/stat : 11809 (java) S 11795 11795 8036 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 154548690 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435104536560 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11810] ppid=11795 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11810/stat : 11810 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548691 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435103484256 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11811] ppid=11795 vsize=13978596 memory=139864052151936 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11811/stat : 11811 (java) S 11795 11795 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154548691 14314082304 7036 33554432000 4194304 4196468 140723175350592 140435102432304 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29524 KiB
[startup+0.210842 s]*
/proc/loadavg: 1.28 1.52 1.68 3/217 11811
/proc/meminfo: memFree=26089844/32770624 swapFree=67108860/67108860
[pid=11795] ppid=11792 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11795/stat : 11795 (xcsp3-exec) S 11792 11795 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154548685 9740288 345 33554432000 4194304 5098028 140729209944976 140729209943080 139813502612092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18882560 140729209947253 140729209947456 140729209947456 140729209950187 0
/proc/11795/statm: 2378 345 289 221 0 87 0
[pid=11797] ppid=11795 vsize=13982852 memory=40396 CPUtime=0.33 cores=1,3,5,7
/proc/11797/stat : 11797 (java) S 11795 11795 8036 0 -1 1077944320 8152 0 0 0 31 2 0 0 20 0 15 0 154548685 14318440448 10099 33554432000 4194304 4196468 140723175350592 140723175333136 140435569557239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
/proc/11797/statm: 3495713 10099 3074 1 0 3482966 0
[pid=11797/tid=11798] ppid=11795 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/11797/task/11798/stat : 11798 (java) D 11795 11795 8036 0 -1 1077944384 5364 0 0 0 18 1 0 0 20 0 15 0 154548685 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435573766976 140435562236461 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11799] ppid=11795 vsize=13982852 memory=3472467992947303632 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11799/stat : 11799 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435499645456 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11800] ppid=11795 vsize=13982852 memory=139864052151936 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11800/stat : 11800 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435164674704 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11801] ppid=11795 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11801/stat : 11801 (java) S 11795 11795 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154548686 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435163621648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11802] ppid=11795 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11802/stat : 11802 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435162569104 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11803] ppid=11795 vsize=13982852 memory=139864052151936 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11803/stat : 11803 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548687 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435110853360 140435569568386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11804] ppid=11795 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11804/stat : 11804 (java) S 11795 11795 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154548688 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435109799584 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11805] ppid=11795 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11805/stat : 11805 (java) S 11795 11795 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154548688 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435108746480 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11806] ppid=11795 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11806/stat : 11806 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548690 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435107695056 140435569575835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11807] ppid=11795 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11797/task/11807/stat : 11807 (java) S 11795 11795 8036 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 154548690 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435106642160 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11808] ppid=11795 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11797/task/11808/stat : 11808 (java) S 11795 11795 8036 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 154548690 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435105589616 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11809] ppid=11795 vsize=13982852 memory=139864052151936 CPUtime=0.07 cores=1,3,5,7
/proc/11797/task/11809/stat : 11809 (java) S 11795 11795 8036 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 15 0 154548690 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435104536560 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11810] ppid=11795 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11810/stat : 11810 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548691 14318440448 10099 33554432000 4194304 4196468 140723175350592 140435103484256 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11811] ppid=11795 vsize=13982884 memory=139864052151936 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11811/stat : 11811 (java) S 11795 11795 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154548691 14318473216 10099 33554432000 4194304 4196468 140723175350592 140435102432304 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41776 KiB
[startup+0.310545 s]*
/proc/loadavg: 1.28 1.52 1.68 4/217 11811
/proc/meminfo: memFree=26082524/32770624 swapFree=67108860/67108860
[pid=11795] ppid=11792 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11795/stat : 11795 (xcsp3-exec) S 11792 11795 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154548685 9740288 345 33554432000 4194304 5098028 140729209944976 140729209943080 139813502612092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18882560 140729209947253 140729209947456 140729209947456 140729209950187 0
/proc/11795/statm: 2378 345 289 221 0 87 0
[pid=11797] ppid=11795 vsize=13982928 memory=47292 CPUtime=0.49 cores=1,3,5,7
/proc/11797/stat : 11797 (java) S 11795 11795 8036 0 -1 1077944320 8997 0 0 0 46 3 0 0 20 0 15 0 154548685 14318518272 11823 33554432000 4194304 4196468 140723175350592 140723175333136 140435569557239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
/proc/11797/statm: 3495732 11823 3108 1 0 3482966 0
[pid=11797/tid=11798] ppid=11795 vsize=13982928 memory=8514701219881254566 CPUtime=0.29 cores=1,3,5,7
/proc/11797/task/11798/stat : 11798 (java) R 11795 11795 8036 0 -1 4202560 6067 0 0 0 27 2 0 0 20 0 15 0 154548685 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435573789600 140435569579165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11799] ppid=11795 vsize=13982928 memory=3472467992947303632 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11799/stat : 11799 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435499645456 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11800] ppid=11795 vsize=13982928 memory=139864052151936 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11800/stat : 11800 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435164674704 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11801] ppid=11795 vsize=13982928 memory=3 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11801/stat : 11801 (java) S 11795 11795 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154548686 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435163621648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11802] ppid=11795 vsize=13982928 memory=139863932413983 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11802/stat : 11802 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435162569104 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11803] ppid=11795 vsize=13982928 memory=279727864788736 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11803/stat : 11803 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548687 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435110853360 140435569568386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11804] ppid=11795 vsize=13982928 memory=139863932390927 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11804/stat : 11804 (java) S 11795 11795 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154548688 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435109799584 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11805] ppid=11795 vsize=13982928 memory=279727984552032 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11805/stat : 11805 (java) S 11795 11795 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154548688 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435108746480 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11806] ppid=11795 vsize=13982928 memory=139863932395535 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11806/stat : 11806 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548690 14318518272 11823 33554432000 4194304 4196468 140723175350592 140435107695056 140435569575835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11807] ppid=11795 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11797/task/11807/stat : 11807 (java) S 11795 11795 8036 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 15 0 154548690 14318518272 11836 33554432000 4194304 4196468 140723175350592 140435106642160 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11808] ppid=11795 vsize=13982928 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/11797/task/11808/stat : 11808 (java) S 11795 11795 8036 0 -1 1077944384 364 0 0 0 4 0 0 0 20 0 15 0 154548690 14318518272 11836 33554432000 4194304 4196468 140723175350592 140435105589616 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11809] ppid=11795 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/11797/task/11809/stat : 11809 (java) R 11795 11795 8036 0 -1 4202560 849 0 0 0 11 0 0 0 20 0 15 0 154548690 14318518272 11836 33554432000 4194304 4196468 140723175350592 140435104536560 140435548366259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11810] ppid=11795 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11810/stat : 11810 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548691 14318518272 11836 33554432000 4194304 4196468 140723175350592 140435103484256 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11811] ppid=11795 vsize=13982928 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11811/stat : 11811 (java) S 11795 11795 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154548691 14318518272 11836 33554432000 4194304 4196468 140723175350592 140435102432304 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48672 KiB
[startup+0.700873 s]
/proc/loadavg: 1.28 1.52 1.68 5/217 11811
/proc/meminfo: memFree=26068196/32770624 swapFree=67108860/67108860
[pid=11795] ppid=11792 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11795/stat : 11795 (xcsp3-exec) S 11792 11795 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154548685 9740288 345 33554432000 4194304 5098028 140729209944976 140729209943080 139813502612092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18882560 140729209947253 140729209947456 140729209947456 140729209950187 0
/proc/11795/statm: 2378 345 289 221 0 87 0
[pid=11797] ppid=11795 vsize=13984976 memory=74292 CPUtime=1.67 cores=1,3,5,7
/proc/11797/stat : 11797 (java) S 11795 11795 8036 0 -1 1077944320 13846 0 0 0 162 5 0 0 20 0 15 0 154548685 14320615424 18573 33554432000 4194304 4196468 140723175350592 140723175333136 140435569557239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
/proc/11797/statm: 3496244 18573 3205 1 0 3483478 0
[pid=11797/tid=11798] ppid=11795 vsize=13984976 memory=279727864614768 CPUtime=0.66 cores=1,3,5,7
/proc/11797/task/11798/stat : 11798 (java) R 11795 11795 8036 0 -1 4202560 6658 0 0 0 64 2 0 0 20 0 15 0 154548685 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435573794992 140435182520162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11799] ppid=11795 vsize=13984976 memory=3835163037842756688 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11799/stat : 11799 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435499645456 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11800] ppid=11795 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11800/stat : 11800 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435164674704 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11801] ppid=11795 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11801/stat : 11801 (java) S 11795 11795 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154548686 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435163621648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11802] ppid=11795 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11802/stat : 11802 (java) S 11795 11795 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154548686 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435162569104 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11803] ppid=11795 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11803/stat : 11803 (java) S 11795 11795 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154548687 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435110853360 140435569568386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11804] ppid=11795 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11804/stat : 11804 (java) S 11795 11795 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435109799584 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11805] ppid=11795 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11805/stat : 11805 (java) S 11795 11795 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435108746480 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11806] ppid=11795 vsize=13984976 memory=7452706766398776640 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11806/stat : 11806 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548690 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435107695056 140435569575835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11807] ppid=11795 vsize=13984976 memory=7881696724453321575 CPUtime=0.33 cores=1,3,5,7
/proc/11797/task/11807/stat : 11807 (java) R 11795 11795 8036 0 -1 4202560 2057 0 0 0 33 0 0 0 20 0 15 0 154548690 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435106634112 140435549219673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11808] ppid=11795 vsize=13984976 memory=7007720116684083280 CPUtime=0.34 cores=1,3,5,7
/proc/11797/task/11808/stat : 11808 (java) R 11795 11795 8036 0 -1 4202560 1612 0 0 0 34 0 0 0 20 0 15 0 154548690 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435105569576 140435550747208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11809] ppid=11795 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/11797/task/11809/stat : 11809 (java) S 11795 11795 8036 0 -1 1077944384 2211 0 0 0 30 0 0 0 20 0 15 0 154548690 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435104536560 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11810] ppid=11795 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11810/stat : 11810 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548691 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435103484256 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11811] ppid=11795 vsize=13984976 memory=42620 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11811/stat : 11811 (java) S 11795 11795 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154548691 14320615424 18573 33554432000 4194304 4196468 140723175350592 140435102432304 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75672 KiB
[startup+1.50087 s]
/proc/loadavg: 1.28 1.52 1.68 5/217 11811
/proc/meminfo: memFree=26036760/32770624 swapFree=67108860/67108860
[pid=11795] ppid=11792 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11795/stat : 11795 (xcsp3-exec) S 11792 11795 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154548685 9740288 345 33554432000 4194304 5098028 140729209944976 140729209943080 139813502612092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18882560 140729209947253 140729209947456 140729209947456 140729209950187 0
/proc/11795/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/11797/task/11805/stat : 11805 (java) S 11795 11795 8036 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 84562 33554432000 4194304 4196468 140723175350592 140435108746496 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11806] ppid=11795 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11806/stat : 11806 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548690 14320615424 84562 33554432000 4194304 4196468 140723175350592 140435107695056 140435569575835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11807] ppid=11795 vsize=13984976 memory=42620 CPUtime=3.06 cores=1,3,5,7
/proc/11797/task/11807/stat : 11807 (java) S 11795 11795 8036 0 -1 1077944384 17189 0 0 0 305 1 0 0 20 0 15 0 154548690 14320615424 84562 33554432000 4194304 4196468 140723175350592 140435106642160 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11808] ppid=11795 vsize=13984976 memory=1292 CPUtime=3.4 cores=1,3,5,7
/proc/11797/task/11808/stat : 11808 (java) S 11795 11795 8036 0 -1 1077944384 19659 0 0 0 338 2 0 0 20 0 15 0 154548690 14320615424 84562 33554432000 4194304 4196468 140723175350592 140435105589616 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11809] ppid=11795 vsize=13984976 memory=2448 CPUtime=0.63 cores=1,3,5,7
/proc/11797/task/11809/stat : 11809 (java) S 11795 11795 8036 0 -1 1077944384 7633 0 0 0 61 2 0 0 20 0 15 0 154548690 14320615424 84562 33554432000 4194304 4196468 140723175350592 140435104536560 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11810] ppid=11795 vsize=13984976 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11810/stat : 11810 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548691 14320615424 84562 33554432000 4194304 4196468 140723175350592 140435103484256 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11811] ppid=11795 vsize=13984976 memory=1732 CPUtime=0.04 cores=1,3,5,7
/proc/11797/task/11811/stat : 11811 (java) S 11795 11795 8036 0 -1 1077944384 710 0 0 0 2 2 0 0 20 0 15 0 154548691 14320615424 84562 33554432000 4194304 4196468 140723175350592 140435102432304 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
Current children cumulated CPU time: 111.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 339628 KiB
[startup+162.301 s]
/proc/loadavg: 1.80 1.67 1.71 3/217 11814
/proc/meminfo: memFree=25029368/32770624 swapFree=67108860/67108860
[pid=11795] ppid=11792 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11795/stat : 11795 (xcsp3-exec) S 11792 11795 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154548685 9740288 345 33554432000 4194304 5098028 140729209944976 140729209943080 139813502612092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18882560 140729209947253 140729209947456 140729209947456 140729209950187 0
/proc/11795/statm: 2378 345 289 221 0 87 0
[pid=11797] ppid=11795 vsize=13984976 memory=303032 CPUtime=172.95 cores=1,3,5,7
/proc/11797/stat : 11797 (java) S 11795 11795 8036 0 -1 1077944320 83210 0 0 0 17220 75 0 0 20 0 15 0 154548685 14320615424 75758 33554432000 4194304 4196468 140723175350592 140723175333136 140435569557239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
/proc/11797/statm: 3496244 75758 3280 1 0 3483478 0
[pid=11797/tid=11798] ppid=11795 vsize=13984976 memory=313304 CPUtime=160.89 cores=1,3,5,7
/proc/11797/task/11798/stat : 11798 (java) R 11795 11795 8036 0 -1 4202560 14846 0 0 0 16084 5 0 0 20 0 15 0 154548685 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435573796480 140435186540028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11799] ppid=11795 vsize=13984976 memory=303032 CPUtime=1.02 cores=1,3,5,7
/proc/11797/task/11799/stat : 11799 (java) S 11795 11795 8036 0 -1 1077944384 3012 0 0 0 88 14 0 0 20 0 15 0 154548686 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435499645456 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11800] ppid=11795 vsize=13984976 memory=303036 CPUtime=1.04 cores=1,3,5,7
/proc/11797/task/11800/stat : 11800 (java) S 11795 11795 8036 0 -1 1077944384 2578 0 0 0 90 14 0 0 20 0 15 0 154548686 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435164674704 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11801] ppid=11795 vsize=13984976 memory=1380 CPUtime=1.04 cores=1,3,5,7
/proc/11797/task/11801/stat : 11801 (java) S 11795 11795 8036 0 -1 1077944384 2374 0 0 0 89 15 0 0 20 0 15 0 154548686 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435163621648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11802] ppid=11795 vsize=13984976 memory=320824 CPUtime=1.04 cores=1,3,5,7
/proc/11797/task/11802/stat : 11802 (java) S 11795 11795 8036 0 -1 1077944384 2165 0 0 0 90 14 0 0 20 0 15 0 154548686 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435162569104 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11803] ppid=11795 vsize=13984976 memory=1380 CPUtime=0.19 cores=1,3,5,7
/proc/11797/task/11803/stat : 11803 (java) S 11795 11795 8036 0 -1 1077944384 5508 0 0 0 16 3 0 0 20 0 15 0 154548687 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435110853360 140435569568386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11804] ppid=11795 vsize=13984976 memory=8029506260302025891 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11804/stat : 11804 (java) S 11795 11795 8036 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435109799648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11805] ppid=11795 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11805/stat : 11805 (java) S 11795 11795 8036 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435108746496 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11806] ppid=11795 vsize=13984976 memory=42628 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11806/stat : 11806 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548690 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435107695056 140435569575835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11807] ppid=11795 vsize=13984976 memory=1292 CPUtime=3.33 cores=1,3,5,7
/proc/11797/task/11807/stat : 11807 (java) S 11795 11795 8036 0 -1 1077944384 20076 0 0 0 331 2 0 0 20 0 15 0 154548690 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435106642160 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11808] ppid=11795 vsize=13984976 memory=2448 CPUtime=3.6 cores=1,3,5,7
/proc/11797/task/11808/stat : 11808 (java) S 11795 11795 8036 0 -1 1077944384 22415 0 0 0 358 2 0 0 20 0 15 0 154548690 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435105589616 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11809] ppid=11795 vsize=13984976 memory=1380 CPUtime=0.64 cores=1,3,5,7
/proc/11797/task/11809/stat : 11809 (java) S 11795 11795 8036 0 -1 1077944384 8108 0 0 0 62 2 0 0 20 0 15 0 154548690 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435104536560 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11810] ppid=11795 vsize=13984976 memory=42628 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11810/stat : 11810 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548691 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435103484256 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11811] ppid=11795 vsize=13984976 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/11797/task/11811/stat : 11811 (java) S 11795 11795 8036 0 -1 1077944384 752 0 0 0 3 4 0 0 20 0 15 0 154548691 14320615424 75758 33554432000 4194304 4196468 140723175350592 140435102432304 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
Current children cumulated CPU time: 172.95 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 304412 KiB
[startup+222.301 s]
/proc/loadavg: 2.25 1.82 1.76 3/217 11893
/proc/meminfo: memFree=25873224/32770624 swapFree=67108860/67108860
[pid=11795] ppid=11792 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11795/stat : 11795 (xcsp3-exec) S 11792 11795 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154548685 9740288 345 33554432000 4194304 5098028 140729209944976 140729209943080 139813502612092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18882560 140729209947253 140729209947456 140729209947456 140729209950187 0
/proc/11795/statm: 2378 345 289 221 0 87 0
[pid=11797] ppid=11795 vsize=13984976 memory=309976 CPUtime=234.21 cores=1,3,5,7
/proc/11797/stat : 11797 (java) S 11795 11795 8036 0 -1 1077944320 87094 0 0 0 23337 84 0 0 20 0 15 0 154548685 14320615424 77494 33554432000 4194304 4196468 140723175350592 140723175333136 140435569557239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
/proc/11797/statm: 3496244 77494 3280 1 0 3483478 0
[pid=11797/tid=11798] ppid=11795 vsize=13984976 memory=311004 CPUtime=220.31 cores=1,3,5,7
/proc/11797/task/11798/stat : 11798 (java) R 11795 11795 8036 0 -1 4202560 15384 0 0 0 22026 5 0 0 20 0 15 0 154548685 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435573796560 140435183701256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11799] ppid=11795 vsize=13984976 memory=1380 CPUtime=1.44 cores=1,3,5,7
/proc/11797/task/11799/stat : 11799 (java) S 11795 11795 8036 0 -1 1077944384 3454 0 0 0 128 16 0 0 20 0 15 0 154548686 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435499645456 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11800] ppid=11795 vsize=13984976 memory=1380 CPUtime=1.45 cores=1,3,5,7
/proc/11797/task/11800/stat : 11800 (java) S 11795 11795 8036 0 -1 1077944384 3162 0 0 0 129 16 0 0 20 0 15 0 154548686 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435164674704 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11801] ppid=11795 vsize=13984976 memory=315108 CPUtime=1.45 cores=1,3,5,7
/proc/11797/task/11801/stat : 11801 (java) S 11795 11795 8036 0 -1 1077944384 2678 0 0 0 129 16 0 0 20 0 15 0 154548686 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435163621648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11802] ppid=11795 vsize=13984976 memory=1380 CPUtime=1.45 cores=1,3,5,7
/proc/11797/task/11802/stat : 11802 (java) S 11795 11795 8036 0 -1 1077944384 2576 0 0 0 130 15 0 0 20 0 15 0 154548686 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435162569104 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11803] ppid=11795 vsize=13984976 memory=16236 CPUtime=0.28 cores=1,3,5,7
/proc/11797/task/11803/stat : 11803 (java) S 11795 11795 8036 0 -1 1077944384 5722 0 0 0 24 4 0 0 20 0 15 0 154548687 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435110853360 140435569568386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11804] ppid=11795 vsize=13984976 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11804/stat : 11804 (java) S 11795 11795 8036 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435109799648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11805] ppid=11795 vsize=13984976 memory=301624 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11805/stat : 11805 (java) S 11795 11795 8036 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435108746496 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11806] ppid=11795 vsize=13984976 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11806/stat : 11806 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548690 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435107695056 140435569575835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11807] ppid=11795 vsize=13984976 memory=1380 CPUtime=3.36 cores=1,3,5,7
/proc/11797/task/11807/stat : 11807 (java) S 11795 11795 8036 0 -1 1077944384 20959 0 0 0 334 2 0 0 20 0 15 0 154548690 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435106642160 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11808] ppid=11795 vsize=13984976 memory=1380 CPUtime=3.6 cores=1,3,5,7
/proc/11797/task/11808/stat : 11808 (java) S 11795 11795 8036 0 -1 1077944384 22521 0 0 0 358 2 0 0 20 0 15 0 154548690 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435105589616 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11809] ppid=11795 vsize=13984976 memory=4100 CPUtime=0.65 cores=1,3,5,7
/proc/11797/task/11809/stat : 11809 (java) S 11795 11795 8036 0 -1 1077944384 8499 0 0 0 63 2 0 0 20 0 15 0 154548690 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435104536560 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11810] ppid=11795 vsize=13984976 memory=42628 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11810/stat : 11810 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548691 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435103484256 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11811] ppid=11795 vsize=13984976 memory=1292 CPUtime=0.1 cores=1,3,5,7
/proc/11797/task/11811/stat : 11811 (java) S 11795 11795 8036 0 -1 1077944384 763 0 0 0 4 6 0 0 20 0 15 0 154548691 14320615424 77494 33554432000 4194304 4196468 140723175350592 140435102432304 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
Current children cumulated CPU time: 234.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 311356 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.79 1.75 3/217 11893
/proc/meminfo: memFree=25879084/32770624 swapFree=67108860/67108860
[pid=11795] ppid=11792 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11795/stat : 11795 (xcsp3-exec) S 11792 11795 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154548685 9740288 345 33554432000 4194304 5098028 140729209944976 140729209943080 139813502612092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18882560 140729209947253 140729209947456 140729209947456 140729209950187 0
/proc/11795/statm: 2378 345 289 221 0 87 0
[pid=11797] ppid=11795 vsize=13984976 memory=298716 CPUtime=252.3 cores=1,3,5,7
/proc/11797/stat : 11797 (java) S 11795 11795 8036 0 -1 1077944320 91098 0 0 0 25144 86 0 0 20 0 15 0 154548685 14320615424 74679 33554432000 4194304 4196468 140723175350592 140723175333136 140435569557239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
/proc/11797/statm: 3496244 74679 3280 1 0 3483478 0
[pid=11797/tid=11798] ppid=11795 vsize=13984976 memory=6791534058613427641 CPUtime=237.85 cores=1,3,5,7
/proc/11797/task/11798/stat : 11798 (java) R 11795 11795 8036 0 -1 4202560 15791 0 0 0 23779 6 0 0 20 0 15 0 154548685 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435573796560 140435185365608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11799] ppid=11795 vsize=13984976 memory=-7003737579269690708 CPUtime=1.57 cores=1,3,5,7
/proc/11797/task/11799/stat : 11799 (java) S 11795 11795 8036 0 -1 1077944384 3646 0 0 0 141 16 0 0 20 0 15 0 154548686 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435499645456 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11800] ppid=11795 vsize=13984976 memory=1732 CPUtime=1.58 cores=1,3,5,7
/proc/11797/task/11800/stat : 11800 (java) S 11795 11795 8036 0 -1 1077944384 3199 0 0 0 142 16 0 0 20 0 15 0 154548686 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435164674704 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11801] ppid=11795 vsize=13984976 memory=0 CPUtime=1.58 cores=1,3,5,7
/proc/11797/task/11801/stat : 11801 (java) S 11795 11795 8036 0 -1 1077944384 2834 0 0 0 142 16 0 0 20 0 15 0 154548686 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435163621648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11802] ppid=11795 vsize=13984976 memory=190520454306863 CPUtime=1.59 cores=1,3,5,7
/proc/11797/task/11802/stat : 11802 (java) S 11795 11795 8036 0 -1 1077944384 2650 0 0 0 143 16 0 0 20 0 15 0 154548686 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435162569104 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11803] ppid=11795 vsize=13984976 memory=190520454306864 CPUtime=0.32 cores=1,3,5,7
/proc/11797/task/11803/stat : 11803 (java) S 11795 11795 8036 0 -1 1077944384 8834 0 0 0 27 5 0 0 20 0 15 0 154548687 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435110853360 140435569568386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11804] ppid=11795 vsize=13984976 memory=190520454306865 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11804/stat : 11804 (java) S 11795 11795 8036 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435109799648 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11805] ppid=11795 vsize=13984976 memory=190520454306866 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11805/stat : 11805 (java) S 11795 11795 8036 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 154548688 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435108746496 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11806] ppid=11795 vsize=13984976 memory=301284 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11806/stat : 11806 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548690 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435107695056 140435569575835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11807] ppid=11795 vsize=13984976 memory=1004 CPUtime=3.36 cores=1,3,5,7
/proc/11797/task/11807/stat : 11807 (java) S 11795 11795 8036 0 -1 1077944384 20961 0 0 0 334 2 0 0 20 0 15 0 154548690 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435106642160 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11808] ppid=11795 vsize=13984976 memory=1200 CPUtime=3.6 cores=1,3,5,7
/proc/11797/task/11808/stat : 11808 (java) S 11795 11795 8036 0 -1 1077944384 22524 0 0 0 358 2 0 0 20 0 15 0 154548690 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435105589616 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11809] ppid=11795 vsize=13984976 memory=15876 CPUtime=0.65 cores=1,3,5,7
/proc/11797/task/11809/stat : 11809 (java) S 11795 11795 8036 0 -1 1077944384 8502 0 0 0 63 2 0 0 20 0 15 0 154548690 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435104536560 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11810] ppid=11795 vsize=13984976 memory=23672 CPUtime=0 cores=1,3,5,7
/proc/11797/task/11810/stat : 11810 (java) S 11795 11795 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154548691 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435103484256 140435569567445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
[pid=11797/tid=11811] ppid=11795 vsize=13984976 memory=4100 CPUtime=0.12 cores=1,3,5,7
/proc/11797/task/11811/stat : 11811 (java) S 11795 11795 8036 0 -1 1077944384 781 0 0 0 5 7 0 0 20 0 15 0 154548691 14320615424 74679 33554432000 4194304 4196468 140723175350592 140435102432304 140435569568386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21114880 140723175359645 140723175359820 140723175359820 140723175362511 0
Current children cumulated CPU time: 252.3 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 300096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 11795 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001937 s
[startup+240.023 s]
# the end of solver process 11797 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.455 s, system=0.874215 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.023
CPU time (s): 252.33
CPU user time (s): 251.455
CPU system time (s): 0.874215
CPU usage (%): 105.127
Max. virtual memory (cumulated for all children) (KiB): 13996292
Max. memory (cumulated for all children) (KiB): 471020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.455
system time used= 0.874215
maximum resident set size= 488520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14428
involuntary context switches= 493
# summary of solver processes directly reported to runsolver:
# pid: 11795,11797
# total CPU time (s): 252.33
# total CPU user time (s): 251.455
# total CPU system time (s): 0.874215
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46253 second user time and 2.48053 second system time
The end