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 (10499 MiB free)
memory of node 1: 16384 MiB (11309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284558-1503213828/watcher-4284558-1503213828 -o /tmp/evaluation-result-4284558-1503213828/solver-4284558-1503213828 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23686 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 226535670 HOME/instance-4284558-1503213828.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=26594, runsolver pid=26591
[startup+0.100633 s]*
/proc/loadavg: 1.96 1.81 1.84 3/217 26610
/proc/meminfo: memFree=22315784/32770624 swapFree=67108860/67108860
[pid=26594] ppid=26591 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26594/stat : 26594 (xcsp3-exec) S 26591 26594 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154454238 9740288 346 33554432000 4194304 5098028 140732702703168 140732702701272 140693899379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140732702708853 140732702709056 140732702709056 140732702711787 0
/proc/26594/statm: 2378 346 289 221 0 87 0
[pid=26596] ppid=26594 vsize=13978596 memory=28252 CPUtime=0.12 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26594 26594 23654 0 -1 1077944320 5424 0 0 0 11 1 0 0 20 0 15 0 154454239 14314082304 7063 33554432000 4194304 4196468 140731395568768 140731395551312 140250650558199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
/proc/26596/statm: 3494649 7063 2868 1 0 3482966 0
[pid=26596/tid=26597] ppid=26594 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) R 26594 26594 23654 0 -1 4202560 3436 0 0 0 8 0 0 0 20 0 15 0 154454239 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250654790304 140250288357904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26598] ppid=26594 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250246736528 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26599] ppid=26594 vsize=13978596 memory=139630272575104 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250245683728 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26600] ppid=26594 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250244630928 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26601] ppid=26594 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26594 26594 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154454240 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250243578128 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26602] ppid=26594 vsize=13978596 memory=139630272575104 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26594 26594 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154454241 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250124704624 140250650569346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26603] ppid=26594 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26594 26594 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154454241 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250123650592 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26604] ppid=26594 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26594 26594 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154454242 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250122597744 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26605] ppid=26594 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250121546064 140250650576795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26606] ppid=26594 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26594 26594 23654 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 154454244 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250120493424 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26607] ppid=26594 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454244 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250119440624 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26608] ppid=26594 vsize=13978596 memory=139630272575104 CPUtime=0.01 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) R 26594 26594 23654 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 15 0 154454244 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250118387824 140250629499855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26609] ppid=26594 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250117335264 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26610] ppid=26594 vsize=13978596 memory=139630272575104 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454245 14314082304 7128 33554432000 4194304 4196468 140731395568768 140250116283568 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29636 KiB
[startup+0.21067 s]*
/proc/loadavg: 1.96 1.81 1.84 3/217 26610
/proc/meminfo: memFree=22303876/32770624 swapFree=67108860/67108860
[pid=26594] ppid=26591 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26594/stat : 26594 (xcsp3-exec) S 26591 26594 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154454238 9740288 346 33554432000 4194304 5098028 140732702703168 140732702701272 140693899379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140732702708853 140732702709056 140732702709056 140732702711787 0
/proc/26594/statm: 2378 346 289 221 0 87 0
[pid=26596] ppid=26594 vsize=13982852 memory=40844 CPUtime=0.33 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26594 26594 23654 0 -1 1077944320 8193 0 0 0 31 2 0 0 20 0 15 0 154454239 14318440448 10211 33554432000 4194304 4196468 140731395568768 140731395551312 140250650558199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
/proc/26596/statm: 3495713 10211 3072 1 0 3482966 0
[pid=26596/tid=26597] ppid=26594 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) R 26594 26594 23654 0 -1 4202560 5334 0 0 0 18 1 0 0 20 0 15 0 154454239 14318473216 10211 33554432000 4194304 4196468 140731395568768 140250654767824 140250643237917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26598] ppid=26594 vsize=13982884 memory=12546 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14318473216 10211 33554432000 4194304 4196468 140731395568768 140250246736528 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26599] ppid=26594 vsize=13982852 memory=288370006424286848 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250245683728 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26600] ppid=26594 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250244630928 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26601] ppid=26594 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26594 26594 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154454240 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250243578128 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26602] ppid=26594 vsize=13982852 memory=139630272575104 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26594 26594 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154454241 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250124704624 140250650569346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26603] ppid=26594 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26594 26594 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154454241 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250123650592 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26604] ppid=26594 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26594 26594 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154454242 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250122597744 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26605] ppid=26594 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250121546064 140250650576795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26606] ppid=26594 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26594 26594 23654 0 -1 1077944384 686 0 0 0 3 0 0 0 20 0 15 0 154454244 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250120493424 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26607] ppid=26594 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26594 26594 23654 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 154454244 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250119440624 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26608] ppid=26594 vsize=13982884 memory=139630272575104 CPUtime=0.07 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26594 26594 23654 0 -1 1077944384 728 0 0 0 7 0 0 0 20 0 15 0 154454244 14318473216 10211 33554432000 4194304 4196468 140731395568768 140250118387824 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26609] ppid=26594 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250117335264 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26610] ppid=26594 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454245 14318440448 10211 33554432000 4194304 4196468 140731395568768 140250116283568 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42228 KiB
[startup+0.314363 s]*
/proc/loadavg: 1.96 1.81 1.84 3/217 26610
/proc/meminfo: memFree=22296804/32770624 swapFree=67108860/67108860
[pid=26594] ppid=26591 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26594/stat : 26594 (xcsp3-exec) S 26591 26594 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154454238 9740288 346 33554432000 4194304 5098028 140732702703168 140732702701272 140693899379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140732702708853 140732702709056 140732702709056 140732702711787 0
/proc/26594/statm: 2378 346 289 221 0 87 0
[pid=26596] ppid=26594 vsize=13982928 memory=48108 CPUtime=0.5 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26594 26594 23654 0 -1 1077944320 9136 0 0 0 47 3 0 0 20 0 15 0 154454239 14318518272 12027 33554432000 4194304 4196468 140731395568768 140731395551312 140250650558199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
/proc/26596/statm: 3495732 12027 3120 1 0 3482966 0
[pid=26596/tid=26597] ppid=26594 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) R 26594 26594 23654 0 -1 4202560 6128 0 0 0 28 2 0 0 20 0 15 0 154454239 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250654790032 140250634638686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26598] ppid=26594 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250246736528 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26599] ppid=26594 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250245683728 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26600] ppid=26594 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250244630928 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26601] ppid=26594 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26594 26594 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154454240 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250243578128 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26602] ppid=26594 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26594 26594 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154454241 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250124704624 140250650569346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26603] ppid=26594 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26594 26594 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154454241 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250123650592 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26604] ppid=26594 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26594 26594 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154454242 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250122597744 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26605] ppid=26594 vsize=13982928 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250121546064 140250650576795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26606] ppid=26594 vsize=13982928 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26594 26594 23654 0 -1 1077944384 735 0 0 0 4 0 0 0 20 0 15 0 154454244 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250120493424 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26607] ppid=26594 vsize=13982928 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) R 26594 26594 23654 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 15 0 154454244 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250119440624 140250650569346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26608] ppid=26594 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26594 26594 23654 0 -1 1077944384 796 0 0 0 11 0 0 0 20 0 15 0 154454244 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250118387824 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26609] ppid=26594 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250117335264 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26610] ppid=26594 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454245 14318518272 12027 33554432000 4194304 4196468 140731395568768 140250116283568 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49492 KiB
[startup+0.701332 s]
/proc/loadavg: 1.96 1.81 1.84 4/217 26610
/proc/meminfo: memFree=22284956/32770624 swapFree=67108860/67108860
[pid=26594] ppid=26591 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26594/stat : 26594 (xcsp3-exec) S 26591 26594 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154454238 9740288 346 33554432000 4194304 5098028 140732702703168 140732702701272 140693899379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140732702708853 140732702709056 140732702709056 140732702711787 0
/proc/26594/statm: 2378 346 289 221 0 87 0
[pid=26596] ppid=26594 vsize=13984976 memory=72852 CPUtime=1.71 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26594 26594 23654 0 -1 1077944320 13393 0 0 0 166 5 0 0 20 0 15 0 154454239 14320615424 18213 33554432000 4194304 4196468 140731395568768 140731395551312 140250650558199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
/proc/26596/statm: 3496244 18213 3210 1 0 3483478 0
[pid=26596/tid=26597] ppid=26594 vsize=13984976 memory=42760 CPUtime=0.67 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) R 26594 26594 23654 0 -1 4202560 6744 0 0 0 65 2 0 0 20 0 15 0 154454239 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250654795280 140250288357919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26598] ppid=26594 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250246736528 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26599] ppid=26594 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250245683728 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26600] ppid=26594 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454240 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250244630928 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26601] ppid=26594 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26594 26594 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154454240 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250243578128 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26602] ppid=26594 vsize=13984976 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26594 26594 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154454241 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250124704624 140250650569346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26603] ppid=26594 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26594 26594 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154454241 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250123650592 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26604] ppid=26594 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26594 26594 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154454242 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250122597744 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26605] ppid=26594 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250121546064 140250650576795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26606] ppid=26594 vsize=13984976 memory=5784 CPUtime=0.33 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) R 26594 26594 23654 0 -1 4202560 2152 0 0 0 33 0 0 0 20 0 15 0 154454244 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250120479608 140250635665954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26607] ppid=26594 vsize=13984976 memory=4616 CPUtime=0.3 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) R 26594 26594 23654 0 -1 4202560 1106 0 0 0 30 0 0 0 20 0 15 0 154454244 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250119432464 140250632079590 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26608] ppid=26594 vsize=13984976 memory=1928 CPUtime=0.36 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) R 26594 26594 23654 0 -1 4202560 2086 0 0 0 36 0 0 0 20 0 15 0 154454244 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250118387824 140250643655035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26609] ppid=26594 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250117335264 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26610] ppid=26594 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26594 26594 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154454245 14320615424 18213 33554432000 4194304 4196468 140731395568768 140250116283568 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74236 KiB
[startup+1.50087 s]
/proc/loadavg: 1.96 1.81 1.84 5/217 26610
/proc/meminfo: memFree=22259960/32770624 swapFree=67108860/67108860
[pid=26594] ppid=26591 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26594/stat : 26594 (xcsp3-exec) S 26591 26594 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154454238 9740288 346 33554432000 4194304 5098028 140732702703168 140732702701272 140693899379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140732702708853 140732702709056 140732702709056 140732702711787 0
/proc/26594/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/26596/task/26604/stat : 26604 (java) S 26594 26594 23654 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154454242 14320615424 47847 33554432000 4194304 4196468 140731395568768 140250122597744 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26605] ppid=26594 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 47847 33554432000 4194304 4196468 140731395568768 140250121546064 140250650576795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26606] ppid=26594 vsize=13984976 memory=0 CPUtime=3.92 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26594 26594 23654 0 -1 1077944384 15889 0 0 0 391 1 0 0 20 0 15 0 154454244 14320615424 47847 33554432000 4194304 4196468 140731395568768 140250120493424 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26607] ppid=26594 vsize=13984976 memory=0 CPUtime=3.69 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26594 26594 23654 0 -1 1077944384 16991 0 0 0 367 2 0 0 20 0 15 0 154454244 14320615424 47847 33554432000 4194304 4196468 140731395568768 140250119440624 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26608] ppid=26594 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26594 26594 23654 0 -1 1077944384 7419 0 0 0 65 1 0 0 20 0 15 0 154454244 14320615424 47847 33554432000 4194304 4196468 140731395568768 140250118387824 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26609] ppid=26594 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 47847 33554432000 4194304 4196468 140731395568768 140250117335264 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26610] ppid=26594 vsize=13984976 memory=218656 CPUtime=0.03 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26594 26594 23654 0 -1 1077944384 1015 0 0 0 1 2 0 0 20 0 15 0 154454245 14320615424 47847 33554432000 4194304 4196468 140731395568768 140250116283568 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
Current children cumulated CPU time: 111.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 192772 KiB
[startup+162.301 s]
/proc/loadavg: 1.79 1.83 1.85 4/218 26698
/proc/meminfo: memFree=22751336/32770624 swapFree=67108860/67108860
[pid=26594] ppid=26591 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26594/stat : 26594 (xcsp3-exec) S 26591 26594 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154454238 9740288 346 33554432000 4194304 5098028 140732702703168 140732702701272 140693899379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140732702708853 140732702709056 140732702709056 140732702711787 0
/proc/26594/statm: 2378 346 289 221 0 87 0
[pid=26596] ppid=26594 vsize=13984976 memory=210632 CPUtime=172.03 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26594 26594 23654 0 -1 1077944320 67376 0 0 0 17176 27 0 0 20 0 15 0 154454239 14320615424 52658 33554432000 4194304 4196468 140731395568768 140731395551312 140250650558199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
/proc/26596/statm: 3496244 52658 3265 1 0 3483478 0
[pid=26596/tid=26597] ppid=26594 vsize=13984976 memory=1384 CPUtime=161.71 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) R 26594 26594 23654 0 -1 4202560 13975 0 0 0 16166 5 0 0 20 0 15 0 154454239 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250654797968 140250293574496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26598] ppid=26594 vsize=13984976 memory=1384 CPUtime=0.43 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26594 26594 23654 0 -1 1077944384 1942 0 0 0 40 3 0 0 20 0 15 0 154454240 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250246736528 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26599] ppid=26594 vsize=13984976 memory=1384 CPUtime=0.43 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26594 26594 23654 0 -1 1077944384 1049 0 0 0 40 3 0 0 20 0 15 0 154454240 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250245683728 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26600] ppid=26594 vsize=13984976 memory=204428 CPUtime=0.42 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26594 26594 23654 0 -1 1077944384 1092 0 0 0 39 3 0 0 20 0 15 0 154454240 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250244630928 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26601] ppid=26594 vsize=13984976 memory=42768 CPUtime=0.43 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26594 26594 23654 0 -1 1077944384 1862 0 0 0 40 3 0 0 20 0 15 0 154454240 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250243578128 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26602] ppid=26594 vsize=13984976 memory=199144 CPUtime=0.07 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26594 26594 23654 0 -1 1077944384 1317 0 0 0 6 1 0 0 20 0 15 0 154454241 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250124704624 140250650569346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26603] ppid=26594 vsize=13984976 memory=56 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26594 26594 23654 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154454241 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250123650592 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26604] ppid=26594 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26594 26594 23654 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154454242 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250122597744 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26605] ppid=26594 vsize=13984976 memory=203748 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250121546064 140250650576795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26606] ppid=26594 vsize=13984976 memory=4012 CPUtime=3.96 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26594 26594 23654 0 -1 1077944384 16736 0 0 0 395 1 0 0 20 0 15 0 154454244 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250120493424 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26607] ppid=26594 vsize=13984976 memory=42768 CPUtime=3.79 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26594 26594 23654 0 -1 1077944384 18810 0 0 0 377 2 0 0 20 0 15 0 154454244 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250119440624 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26608] ppid=26594 vsize=13984976 memory=1384 CPUtime=0.67 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26594 26594 23654 0 -1 1077944384 8198 0 0 0 66 1 0 0 20 0 15 0 154454244 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250118387824 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26609] ppid=26594 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250117335264 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26610] ppid=26594 vsize=13984976 memory=207492 CPUtime=0.05 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26594 26594 23654 0 -1 1077944384 1035 0 0 0 2 3 0 0 20 0 15 0 154454245 14320615424 52658 33554432000 4194304 4196468 140731395568768 140250116283568 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
Current children cumulated CPU time: 172.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 212016 KiB
[startup+222.301 s]
/proc/loadavg: 1.66 1.77 1.83 3/218 26699
/proc/meminfo: memFree=22682760/32770624 swapFree=67108860/67108860
[pid=26594] ppid=26591 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26594/stat : 26594 (xcsp3-exec) S 26591 26594 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154454238 9740288 346 33554432000 4194304 5098028 140732702703168 140732702701272 140693899379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140732702708853 140732702709056 140732702709056 140732702711787 0
/proc/26594/statm: 2378 346 289 221 0 87 0
[pid=26596] ppid=26594 vsize=13984976 memory=288972 CPUtime=233.12 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26594 26594 23654 0 -1 1077944320 73591 0 0 0 23271 41 0 0 20 0 15 0 154454239 14320615424 72243 33554432000 4194304 4196468 140731395568768 140731395551312 140250650558199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
/proc/26596/statm: 3496244 72243 3265 1 0 3483478 0
[pid=26596/tid=26597] ppid=26594 vsize=13984976 memory=286924 CPUtime=221.32 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) R 26594 26594 23654 0 -1 4202560 15110 0 0 0 22127 5 0 0 20 0 15 0 154454239 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250654798032 140250291562491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26598] ppid=26594 vsize=13984976 memory=1384 CPUtime=0.74 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26594 26594 23654 0 -1 1077944384 2265 0 0 0 68 6 0 0 20 0 15 0 154454240 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250246736528 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26599] ppid=26594 vsize=13984976 memory=286924 CPUtime=0.75 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26594 26594 23654 0 -1 1077944384 1789 0 0 0 69 6 0 0 20 0 15 0 154454240 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250245683728 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26600] ppid=26594 vsize=13984976 memory=280780 CPUtime=0.74 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26594 26594 23654 0 -1 1077944384 1396 0 0 0 68 6 0 0 20 0 15 0 154454240 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250244630928 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26601] ppid=26594 vsize=13984976 memory=284876 CPUtime=0.75 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26594 26594 23654 0 -1 1077944384 2153 0 0 0 69 6 0 0 20 0 15 0 154454240 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250243578128 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26602] ppid=26594 vsize=13984976 memory=286924 CPUtime=0.1 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26594 26594 23654 0 -1 1077944384 1572 0 0 0 9 1 0 0 20 0 15 0 154454241 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250124704624 140250650569346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26603] ppid=26594 vsize=13984976 memory=288972 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26594 26594 23654 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154454241 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250123650592 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26604] ppid=26594 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26594 26594 23654 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154454242 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250122597744 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26605] ppid=26594 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250121546064 140250650576795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26606] ppid=26594 vsize=13984976 memory=4012 CPUtime=4.04 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26594 26594 23654 0 -1 1077944384 18639 0 0 0 403 1 0 0 20 0 15 0 154454244 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250120493424 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26607] ppid=26594 vsize=13984976 memory=42768 CPUtime=3.83 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26594 26594 23654 0 -1 1077944384 19632 0 0 0 381 2 0 0 20 0 15 0 154454244 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250119440624 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26608] ppid=26594 vsize=13984976 memory=1384 CPUtime=0.68 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26594 26594 23654 0 -1 1077944384 8570 0 0 0 67 1 0 0 20 0 15 0 154454244 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250118387824 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26609] ppid=26594 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250117335264 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26610] ppid=26594 vsize=13984976 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26594 26594 23654 0 -1 1077944384 1105 0 0 0 2 5 0 0 20 0 15 0 154454245 14320615424 72243 33554432000 4194304 4196468 140731395568768 140250116283568 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
Current children cumulated CPU time: 233.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 290356 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.58 1.75 1.82 3/218 26699
/proc/meminfo: memFree=22649132/32770624 swapFree=67108860/67108860
[pid=26594] ppid=26591 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26594/stat : 26594 (xcsp3-exec) S 26591 26594 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154454238 9740288 346 33554432000 4194304 5098028 140732702703168 140732702701272 140693899379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140732702708853 140732702709056 140732702709056 140732702711787 0
/proc/26594/statm: 2378 346 289 221 0 87 0
[pid=26596] ppid=26594 vsize=13984976 memory=317644 CPUtime=251.14 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26594 26594 23654 0 -1 1077944320 74104 0 0 0 25069 45 0 0 20 0 15 0 154454239 14320615424 79411 33554432000 4194304 4196468 140731395568768 140731395551312 140250650558199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
/proc/26596/statm: 3496244 79411 3265 1 0 3483478 0
[pid=26596/tid=26597] ppid=26594 vsize=13984976 memory=6791534058613427641 CPUtime=238.9 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) R 26594 26594 23654 0 -1 4202560 15143 0 0 0 23885 5 0 0 20 0 15 0 154454239 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250654798032 140250288563524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26598] ppid=26594 vsize=13984976 memory=4872558044660077418 CPUtime=0.84 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26594 26594 23654 0 -1 1077944384 2298 0 0 0 77 7 0 0 20 0 15 0 154454240 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250246736528 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26599] ppid=26594 vsize=13984976 memory=4872558044660077418 CPUtime=0.85 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26594 26594 23654 0 -1 1077944384 1834 0 0 0 78 7 0 0 20 0 15 0 154454240 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250245683728 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26600] ppid=26594 vsize=13984976 memory=1196 CPUtime=0.84 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26594 26594 23654 0 -1 1077944384 1467 0 0 0 77 7 0 0 20 0 15 0 154454240 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250244630928 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26601] ppid=26594 vsize=13984976 memory=10688 CPUtime=0.85 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26594 26594 23654 0 -1 1077944384 2209 0 0 0 78 7 0 0 20 0 15 0 154454240 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250243578128 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26602] ppid=26594 vsize=13984976 memory=15880 CPUtime=0.11 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26594 26594 23654 0 -1 1077944384 1572 0 0 0 10 1 0 0 20 0 15 0 154454241 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250124704624 140250650569346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26603] ppid=26594 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26594 26594 23654 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154454241 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250123650592 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26604] ppid=26594 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26594 26594 23654 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154454242 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250122597744 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26605] ppid=26594 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250121546064 140250650576795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26606] ppid=26594 vsize=13984976 memory=1428 CPUtime=4.05 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26594 26594 23654 0 -1 1077944384 18679 0 0 0 404 1 0 0 20 0 15 0 154454244 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250120493424 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26607] ppid=26594 vsize=13984976 memory=1196 CPUtime=3.84 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26594 26594 23654 0 -1 1077944384 19867 0 0 0 382 2 0 0 20 0 15 0 154454244 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250119440624 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26608] ppid=26594 vsize=13984976 memory=10688 CPUtime=0.68 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26594 26594 23654 0 -1 1077944384 8570 0 0 0 67 1 0 0 20 0 15 0 154454244 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250118387824 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26609] ppid=26594 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26594 26594 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154454244 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250117335264 140250650568405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
[pid=26596/tid=26610] ppid=26594 vsize=13984976 memory=23564 CPUtime=0.07 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26594 26594 23654 0 -1 1077944384 1105 0 0 0 2 5 0 0 20 0 15 0 154454245 14320615424 79411 33554432000 4194304 4196468 140731395568768 140250116283568 140250650569346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23724032 140731395576989 140731395577164 140731395577164 140731395579855 0
Current children cumulated CPU time: 251.14 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 319028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 26594 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000914 s, system=0.000914 s
[startup+240.023 s]
# the end of solver process 26596 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.705 s, system=0.462365 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): 251.168
CPU user time (s): 250.705
CPU system time (s): 0.462365
CPU usage (%): 104.643
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 319028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.705
system time used= 0.462365
maximum resident set size= 318224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74975
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= 10340
involuntary context switches= 532
# summary of solver processes directly reported to runsolver:
# pid: 26594,26596
# total CPU time (s): 251.168
# total CPU user time (s): 250.705
# total CPU system time (s): 0.462365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6047 second user time and 2.24985 second system time
The end