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 (14988 MiB free)
memory of node 1: 16384 MiB (15291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270180-1502621015/watcher-4270180-1502621015 -o /tmp/evaluation-result-4270180-1502621015/solver-4270180-1502621015 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1985256918 HOME/instance-4270180-1502621015.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24506, runsolver pid=24503
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 1.90 1.76 1.78 3/196 24507
/proc/meminfo: memFree=31006392/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
[startup+0.209492 s]*
/proc/loadavg: 1.90 1.76 1.78 4/211 24522
/proc/meminfo: memFree=30992376/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
[pid=24508] ppid=24506 vsize=13974352 memory=25504 CPUtime=0.08 cores=0,2,4,6
/proc/24508/stat : 24508 (java) S 24506 24506 897 0 -1 1077944320 5297 0 0 0 7 1 0 0 20 0 15 0 64322166 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140724115858160 140149414661879 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
/proc/24508/statm: 3493588 6376 2716 1 0 3482964 0
[pid=24508/tid=24509] ppid=24506 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/24508/task/24509/stat : 24509 (java) R 24506 24506 897 0 -1 4202560 3457 0 0 0 6 0 0 0 20 0 15 0 64322167 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140149418887568 140149397646240 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24510] ppid=24506 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24510/stat : 24510 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140149349096080 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24511] ppid=24506 vsize=13974352 memory=288370238399805056 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24511/stat : 24511 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140149348043280 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24512] ppid=24506 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24512/stat : 24512 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140149012478352 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24513] ppid=24506 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24513/stat : 24513 (java) S 24506 24506 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64322167 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140149011425552 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24514] ppid=24506 vsize=13974352 memory=139862248093312 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24514/stat : 24514 (java) S 24506 24506 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64322169 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148960381808 140149414673026 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24515] ppid=24506 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24515/stat : 24515 (java) S 24506 24506 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64322169 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148959327776 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24516] ppid=24506 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24516/stat : 24516 (java) S 24506 24506 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64322169 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148958274928 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24517] ppid=24506 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24517/stat : 24517 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148957223248 140149414680475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24518] ppid=24506 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24518/stat : 24518 (java) S 24506 24506 897 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 64322172 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148956170608 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24519] ppid=24506 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24519/stat : 24519 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148955117808 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24520] ppid=24506 vsize=13974352 memory=139862248093312 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24520/stat : 24520 (java) R 24506 24506 897 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 15 0 64322172 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148954065008 140149395003840 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24521] ppid=24506 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24521/stat : 24521 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148953012448 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24522] ppid=24506 vsize=13974352 memory=139862248093312 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24522/stat : 24522 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322176 14309736448 6376 18446744073709551615 4194304 4196468 140724115875616 140148951960752 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26880 KiB
[startup+0.31021 s]*
/proc/loadavg: 1.90 1.76 1.78 4/211 24522
/proc/meminfo: memFree=30979232/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
[pid=24508] ppid=24506 vsize=13974352 memory=37100 CPUtime=0.25 cores=0,2,4,6
/proc/24508/stat : 24508 (java) S 24506 24506 897 0 -1 1077944320 8895 0 0 0 23 2 0 0 20 0 15 0 64322166 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140724115858160 140149414661879 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
/proc/24508/statm: 3493588 9275 2961 1 0 3482964 0
[pid=24508/tid=24509] ppid=24506 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/24508/task/24509/stat : 24509 (java) R 24506 24506 897 0 -1 4202560 6147 0 0 0 14 2 0 0 20 0 15 0 64322167 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140149418874320 140149414683805 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24510] ppid=24506 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24510/stat : 24510 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140149349096080 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24511] ppid=24506 vsize=13974352 memory=139862248093312 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24511/stat : 24511 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140149348043280 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24512] ppid=24506 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24512/stat : 24512 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140149012478352 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24513] ppid=24506 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24513/stat : 24513 (java) S 24506 24506 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64322167 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140149011425552 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24514] ppid=24506 vsize=13974352 memory=139862248093312 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24514/stat : 24514 (java) S 24506 24506 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64322169 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148960381808 140149414673026 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24515] ppid=24506 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24515/stat : 24515 (java) S 24506 24506 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64322169 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148959327776 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24516] ppid=24506 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24516/stat : 24516 (java) S 24506 24506 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64322169 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148958274928 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24517] ppid=24506 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24517/stat : 24517 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148957223248 140149414680475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24518] ppid=24506 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24508/task/24518/stat : 24518 (java) S 24506 24506 897 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 64322172 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148956170608 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24519] ppid=24506 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24508/task/24519/stat : 24519 (java) R 24506 24506 897 0 -1 4202560 239 0 0 0 1 0 0 0 20 0 15 0 64322172 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148955117808 140149392296528 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24520] ppid=24506 vsize=13974352 memory=139862248093312 CPUtime=0.05 cores=0,2,4,6
/proc/24508/task/24520/stat : 24520 (java) S 24506 24506 897 0 -1 1077944384 773 0 0 0 5 0 0 0 20 0 15 0 64322172 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148954065008 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24521] ppid=24506 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24521/stat : 24521 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148953012448 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24522] ppid=24506 vsize=13974352 memory=139862248093312 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24522/stat : 24522 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322176 14309736448 9275 18446744073709551615 4194304 4196468 140724115875616 140148951960752 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38476 KiB
[startup+0.70077 s]
/proc/loadavg: 1.90 1.76 1.78 5/211 24522
/proc/meminfo: memFree=30967684/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
[pid=24508] ppid=24506 vsize=13980732 memory=63512 CPUtime=1.23 cores=0,2,4,6
/proc/24508/stat : 24508 (java) S 24506 24506 897 0 -1 1077944320 12996 0 0 0 118 5 0 0 20 0 15 0 64322166 14316269568 15864 18446744073709551615 4194304 4196468 140724115875616 140724115858160 140149414661879 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
/proc/24508/statm: 3495183 15864 3177 1 0 3483476 0
[pid=24508/tid=24509] ppid=24506 vsize=13980732 memory=1228 CPUtime=0.54 cores=0,2,4,6
/proc/24508/task/24509/stat : 24509 (java) R 24506 24506 897 0 -1 4202560 8483 0 0 0 50 4 0 0 20 0 15 0 64322167 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140149418901216 140149027600742 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24510] ppid=24506 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24510/stat : 24510 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140149349096080 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24511] ppid=24506 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24511/stat : 24511 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140149348043280 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24512] ppid=24506 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24512/stat : 24512 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140149012478352 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24513] ppid=24506 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24513/stat : 24513 (java) S 24506 24506 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140149011425552 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24514] ppid=24506 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24514/stat : 24514 (java) S 24506 24506 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148960381808 140149414673026 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24515] ppid=24506 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24515/stat : 24515 (java) S 24506 24506 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148959327776 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24516] ppid=24506 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24516/stat : 24516 (java) S 24506 24506 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148958274928 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24517] ppid=24506 vsize=13980732 memory=3833744296644797537 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24517/stat : 24517 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148957223248 140149414680475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24518] ppid=24506 vsize=13980732 memory=279724240751680 CPUtime=0.2 cores=0,2,4,6
/proc/24508/task/24518/stat : 24518 (java) R 24506 24506 897 0 -1 4202560 1070 0 0 0 20 0 0 0 20 0 15 0 64322172 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148956169792 140149396072029 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24519] ppid=24506 vsize=13980732 memory=279724240751872 CPUtime=0.21 cores=0,2,4,6
/proc/24508/task/24519/stat : 24519 (java) R 24506 24506 897 0 -1 4202560 825 0 0 0 21 0 0 0 20 0 15 0 64322172 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148955117936 140149396184356 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24520] ppid=24506 vsize=13980732 memory=279724240752064 CPUtime=0.25 cores=0,2,4,6
/proc/24508/task/24520/stat : 24520 (java) S 24506 24506 897 0 -1 1077944384 1314 0 0 0 25 0 0 0 20 0 15 0 64322172 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148954065008 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24521] ppid=24506 vsize=13980732 memory=279724240752256 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24521/stat : 24521 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148953012448 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24522] ppid=24506 vsize=13980732 memory=279724240752448 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24522/stat : 24522 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322176 14316269568 15878 18446744073709551615 4194304 4196468 140724115875616 140148951960752 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64888 KiB
[startup+1.50078 s]
/proc/loadavg: 1.90 1.76 1.78 5/211 24522
/proc/meminfo: memFree=30945256/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
[pid=24508] ppid=24506 vsize=13980732 memory=79888 CPUtime=3.68 cores=0,2,4,6
/proc/24508/stat : 24508 (java) S 24506 24506 897 0 -1 1077944320 23135 0 0 0 362 6 0 0 20 0 15 0 64322166 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140724115858160 140149414661879 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
/proc/24508/statm: 3495183 19972 3192 1 0 3483476 0
[pid=24508/tid=24509] ppid=24506 vsize=13980732 memory=15541816741092861 CPUtime=1.34 cores=0,2,4,6
/proc/24508/task/24509/stat : 24509 (java) R 24506 24506 897 0 -1 4202560 8984 0 0 0 130 4 0 0 20 0 15 0 64322167 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140149418897936 140149031062974 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24510] ppid=24506 vsize=13980732 memory=279724240686624 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24510/stat : 24510 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140149349096080 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24511] ppid=24506 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24511/stat : 24511 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140149348043280 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24512] ppid=24506 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24512/stat : 24512 (java) S 24506 24506 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140149012478352 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24513] ppid=24506 vsize=13980732 memory=71308 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24513/stat : 24513 (java) S 24506 24506 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140149011425552 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24514] ppid=24506 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24514/stat : 24514 (java) S 24506 24506 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148960381808 140149414673026 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24515] ppid=24506 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24515/stat : 24515 (java) S 24506 24506 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148959327776 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24516] ppid=24506 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24516/stat : 24516 (java) S 24506 24506 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148958274928 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24517] ppid=24506 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24517/stat : 24517 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148957223248 140149414680475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24518] ppid=24506 vsize=13980732 memory=36360 CPUtime=0.99 cores=0,2,4,6
/proc/24508/task/24518/stat : 24518 (java) R 24506 24506 897 0 -1 4202560 5707 0 0 0 99 0 0 0 20 0 15 0 64322172 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148956156448 140149398048683 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24519] ppid=24506 vsize=13980732 memory=1292 CPUtime=1 cores=0,2,4,6
/proc/24508/task/24519/stat : 24519 (java) R 24506 24506 897 0 -1 4202560 5251 0 0 0 100 0 0 0 20 0 15 0 64322172 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148955103984 140149398567817 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24520] ppid=24506 vsize=13980732 memory=33 CPUtime=0.32 cores=0,2,4,6
/proc/24508/task/24520/stat : 24520 (java) S 24506 24506 897 0 -1 1077944384 1881 0 0 0 31 1 0 0 20 0 15 0 64322172 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148954065008 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24521] ppid=24506 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24521/stat : 24521 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148953012448 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24522] ppid=24506 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24522/stat : 24522 (java) S 24506 24506 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 64322176 14316269568 19972 18446744073709551615 4194304 4196468 140724115875616 140148951960752 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
################
# More data... #
################
/proc/24508/task/24511/stat : 24511 (java) S 24506 24506 897 0 -1 1077944384 703 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149348043280 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24512] ppid=24506 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24512/stat : 24512 (java) S 24506 24506 897 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149012478352 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24513] ppid=24506 vsize=13980732 memory=199172 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24513/stat : 24513 (java) S 24506 24506 897 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149011425552 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24514] ppid=24506 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24514/stat : 24514 (java) S 24506 24506 897 0 -1 1077944384 739 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148960381808 140149414673026 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24515] ppid=24506 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24515/stat : 24515 (java) S 24506 24506 897 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148959327776 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24516] ppid=24506 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24516/stat : 24516 (java) S 24506 24506 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148958274928 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24517] ppid=24506 vsize=13980732 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24517/stat : 24517 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148957223248 140149414680475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24518] ppid=24506 vsize=13980732 memory=196984 CPUtime=1.87 cores=0,2,4,6
/proc/24508/task/24518/stat : 24518 (java) S 24506 24506 897 0 -1 1077944384 9459 0 0 0 187 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148956170608 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24519] ppid=24506 vsize=13980732 memory=5788 CPUtime=1.92 cores=0,2,4,6
/proc/24508/task/24519/stat : 24519 (java) S 24506 24506 897 0 -1 1077944384 8947 0 0 0 191 1 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148955117808 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24520] ppid=24506 vsize=13980732 memory=1712 CPUtime=0.4 cores=0,2,4,6
/proc/24508/task/24520/stat : 24520 (java) S 24506 24506 897 0 -1 1077944384 4231 0 0 0 39 1 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148954065008 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24521] ppid=24506 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24521/stat : 24521 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148953012448 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24522] ppid=24506 vsize=13980732 memory=196984 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24522/stat : 24522 (java) S 24506 24506 897 0 -1 1077944384 393 0 0 0 0 0 0 0 20 0 15 0 64322176 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148951960752 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
Current children cumulated CPU time: 48.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200548 KiB
[startup+46.4007 s]
/proc/loadavg: 1.80 1.76 1.77 2/196 24571
/proc/meminfo: memFree=30955752/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
[pid=24508] ppid=24506 vsize=13980732 memory=199172 CPUtime=50.5 cores=0,2,4,6
/proc/24508/stat : 24508 (java) S 24506 24506 897 0 -1 1077944320 38786 0 0 0 5039 11 0 0 20 0 15 0 64322166 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140724115858160 140149414661879 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
/proc/24508/statm: 3495183 49793 3239 1 0 3483476 0
[pid=24508/tid=24509] ppid=24506 vsize=13980732 memory=-8774313645642428999 CPUtime=46.23 cores=0,2,4,6
/proc/24508/task/24509/stat : 24509 (java) R 24506 24506 897 0 -1 4202560 12046 0 0 0 4618 5 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149418898464 140149031062786 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24510] ppid=24506 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24510/stat : 24510 (java) S 24506 24506 897 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149349096080 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24511] ppid=24506 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24511/stat : 24511 (java) S 24506 24506 897 0 -1 1077944384 703 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149348043280 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24512] ppid=24506 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24512/stat : 24512 (java) S 24506 24506 897 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149012478352 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24513] ppid=24506 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24513/stat : 24513 (java) S 24506 24506 897 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149011425552 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24514] ppid=24506 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24514/stat : 24514 (java) S 24506 24506 897 0 -1 1077944384 740 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148960381808 140149414673026 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24515] ppid=24506 vsize=13980732 memory=302585841321247030 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24515/stat : 24515 (java) S 24506 24506 897 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148959327776 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24516] ppid=24506 vsize=13980732 memory=15536310592997909 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24516/stat : 24516 (java) S 24506 24506 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148958274928 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24517] ppid=24506 vsize=13980732 memory=288285593140740268 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24517/stat : 24517 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148957223248 140149414680475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24518] ppid=24506 vsize=13980732 memory=6944656592387989600 CPUtime=1.87 cores=0,2,4,6
/proc/24508/task/24518/stat : 24518 (java) S 24506 24506 897 0 -1 1077944384 9459 0 0 0 187 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148956170608 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24519] ppid=24506 vsize=13980732 memory=4044 CPUtime=1.92 cores=0,2,4,6
/proc/24508/task/24519/stat : 24519 (java) S 24506 24506 897 0 -1 1077944384 8966 0 0 0 191 1 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148955117808 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24520] ppid=24506 vsize=13980732 memory=640 CPUtime=0.4 cores=0,2,4,6
/proc/24508/task/24520/stat : 24520 (java) S 24506 24506 897 0 -1 1077944384 4231 0 0 0 39 1 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148954065008 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24521] ppid=24506 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24521/stat : 24521 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148953012448 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24522] ppid=24506 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24522/stat : 24522 (java) S 24506 24506 897 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 64322176 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148951960752 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
Current children cumulated CPU time: 50.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200548 KiB
[startup+47.2008 s]
/proc/loadavg: 1.80 1.76 1.77 3/193 24590
/proc/meminfo: memFree=30956108/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
[pid=24508] ppid=24506 vsize=13980732 memory=199172 CPUtime=51.3 cores=0,2,4,6
/proc/24508/stat : 24508 (java) S 24506 24506 897 0 -1 1077944320 38948 0 0 0 5119 11 0 0 20 0 15 0 64322166 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140724115858160 140149414661879 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
/proc/24508/statm: 3495183 49793 3239 1 0 3483476 0
[pid=24508/tid=24509] ppid=24506 vsize=13980732 memory=2752 CPUtime=47.03 cores=0,2,4,6
/proc/24508/task/24509/stat : 24509 (java) R 24506 24506 897 0 -1 4202560 12093 0 0 0 4698 5 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149418898352 140149031062608 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24510] ppid=24506 vsize=13980732 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24510/stat : 24510 (java) S 24506 24506 897 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149349096080 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24511] ppid=24506 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24511/stat : 24511 (java) S 24506 24506 897 0 -1 1077944384 703 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149348043280 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24512] ppid=24506 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24512/stat : 24512 (java) S 24506 24506 897 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149012478352 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24513] ppid=24506 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24513/stat : 24513 (java) S 24506 24506 897 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149011425552 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24514] ppid=24506 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24514/stat : 24514 (java) S 24506 24506 897 0 -1 1077944384 740 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148960381808 140149414673026 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24515] ppid=24506 vsize=13980732 memory=10976 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24515/stat : 24515 (java) S 24506 24506 897 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148959327776 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24516] ppid=24506 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24516/stat : 24516 (java) S 24506 24506 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148958274928 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24517] ppid=24506 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24517/stat : 24517 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148957223248 140149414680475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24518] ppid=24506 vsize=13980732 memory=20284 CPUtime=1.87 cores=0,2,4,6
/proc/24508/task/24518/stat : 24518 (java) S 24506 24506 897 0 -1 1077944384 9459 0 0 0 187 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148956170608 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24519] ppid=24506 vsize=13980732 memory=4304 CPUtime=1.92 cores=0,2,4,6
/proc/24508/task/24519/stat : 24519 (java) S 24506 24506 897 0 -1 1077944384 8966 0 0 0 191 1 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148955117808 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24520] ppid=24506 vsize=13980732 memory=1624 CPUtime=0.4 cores=0,2,4,6
/proc/24508/task/24520/stat : 24520 (java) S 24506 24506 897 0 -1 1077944384 4346 0 0 0 39 1 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148954065008 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24521] ppid=24506 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24521/stat : 24521 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148953012448 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24522] ppid=24506 vsize=13980732 memory=36384 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24522/stat : 24522 (java) S 24506 24506 897 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 64322176 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148951960752 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
Current children cumulated CPU time: 51.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200548 KiB
[startup+47.6007 s]
/proc/loadavg: 1.80 1.76 1.77 3/193 24590
/proc/meminfo: memFree=30956108/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
[pid=24508] ppid=24506 vsize=13980732 memory=199172 CPUtime=51.7 cores=0,2,4,6
/proc/24508/stat : 24508 (java) S 24506 24506 897 0 -1 1077944320 38963 0 0 0 5159 11 0 0 20 0 15 0 64322166 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140724115858160 140149414661879 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
/proc/24508/statm: 3495183 49793 3239 1 0 3483476 0
[pid=24508/tid=24509] ppid=24506 vsize=13980732 memory=1292 CPUtime=47.43 cores=0,2,4,6
/proc/24508/task/24509/stat : 24509 (java) R 24506 24506 897 0 -1 4202560 12096 0 0 0 4738 5 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149418898608 140149031063431 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24510] ppid=24506 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24510/stat : 24510 (java) S 24506 24506 897 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149349096080 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24511] ppid=24506 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24511/stat : 24511 (java) S 24506 24506 897 0 -1 1077944384 703 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149348043280 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24512] ppid=24506 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24512/stat : 24512 (java) S 24506 24506 897 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149012478352 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24513] ppid=24506 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24513/stat : 24513 (java) S 24506 24506 897 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 64322167 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140149011425552 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24514] ppid=24506 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24514/stat : 24514 (java) S 24506 24506 897 0 -1 1077944384 752 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148960381808 140149414673026 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24515] ppid=24506 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24515/stat : 24515 (java) S 24506 24506 897 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148959327776 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24516] ppid=24506 vsize=13980732 memory=7810205387309203556 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24516/stat : 24516 (java) S 24506 24506 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64322169 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148958274928 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24517] ppid=24506 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24517/stat : 24517 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148957223248 140149414680475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24518] ppid=24506 vsize=13980732 memory=1228 CPUtime=1.87 cores=0,2,4,6
/proc/24508/task/24518/stat : 24518 (java) S 24506 24506 897 0 -1 1077944384 9459 0 0 0 187 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148956170608 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24519] ppid=24506 vsize=13980732 memory=796 CPUtime=1.92 cores=0,2,4,6
/proc/24508/task/24519/stat : 24519 (java) S 24506 24506 897 0 -1 1077944384 8966 0 0 0 191 1 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148955117808 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24520] ppid=24506 vsize=13980732 memory=5788 CPUtime=0.4 cores=0,2,4,6
/proc/24508/task/24520/stat : 24520 (java) S 24506 24506 897 0 -1 1077944384 4346 0 0 0 39 1 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148954065008 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24521] ppid=24506 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24521/stat : 24521 (java) S 24506 24506 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64322172 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148953012448 140149414672085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
[pid=24508/tid=24522] ppid=24506 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/24508/task/24522/stat : 24522 (java) S 24506 24506 897 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 64322176 14316269568 49793 18446744073709551615 4194304 4196468 140724115875616 140148951960752 140149414673026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140724115878327 140724115878502 140724115878502 140724115881935 0
Current children cumulated CPU time: 51.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200548 KiB
[startup+48.0006 s]*
/proc/loadavg: 1.81 1.76 1.77 4/213 24615
/proc/meminfo: memFree=30900476/32770624 swapFree=67108860/67108860
[pid=24506] ppid=24503 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24506/stat : 24506 (xcsp3-exec) S 24503 24506 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64322156 9740288 344 18446744073709551615 4194304 5098028 140732828003248 140732828001352 140489140945532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17969152 140732828008830 140732828009034 140732828009034 140732828012523 0
/proc/24506/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
Child status: 0
Real time (s): 48.0128
CPU time (s): 52.1152
CPU user time (s): 52.0011
CPU system time (s): 0.114188
CPU usage (%): 108.545
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 200548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.0011
system time used= 0.114188
maximum resident set size= 199304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3149
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 24506
# total CPU time (s): 52.1152
# total CPU user time (s): 52.0011
# total CPU system time (s): 0.114188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.302938 second user time and 0.476657 second system time
The end