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 (12358 MiB free)
memory of node 1: 16384 MiB (13676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283016-1503210043/watcher-4283016-1503210043 -o /tmp/evaluation-result-4283016-1503210043/solver-4283016-1503210043 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21141 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1786102630 HOME/instance-4283016-1503210043.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21697, runsolver pid=21694
[startup+0.100139 s]*
/proc/loadavg: 1.88 1.84 1.24 5/217 21713
/proc/meminfo: memFree=26632232/32770624 swapFree=67108860/67108860
[pid=21697] ppid=21694 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (xcsp3-exec) S 21694 21697 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091889 9740288 346 33554432000 4194304 5098028 140732284228640 140732284226744 140635730055804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25026560 140732284236916 140732284237120 140732284237120 140732284239851 0
/proc/21697/statm: 2378 346 289 221 0 87 0
[pid=21699] ppid=21697 vsize=13978596 memory=28092 CPUtime=0.12 cores=1,3,5,7
/proc/21699/stat : 21699 (java) S 21697 21697 21109 0 -1 1077944320 5452 0 0 0 11 1 0 0 20 0 15 0 154091889 14314082304 7023 33554432000 4194304 4196468 140728256202128 140728256184672 140402468781815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
/proc/21699/statm: 3494649 7023 2870 1 0 3482966 0
[pid=21699/tid=21700] ppid=21697 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/21699/task/21700/stat : 21700 (java) R 21697 21697 21109 0 -1 4202560 3398 0 0 0 8 1 0 0 20 0 15 0 154091890 14314082304 7023 33554432000 4194304 4196468 140728256202128 140402473013472 140402468793750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21701] ppid=21697 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21701/stat : 21701 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14314082304 7023 33554432000 4194304 4196468 140728256202128 140402421402384 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21702] ppid=21697 vsize=13978596 memory=140375062779520 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21702/stat : 21702 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14314082304 7023 33554432000 4194304 4196468 140728256202128 140402420349840 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21703] ppid=21697 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21703/stat : 21703 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14314082304 7023 33554432000 4194304 4196468 140728256202128 140402419297296 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21704] ppid=21697 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21704/stat : 21704 (java) S 21697 21697 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091890 14314082304 7023 33554432000 4194304 4196468 140728256202128 140402418244752 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21705] ppid=21697 vsize=13978596 memory=140375062779520 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21705/stat : 21705 (java) S 21697 21697 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091892 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401942976496 140402468792962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21706] ppid=21697 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21706/stat : 21706 (java) S 21697 21697 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154091892 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401941922720 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21707] ppid=21697 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21707/stat : 21707 (java) S 21697 21697 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154091892 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401940870128 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21708] ppid=21697 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21708/stat : 21708 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401939818704 140402468800411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21709] ppid=21697 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21709/stat : 21709 (java) S 21697 21697 21109 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 154091895 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401938766320 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21710] ppid=21697 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21710/stat : 21710 (java) S 21697 21697 21109 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 154091895 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401937713776 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21711] ppid=21697 vsize=13978596 memory=140375062779520 CPUtime=0.01 cores=1,3,5,7
/proc/21699/task/21711/stat : 21711 (java) R 21697 21697 21109 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 154091895 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401936661232 140402461018942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21712] ppid=21697 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21712/stat : 21712 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401935608928 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21713] ppid=21697 vsize=13978596 memory=140375062779520 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21713/stat : 21713 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091895 14314082304 7023 33554432000 4194304 4196468 140728256202128 140401934555440 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29476 KiB
[startup+0.212137 s]*
/proc/loadavg: 1.88 1.84 1.24 5/217 21713
/proc/meminfo: memFree=26608900/32770624 swapFree=67108860/67108860
[pid=21697] ppid=21694 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (xcsp3-exec) S 21694 21697 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091889 9740288 346 33554432000 4194304 5098028 140732284228640 140732284226744 140635730055804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25026560 140732284236916 140732284237120 140732284237120 140732284239851 0
/proc/21697/statm: 2378 346 289 221 0 87 0
[pid=21699] ppid=21697 vsize=13982852 memory=40384 CPUtime=0.34 cores=1,3,5,7
/proc/21699/stat : 21699 (java) S 21697 21697 21109 0 -1 1077944320 8288 0 0 0 31 3 0 0 20 0 15 0 154091889 14318440448 10096 33554432000 4194304 4196468 140728256202128 140728256184672 140402468781815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
/proc/21699/statm: 3495713 10096 3038 1 0 3482966 0
[pid=21699/tid=21700] ppid=21697 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21699/task/21700/stat : 21700 (java) R 21697 21697 21109 0 -1 4202560 5391 0 0 0 18 2 0 0 20 0 15 0 154091890 14318440448 10096 33554432000 4194304 4196468 140728256202128 140402472992720 140402452862302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21701] ppid=21697 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21701/stat : 21701 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14318440448 10096 33554432000 4194304 4196468 140728256202128 140402421402384 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21702] ppid=21697 vsize=13982852 memory=140375063522181 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21702/stat : 21702 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14318440448 10096 33554432000 4194304 4196468 140728256202128 140402420349840 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21703] ppid=21697 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21703/stat : 21703 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14318440448 10096 33554432000 4194304 4196468 140728256202128 140402419297296 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21704] ppid=21697 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21704/stat : 21704 (java) S 21697 21697 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091890 14318440448 10096 33554432000 4194304 4196468 140728256202128 140402418244752 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21705] ppid=21697 vsize=13982852 memory=140375062779520 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21705/stat : 21705 (java) S 21697 21697 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091892 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401942976496 140402468792962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21706] ppid=21697 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21706/stat : 21706 (java) S 21697 21697 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154091892 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401941922720 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21707] ppid=21697 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21707/stat : 21707 (java) S 21697 21697 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154091892 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401940870128 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21708] ppid=21697 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21708/stat : 21708 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401939818704 140402468800411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21709] ppid=21697 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21699/task/21709/stat : 21709 (java) S 21697 21697 21109 0 -1 1077944384 455 0 0 0 3 0 0 0 20 0 15 0 154091895 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401938766320 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21710] ppid=21697 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21710/stat : 21710 (java) S 21697 21697 21109 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 154091895 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401937713776 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21711] ppid=21697 vsize=13982852 memory=140375062779520 CPUtime=0.08 cores=1,3,5,7
/proc/21699/task/21711/stat : 21711 (java) S 21697 21697 21109 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 15 0 154091895 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401936661232 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21712] ppid=21697 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21712/stat : 21712 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401935608928 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21713] ppid=21697 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21713/stat : 21713 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091895 14318440448 10096 33554432000 4194304 4196468 140728256202128 140401934555440 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41768 KiB
[startup+0.314545 s]*
/proc/loadavg: 1.88 1.84 1.24 5/217 21713
/proc/meminfo: memFree=26599292/32770624 swapFree=67108860/67108860
[pid=21697] ppid=21694 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (xcsp3-exec) S 21694 21697 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091889 9740288 346 33554432000 4194304 5098028 140732284228640 140732284226744 140635730055804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25026560 140732284236916 140732284237120 140732284237120 140732284239851 0
/proc/21697/statm: 2378 346 289 221 0 87 0
[pid=21699] ppid=21697 vsize=13982852 memory=47536 CPUtime=0.52 cores=1,3,5,7
/proc/21699/stat : 21699 (java) S 21697 21697 21109 0 -1 1077944320 9109 0 0 0 49 3 0 0 20 0 15 0 154091889 14318440448 11884 33554432000 4194304 4196468 140728256202128 140728256184672 140402468781815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
/proc/21699/statm: 3495713 11884 3105 1 0 3482966 0
[pid=21699/tid=21700] ppid=21697 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21699/task/21700/stat : 21700 (java) R 21697 21697 21109 0 -1 4202560 6022 0 0 0 27 2 0 0 20 0 15 0 154091890 14318518272 11884 33554432000 4194304 4196468 140728256202128 140402473014144 140402425416707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21701] ppid=21697 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21701/stat : 21701 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14318518272 11884 33554432000 4194304 4196468 140728256202128 140402421402384 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21702] ppid=21697 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21702/stat : 21702 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14318518272 11884 33554432000 4194304 4196468 140728256202128 140402420349840 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21703] ppid=21697 vsize=13982928 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21703/stat : 21703 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14318518272 11884 33554432000 4194304 4196468 140728256202128 140402419297296 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21704] ppid=21697 vsize=13982928 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21704/stat : 21704 (java) S 21697 21697 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091890 14318518272 11884 33554432000 4194304 4196468 140728256202128 140402418244752 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21705] ppid=21697 vsize=13982928 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21705/stat : 21705 (java) S 21697 21697 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091892 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401942976496 140402468792962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21706] ppid=21697 vsize=13982928 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21706/stat : 21706 (java) S 21697 21697 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154091892 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401941922720 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21707] ppid=21697 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21707/stat : 21707 (java) S 21697 21697 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154091892 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401940870128 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21708] ppid=21697 vsize=13982928 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21708/stat : 21708 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401939818704 140402468800411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21709] ppid=21697 vsize=13982928 memory=4713750055892520310 CPUtime=0.05 cores=1,3,5,7
/proc/21699/task/21709/stat : 21709 (java) S 21697 21697 21109 0 -1 1077944384 515 0 0 0 5 0 0 0 20 0 15 0 154091895 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401938766320 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21710] ppid=21697 vsize=13982928 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21710/stat : 21710 (java) S 21697 21697 21109 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 154091895 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401937713776 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21711] ppid=21697 vsize=13982928 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/21699/task/21711/stat : 21711 (java) R 21697 21697 21109 0 -1 4202560 895 0 0 0 13 0 0 0 20 0 15 0 154091895 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401936661232 140402468803162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21712] ppid=21697 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21712/stat : 21712 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401935608928 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21713] ppid=21697 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21713/stat : 21713 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091895 14318518272 11884 33554432000 4194304 4196468 140728256202128 140401934555440 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48920 KiB
[startup+0.700756 s]
/proc/loadavg: 1.88 1.84 1.24 6/217 21713
/proc/meminfo: memFree=26567912/32770624 swapFree=67108860/67108860
[pid=21697] ppid=21694 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (xcsp3-exec) S 21694 21697 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091889 9740288 346 33554432000 4194304 5098028 140732284228640 140732284226744 140635730055804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25026560 140732284236916 140732284237120 140732284237120 140732284239851 0
/proc/21697/statm: 2378 346 289 221 0 87 0
[pid=21699] ppid=21697 vsize=13984976 memory=88684 CPUtime=1.54 cores=1,3,5,7
/proc/21699/stat : 21699 (java) S 21697 21697 21109 0 -1 1077944320 15944 0 0 0 148 6 0 0 20 0 15 0 154091889 14320615424 22171 33554432000 4194304 4196468 140728256202128 140728256184672 140402468781815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
/proc/21699/statm: 3496244 22171 3203 1 0 3483478 0
[pid=21699/tid=21700] ppid=21697 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/21699/task/21700/stat : 21700 (java) R 21697 21697 21109 0 -1 4202560 6801 0 0 0 64 3 0 0 20 0 15 0 154091890 14320615424 22171 33554432000 4194304 4196468 140728256202128 140402473019616 140402099041415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21701] ppid=21697 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21701/stat : 21701 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14320615424 22171 33554432000 4194304 4196468 140728256202128 140402421402384 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21702] ppid=21697 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21702/stat : 21702 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14320615424 22171 33554432000 4194304 4196468 140728256202128 140402420349840 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21703] ppid=21697 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21703/stat : 21703 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091890 14320615424 22171 33554432000 4194304 4196468 140728256202128 140402419297296 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21704] ppid=21697 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21704/stat : 21704 (java) S 21697 21697 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091890 14320615424 22171 33554432000 4194304 4196468 140728256202128 140402418244752 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21705] ppid=21697 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21705/stat : 21705 (java) S 21697 21697 21109 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401942976496 140402468792962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21706] ppid=21697 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21706/stat : 21706 (java) S 21697 21697 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401941922720 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21707] ppid=21697 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21707/stat : 21707 (java) S 21697 21697 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401940870128 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21708] ppid=21697 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21708/stat : 21708 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401939818704 140402468800411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21709] ppid=21697 vsize=13984976 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/21699/task/21709/stat : 21709 (java) R 21697 21697 21109 0 -1 4202560 2514 0 0 0 23 0 0 0 20 0 15 0 154091895 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401938747336 140402452267765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21710] ppid=21697 vsize=13984976 memory=3547823123420965737 CPUtime=0.23 cores=1,3,5,7
/proc/21699/task/21710/stat : 21710 (java) R 21697 21697 21109 0 -1 4202560 2722 0 0 0 23 0 0 0 20 0 15 0 154091895 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401937706408 140402452267774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21711] ppid=21697 vsize=13984976 memory=7091591963264249448 CPUtime=0.36 cores=1,3,5,7
/proc/21699/task/21711/stat : 21711 (java) S 21697 21697 21109 0 -1 1077944384 2600 0 0 0 36 0 0 0 20 0 15 0 154091895 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401936661232 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21712] ppid=21697 vsize=13984976 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21712/stat : 21712 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401935608928 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21713] ppid=21697 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21713/stat : 21713 (java) S 21697 21697 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 22171 33554432000 4194304 4196468 140728256202128 140401934555440 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 90068 KiB
[startup+1.50086 s]
/proc/loadavg: 1.88 1.84 1.24 7/217 21713
/proc/meminfo: memFree=26497156/32770624 swapFree=67108860/67108860
[pid=21697] ppid=21694 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (xcsp3-exec) S 21694 21697 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091889 9740288 346 33554432000 4194304 5098028 140732284228640 140732284226744 140635730055804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25026560 140732284236916 140732284237120 140732284237120 140732284239851 0
/proc/21697/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/21699/task/21707/stat : 21707 (java) S 21697 21697 21109 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 55348 33554432000 4194304 4196468 140728256202128 140401940870128 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21708] ppid=21697 vsize=13984976 memory=594757129885544487 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21708/stat : 21708 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 55348 33554432000 4194304 4196468 140728256202128 140401939818704 140402468800411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21709] ppid=21697 vsize=13984976 memory=4132 CPUtime=3.75 cores=1,3,5,7
/proc/21699/task/21709/stat : 21709 (java) S 21697 21697 21109 0 -1 1077944384 21515 0 0 0 373 2 0 0 20 0 15 0 154091895 14320615424 55348 33554432000 4194304 4196468 140728256202128 140401938766320 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21710] ppid=21697 vsize=13984976 memory=42628 CPUtime=3.64 cores=1,3,5,7
/proc/21699/task/21710/stat : 21710 (java) S 21697 21697 21109 0 -1 1077944384 25946 0 0 0 361 3 0 0 20 0 15 0 154091895 14320615424 55348 33554432000 4194304 4196468 140728256202128 140401937713776 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21711] ppid=21697 vsize=13984976 memory=1384 CPUtime=0.57 cores=1,3,5,7
/proc/21699/task/21711/stat : 21711 (java) S 21697 21697 21109 0 -1 1077944384 8154 0 0 0 56 1 0 0 20 0 15 0 154091895 14320615424 55348 33554432000 4194304 4196468 140728256202128 140401936661232 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21712] ppid=21697 vsize=13984976 memory=217020 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21712/stat : 21712 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 55348 33554432000 4194304 4196468 140728256202128 140401935608928 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21713] ppid=21697 vsize=13984976 memory=288284497907306984 CPUtime=0.01 cores=1,3,5,7
/proc/21699/task/21713/stat : 21713 (java) S 21697 21697 21109 0 -1 1077944384 1502 0 0 0 0 1 0 0 20 0 15 0 154091895 14320615424 55348 33554432000 4194304 4196468 140728256202128 140401934555440 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
Current children cumulated CPU time: 110.35 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 222776 KiB
[startup+162.301 s]
/proc/loadavg: 1.97 1.89 1.36 3/217 21715
/proc/meminfo: memFree=26283924/32770624 swapFree=67108860/67108860
[pid=21697] ppid=21694 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (xcsp3-exec) S 21694 21697 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091889 9740288 346 33554432000 4194304 5098028 140732284228640 140732284226744 140635730055804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25026560 140732284236916 140732284237120 140732284237120 140732284239851 0
/proc/21697/statm: 2378 346 289 221 0 87 0
[pid=21699] ppid=21697 vsize=13984976 memory=206632 CPUtime=170.43 cores=1,3,5,7
/proc/21699/stat : 21699 (java) S 21697 21697 21109 0 -1 1077944320 78612 0 0 0 17027 16 0 0 20 0 15 0 154091889 14320615424 51658 33554432000 4194304 4196468 140728256202128 140728256184672 140402468781815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
/proc/21699/statm: 3496244 51658 3270 1 0 3483478 0
[pid=21699/tid=21700] ppid=21697 vsize=13984976 memory=206632 CPUtime=162.22 cores=1,3,5,7
/proc/21699/task/21700/stat : 21700 (java) R 21697 21697 21109 0 -1 4202560 12748 0 0 0 16217 5 0 0 20 0 15 0 154091890 14320615424 51658 33554432000 4194304 4196468 140728256202128 140402473017904 140402101135458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21701] ppid=21697 vsize=13984976 memory=206632 CPUtime=0.01 cores=1,3,5,7
/proc/21699/task/21701/stat : 21701 (java) S 21697 21697 21109 0 -1 1077944384 702 0 0 0 1 0 0 0 20 0 15 0 154091890 14320615424 51658 33554432000 4194304 4196468 140728256202128 140402421402384 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21702] ppid=21697 vsize=13984976 memory=206632 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21702/stat : 21702 (java) S 21697 21697 21109 0 -1 1077944384 1351 0 0 0 1 1 0 0 20 0 15 0 154091890 14320615424 51658 33554432000 4194304 4196468 140728256202128 140402420349840 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21703] ppid=21697 vsize=13984976 memory=206632 CPUtime=0.01 cores=1,3,5,7
/proc/21699/task/21703/stat : 21703 (java) S 21697 21697 21109 0 -1 1077944384 1231 0 0 0 1 0 0 0 20 0 15 0 154091890 14320615424 51658 33554432000 4194304 4196468 140728256202128 140402419297296 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21704] ppid=21697 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/21699/task/21704/stat : 21704 (java) S 21697 21697 21109 0 -1 1077944384 1059 0 0 0 1 0 0 0 20 0 15 0 154091890 14320615424 51658 33554432000 4194304 4196468 140728256202128 140402418244752 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21705] ppid=21697 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21705/stat : 21705 (java) S 21697 21697 21109 0 -1 1077944384 1378 0 0 0 2 0 0 0 20 0 15 0 154091892 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401942976496 140402468792962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21706] ppid=21697 vsize=13984976 memory=206632 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21706/stat : 21706 (java) S 21697 21697 21109 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401941922784 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21707] ppid=21697 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21707/stat : 21707 (java) S 21697 21697 21109 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401940870128 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21708] ppid=21697 vsize=13984976 memory=212224 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21708/stat : 21708 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401939818704 140402468800411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21709] ppid=21697 vsize=13984976 memory=1384 CPUtime=3.76 cores=1,3,5,7
/proc/21699/task/21709/stat : 21709 (java) S 21697 21697 21109 0 -1 1077944384 21522 0 0 0 374 2 0 0 20 0 15 0 154091895 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401938766320 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21710] ppid=21697 vsize=13984976 memory=2 CPUtime=3.7 cores=1,3,5,7
/proc/21699/task/21710/stat : 21710 (java) S 21697 21697 21109 0 -1 1077944384 27487 0 0 0 367 3 0 0 20 0 15 0 154091895 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401937713776 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21711] ppid=21697 vsize=13984976 memory=1 CPUtime=0.57 cores=1,3,5,7
/proc/21699/task/21711/stat : 21711 (java) S 21697 21697 21109 0 -1 1077944384 8223 0 0 0 56 1 0 0 20 0 15 0 154091895 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401936661232 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21712] ppid=21697 vsize=13984976 memory=11108 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21712/stat : 21712 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401935608928 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21713] ppid=21697 vsize=13984976 memory=796 CPUtime=0.03 cores=1,3,5,7
/proc/21699/task/21713/stat : 21713 (java) S 21697 21697 21109 0 -1 1077944384 1537 0 0 0 1 2 0 0 20 0 15 0 154091895 14320615424 51658 33554432000 4194304 4196468 140728256202128 140401934555440 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
Current children cumulated CPU time: 170.43 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208016 KiB
[startup+222.301 s]
/proc/loadavg: 1.94 1.90 1.39 3/218 21724
/proc/meminfo: memFree=26297580/32770624 swapFree=67108860/67108860
[pid=21697] ppid=21694 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (xcsp3-exec) S 21694 21697 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091889 9740288 346 33554432000 4194304 5098028 140732284228640 140732284226744 140635730055804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25026560 140732284236916 140732284237120 140732284237120 140732284239851 0
/proc/21697/statm: 2378 346 289 221 0 87 0
[pid=21699] ppid=21697 vsize=13984976 memory=191760 CPUtime=230.46 cores=1,3,5,7
/proc/21699/stat : 21699 (java) S 21697 21697 21109 0 -1 1077944320 80312 0 0 0 23029 17 0 0 20 0 15 0 154091889 14320615424 47940 33554432000 4194304 4196468 140728256202128 140728256184672 140402468781815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
/proc/21699/statm: 3496244 47940 3270 1 0 3483478 0
[pid=21699/tid=21700] ppid=21697 vsize=13984976 memory=191760 CPUtime=222.21 cores=1,3,5,7
/proc/21699/task/21700/stat : 21700 (java) R 21697 21697 21109 0 -1 4202560 13226 0 0 0 22216 5 0 0 20 0 15 0 154091890 14320615424 47940 33554432000 4194304 4196468 140728256202128 140402473021368 140402101135842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21701] ppid=21697 vsize=13984976 memory=191760 CPUtime=0.01 cores=1,3,5,7
/proc/21699/task/21701/stat : 21701 (java) S 21697 21697 21109 0 -1 1077944384 708 0 0 0 1 0 0 0 20 0 15 0 154091890 14320615424 47940 33554432000 4194304 4196468 140728256202128 140402421402384 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21702] ppid=21697 vsize=13984976 memory=191760 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21702/stat : 21702 (java) S 21697 21697 21109 0 -1 1077944384 1369 0 0 0 1 1 0 0 20 0 15 0 154091890 14320615424 47940 33554432000 4194304 4196468 140728256202128 140402420349840 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21703] ppid=21697 vsize=13984976 memory=191760 CPUtime=0.01 cores=1,3,5,7
/proc/21699/task/21703/stat : 21703 (java) S 21697 21697 21109 0 -1 1077944384 1640 0 0 0 1 0 0 0 20 0 15 0 154091890 14320615424 47940 33554432000 4194304 4196468 140728256202128 140402419297296 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21704] ppid=21697 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21704/stat : 21704 (java) S 21697 21697 21109 0 -1 1077944384 1103 0 0 0 1 1 0 0 20 0 15 0 154091890 14320615424 47940 33554432000 4194304 4196468 140728256202128 140402418244752 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21705] ppid=21697 vsize=13984976 memory=1236 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21705/stat : 21705 (java) S 21697 21697 21109 0 -1 1077944384 1607 0 0 0 2 0 0 0 20 0 15 0 154091892 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401942976496 140402468792962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21706] ppid=21697 vsize=13984976 memory=4468 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21706/stat : 21706 (java) S 21697 21697 21109 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401941922784 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21707] ppid=21697 vsize=13984976 memory=8664 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21707/stat : 21707 (java) S 21697 21697 21109 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401940870128 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21708] ppid=21697 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21708/stat : 21708 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401939818704 140402468800411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21709] ppid=21697 vsize=13984976 memory=1384 CPUtime=3.76 cores=1,3,5,7
/proc/21699/task/21709/stat : 21709 (java) S 21697 21697 21109 0 -1 1077944384 21526 0 0 0 374 2 0 0 20 0 15 0 154091895 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401938766320 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21710] ppid=21697 vsize=13984976 memory=191760 CPUtime=3.7 cores=1,3,5,7
/proc/21699/task/21710/stat : 21710 (java) S 21697 21697 21109 0 -1 1077944384 27489 0 0 0 367 3 0 0 20 0 15 0 154091895 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401937713776 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21711] ppid=21697 vsize=13984976 memory=4468 CPUtime=0.57 cores=1,3,5,7
/proc/21699/task/21711/stat : 21711 (java) S 21697 21697 21109 0 -1 1077944384 8696 0 0 0 56 1 0 0 20 0 15 0 154091895 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401936661232 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21712] ppid=21697 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21712/stat : 21712 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401935608928 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21713] ppid=21697 vsize=13984976 memory=191760 CPUtime=0.04 cores=1,3,5,7
/proc/21699/task/21713/stat : 21713 (java) S 21697 21697 21109 0 -1 1077944384 1574 0 0 0 1 3 0 0 20 0 15 0 154091895 14320615424 47940 33554432000 4194304 4196468 140728256202128 140401934555440 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
Current children cumulated CPU time: 230.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 193144 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.90 1.41 4/216 21755
/proc/meminfo: memFree=26510496/32770624 swapFree=67108860/67108860
[pid=21697] ppid=21694 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (xcsp3-exec) S 21694 21697 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091889 9740288 346 33554432000 4194304 5098028 140732284228640 140732284226744 140635730055804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25026560 140732284236916 140732284237120 140732284237120 140732284239851 0
/proc/21697/statm: 2378 346 289 221 0 87 0
[pid=21699] ppid=21697 vsize=13984976 memory=187656 CPUtime=248.17 cores=1,3,5,7
/proc/21699/stat : 21699 (java) S 21697 21697 21109 0 -1 1077944320 80407 0 0 0 24800 17 0 0 20 0 15 0 154091889 14320615424 46914 33554432000 4194304 4196468 140728256202128 140728256184672 140402468781815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
/proc/21699/statm: 3496244 46914 3270 1 0 3483478 0
[pid=21699/tid=21700] ppid=21697 vsize=13984976 memory=6791534058613427641 CPUtime=239.92 cores=1,3,5,7
/proc/21699/task/21700/stat : 21700 (java) R 21697 21697 21109 0 -1 4202560 13232 0 0 0 23987 5 0 0 20 0 15 0 154091890 14320615424 46914 33554432000 4194304 4196468 140728256202128 140402473020976 140402102085244 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21701] ppid=21697 vsize=13984976 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/21699/task/21701/stat : 21701 (java) S 21697 21697 21109 0 -1 1077944384 708 0 0 0 1 0 0 0 20 0 15 0 154091890 14320615424 46914 33554432000 4194304 4196468 140728256202128 140402421402384 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21702] ppid=21697 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21702/stat : 21702 (java) S 21697 21697 21109 0 -1 1077944384 1370 0 0 0 1 1 0 0 20 0 15 0 154091890 14320615424 46914 33554432000 4194304 4196468 140728256202128 140402420349840 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21703] ppid=21697 vsize=13984976 memory=191760 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21703/stat : 21703 (java) S 21697 21697 21109 0 -1 1077944384 1640 0 0 0 1 1 0 0 20 0 15 0 154091890 14320615424 46914 33554432000 4194304 4196468 140728256202128 140402419297296 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21704] ppid=21697 vsize=13984976 memory=1200 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21704/stat : 21704 (java) S 21697 21697 21109 0 -1 1077944384 1104 0 0 0 1 1 0 0 20 0 15 0 154091890 14320615424 46914 33554432000 4194304 4196468 140728256202128 140402418244752 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21705] ppid=21697 vsize=13984976 memory=8664 CPUtime=0.02 cores=1,3,5,7
/proc/21699/task/21705/stat : 21705 (java) S 21697 21697 21109 0 -1 1077944384 1608 0 0 0 2 0 0 0 20 0 15 0 154091892 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401942976496 140402468792962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21706] ppid=21697 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21706/stat : 21706 (java) S 21697 21697 21109 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401941922784 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21707] ppid=21697 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21707/stat : 21707 (java) S 21697 21697 21109 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154091892 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401940870128 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21708] ppid=21697 vsize=13984976 memory=191760 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21708/stat : 21708 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401939818704 140402468800411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21709] ppid=21697 vsize=13984976 memory=1384 CPUtime=3.76 cores=1,3,5,7
/proc/21699/task/21709/stat : 21709 (java) S 21697 21697 21109 0 -1 1077944384 21526 0 0 0 374 2 0 0 20 0 15 0 154091895 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401938766320 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21710] ppid=21697 vsize=13984976 memory=187656 CPUtime=3.7 cores=1,3,5,7
/proc/21699/task/21710/stat : 21710 (java) S 21697 21697 21109 0 -1 1077944384 27489 0 0 0 367 3 0 0 20 0 15 0 154091895 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401937713776 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21711] ppid=21697 vsize=13984976 memory=1384 CPUtime=0.57 cores=1,3,5,7
/proc/21699/task/21711/stat : 21711 (java) S 21697 21697 21109 0 -1 1077944384 8780 0 0 0 56 1 0 0 20 0 15 0 154091895 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401936661232 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21712] ppid=21697 vsize=13984976 memory=191760 CPUtime=0 cores=1,3,5,7
/proc/21699/task/21712/stat : 21712 (java) S 21697 21697 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091895 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401935608928 140402468792021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
[pid=21699/tid=21713] ppid=21697 vsize=13984976 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/21699/task/21713/stat : 21713 (java) S 21697 21697 21109 0 -1 1077944384 1576 0 0 0 1 3 0 0 20 0 15 0 154091895 14320615424 46914 33554432000 4194304 4196468 140728256202128 140401934555440 140402468792962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14626816 140728256210077 140728256210252 140728256210252 140728256212943 0
Current children cumulated CPU time: 248.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 189040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 21697 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000945 s, system=0.000945 s
[startup+240.023 s]
# the end of solver process 21699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.014 s, system=0.184054 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): 248.198
CPU user time (s): 248.014
CPU system time (s): 0.184054
CPU usage (%): 103.406
Max. virtual memory (cumulated for all children) (KiB): 13996756
Max. memory (cumulated for all children) (KiB): 223768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.014
system time used= 0.184054
maximum resident set size= 225316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81382
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= 8399
involuntary context switches= 142
# summary of solver processes directly reported to runsolver:
# pid: 21697,21699
# total CPU time (s): 248.198
# total CPU user time (s): 248.014
# total CPU system time (s): 0.184054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22324 second user time and 2.30104 second system time
The end