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 (15461 MiB free)
memory of node 1: 16384 MiB (14040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282079-1503104249/watcher-4282079-1503104249 -o /tmp/evaluation-result-4282079-1503104249/solver-4282079-1503104249 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1472327161 HOME/instance-4282079-1503104249.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=19271, runsolver pid=19268
[startup+0.10008 s]*
/proc/loadavg: 1.56 1.68 1.74 3/199 19274
/proc/meminfo: memFree=30208296/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831949 9740288 345 18446744073709551615 4194304 5098028 140729280029824 140729280027928 140443135083132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 39297024 140729280037241 140729280037446 140729280037446 140729280040939 0
/proc/19271/statm: 2378 345 289 221 0 87 0
[pid=19273] ppid=19271 vsize=13356504 memory=10920 CPUtime=0 cores=0,2,4,6
/proc/19273/stat : 19273 (java) S 19271 19271 18108 0 -1 1077944320 2476 0 0 0 0 0 0 0 20 0 6 0 8831959 13677060096 2730 18446744073709551615 4194304 4196468 140735830108064 140735830090608 140239425085175 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
/proc/19273/statm: 3339126 2730 1261 1 0 3329096 0
[pid=19273/tid=19274] ppid=19271 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 18108 0 -1 4202560 1235 0 0 0 0 0 0 0 20 0 6 0 8831959 13677060096 2730 18446744073709551615 4194304 4196468 140735830108064 140239429326152 140239410995392 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19275] ppid=19271 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 8831960 13677060096 2730 18446744073709551615 4194304 4196468 140735830108064 140239344499728 140239425095381 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19276] ppid=19271 vsize=13356504 memory=140314794448512 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 8831960 13677060096 2730 18446744073709551615 4194304 4196468 140735830108064 140239343447184 140239425095381 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19277] ppid=19271 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 8831960 13677060096 2730 18446744073709551615 4194304 4196468 140735830108064 140239342394128 140239425095381 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19278] ppid=19271 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 8831960 13677060096 2730 18446744073709551615 4194304 4196468 140735830108064 140239341341584 140239425095381 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB
[startup+0.210102 s]*
/proc/loadavg: 1.56 1.68 1.74 3/212 19287
/proc/meminfo: memFree=30196964/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831949 9740288 345 18446744073709551615 4194304 5098028 140729280029824 140729280027928 140443135083132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 39297024 140729280037241 140729280037446 140729280037446 140729280040939 0
/proc/19271/statm: 2378 345 289 221 0 87 0
[pid=19273] ppid=19271 vsize=13974352 memory=25552 CPUtime=0.07 cores=0,2,4,6
/proc/19273/stat : 19273 (java) S 19271 19271 18108 0 -1 1077944320 4819 0 0 0 6 1 0 0 20 0 15 0 8831959 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140735830090608 140239425085175 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
/proc/19273/statm: 3493588 6388 2716 1 0 3482964 0
[pid=19273/tid=19274] ppid=19271 vsize=13974352 memory=-6871798056524144002 CPUtime=0.06 cores=0,2,4,6
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 18108 0 -1 4202560 2988 0 0 0 5 1 0 0 20 0 15 0 8831959 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140239429310864 140239406935686 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19275] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831960 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140239344499728 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19276] ppid=19271 vsize=13974352 memory=140314794448512 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831960 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140239343447184 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19277] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831960 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140239342394128 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19278] ppid=19271 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831960 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140239341341584 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19279] ppid=19271 vsize=13974352 memory=140314794448512 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831961 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140238903544048 140239425096322 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19280] ppid=19271 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8831962 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140238902490272 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19281] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8831962 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140238901437168 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19282] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140238900385744 140239425103771 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19283] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 18108 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 8831964 14309736448 6388 18446744073709551615 4194304 4196468 140735830108064 140238899333872 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19284] ppid=19271 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831964 14309736448 6454 18446744073709551615 4194304 4196468 140735830108064 140238898281328 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19285] ppid=19271 vsize=13974352 memory=140314794448512 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19285/stat : 19285 (java) R 19271 19271 18108 0 -1 4202560 231 0 0 0 0 0 0 0 20 0 15 0 8831964 14309736448 6454 18446744073709551615 4194304 4196468 140735830108064 140238897228272 140239404041452 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19286] ppid=19271 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14309736448 6454 18446744073709551615 4194304 4196468 140735830108064 140238896175968 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19287] ppid=19271 vsize=13974352 memory=140314794448512 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831969 14309736448 6454 18446744073709551615 4194304 4196468 140735830108064 140238895122992 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26932 KiB
[startup+0.310284 s]*
/proc/loadavg: 1.56 1.68 1.74 3/212 19287
/proc/meminfo: memFree=30182224/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831949 9740288 345 18446744073709551615 4194304 5098028 140729280029824 140729280027928 140443135083132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 39297024 140729280037241 140729280037446 140729280037446 140729280040939 0
/proc/19271/statm: 2378 345 289 221 0 87 0
[pid=19273] ppid=19271 vsize=13974352 memory=37304 CPUtime=0.26 cores=0,2,4,6
/proc/19273/stat : 19273 (java) S 19271 19271 18108 0 -1 1077944320 8435 0 0 0 23 3 0 0 20 0 15 0 8831959 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140735830090608 140239425085175 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
/proc/19273/statm: 3493588 9326 2974 1 0 3482964 0
[pid=19273/tid=19274] ppid=19271 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 18108 0 -1 4202560 5675 0 0 0 14 2 0 0 20 0 15 0 8831959 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140239429307552 140239417763189 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19275] ppid=19271 vsize=13974352 memory=140314794455505 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831960 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140239344499728 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19276] ppid=19271 vsize=13974352 memory=7811864451722407280 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831960 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140239343447184 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19277] ppid=19271 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831960 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140239342394128 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19278] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831960 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140239341341584 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19279] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831961 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238903544048 140239425096322 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19280] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8831962 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238902490272 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19281] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8831962 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238901437168 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19282] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238900385744 140239425103771 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19283] ppid=19271 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 18108 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 15 0 8831964 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238899333872 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19284] ppid=19271 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 18108 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 15 0 8831964 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238898281328 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19285] ppid=19271 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 18108 0 -1 1077944384 705 0 0 0 5 0 0 0 20 0 15 0 8831964 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238897228272 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19286] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238896175968 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19287] ppid=19271 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831969 14309736448 9326 18446744073709551615 4194304 4196468 140735830108064 140238895122992 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38684 KiB
[startup+0.705885 s]
/proc/loadavg: 1.56 1.68 1.74 4/212 19287
/proc/meminfo: memFree=30173104/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831949 9740288 345 18446744073709551615 4194304 5098028 140729280029824 140729280027928 140443135083132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 39297024 140729280037241 140729280037446 140729280037446 140729280040939 0
/proc/19271/statm: 2378 345 289 221 0 87 0
[pid=19273] ppid=19271 vsize=13980732 memory=63324 CPUtime=1.16 cores=0,2,4,6
/proc/19273/stat : 19273 (java) S 19271 19271 18108 0 -1 1077944320 11580 0 0 0 111 5 0 0 20 0 15 0 8831959 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140735830090608 140239425085175 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
/proc/19273/statm: 3495183 15831 3167 1 0 3483476 0
[pid=19273/tid=19274] ppid=19271 vsize=13980732 memory=7813587196152198965 CPUtime=0.54 cores=0,2,4,6
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 18108 0 -1 4202560 7578 0 0 0 51 3 0 0 20 0 15 0 8831959 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140239429322368 140239425097110 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19275] ppid=19271 vsize=13980732 memory=5787213908684595776 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831960 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140239344499728 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19276] ppid=19271 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831960 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140239343447184 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19277] ppid=19271 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831960 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140239342394128 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19278] ppid=19271 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831960 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140239341341584 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19279] ppid=19271 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8831961 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238903544048 140239425096322 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19280] ppid=19271 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238902490272 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19281] ppid=19271 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238901437168 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19282] ppid=19271 vsize=13980732 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238900385744 140239425103771 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19283] ppid=19271 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/19273/task/19283/stat : 19283 (java) R 19271 19271 18108 0 -1 4202560 914 0 0 0 17 0 0 0 20 0 15 0 8831964 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238899325520 140239403103488 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19284] ppid=19271 vsize=13980732 memory=-3967418655009478193 CPUtime=0.13 cores=0,2,4,6
/proc/19273/task/19284/stat : 19284 (java) R 19271 19271 18108 0 -1 1077944384 537 0 0 0 13 0 0 0 20 0 15 0 8831964 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238898281328 140239425096322 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19285] ppid=19271 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/19273/task/19285/stat : 19285 (java) R 19271 19271 18108 0 -1 4202560 1243 0 0 0 29 0 0 0 20 0 15 0 8831964 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238897222848 140239409325281 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19286] ppid=19271 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238896175968 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19287] ppid=19271 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831969 14316269568 15831 18446744073709551615 4194304 4196468 140735830108064 140238895122992 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64704 KiB
[startup+1.5008 s]
/proc/loadavg: 1.56 1.68 1.74 5/212 19287
/proc/meminfo: memFree=30143740/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831949 9740288 345 18446744073709551615 4194304 5098028 140729280029824 140729280027928 140443135083132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 39297024 140729280037241 140729280037446 140729280037446 140729280040939 0
/proc/19271/statm: 2378 345 289 221 0 87 0
[pid=19273] ppid=19271 vsize=13980732 memory=102312 CPUtime=3.65 cores=0,2,4,6
/proc/19273/stat : 19273 (java) S 19271 19271 18108 0 -1 1077944320 24626 0 0 0 358 7 0 0 20 0 15 0 8831959 14316269568 25578 18446744073709551615 4194304 4196468 140735830108064 140735830090608 140239425085175 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
/proc/19273/statm: 3495183 25578 3188 1 0 3483476 0
[pid=19273/tid=19274] ppid=19271 vsize=13980732 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 18108 0 -1 4202560 9318 0 0 0 129 4 0 0 20 0 15 0 8831959 14316269568 25578 18446744073709551615 4194304 4196468 140735830108064 140239429322080 140239025165328 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19275] ppid=19271 vsize=13980732 memory=4498716170645055337 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831960 14316269568 25578 18446744073709551615 4194304 4196468 140735830108064 140239344499728 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19276] ppid=19271 vsize=13980732 memory=5792870887790307635 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831960 14316269568 25578 18446744073709551615 4194304 4196468 140735830108064 140239343447184 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19277] ppid=19271 vsize=13980732 memory=6083073826506762289 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831960 14316269568 25578 18446744073709551615 4194304 4196468 140735830108064 140239342394128 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19278] ppid=19271 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831960 14316269568 25578 18446744073709551615 4194304 4196468 140735830108064 140239341341584 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19279] ppid=19271 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 18108 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 8831961 14316269568 25578 18446744073709551615 4194304 4196468 140735830108064 140238903544048 140239425096322 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19280] ppid=19271 vsize=13980732 memory=140314635649152 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 25578 18446744073709551615 4194304 4196468 140735830108064 140238902490272 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19281] ppid=19271 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 18108 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 1026029 18446744073709551615 4194304 4196468 140735830108064 140238901437168 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19282] ppid=19271 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 1026029 18446744073709551615 4194304 4196468 140735830108064 140238900385744 140239425103771 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19283] ppid=19271 vsize=13980732 memory=4104116 CPUtime=2.48 cores=0,2,4,6
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 18108 0 -1 1077944384 21198 0 0 0 246 2 0 0 20 0 15 0 8831964 14316269568 1026029 18446744073709551615 4194304 4196468 140735830108064 140238899333872 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19284] ppid=19271 vsize=13980732 memory=4128 CPUtime=2.54 cores=0,2,4,6
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 18108 0 -1 1077944384 20938 0 0 0 253 1 0 0 20 0 15 0 8831964 14316269568 1026029 18446744073709551615 4194304 4196468 140735830108064 140238898281328 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19285] ppid=19271 vsize=13980732 memory=1380 CPUtime=0.68 cores=0,2,4,6
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 18108 0 -1 1077944384 9901 0 0 0 67 1 0 0 20 0 15 0 8831964 14316269568 1026029 18446744073709551615 4194304 4196468 140735830108064 140238897228272 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19286] ppid=19271 vsize=13980732 memory=4104116 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 1026029 18446744073709551615 4194304 4196468 140735830108064 140238896175968 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19287] ppid=19271 vsize=13980732 memory=1380 CPUtime=0.77 cores=0,2,4,6
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 18108 0 -1 1077944384 1887 0 0 0 39 38 0 0 20 0 15 0 8831969 14316269568 1026029 18446744073709551615 4194304 4196468 140735830108064 140238895122992 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
Current children cumulated CPU time: 2403.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4105496 KiB
[startup+2442.3 s]
/proc/loadavg: 1.79 1.78 1.76 3/212 19565
/proc/meminfo: memFree=27489516/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831949 9740288 345 18446744073709551615 4194304 5098028 140729280029824 140729280027928 140443135083132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 39297024 140729280037241 140729280037446 140729280037446 140729280040939 0
/proc/19271/statm: 2378 345 289 221 0 87 0
[pid=19273] ppid=19271 vsize=13980732 memory=4104112 CPUtime=2463.34 cores=0,2,4,6
/proc/19273/stat : 19273 (java) S 19271 19271 18108 0 -1 1077944320 159140 0 0 0 246121 213 0 0 20 0 15 0 8831959 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140735830090608 140239425085175 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
/proc/19273/statm: 3495183 1026028 3248 1 0 3483476 0
[pid=19273/tid=19274] ppid=19271 vsize=13980732 memory=4104112 CPUtime=2435.16 cores=0,2,4,6
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 18108 0 -1 4202560 51015 0 0 0 243406 110 0 0 20 0 15 0 8831959 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140239429324560 140239026468268 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19275] ppid=19271 vsize=13980732 memory=4104624 CPUtime=5.12 cores=0,2,4,6
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 18108 0 -1 1077944384 11235 0 0 0 497 15 0 0 20 0 15 0 8831960 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140239344499728 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19276] ppid=19271 vsize=13980732 memory=4104112 CPUtime=5.1 cores=0,2,4,6
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 18108 0 -1 1077944384 11911 0 0 0 495 15 0 0 20 0 15 0 8831960 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140239343447184 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19277] ppid=19271 vsize=13980732 memory=4104112 CPUtime=5.1 cores=0,2,4,6
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 18108 0 -1 1077944384 10478 0 0 0 495 15 0 0 20 0 15 0 8831960 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140239342394128 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19278] ppid=19271 vsize=13980732 memory=1380 CPUtime=5.11 cores=0,2,4,6
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 18108 0 -1 1077944384 11025 0 0 0 497 14 0 0 20 0 15 0 8831960 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140239341341584 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19279] ppid=19271 vsize=13980732 memory=4104112 CPUtime=1.17 cores=0,2,4,6
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 18108 0 -1 1077944384 8173 0 0 0 105 12 0 0 20 0 15 0 8831961 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238903544048 140239425096322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19280] ppid=19271 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238902490272 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19281] ppid=19271 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 18108 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238901437168 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19282] ppid=19271 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238900385744 140239425103771 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19283] ppid=19271 vsize=13980732 memory=1380 CPUtime=2.48 cores=0,2,4,6
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 18108 0 -1 1077944384 21200 0 0 0 246 2 0 0 20 0 15 0 8831964 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238899333872 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19284] ppid=19271 vsize=13980732 memory=1380 CPUtime=2.54 cores=0,2,4,6
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 18108 0 -1 1077944384 20940 0 0 0 253 1 0 0 20 0 15 0 8831964 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238898281328 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19285] ppid=19271 vsize=13980732 memory=4104624 CPUtime=0.68 cores=0,2,4,6
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 18108 0 -1 1077944384 9905 0 0 0 67 1 0 0 20 0 15 0 8831964 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238897228272 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19286] ppid=19271 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238896175968 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19287] ppid=19271 vsize=13980732 memory=4104112 CPUtime=0.8 cores=0,2,4,6
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 18108 0 -1 1077944384 1908 0 0 0 40 40 0 0 20 0 15 0 8831969 14316269568 1026028 18446744073709551615 4194304 4196468 140735830108064 140238895122992 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
Current children cumulated CPU time: 2463.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4105492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2498.7 s]
/proc/loadavg: 1.91 1.82 1.77 3/212 19568
/proc/meminfo: memFree=27489564/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831949 9740288 345 18446744073709551615 4194304 5098028 140729280029824 140729280027928 140443135083132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 39297024 140729280037241 140729280037446 140729280037446 140729280040939 0
/proc/19271/statm: 2378 345 289 221 0 87 0
[pid=19273] ppid=19271 vsize=13980732 memory=4104108 CPUtime=2520.03 cores=0,2,4,6
/proc/19273/stat : 19273 (java) S 19271 19271 18108 0 -1 1077944320 161233 0 0 0 251788 215 0 0 20 0 15 0 8831959 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140735830090608 140239425085175 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
/proc/19273/statm: 3495183 1026027 3248 1 0 3483476 0
[pid=19273/tid=19274] ppid=19271 vsize=13980732 memory=4104620 CPUtime=2491.46 cores=0,2,4,6
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 18108 0 -1 4202560 51472 0 0 0 249036 110 0 0 20 0 15 0 8831959 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239429324752 140239026171993 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19275] ppid=19271 vsize=13980732 memory=4104108 CPUtime=5.21 cores=0,2,4,6
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 18108 0 -1 1077944384 11413 0 0 0 506 15 0 0 20 0 15 0 8831960 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239344499728 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19276] ppid=19271 vsize=13980732 memory=4104108 CPUtime=5.19 cores=0,2,4,6
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 18108 0 -1 1077944384 12007 0 0 0 504 15 0 0 20 0 15 0 8831960 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239343447184 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19277] ppid=19271 vsize=13980732 memory=4104108 CPUtime=5.19 cores=0,2,4,6
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 18108 0 -1 1077944384 11270 0 0 0 504 15 0 0 20 0 15 0 8831960 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239342394128 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19278] ppid=19271 vsize=13980732 memory=1380 CPUtime=5.2 cores=0,2,4,6
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 18108 0 -1 1077944384 11396 0 0 0 506 14 0 0 20 0 15 0 8831960 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239341341584 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19279] ppid=19271 vsize=13980732 memory=4104108 CPUtime=1.17 cores=0,2,4,6
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 18108 0 -1 1077944384 8349 0 0 0 105 12 0 0 20 0 15 0 8831961 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238903544048 140239425096322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19280] ppid=19271 vsize=13980732 memory=4104108 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238902490272 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19281] ppid=19271 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 18108 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238901437168 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19282] ppid=19271 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238900385744 140239425103771 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19283] ppid=19271 vsize=13980732 memory=4104620 CPUtime=2.48 cores=0,2,4,6
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 18108 0 -1 1077944384 21202 0 0 0 246 2 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238899333872 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19284] ppid=19271 vsize=13980732 memory=4102572 CPUtime=2.54 cores=0,2,4,6
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 18108 0 -1 1077944384 20942 0 0 0 253 1 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238898281328 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19285] ppid=19271 vsize=13980732 memory=1380 CPUtime=0.68 cores=0,2,4,6
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 18108 0 -1 1077944384 9907 0 0 0 67 1 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238897228272 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19286] ppid=19271 vsize=13980732 memory=10936 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238896175968 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19287] ppid=19271 vsize=13980732 memory=1700 CPUtime=0.81 cores=0,2,4,6
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 18108 0 -1 1077944384 1925 0 0 0 40 41 0 0 20 0 15 0 8831969 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238895122992 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4105488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2498.71 s]
# the end of solver process 19271 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000616 s, system=0.001233 s
[startup+2498.72 s]
# the end of solver process 19273 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.9 s, system=2.17637 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
[startup+2498.7 s]
/proc/loadavg: 1.91 1.82 1.77 3/212 19568
/proc/meminfo: memFree=27489564/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831949 9740288 345 18446744073709551615 4194304 5098028 140729280029824 140729280027928 140443135083132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 39297024 140729280037241 140729280037446 140729280037446 140729280040939 0
/proc/19271/statm: 2378 345 289 221 0 87 0
[pid=19273] ppid=19271 vsize=13980732 memory=4104108 CPUtime=2520.03 cores=0,2,4,6
/proc/19273/stat : 19273 (java) S 19271 19271 18108 0 -1 1077944320 161233 0 0 0 251788 215 0 0 20 0 15 0 8831959 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140735830090608 140239425085175 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
/proc/19273/statm: 3495183 1026027 3248 1 0 3483476 0
[pid=19273/tid=19274] ppid=19271 vsize=13980732 memory=4104620 CPUtime=2491.46 cores=0,2,4,6
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 18108 0 -1 4202560 51472 0 0 0 249036 110 0 0 20 0 15 0 8831959 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239429324752 140239026171993 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19275] ppid=19271 vsize=13980732 memory=4104108 CPUtime=5.21 cores=0,2,4,6
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 18108 0 -1 1077944384 11413 0 0 0 506 15 0 0 20 0 15 0 8831960 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239344499728 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19276] ppid=19271 vsize=13980732 memory=4104108 CPUtime=5.19 cores=0,2,4,6
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 18108 0 -1 1077944384 12007 0 0 0 504 15 0 0 20 0 15 0 8831960 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239343447184 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19277] ppid=19271 vsize=13980732 memory=4104108 CPUtime=5.19 cores=0,2,4,6
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 18108 0 -1 1077944384 11270 0 0 0 504 15 0 0 20 0 15 0 8831960 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239342394128 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19278] ppid=19271 vsize=13980732 memory=1380 CPUtime=5.2 cores=0,2,4,6
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 18108 0 -1 1077944384 11396 0 0 0 506 14 0 0 20 0 15 0 8831960 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140239341341584 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19279] ppid=19271 vsize=13980732 memory=4104108 CPUtime=1.17 cores=0,2,4,6
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 18108 0 -1 1077944384 8349 0 0 0 105 12 0 0 20 0 15 0 8831961 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238903544048 140239425096322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19280] ppid=19271 vsize=13980732 memory=4104108 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238902490272 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19281] ppid=19271 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 18108 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8831962 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238901437168 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19282] ppid=19271 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238900385744 140239425103771 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19283] ppid=19271 vsize=13980732 memory=4104620 CPUtime=2.48 cores=0,2,4,6
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 18108 0 -1 1077944384 21202 0 0 0 246 2 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238899333872 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19284] ppid=19271 vsize=13980732 memory=4102572 CPUtime=2.54 cores=0,2,4,6
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 18108 0 -1 1077944384 20942 0 0 0 253 1 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238898281328 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19285] ppid=19271 vsize=13980732 memory=1380 CPUtime=0.68 cores=0,2,4,6
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 18108 0 -1 1077944384 9907 0 0 0 67 1 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238897228272 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19286] ppid=19271 vsize=13980732 memory=10936 CPUtime=0 cores=0,2,4,6
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831964 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238896175968 140239425095381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
[pid=19273/tid=19287] ppid=19271 vsize=13980732 memory=1700 CPUtime=0.81 cores=0,2,4,6
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 18108 0 -1 1077944384 1925 0 0 0 40 41 0 0 20 0 15 0 8831969 14316269568 1026027 18446744073709551615 4194304 4196468 140735830108064 140238895122992 140239425096322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 6508544 140735830110642 140735830110818 140735830110818 140735830114255 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4105488 KiB
Child status: 143
Real time (s): 2498.72
CPU time (s): 2520.07
CPU user time (s): 2517.9
CPU system time (s): 2.17637
CPU usage (%): 100.854
Max. virtual memory (cumulated for all children) (KiB): 13994096
Max. memory (cumulated for all children) (KiB): 4106008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.9
system time used= 2.17637
maximum resident set size= 4104660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85875
involuntary context switches= 3519
# summary of solver processes directly reported to runsolver:
# pid: 19271,19273
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.9
# total CPU system time (s): 2.17637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5663 second user time and 23.2132 second system time
The end