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 (12323 MiB free)
memory of node 1: 16384 MiB (13674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282733-1503214226/watcher-4282733-1503214226 -o /tmp/evaluation-result-4282733-1503214226/solver-4282733-1503214226 -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 1802141919 HOME/instance-4282733-1503214226.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=25278, runsolver pid=25275
[startup+0.100091 s]*
/proc/loadavg: 1.76 1.76 1.77 3/217 25294
/proc/meminfo: memFree=26603144/32770624 swapFree=67108860/67108860
[pid=25278] ppid=25275 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25278/stat : 25278 (xcsp3-exec) S 25275 25278 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154510142 9740288 346 33554432000 4194304 5098028 140731271488128 140731271486232 139689467855484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17047552 140731271492724 140731271492928 140731271492928 140731271495659 0
/proc/25278/statm: 2378 346 289 221 0 87 0
[pid=25280] ppid=25278 vsize=13978596 memory=28748 CPUtime=0.12 cores=1,3,5,7
/proc/25280/stat : 25280 (java) S 25278 25278 21109 0 -1 1077944320 5107 0 0 0 11 1 0 0 20 0 15 0 154510142 14314082304 7187 33554432000 4194304 4196468 140737295849488 140737295832032 140207364165367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
/proc/25280/statm: 3494649 7187 2838 1 0 3482966 0
[pid=25280/tid=25281] ppid=25278 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25280/task/25281/stat : 25281 (java) R 25278 25278 21109 0 -1 4202560 3115 0 0 0 9 0 0 0 20 0 15 0 154510142 14314082304 7252 33554432000 4194304 4196468 140737295849488 140207368397472 140207000921741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25282] ppid=25278 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25282/stat : 25282 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14314082304 7252 33554432000 4194304 4196468 140737295849488 140207329447056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25283] ppid=25278 vsize=13978596 memory=139902839350912 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25283/stat : 25283 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206959344656 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25284] ppid=25278 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25284/stat : 25284 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206958291856 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25285] ppid=25278 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25285/stat : 25285 (java) S 25278 25278 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154510143 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206957239056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25286] ppid=25278 vsize=13978596 memory=139902839350912 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25286/stat : 25286 (java) S 25278 25278 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154510144 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206838323568 140207364176514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25287] ppid=25278 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25287/stat : 25287 (java) S 25278 25278 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154510145 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206837269536 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25288] ppid=25278 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25288/stat : 25288 (java) S 25278 25278 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154510145 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206836216688 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25289] ppid=25278 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25289/stat : 25289 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510147 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206835165008 140207364183963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25290] ppid=25278 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25290/stat : 25290 (java) S 25278 25278 21109 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 154510147 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206834113392 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25291] ppid=25278 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25291/stat : 25291 (java) S 25278 25278 21109 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154510147 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206833060592 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25292] ppid=25278 vsize=13978596 memory=139902839350912 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25292/stat : 25292 (java) R 25278 25278 21109 0 -1 4202560 309 0 0 0 1 0 0 0 20 0 15 0 154510147 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206832007792 140207343118186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25293] ppid=25278 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25293/stat : 25293 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510148 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206830955232 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25294] ppid=25278 vsize=13978596 memory=139902839350912 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25294/stat : 25294 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510148 14314082304 7252 33554432000 4194304 4196468 140737295849488 140206829902512 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30132 KiB
[startup+0.210477 s]*
/proc/loadavg: 1.76 1.76 1.77 3/217 25294
/proc/meminfo: memFree=26592088/32770624 swapFree=67108860/67108860
[pid=25278] ppid=25275 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25278/stat : 25278 (xcsp3-exec) S 25275 25278 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154510142 9740288 346 33554432000 4194304 5098028 140731271488128 140731271486232 139689467855484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17047552 140731271492724 140731271492928 140731271492928 140731271495659 0
/proc/25278/statm: 2378 346 289 221 0 87 0
[pid=25280] ppid=25278 vsize=13982852 memory=40800 CPUtime=0.33 cores=1,3,5,7
/proc/25280/stat : 25280 (java) S 25278 25278 21109 0 -1 1077944320 7787 0 0 0 31 2 0 0 20 0 15 0 154510142 14318440448 10200 33554432000 4194304 4196468 140737295849488 140737295832032 140207364165367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
/proc/25280/statm: 3495721 10200 3044 1 0 3482974 0
[pid=25280/tid=25281] ppid=25278 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/25280/task/25281/stat : 25281 (java) D 25278 25278 21109 0 -1 1077944384 4925 0 0 0 18 1 0 0 20 0 15 0 154510142 14318440448 10200 33554432000 4194304 4196468 140737295849488 140207368374992 140207356844589 0 4 0 16800975 18446744072101580324 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25282] ppid=25278 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25282/stat : 25282 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14318440448 10200 33554432000 4194304 4196468 140737295849488 140207329447056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25283] ppid=25278 vsize=13982852 memory=139902840093883 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25283/stat : 25283 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206959344656 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25284] ppid=25278 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25284/stat : 25284 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14318473216 10200 33554432000 4194304 4196468 140737295849488 140206958291856 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25285] ppid=25278 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25285/stat : 25285 (java) S 25278 25278 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154510143 14318473216 10200 33554432000 4194304 4196468 140737295849488 140206957239056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25286] ppid=25278 vsize=13982852 memory=139902839350912 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25286/stat : 25286 (java) S 25278 25278 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154510144 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206838323568 140207364176514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25287] ppid=25278 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25287/stat : 25287 (java) S 25278 25278 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154510145 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206837269536 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25288] ppid=25278 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25288/stat : 25288 (java) S 25278 25278 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154510145 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206836216688 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25289] ppid=25278 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25289/stat : 25289 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510147 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206835165008 140207364183963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25290] ppid=25278 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25280/task/25290/stat : 25290 (java) S 25278 25278 21109 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 15 0 154510147 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206834113392 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25291] ppid=25278 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25280/task/25291/stat : 25291 (java) S 25278 25278 21109 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 15 0 154510147 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206833060592 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25292] ppid=25278 vsize=13982852 memory=139902839350912 CPUtime=0.07 cores=1,3,5,7
/proc/25280/task/25292/stat : 25292 (java) S 25278 25278 21109 0 -1 1077944384 688 0 0 0 7 0 0 0 20 0 15 0 154510147 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206832007792 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25293] ppid=25278 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25293/stat : 25293 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510148 14318440448 10200 33554432000 4194304 4196468 140737295849488 140206830955232 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25294] ppid=25278 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25294/stat : 25294 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510148 14318473216 10200 33554432000 4194304 4196468 140737295849488 140206829902512 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42184 KiB
[startup+0.314361 s]*
/proc/loadavg: 1.76 1.76 1.77 3/217 25294
/proc/meminfo: memFree=26584644/32770624 swapFree=67108860/67108860
[pid=25278] ppid=25275 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25278/stat : 25278 (xcsp3-exec) S 25275 25278 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154510142 9740288 346 33554432000 4194304 5098028 140731271488128 140731271486232 139689467855484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17047552 140731271492724 140731271492928 140731271492928 140731271495659 0
/proc/25278/statm: 2378 346 289 221 0 87 0
[pid=25280] ppid=25278 vsize=13982928 memory=48200 CPUtime=0.52 cores=1,3,5,7
/proc/25280/stat : 25280 (java) S 25278 25278 21109 0 -1 1077944320 8728 0 0 0 49 3 0 0 20 0 15 0 154510142 14318518272 12050 33554432000 4194304 4196468 140737295849488 140737295832032 140207364165367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
/proc/25280/statm: 3495732 12050 3136 1 0 3482966 0
[pid=25280/tid=25281] ppid=25278 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25280/task/25281/stat : 25281 (java) R 25278 25278 21109 0 -1 4202560 5651 0 0 0 28 2 0 0 20 0 15 0 154510142 14318518272 12050 33554432000 4194304 4196468 140737295849488 140207368397696 140207348245854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25282] ppid=25278 vsize=13982928 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25282/stat : 25282 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14318518272 12050 33554432000 4194304 4196468 140737295849488 140207329447056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25283] ppid=25278 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25283/stat : 25283 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206959344656 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25284] ppid=25278 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25284/stat : 25284 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206958291856 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25285] ppid=25278 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25285/stat : 25285 (java) S 25278 25278 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154510143 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206957239056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25286] ppid=25278 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25286/stat : 25286 (java) S 25278 25278 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154510144 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206838323568 140207364176514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25287] ppid=25278 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25287/stat : 25287 (java) S 25278 25278 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154510145 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206837269536 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25288] ppid=25278 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25288/stat : 25288 (java) S 25278 25278 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154510145 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206836216688 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25289] ppid=25278 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25289/stat : 25289 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510147 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206835165008 140207364183963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25290] ppid=25278 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/25280/task/25290/stat : 25290 (java) S 25278 25278 21109 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 154510147 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206834113392 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25291] ppid=25278 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25280/task/25291/stat : 25291 (java) S 25278 25278 21109 0 -1 1077944384 506 0 0 0 4 0 0 0 20 0 15 0 154510147 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206833060592 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25292] ppid=25278 vsize=13982928 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25280/task/25292/stat : 25292 (java) S 25278 25278 21109 0 -1 1077944384 789 0 0 0 13 0 0 0 20 0 15 0 154510147 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206832007792 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25293] ppid=25278 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25293/stat : 25293 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510148 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206830955232 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25294] ppid=25278 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25294/stat : 25294 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510148 14318518272 12050 33554432000 4194304 4196468 140737295849488 140206829902512 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49584 KiB
[startup+0.700802 s]
/proc/loadavg: 1.76 1.76 1.77 6/217 25294
/proc/meminfo: memFree=26573840/32770624 swapFree=67108860/67108860
[pid=25278] ppid=25275 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25278/stat : 25278 (xcsp3-exec) S 25275 25278 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154510142 9740288 346 33554432000 4194304 5098028 140731271488128 140731271486232 139689467855484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17047552 140731271492724 140731271492928 140731271492928 140731271495659 0
/proc/25278/statm: 2378 346 289 221 0 87 0
[pid=25280] ppid=25278 vsize=13984976 memory=72172 CPUtime=1.62 cores=1,3,5,7
/proc/25280/stat : 25280 (java) S 25278 25278 21109 0 -1 1077944320 13292 0 0 0 158 4 0 0 20 0 15 0 154510142 14320615424 18043 33554432000 4194304 4196468 140737295849488 140737295832032 140207364165367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
/proc/25280/statm: 3496244 18043 3202 1 0 3483478 0
[pid=25280/tid=25281] ppid=25278 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/25280/task/25281/stat : 25281 (java) R 25278 25278 21109 0 -1 4202560 6151 0 0 0 65 2 0 0 20 0 15 0 154510142 14320615424 18043 33554432000 4194304 4196468 140737295849488 140207368399744 140207004078259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25282] ppid=25278 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25282/stat : 25282 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14320615424 18043 33554432000 4194304 4196468 140737295849488 140207329447056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25283] ppid=25278 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25283/stat : 25283 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14320615424 18043 33554432000 4194304 4196468 140737295849488 140206959344656 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25284] ppid=25278 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25284/stat : 25284 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510143 14320615424 18043 33554432000 4194304 4196468 140737295849488 140206958291856 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25285] ppid=25278 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25285/stat : 25285 (java) S 25278 25278 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154510143 14320615424 18043 33554432000 4194304 4196468 140737295849488 140206957239056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25286] ppid=25278 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25286/stat : 25286 (java) S 25278 25278 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154510144 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206838323568 140207364176514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25287] ppid=25278 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25287/stat : 25287 (java) S 25278 25278 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206837269536 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25288] ppid=25278 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25288/stat : 25288 (java) S 25278 25278 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206836216688 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25289] ppid=25278 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25289/stat : 25289 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510147 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206835165008 140207364183963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25290] ppid=25278 vsize=13984976 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/25280/task/25290/stat : 25290 (java) R 25278 25278 21109 0 -1 4202560 2242 0 0 0 32 0 0 0 20 0 15 0 154510147 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206834099448 140207345689693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25291] ppid=25278 vsize=13984976 memory=3837741267168356460 CPUtime=0.33 cores=1,3,5,7
/proc/25280/task/25291/stat : 25291 (java) R 25278 25278 21109 0 -1 4202560 2261 0 0 0 33 0 0 0 20 0 15 0 154510147 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206833047136 140207345709090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25292] ppid=25278 vsize=13984976 memory=7522817125176995685 CPUtime=0.26 cores=1,3,5,7
/proc/25280/task/25292/stat : 25292 (java) S 25278 25278 21109 0 -1 1077944384 1363 0 0 0 26 0 0 0 20 0 15 0 154510147 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206832007792 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25293] ppid=25278 vsize=13984976 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25293/stat : 25293 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510148 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206830955232 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25294] ppid=25278 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25294/stat : 25294 (java) S 25278 25278 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154510148 14320615424 18109 33554432000 4194304 4196468 140737295849488 140206829902512 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73556 KiB
[startup+1.5007 s]
/proc/loadavg: 1.76 1.76 1.77 3/217 25294
/proc/meminfo: memFree=26556168/32770624 swapFree=67108860/67108860
[pid=25278] ppid=25275 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25278/stat : 25278 (xcsp3-exec) S 25275 25278 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154510142 9740288 346 33554432000 4194304 5098028 140731271488128 140731271486232 139689467855484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17047552 140731271492724 140731271492928 140731271492928 140731271495659 0
/proc/25278/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/25280/task/25288/stat : 25288 (java) S 25278 25278 21109 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 50649 33554432000 4194304 4196468 140737295849488 140206836216688 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25289] ppid=25278 vsize=13984976 memory=2110253328346580 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25289/stat : 25289 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510147 14320615424 50649 33554432000 4194304 4196468 140737295849488 140206835165008 140207364183963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25290] ppid=25278 vsize=13984976 memory=7649399362873865522 CPUtime=1.58 cores=1,3,5,7
/proc/25280/task/25290/stat : 25290 (java) S 25278 25278 21109 0 -1 1077944384 12488 0 0 0 157 1 0 0 20 0 15 0 154510147 14320615424 50649 33554432000 4194304 4196468 140737295849488 140206834113392 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25291] ppid=25278 vsize=13984976 memory=1296 CPUtime=1.66 cores=1,3,5,7
/proc/25280/task/25291/stat : 25291 (java) S 25278 25278 21109 0 -1 1077944384 11388 0 0 0 165 1 0 0 20 0 15 0 154510147 14320615424 50649 33554432000 4194304 4196468 140737295849488 140206833060592 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25292] ppid=25278 vsize=13984976 memory=2408 CPUtime=0.39 cores=1,3,5,7
/proc/25280/task/25292/stat : 25292 (java) S 25278 25278 21109 0 -1 1077944384 5435 0 0 0 39 0 0 0 20 0 15 0 154510147 14320615424 50649 33554432000 4194304 4196468 140737295849488 140206832007792 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25293] ppid=25278 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25293/stat : 25293 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510148 14320615424 50649 33554432000 4194304 4196468 140737295849488 140206830955232 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25294] ppid=25278 vsize=13984976 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25294/stat : 25294 (java) S 25278 25278 21109 0 -1 1077944384 1060 0 0 0 0 1 0 0 20 0 15 0 154510148 14320615424 50649 33554432000 4194304 4196468 140737295849488 140206829902512 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
Current children cumulated CPU time: 105.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 203980 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.86 1.80 3/217 25296
/proc/meminfo: memFree=26328612/32770624 swapFree=67108860/67108860
[pid=25278] ppid=25275 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25278/stat : 25278 (xcsp3-exec) S 25275 25278 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154510142 9740288 346 33554432000 4194304 5098028 140731271488128 140731271486232 139689467855484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17047552 140731271492724 140731271492928 140731271492928 140731271495659 0
/proc/25278/statm: 2378 346 289 221 0 87 0
[pid=25280] ppid=25278 vsize=13984976 memory=203692 CPUtime=166.06 cores=1,3,5,7
/proc/25280/stat : 25280 (java) S 25278 25278 21109 0 -1 1077944320 47324 0 0 0 16595 11 0 0 20 0 15 0 154510142 14320615424 50923 33554432000 4194304 4196468 140737295849488 140737295832032 140207364165367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
/proc/25280/statm: 3496244 50923 3252 1 0 3483478 0
[pid=25280/tid=25281] ppid=25278 vsize=13984976 memory=203692 CPUtime=162.23 cores=1,3,5,7
/proc/25280/task/25281/stat : 25281 (java) R 25278 25278 21109 0 -1 4202560 10376 0 0 0 16219 4 0 0 20 0 15 0 154510142 14320615424 50923 33554432000 4194304 4196468 140737295849488 140207368401760 140207004294912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25282] ppid=25278 vsize=13984976 memory=203692 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25282/stat : 25282 (java) S 25278 25278 21109 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 50923 33554432000 4194304 4196468 140737295849488 140207329447056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25283] ppid=25278 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25283/stat : 25283 (java) S 25278 25278 21109 0 -1 1077944384 707 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206959344656 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25284] ppid=25278 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25284/stat : 25284 (java) S 25278 25278 21109 0 -1 1077944384 575 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206958291856 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25285] ppid=25278 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25285/stat : 25285 (java) S 25278 25278 21109 0 -1 1077944384 980 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206957239056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25286] ppid=25278 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25286/stat : 25286 (java) S 25278 25278 21109 0 -1 1077944384 1009 0 0 0 1 0 0 0 20 0 15 0 154510144 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206838323568 140207364176514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25287] ppid=25278 vsize=13984976 memory=203696 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25287/stat : 25287 (java) S 25278 25278 21109 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206837269536 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25288] ppid=25278 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25288/stat : 25288 (java) S 25278 25278 21109 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206836216688 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25289] ppid=25278 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25289/stat : 25289 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510147 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206835165008 140207364183963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25290] ppid=25278 vsize=13984976 memory=11108 CPUtime=1.63 cores=1,3,5,7
/proc/25280/task/25290/stat : 25290 (java) S 25278 25278 21109 0 -1 1077944384 13761 0 0 0 162 1 0 0 20 0 15 0 154510147 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206834113392 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25291] ppid=25278 vsize=13984976 memory=6791534058613427641 CPUtime=1.66 cores=1,3,5,7
/proc/25280/task/25291/stat : 25291 (java) S 25278 25278 21109 0 -1 1077944384 11451 0 0 0 165 1 0 0 20 0 15 0 154510147 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206833060592 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25292] ppid=25278 vsize=13984976 memory=1160 CPUtime=0.39 cores=1,3,5,7
/proc/25280/task/25292/stat : 25292 (java) S 25278 25278 21109 0 -1 1077944384 5694 0 0 0 39 0 0 0 20 0 15 0 154510147 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206832007792 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25293] ppid=25278 vsize=13984976 memory=203692 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25293/stat : 25293 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510148 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206830955232 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25294] ppid=25278 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/25280/task/25294/stat : 25294 (java) S 25278 25278 21109 0 -1 1077944384 1103 0 0 0 1 2 0 0 20 0 15 0 154510148 14320615424 50923 33554432000 4194304 4196468 140737295849488 140206829902512 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
Current children cumulated CPU time: 166.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 205076 KiB
[startup+222.301 s]
/proc/loadavg: 1.94 1.86 1.80 3/217 25375
/proc/meminfo: memFree=26188648/32770624 swapFree=67108860/67108860
[pid=25278] ppid=25275 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25278/stat : 25278 (xcsp3-exec) S 25275 25278 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154510142 9740288 346 33554432000 4194304 5098028 140731271488128 140731271486232 139689467855484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17047552 140731271492724 140731271492928 140731271492928 140731271495659 0
/proc/25278/statm: 2378 346 289 221 0 87 0
[pid=25280] ppid=25278 vsize=13984976 memory=201696 CPUtime=226.11 cores=1,3,5,7
/proc/25280/stat : 25280 (java) S 25278 25278 21109 0 -1 1077944320 50335 0 0 0 22597 14 0 0 20 0 15 0 154510142 14320615424 50424 33554432000 4194304 4196468 140737295849488 140737295832032 140207364165367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
/proc/25280/statm: 3496244 50424 3253 1 0 3483478 0
[pid=25280/tid=25281] ppid=25278 vsize=13984976 memory=1384 CPUtime=222.21 cores=1,3,5,7
/proc/25280/task/25281/stat : 25281 (java) R 25278 25278 21109 0 -1 4202560 10984 0 0 0 22217 4 0 0 20 0 15 0 154510142 14320615424 50424 33554432000 4194304 4196468 140737295849488 140207368401648 140207006071052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25282] ppid=25278 vsize=13984976 memory=201684 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25282/stat : 25282 (java) S 25278 25278 21109 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 50424 33554432000 4194304 4196468 140737295849488 140207329447056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25283] ppid=25278 vsize=13984976 memory=201684 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25283/stat : 25283 (java) S 25278 25278 21109 0 -1 1077944384 1072 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206959344656 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25284] ppid=25278 vsize=13984976 memory=201684 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25284/stat : 25284 (java) S 25278 25278 21109 0 -1 1077944384 598 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206958291856 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25285] ppid=25278 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25285/stat : 25285 (java) S 25278 25278 21109 0 -1 1077944384 995 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206957239056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25286] ppid=25278 vsize=13984976 memory=201684 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25286/stat : 25286 (java) S 25278 25278 21109 0 -1 1077944384 1223 0 0 0 1 0 0 0 20 0 15 0 154510144 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206838323568 140207364176514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25287] ppid=25278 vsize=13984976 memory=201696 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25287/stat : 25287 (java) S 25278 25278 21109 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206837269536 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25288] ppid=25278 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25288/stat : 25288 (java) S 25278 25278 21109 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206836216688 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25289] ppid=25278 vsize=13984976 memory=205256 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25289/stat : 25289 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510147 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206835165008 140207364183963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25290] ppid=25278 vsize=13984976 memory=201684 CPUtime=1.63 cores=1,3,5,7
/proc/25280/task/25290/stat : 25290 (java) S 25278 25278 21109 0 -1 1077944384 14350 0 0 0 162 1 0 0 20 0 15 0 154510147 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206834113392 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25291] ppid=25278 vsize=13984976 memory=201684 CPUtime=1.67 cores=1,3,5,7
/proc/25280/task/25291/stat : 25291 (java) S 25278 25278 21109 0 -1 1077944384 12143 0 0 0 166 1 0 0 20 0 15 0 154510147 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206833060592 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25292] ppid=25278 vsize=13984976 memory=1384 CPUtime=0.4 cores=1,3,5,7
/proc/25280/task/25292/stat : 25292 (java) S 25278 25278 21109 0 -1 1077944384 6115 0 0 0 40 0 0 0 20 0 15 0 154510147 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206832007792 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25293] ppid=25278 vsize=13984976 memory=205276 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25293/stat : 25293 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510148 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206830955232 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25294] ppid=25278 vsize=13984976 memory=1156 CPUtime=0.03 cores=1,3,5,7
/proc/25280/task/25294/stat : 25294 (java) S 25278 25278 21109 0 -1 1077944384 1140 0 0 0 1 2 0 0 20 0 15 0 154510148 14320615424 50424 33554432000 4194304 4196468 140737295849488 140206829902512 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
Current children cumulated CPU time: 226.11 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 203080 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.95 1.87 1.81 3/218 25383
/proc/meminfo: memFree=26109876/32770624 swapFree=67108860/67108860
[pid=25278] ppid=25275 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25278/stat : 25278 (xcsp3-exec) S 25275 25278 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154510142 9740288 346 33554432000 4194304 5098028 140731271488128 140731271486232 139689467855484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17047552 140731271492724 140731271492928 140731271492928 140731271495659 0
/proc/25278/statm: 2378 346 289 221 0 87 0
[pid=25280] ppid=25278 vsize=13984976 memory=198616 CPUtime=243.83 cores=1,3,5,7
/proc/25280/stat : 25280 (java) S 25278 25278 21109 0 -1 1077944320 50351 0 0 0 24369 14 0 0 20 0 15 0 154510142 14320615424 49654 33554432000 4194304 4196468 140737295849488 140737295832032 140207364165367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
/proc/25280/statm: 3496244 49654 3253 1 0 3483478 0
[pid=25280/tid=25281] ppid=25278 vsize=13984976 memory=6791534058613427641 CPUtime=239.91 cores=1,3,5,7
/proc/25280/task/25281/stat : 25281 (java) R 25278 25278 21109 0 -1 4202560 10991 0 0 0 23987 4 0 0 20 0 15 0 154510142 14320615424 49654 33554432000 4194304 4196468 140737295849488 140207368404064 140207005025650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25282] ppid=25278 vsize=13984976 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25282/stat : 25282 (java) S 25278 25278 21109 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 49654 33554432000 4194304 4196468 140737295849488 140207329447056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25283] ppid=25278 vsize=13984976 memory=7284 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25283/stat : 25283 (java) S 25278 25278 21109 0 -1 1077944384 1073 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206959344656 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25284] ppid=25278 vsize=13984976 memory=836 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25284/stat : 25284 (java) S 25278 25278 21109 0 -1 1077944384 601 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206958291856 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25285] ppid=25278 vsize=13984976 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25285/stat : 25285 (java) S 25278 25278 21109 0 -1 1077944384 998 0 0 0 1 0 0 0 20 0 15 0 154510143 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206957239056 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25286] ppid=25278 vsize=13984976 memory=198616 CPUtime=0.01 cores=1,3,5,7
/proc/25280/task/25286/stat : 25286 (java) S 25278 25278 21109 0 -1 1077944384 1223 0 0 0 1 0 0 0 20 0 15 0 154510144 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206838323568 140207364176514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25287] ppid=25278 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25287/stat : 25287 (java) S 25278 25278 21109 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206837269536 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25288] ppid=25278 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25288/stat : 25288 (java) S 25278 25278 21109 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154510145 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206836216688 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25289] ppid=25278 vsize=13984976 memory=198616 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25289/stat : 25289 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510147 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206835165008 140207364183963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25290] ppid=25278 vsize=13984976 memory=1788 CPUtime=1.63 cores=1,3,5,7
/proc/25280/task/25290/stat : 25290 (java) S 25278 25278 21109 0 -1 1077944384 14350 0 0 0 162 1 0 0 20 0 15 0 154510147 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206834113392 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25291] ppid=25278 vsize=13984976 memory=640 CPUtime=1.67 cores=1,3,5,7
/proc/25280/task/25291/stat : 25291 (java) S 25278 25278 21109 0 -1 1077944384 12143 0 0 0 166 1 0 0 20 0 15 0 154510147 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206833060592 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25292] ppid=25278 vsize=13984976 memory=952 CPUtime=0.4 cores=1,3,5,7
/proc/25280/task/25292/stat : 25292 (java) S 25278 25278 21109 0 -1 1077944384 6115 0 0 0 40 0 0 0 20 0 15 0 154510147 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206832007792 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25293] ppid=25278 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/25280/task/25293/stat : 25293 (java) S 25278 25278 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154510148 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206830955232 140207364175573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
[pid=25280/tid=25294] ppid=25278 vsize=13984976 memory=4468 CPUtime=0.05 cores=1,3,5,7
/proc/25280/task/25294/stat : 25294 (java) S 25278 25278 21109 0 -1 1077944384 1140 0 0 0 2 3 0 0 20 0 15 0 154510148 14320615424 49654 33554432000 4194304 4196468 140737295849488 140206829902512 140207364176514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 19283968 140737295852701 140737295852876 140737295852876 140737295855567 0
Current children cumulated CPU time: 243.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 200000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 25278 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000874 s, system=0.001268 s
[startup+240.022 s]
# the end of solver process 25280 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.703 s, system=0.153317 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.022
CPU time (s): 243.856
CPU user time (s): 243.703
CPU system time (s): 0.153317
CPU usage (%): 101.598
Max. virtual memory (cumulated for all children) (KiB): 13996464
Max. memory (cumulated for all children) (KiB): 208180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.703
system time used= 0.153317
maximum resident set size= 208844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7651
involuntary context switches= 191
# summary of solver processes directly reported to runsolver:
# pid: 25278,25280
# total CPU time (s): 243.856
# total CPU user time (s): 243.703
# total CPU system time (s): 0.153317
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24177 second user time and 2.25043 second system time
The end