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 (15220 MiB free)
memory of node 1: 16384 MiB (10582 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284040-1503203719/watcher-4284040-1503203719 -o /tmp/evaluation-result-4284040-1503203719/solver-4284040-1503203719 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1519781926 HOME/instance-4284040-1503203719.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=4046, runsolver pid=4043
[startup+0.100152 s]*
/proc/loadavg: 2.17 2.07 1.77 2/200 4047
/proc/meminfo: memFree=26422232/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (runsolver) D 4043 4046 16431 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 18781658 34791424 113 18446744073709551615 4194304 4346622 140726827051488 140726827048120 140478568092375 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 16121856 140726827057207 140726827057701 140726827057701 140726827061194 0
/proc/4046/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209753 s]*
/proc/loadavg: 2.17 2.07 1.77 3/209 4056
/proc/meminfo: memFree=26412280/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
[pid=4048] ppid=4046 vsize=13574484 memory=19612 CPUtime=0.04 cores=0,2,4,6
/proc/4048/stat : 4048 (java) S 4046 4046 16431 0 -1 1077944320 4243 0 0 0 3 1 0 0 20 0 9 0 18781675 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140730879205888 140512724799223 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
/proc/4048/statm: 3393621 4903 2138 1 0 3383118 0
[pid=4048/tid=4049] ppid=4046 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (java) R 4046 4046 16431 0 -1 4202560 2955 0 0 0 3 0 0 0 20 0 9 0 18781675 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140512729034616 140512724821149 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4050] ppid=4046 vsize=13574484 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18781676 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140512681766032 140512724809429 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4051] ppid=4046 vsize=13574484 memory=140478571246724 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18781676 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140512680713232 140512724809429 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4052] ppid=4046 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18781676 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140512679660432 140512724809429 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4053] ppid=4046 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18781676 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140512678607632 140512724809429 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4054] ppid=4046 vsize=13574484 memory=140478571042432 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18781677 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140512202840432 140512724810370 0 0 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4055] ppid=4046 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 18781677 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140512201786400 140512724809429 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4056] ppid=4046 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 18781678 13900271616 4903 18446744073709551615 4194304 4196468 140730879223344 140512200733552 140512724809429 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20992 KiB
[startup+0.313063 s]*
/proc/loadavg: 2.17 2.07 1.77 4/215 4062
/proc/meminfo: memFree=26406476/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
[pid=4048] ppid=4046 vsize=13974352 memory=27976 CPUtime=0.11 cores=0,2,4,6
/proc/4048/stat : 4048 (java) S 4046 4046 16431 0 -1 1077944320 5434 0 0 0 10 1 0 0 20 0 15 0 18781675 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140730879205888 140512724799223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
/proc/4048/statm: 3493588 6994 2846 1 0 3482964 0
[pid=4048/tid=4049] ppid=4046 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (java) R 4046 4046 16431 0 -1 4202560 3455 0 0 0 8 0 0 0 20 0 15 0 18781675 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512729025760 140512724821149 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4050] ppid=4046 vsize=13974352 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18781676 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512681766032 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4051] ppid=4046 vsize=13974352 memory=140478571246724 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18781676 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512680713232 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4052] ppid=4046 vsize=13974352 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18781676 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512679660432 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4053] ppid=4046 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18781676 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512678607632 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4054] ppid=4046 vsize=13974352 memory=8392726354328340705 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18781677 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512202840432 140512724810370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4055] ppid=4046 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18781677 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512201786400 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4056] ppid=4046 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18781678 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512200733552 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4057] ppid=4046 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512199681872 140512724817819 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4058] ppid=4046 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 16431 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 18781680 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512198630256 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4059] ppid=4046 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18781680 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512197577456 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4060] ppid=4046 vsize=13974352 memory=140478571042432 CPUtime=0.01 cores=0,2,4,6
/proc/4048/task/4060/stat : 4060 (java) R 4046 4046 16431 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 18781680 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512196524656 140512724811158 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4061] ppid=4046 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512195472096 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4062] ppid=4046 vsize=13974352 memory=140478571042432 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18781685 14309736448 6994 18446744073709551615 4194304 4196468 140730879223344 140512194419376 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29356 KiB
[startup+0.705712 s]
/proc/loadavg: 2.17 2.07 1.77 3/215 4062
/proc/meminfo: memFree=26390304/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
[pid=4048] ppid=4046 vsize=13978608 memory=187492 CPUtime=0.78 cores=0,2,4,6
/proc/4048/stat : 4048 (java) S 4046 4046 16431 0 -1 1077944320 10964 0 0 0 67 11 0 0 20 0 15 0 18781675 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140730879205888 140512724799223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
/proc/4048/statm: 3494652 46873 3109 1 0 3482964 0
[pid=4048/tid=4049] ppid=4046 vsize=13978608 memory=23214 CPUtime=0.46 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (java) S 4046 4046 16431 0 -1 1077944384 7601 0 0 0 39 7 0 0 20 0 15 0 18781675 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512729038064 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4050] ppid=4046 vsize=13978608 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (java) R 4046 4046 16431 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 18781676 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512681766032 140512717901940 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4051] ppid=4046 vsize=13978608 memory=-8253362762721547640 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (java) R 4046 4046 16431 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 18781676 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512680713432 140512717902216 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4052] ppid=4046 vsize=13978608 memory=-8412658744800154483 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4052/stat : 4052 (java) R 4046 4046 16431 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 18781676 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512679660432 140512717902262 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4053] ppid=4046 vsize=13978608 memory=-7313218805096079717 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4053/stat : 4053 (java) R 4046 4046 16431 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 15 0 18781676 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512678607632 140512717901940 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4054] ppid=4046 vsize=13978608 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 16431 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 18781677 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512202838944 140512724809429 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4055] ppid=4046 vsize=13978608 memory=6944656425123094137 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18781677 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512201786400 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4056] ppid=4046 vsize=13978608 memory=-3704326594973231466 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18781678 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512200733552 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4057] ppid=4046 vsize=13978608 memory=-6454338467431146081 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512199681872 140512724817819 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4058] ppid=4046 vsize=13978608 memory=7679927811743456362 CPUtime=0.06 cores=0,2,4,6
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 16431 0 -1 1077944384 726 0 0 0 6 0 0 0 20 0 15 0 18781680 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512198630256 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4059] ppid=4046 vsize=13978608 memory=6944656592455097440 CPUtime=0.06 cores=0,2,4,6
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 16431 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 15 0 18781680 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512197577456 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4060] ppid=4046 vsize=13978608 memory=6655300316396806240 CPUtime=0.13 cores=0,2,4,6
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 16431 0 -1 1077944384 871 0 0 0 13 0 0 0 20 0 15 0 18781680 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512196524656 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4061] ppid=4046 vsize=13978608 memory=34832184778668 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512195472096 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4062] ppid=4046 vsize=13978608 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18781685 14314094592 46873 18446744073709551615 4194304 4196468 140730879223344 140512194419376 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 188872 KiB
[startup+1.50083 s]
/proc/loadavg: 2.24 2.08 1.77 3/215 4062
/proc/meminfo: memFree=26001676/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
[pid=4048] ppid=4046 vsize=13978684 memory=891256 CPUtime=3.05 cores=0,2,4,6
/proc/4048/stat : 4048 (java) S 4046 4046 16431 0 -1 1077944320 18337 0 0 0 264 41 0 0 20 0 15 0 18781675 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140730879205888 140512724799223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
/proc/4048/statm: 3494671 222814 3207 1 0 3482964 0
[pid=4048/tid=4049] ppid=4046 vsize=13978684 memory=1380 CPUtime=0.98 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (java) R 4046 4046 16431 0 -1 4202560 8319 0 0 0 86 12 0 0 20 0 15 0 18781675 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512729033480 140512358126176 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4050] ppid=4046 vsize=13978684 memory=187492 CPUtime=0.25 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 16431 0 -1 1077944384 568 0 0 0 19 6 0 0 20 0 15 0 18781676 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512681766032 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4051] ppid=4046 vsize=13978684 memory=280956896285024 CPUtime=0.26 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 16431 0 -1 1077944384 666 0 0 0 20 6 0 0 20 0 15 0 18781676 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512680713232 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4052] ppid=4046 vsize=13978684 memory=157852933037984 CPUtime=0.26 cores=0,2,4,6
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 16431 0 -1 1077944384 776 0 0 0 19 7 0 0 20 0 15 0 18781676 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512679660432 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4053] ppid=4046 vsize=13978684 memory=280956896391360 CPUtime=0.23 cores=0,2,4,6
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 16431 0 -1 1077944384 451 0 0 0 18 5 0 0 20 0 15 0 18781676 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512678607632 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4054] ppid=4046 vsize=13978684 memory=3684146757684578704 CPUtime=0.01 cores=0,2,4,6
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 16431 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 15 0 18781677 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512202840432 140512724810370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4055] ppid=4046 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18781677 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512201786464 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4056] ppid=4046 vsize=13978684 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 16431 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 18781678 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512200733568 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4057] ppid=4046 vsize=13978684 memory=4943152110743886954 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512199681872 140512724817819 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4058] ppid=4046 vsize=13978684 memory=7524760035405095265 CPUtime=0.3 cores=0,2,4,6
/proc/4048/task/4058/stat : 4058 (java) R 4046 4046 16431 0 -1 4202560 1695 0 0 0 30 0 0 0 20 0 15 0 18781680 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512198617936 140512706121548 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4059] ppid=4046 vsize=13978684 memory=7161937698900584344 CPUtime=0.43 cores=0,2,4,6
/proc/4048/task/4059/stat : 4059 (java) R 4046 4046 16431 0 -1 4202560 1845 0 0 0 43 0 0 0 20 0 15 0 18781680 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512197575856 140512706171633 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4060] ppid=4046 vsize=13978684 memory=7662708092876710502 CPUtime=0.25 cores=0,2,4,6
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 16431 0 -1 1077944384 1905 0 0 0 25 0 0 0 20 0 15 0 18781680 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512196524656 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4061] ppid=4046 vsize=13978684 memory=6082209584144471658 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512195472096 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4062] ppid=4046 vsize=13978684 memory=4640204396462100583 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18781685 14314172416 222814 18446744073709551615 4194304 4196468 140730879223344 140512194419376 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 892636 KiB
[startup+3.11037 s]
/proc/loadavg: 2.24 2.08 1.77 3/215 4062
/proc/meminfo: memFree=25141596/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
[pid=4048] ppid=4046 vsize=13978684 memory=1302120 CPUtime=4.97 cores=0,2,4,6
/proc/4048/stat : 4048 (java) S 4046 4046 16431 0 -1 1077944320 20400 0 0 0 447 50 0 0 20 0 15 0 18781675 14314172416 325530 18446744073709551615 4194304 4196468 140730879223344 140730879205888 140512724799223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
################
# More data... #
################
/proc/4048/task/4051/stat : 4051 (java) R 4046 4046 16431 0 -1 4202560 138756 0 0 0 3164 184 0 0 20 0 15 0 18781676 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512680713040 140512717427431 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4052] ppid=4046 vsize=13980732 memory=1008 CPUtime=33.77 cores=0,2,4,6
/proc/4048/task/4052/stat : 4052 (java) R 4046 4046 16431 0 -1 4202560 236319 0 0 0 3204 173 0 0 20 0 15 0 18781676 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512679660432 140512709499088 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4053] ppid=4046 vsize=13980732 memory=13668 CPUtime=33.66 cores=0,2,4,6
/proc/4048/task/4053/stat : 4053 (java) R 4046 4046 16431 0 -1 4202560 95180 0 0 0 3156 210 0 0 20 0 15 0 18781676 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512678607752 140512717427431 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4054] ppid=4046 vsize=13980732 memory=1296 CPUtime=23.73 cores=0,2,4,6
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 16431 0 -1 1077944384 42609 0 0 0 2353 20 0 0 20 0 15 0 18781677 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512202838992 140512724809429 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4055] ppid=4046 vsize=13980732 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 16431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 18781677 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512201786464 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4056] ppid=4046 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 16431 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 18781678 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512200733568 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4057] ppid=4046 vsize=13980732 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512199681872 140512724817819 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4058] ppid=4046 vsize=13980732 memory=15872 CPUtime=0.53 cores=0,2,4,6
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 16431 0 -1 1077944384 3296 0 0 0 53 0 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512198630256 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4059] ppid=4046 vsize=13980732 memory=16448 CPUtime=0.64 cores=0,2,4,6
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 16431 0 -1 1077944384 3283 0 0 0 64 0 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512197577456 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4060] ppid=4046 vsize=13980732 memory=7680170660397595203 CPUtime=0.36 cores=0,2,4,6
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 16431 0 -1 1077944384 6633 0 0 0 35 1 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512196524656 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4061] ppid=4046 vsize=13980732 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512195472096 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4062] ppid=4046 vsize=13980732 memory=4288 CPUtime=0.27 cores=0,2,4,6
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 16431 0 -1 1077944384 858 0 0 0 12 15 0 0 20 0 15 0 18781685 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512194419376 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 75 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
Current children cumulated CPU time: 540.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11678104 KiB
[startup+441.601 s]
/proc/loadavg: 2.47 2.26 1.97 3/211 4079
/proc/meminfo: memFree=13730596/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
[pid=4048] ppid=4046 vsize=13980732 memory=11676724 CPUtime=549.22 cores=0,2,4,6
/proc/4048/stat : 4048 (java) S 4046 4046 16431 0 -1 1077944320 763838 0 0 0 54072 850 0 0 20 0 15 0 18781675 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140730879205888 140512724799223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
/proc/4048/statm: 3495183 2919181 3226 1 0 3483476 0
[pid=4048/tid=4049] ppid=4046 vsize=13980732 memory=1160 CPUtime=380.62 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (java) S 4046 4046 16431 0 -1 1077944384 86240 0 0 0 38029 33 0 0 20 0 15 0 18781675 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512729037824 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4050] ppid=4046 vsize=13980732 memory=4198373884061773715 CPUtime=35.32 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 16431 0 -1 1077944384 133160 0 0 0 3321 211 0 0 20 0 15 0 18781676 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512681766032 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4051] ppid=4046 vsize=13980732 memory=4004 CPUtime=35.27 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 16431 0 -1 1077944384 138756 0 0 0 3343 184 0 0 20 0 15 0 18781676 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512680713232 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4052] ppid=4046 vsize=13980732 memory=1380 CPUtime=35.62 cores=0,2,4,6
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 16431 0 -1 1077944384 252440 0 0 0 3388 174 0 0 20 0 15 0 18781676 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512679660432 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4053] ppid=4046 vsize=13980732 memory=11676724 CPUtime=35.42 cores=0,2,4,6
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 16431 0 -1 1077944384 95180 0 0 0 3331 211 0 0 20 0 15 0 18781676 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512678607632 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4054] ppid=4046 vsize=13980732 memory=7680170660397595203 CPUtime=25.07 cores=0,2,4,6
/proc/4048/task/4054/stat : 4054 (java) R 4046 4046 16431 0 -1 4202560 42609 0 0 0 2487 20 0 0 20 0 15 0 18781677 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512202838880 140512709795776 0 0 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4055] ppid=4046 vsize=13980732 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 16431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 18781677 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512201786464 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4056] ppid=4046 vsize=13980732 memory=4288 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 16431 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 18781678 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512200733568 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4057] ppid=4046 vsize=13980732 memory=932 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512199681872 140512724817819 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4058] ppid=4046 vsize=13980732 memory=11676724 CPUtime=0.53 cores=0,2,4,6
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 16431 0 -1 1077944384 3296 0 0 0 53 0 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512198630304 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4059] ppid=4046 vsize=13980732 memory=2240 CPUtime=0.64 cores=0,2,4,6
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 16431 0 -1 1077944384 3284 0 0 0 64 0 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512197577216 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4060] ppid=4046 vsize=13980732 memory=4288 CPUtime=0.36 cores=0,2,4,6
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 16431 0 -1 1077944384 6633 0 0 0 35 1 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512196524704 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4061] ppid=4046 vsize=13980732 memory=932 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512195472096 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4062] ppid=4046 vsize=13980732 memory=1008 CPUtime=0.27 cores=0,2,4,6
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 16431 0 -1 1077944384 858 0 0 0 12 15 0 0 20 0 15 0 18781685 14316269568 2919181 18446744073709551615 4194304 4196468 140730879223344 140512194419376 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 75 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
Current children cumulated CPU time: 549.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11678104 KiB
[startup+443.201 s]
/proc/loadavg: 2.43 2.25 1.97 3/211 4079
/proc/meminfo: memFree=13730596/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
[pid=4048] ppid=4046 vsize=13980732 memory=11676740 CPUtime=550.82 cores=0,2,4,6
/proc/4048/stat : 4048 (java) S 4046 4046 16431 0 -1 1077944320 764001 0 0 0 54232 850 0 0 20 0 15 0 18781675 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140730879205888 140512724799223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
/proc/4048/statm: 3495183 2919185 3226 1 0 3483476 0
[pid=4048/tid=4049] ppid=4046 vsize=13980732 memory=13668 CPUtime=380.62 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (java) S 4046 4046 16431 0 -1 1077944384 86240 0 0 0 38029 33 0 0 20 0 15 0 18781675 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512729037824 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4050] ppid=4046 vsize=13980732 memory=1296 CPUtime=35.32 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 16431 0 -1 1077944384 133160 0 0 0 3321 211 0 0 20 0 15 0 18781676 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512681766032 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4051] ppid=4046 vsize=13980732 memory=2344 CPUtime=35.27 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 16431 0 -1 1077944384 138756 0 0 0 3343 184 0 0 20 0 15 0 18781676 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512680713232 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4052] ppid=4046 vsize=13980732 memory=1728 CPUtime=35.62 cores=0,2,4,6
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 16431 0 -1 1077944384 252440 0 0 0 3388 174 0 0 20 0 15 0 18781676 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512679660432 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4053] ppid=4046 vsize=13980732 memory=11676724 CPUtime=35.42 cores=0,2,4,6
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 16431 0 -1 1077944384 95180 0 0 0 3331 211 0 0 20 0 15 0 18781676 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512678607632 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4054] ppid=4046 vsize=13980732 memory=15872 CPUtime=26.67 cores=0,2,4,6
/proc/4048/task/4054/stat : 4054 (java) R 4046 4046 16431 0 -1 4202560 42772 0 0 0 2647 20 0 0 20 0 15 0 18781677 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512202838880 140512709795604 0 0 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4055] ppid=4046 vsize=13980732 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 16431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 18781677 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512201786464 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4056] ppid=4046 vsize=13980732 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 16431 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 18781678 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512200733568 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4057] ppid=4046 vsize=13980732 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512199681872 140512724817819 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4058] ppid=4046 vsize=13980732 memory=7680170660397595203 CPUtime=0.53 cores=0,2,4,6
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 16431 0 -1 1077944384 3296 0 0 0 53 0 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512198630304 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4059] ppid=4046 vsize=13980732 memory=11676724 CPUtime=0.64 cores=0,2,4,6
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 16431 0 -1 1077944384 3284 0 0 0 64 0 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512197577216 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4060] ppid=4046 vsize=13980732 memory=2008 CPUtime=0.36 cores=0,2,4,6
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 16431 0 -1 1077944384 6633 0 0 0 35 1 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512196524704 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4061] ppid=4046 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512195472096 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4062] ppid=4046 vsize=13980732 memory=5368 CPUtime=0.27 cores=0,2,4,6
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 16431 0 -1 1077944384 858 0 0 0 12 15 0 0 20 0 15 0 18781685 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512194419376 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 75 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
Current children cumulated CPU time: 550.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11678120 KiB
[startup+443.601 s]
/proc/loadavg: 2.43 2.25 1.97 3/211 4079
/proc/meminfo: memFree=13730596/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
[pid=4048] ppid=4046 vsize=13980732 memory=11676740 CPUtime=551.22 cores=0,2,4,6
/proc/4048/stat : 4048 (java) S 4046 4046 16431 0 -1 1077944320 764701 0 0 0 54272 850 0 0 20 0 15 0 18781675 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140730879205888 140512724799223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
/proc/4048/statm: 3495183 2919185 3226 1 0 3483476 0
[pid=4048/tid=4049] ppid=4046 vsize=13980732 memory=7680170660397595203 CPUtime=380.62 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (java) S 4046 4046 16431 0 -1 1077944384 86240 0 0 0 38029 33 0 0 20 0 15 0 18781675 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512729037824 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4050] ppid=4046 vsize=13980732 memory=13668 CPUtime=35.32 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 16431 0 -1 1077944384 133160 0 0 0 3321 211 0 0 20 0 15 0 18781676 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512681766032 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4051] ppid=4046 vsize=13980732 memory=1296 CPUtime=35.27 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 16431 0 -1 1077944384 138756 0 0 0 3343 184 0 0 20 0 15 0 18781676 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512680713232 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4052] ppid=4046 vsize=13980732 memory=2344 CPUtime=35.62 cores=0,2,4,6
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 16431 0 -1 1077944384 252440 0 0 0 3388 174 0 0 20 0 15 0 18781676 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512679660432 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4053] ppid=4046 vsize=13980732 memory=7680170660397595203 CPUtime=35.42 cores=0,2,4,6
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 16431 0 -1 1077944384 95180 0 0 0 3331 211 0 0 20 0 15 0 18781676 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512678607632 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4054] ppid=4046 vsize=13980732 memory=7680170660397595203 CPUtime=27.08 cores=0,2,4,6
/proc/4048/task/4054/stat : 4054 (java) R 4046 4046 16431 0 -1 4202560 43472 0 0 0 2687 21 0 0 20 0 15 0 18781677 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512202838880 140512709795575 0 0 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4055] ppid=4046 vsize=13980732 memory=13668 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 16431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 18781677 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512201786464 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4056] ppid=4046 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 16431 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 18781678 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512200733568 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4057] ppid=4046 vsize=13980732 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512199681872 140512724817819 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4058] ppid=4046 vsize=13980732 memory=1728 CPUtime=0.53 cores=0,2,4,6
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 16431 0 -1 1077944384 3296 0 0 0 53 0 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512198630304 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4059] ppid=4046 vsize=13980732 memory=11952 CPUtime=0.64 cores=0,2,4,6
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 16431 0 -1 1077944384 3284 0 0 0 64 0 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512197577216 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4060] ppid=4046 vsize=13980732 memory=844 CPUtime=0.36 cores=0,2,4,6
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 16431 0 -1 1077944384 6633 0 0 0 35 1 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512196524704 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4061] ppid=4046 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18781680 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512195472096 140512724809429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
[pid=4048/tid=4062] ppid=4046 vsize=13980732 memory=3192 CPUtime=0.27 cores=0,2,4,6
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 16431 0 -1 1077944384 858 0 0 0 12 15 0 0 20 0 15 0 18781685 14316269568 2919185 18446744073709551615 4194304 4196468 140730879223344 140512194419376 140512724810370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 75 0 0 6293624 6294260 21536768 140730879226290 140730879226466 140730879226466 140730879229903 0
Current children cumulated CPU time: 551.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11678120 KiB
[startup+443.801 s]
/proc/loadavg: 2.43 2.25 1.97 3/211 4079
/proc/meminfo: memFree=13730596/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18781658 9740288 345 18446744073709551615 4194304 5098028 140725063458128 140725063456232 140656142692988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 16 0 0 7196144 7232144 39534592 140725063463289 140725063463494 140725063463494 140725063466987 0
/proc/4046/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 1
Real time (s): 443.825
CPU time (s): 551.46
CPU user time (s): 542.868
CPU system time (s): 8.5921
CPU usage (%): 124.252
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11678120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 542.868
system time used= 8.5921
maximum resident set size= 11676956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 765426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18155
involuntary context switches= 1551
# summary of solver processes directly reported to runsolver:
# pid: 4046
# total CPU time (s): 551.46
# total CPU user time (s): 542.868
# total CPU system time (s): 8.5921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.73877 second user time and 4.51097 second system time
The end