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 (15446 MiB free)
memory of node 1: 16384 MiB (14810 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282361-1503111972/watcher-4282361-1503111972 -o /tmp/evaluation-result-4282361-1503111972/solver-4282361-1503111972 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 794625097 HOME/instance-4282361-1503111972.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
solver pid=22225, runsolver pid=22222
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 1.93 1.76 1.64 2/196 22226
/proc/meminfo: memFree=30983188/32770624 swapFree=67108860/67108860
[pid=22225] ppid=22222 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/22225/stat : 22225 (runsolver) D 22222 22225 18108 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 9604278 34791424 114 18446744073709551615 4194304 4346622 140734622444816 140734622441448 140228141933271 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 18362368 140734622449720 140734622450213 140734622450213 140734622453706 0
/proc/22225/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209125 s]*
/proc/loadavg: 1.93 1.76 1.64 2/210 22240
/proc/meminfo: memFree=30971652/32770624 swapFree=67108860/67108860
[pid=22225] ppid=22222 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22225/stat : 22225 (xcsp3-exec) S 22222 22225 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9604278 9740288 345 18446744073709551615 4194304 5098028 140728796762064 140728796760168 139799528350332 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 16474112 140728796770682 140728796770886 140728796770886 140728796774379 0
/proc/22225/statm: 2378 345 289 221 0 87 0
[pid=22227] ppid=22225 vsize=13974352 memory=22456 CPUtime=0.06 cores=0,2,4,6
/proc/22227/stat : 22227 (java) S 22225 22225 18108 0 -1 1077944320 5065 0 0 0 5 1 0 0 20 0 15 0 9604289 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140723867746160 140087428939511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
/proc/22227/statm: 3493588 5614 2668 1 0 3482964 0
[pid=22227/tid=22228] ppid=22225 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/22227/task/22228/stat : 22228 (java) R 22225 22225 18108 0 -1 4202560 3232 0 0 0 5 0 0 0 20 0 15 0 9604290 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140087433169264 140087428961437 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22229] ppid=22225 vsize=13974352 memory=12504 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22229/stat : 22229 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140087348353808 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22230] ppid=22225 vsize=13974352 memory=3618555171170641568 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22230/stat : 22230 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140087347301264 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22231] ppid=22225 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22231/stat : 22231 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140087346248720 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22232] ppid=22225 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22232/stat : 22232 (java) S 22225 22225 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9604290 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140087345196176 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22233] ppid=22225 vsize=13974352 memory=140228144883328 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22233/stat : 22233 (java) S 22225 22225 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9604292 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086614235120 140087428950658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22234] ppid=22225 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22234/stat : 22234 (java) S 22225 22225 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9604292 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086613181344 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22235] ppid=22225 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22235/stat : 22235 (java) S 22225 22225 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9604292 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086612128752 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22236] ppid=22225 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22236/stat : 22236 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086611077328 140087428958107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22237] ppid=22225 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22237/stat : 22237 (java) S 22225 22225 18108 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 9604295 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086610024944 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22238] ppid=22225 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22238/stat : 22238 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604295 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086608972400 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22239] ppid=22225 vsize=13974352 memory=140228144883328 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22239/stat : 22239 (java) S 22225 22225 18108 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 9604295 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086607919856 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22240] ppid=22225 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22240/stat : 22240 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086606867552 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22241] ppid=22225 vsize=13974352 memory=140228144883328 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22241/stat : 22241 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604299 14309736448 5614 18446744073709551615 4194304 4196468 140723867763616 140086605814064 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23836 KiB
[startup+0.310324 s]*
/proc/loadavg: 1.93 1.76 1.64 3/211 22241
/proc/meminfo: memFree=30958692/32770624 swapFree=67108860/67108860
[pid=22225] ppid=22222 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22225/stat : 22225 (xcsp3-exec) S 22222 22225 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9604278 9740288 345 18446744073709551615 4194304 5098028 140728796762064 140728796760168 139799528350332 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 16474112 140728796770682 140728796770886 140728796770886 140728796774379 0
/proc/22225/statm: 2378 345 289 221 0 87 0
[pid=22227] ppid=22225 vsize=13974352 memory=36648 CPUtime=0.24 cores=0,2,4,6
/proc/22227/stat : 22227 (java) S 22225 22225 18108 0 -1 1077944320 8733 0 0 0 22 2 0 0 20 0 15 0 9604289 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140723867746160 140087428939511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
/proc/22227/statm: 3493588 9162 2975 1 0 3482964 0
[pid=22227/tid=22228] ppid=22225 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/22227/task/22228/stat : 22228 (java) R 22225 22225 18108 0 -1 4202560 5955 0 0 0 13 1 0 0 20 0 15 0 9604290 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140087433161888 140087413019998 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22229] ppid=22225 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22229/stat : 22229 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140087348353808 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22230] ppid=22225 vsize=13974352 memory=140228144883328 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22230/stat : 22230 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140087347301264 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22231] ppid=22225 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22231/stat : 22231 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140087346248720 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22232] ppid=22225 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22232/stat : 22232 (java) S 22225 22225 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9604290 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140087345196176 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22233] ppid=22225 vsize=13974352 memory=140228144883328 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22233/stat : 22233 (java) S 22225 22225 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9604292 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086614235120 140087428950658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22234] ppid=22225 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22234/stat : 22234 (java) S 22225 22225 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9604292 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086613181344 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22235] ppid=22225 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22235/stat : 22235 (java) S 22225 22225 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9604292 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086612128752 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22236] ppid=22225 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22236/stat : 22236 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086611077328 140087428958107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22237] ppid=22225 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22227/task/22237/stat : 22237 (java) S 22225 22225 18108 0 -1 1077944384 567 0 0 0 2 0 0 0 20 0 15 0 9604295 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086610024944 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22238] ppid=22225 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22227/task/22238/stat : 22238 (java) S 22225 22225 18108 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 9604295 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086608972400 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22239] ppid=22225 vsize=13974352 memory=140228144883328 CPUtime=0.05 cores=0,2,4,6
/proc/22227/task/22239/stat : 22239 (java) S 22225 22225 18108 0 -1 1077944384 728 0 0 0 5 0 0 0 20 0 15 0 9604295 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086607919856 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22240] ppid=22225 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22240/stat : 22240 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086606867552 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22241] ppid=22225 vsize=13974352 memory=140228144883328 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22241/stat : 22241 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604299 14309736448 9162 18446744073709551615 4194304 4196468 140723867763616 140086605814064 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38028 KiB
[startup+0.700835 s]
/proc/loadavg: 1.93 1.76 1.64 3/211 22241
/proc/meminfo: memFree=30947888/32770624 swapFree=67108860/67108860
[pid=22225] ppid=22222 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22225/stat : 22225 (xcsp3-exec) S 22222 22225 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9604278 9740288 345 18446744073709551615 4194304 5098028 140728796762064 140728796760168 139799528350332 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 16474112 140728796770682 140728796770886 140728796770886 140728796774379 0
/proc/22225/statm: 2378 345 289 221 0 87 0
[pid=22227] ppid=22225 vsize=13980732 memory=118252 CPUtime=1.12 cores=0,2,4,6
/proc/22227/stat : 22227 (java) S 22225 22225 18108 0 -1 1077944320 12864 0 0 0 108 4 0 0 20 0 15 0 9604289 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140723867746160 140087428939511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
/proc/22227/statm: 3495183 29563 3178 1 0 3483476 0
[pid=22227/tid=22228] ppid=22225 vsize=13980732 memory=7372786582024121444 CPUtime=0.53 cores=0,2,4,6
/proc/22227/task/22228/stat : 22228 (java) R 22225 22225 18108 0 -1 4202560 8465 0 0 0 50 3 0 0 20 0 15 0 9604290 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140087433174720 140087021915995 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22229] ppid=22225 vsize=13980732 memory=7300728970739542608 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22229/stat : 22229 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140087348353808 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22230] ppid=22225 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22230/stat : 22230 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140087347301264 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22231] ppid=22225 vsize=13980732 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22231/stat : 22231 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604290 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140087346248720 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22232] ppid=22225 vsize=13980732 memory=-7395679465411340910 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22232/stat : 22232 (java) S 22225 22225 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9604290 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140087345196176 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22233] ppid=22225 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22233/stat : 22233 (java) S 22225 22225 18108 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140086614235120 140087428950658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22234] ppid=22225 vsize=13980732 memory=4427207343990470186 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22234/stat : 22234 (java) S 22225 22225 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140086613181344 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22235] ppid=22225 vsize=13980732 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22235/stat : 22235 (java) S 22225 22225 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140086612128752 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22236] ppid=22225 vsize=13980732 memory=4 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22236/stat : 22236 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140086611077328 140087428958107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22237] ppid=22225 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/22227/task/22237/stat : 22237 (java) R 22225 22225 18108 0 -1 4202560 1129 0 0 0 18 0 0 0 20 0 15 0 9604295 14316269568 29563 18446744073709551615 4194304 4196468 140723867763616 140086610011728 140087410483758 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22238] ppid=22225 vsize=13980732 memory=11 CPUtime=0.17 cores=0,2,4,6
/proc/22227/task/22238/stat : 22238 (java) R 22225 22225 18108 0 -1 4202560 740 0 0 0 17 0 0 0 20 0 15 0 9604295 14316269568 30075 18446744073709551615 4194304 4196468 140723867763616 140086608959840 140087414967570 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22239] ppid=22225 vsize=13980732 memory=1 CPUtime=0.21 cores=0,2,4,6
/proc/22227/task/22239/stat : 22239 (java) S 22225 22225 18108 0 -1 1077944384 1222 0 0 0 21 0 0 0 20 0 15 0 9604295 14316269568 30075 18446744073709551615 4194304 4196468 140723867763616 140086607919856 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22240] ppid=22225 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22240/stat : 22240 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 30075 18446744073709551615 4194304 4196468 140723867763616 140086606867552 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22241] ppid=22225 vsize=13980732 memory=801 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22241/stat : 22241 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604299 14316269568 30075 18446744073709551615 4194304 4196468 140723867763616 140086605814064 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 119632 KiB
[startup+1.50091 s]
/proc/loadavg: 1.93 1.76 1.64 3/211 22241
/proc/meminfo: memFree=30810264/32770624 swapFree=67108860/67108860
[pid=22225] ppid=22222 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22225/stat : 22225 (xcsp3-exec) S 22222 22225 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9604278 9740288 345 18446744073709551615 4194304 5098028 140728796762064 140728796760168 139799528350332 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 16474112 140728796770682 140728796770886 140728796770886 140728796774379 0
/proc/22225/statm: 2378 345 289 221 0 87 0
[pid=22227] ppid=22225 vsize=13980732 memory=557492 CPUtime=2.07 cores=0,2,4,6
/proc/22227/stat : 22227 (java) S 22225 22225 18108 0 -1 1077944320 13515 0 0 0 194 13 0 0 20 0 15 0 9604289 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140723867746160 140087428939511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
/proc/22227/statm: 3495183 139373 3199 1 0 3483476 0
[pid=22227/tid=22228] ppid=22225 vsize=13980732 memory=140227997899888 CPUtime=1.3 cores=0,2,4,6
/proc/22227/task/22228/stat : 22228 (java) R 22225 22225 18108 0 -1 4202560 8686 0 0 0 121 9 0 0 20 0 15 0 9604290 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140087433177112 140087021947633 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22229] ppid=22225 vsize=13980732 memory=4 CPUtime=0.01 cores=0,2,4,6
/proc/22227/task/22229/stat : 22229 (java) S 22225 22225 18108 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 15 0 9604290 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140087348353808 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22230] ppid=22225 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22227/task/22230/stat : 22230 (java) S 22225 22225 18108 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 9604290 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140087347301264 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22231] ppid=22225 vsize=13980732 memory=11 CPUtime=0.01 cores=0,2,4,6
/proc/22227/task/22231/stat : 22231 (java) S 22225 22225 18108 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 9604290 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140087346248720 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22232] ppid=22225 vsize=13980732 memory=1 CPUtime=0.01 cores=0,2,4,6
/proc/22227/task/22232/stat : 22232 (java) S 22225 22225 18108 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 9604290 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140087345196176 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22233] ppid=22225 vsize=13980732 memory=280455996087184 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22233/stat : 22233 (java) S 22225 22225 18108 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086614235120 140087428950658 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22234] ppid=22225 vsize=13980732 memory=12742 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22234/stat : 22234 (java) S 22225 22225 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086613181408 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22235] ppid=22225 vsize=13980732 memory=17604 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22235/stat : 22235 (java) S 22225 22225 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086612128768 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22236] ppid=22225 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22236/stat : 22236 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086611077328 140087428958107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22237] ppid=22225 vsize=13980732 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/22227/task/22237/stat : 22237 (java) S 22225 22225 18108 0 -1 1077944384 1142 0 0 0 22 0 0 0 20 0 15 0 9604295 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086610024944 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22238] ppid=22225 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/22227/task/22238/stat : 22238 (java) S 22225 22225 18108 0 -1 1077944384 749 0 0 0 21 0 0 0 20 0 15 0 9604295 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086608972400 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22239] ppid=22225 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/22227/task/22239/stat : 22239 (java) S 22225 22225 18108 0 -1 1077944384 1243 0 0 0 23 0 0 0 20 0 15 0 9604295 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086607919856 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22240] ppid=22225 vsize=13980732 memory=669237 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22240/stat : 22240 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086606867552 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22241] ppid=22225 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22241/stat : 22241 (java) S 22225 22225 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9604299 14316269568 139373 18446744073709551615 4194304 4196468 140723867763616 140086605814064 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
################
# More data... #
################
/proc/22225/stat : 22225 (xcsp3-exec) S 22222 22225 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9604278 9740288 345 18446744073709551615 4194304 5098028 140728796762064 140728796760168 139799528350332 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 16474112 140728796770682 140728796770886 140728796770886 140728796774379 0
/proc/22225/statm: 2378 345 289 221 0 87 0
[pid=22227] ppid=22225 vsize=13980732 memory=2765688 CPUtime=16.68 cores=0,2,4,6
/proc/22227/stat : 22227 (java) S 22225 22225 18108 0 -1 1077944320 30335 0 0 0 1615 53 0 0 20 0 15 0 9604289 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140723867746160 140087428939511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
/proc/22227/statm: 3495183 691422 3223 1 0 3483476 0
[pid=22227/tid=22228] ppid=22225 vsize=13980732 memory=1104940 CPUtime=12.54 cores=0,2,4,6
/proc/22227/task/22228/stat : 22228 (java) R 22225 22225 18108 0 -1 4202560 14915 0 0 0 1214 40 0 0 20 0 15 0 9604290 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140087433176256 140087023107743 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22229] ppid=22225 vsize=13980732 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/22227/task/22229/stat : 22229 (java) S 22225 22225 18108 0 -1 1077944384 182 0 0 0 4 2 0 0 20 0 15 0 9604290 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140087348353808 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22230] ppid=22225 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22227/task/22230/stat : 22230 (java) S 22225 22225 18108 0 -1 1077944384 128 0 0 0 5 2 0 0 20 0 15 0 9604290 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140087347301264 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22231] ppid=22225 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22227/task/22231/stat : 22231 (java) S 22225 22225 18108 0 -1 1077944384 116 0 0 0 5 2 0 0 20 0 15 0 9604290 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140087346248720 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22232] ppid=22225 vsize=13980732 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/22227/task/22232/stat : 22232 (java) S 22225 22225 18108 0 -1 1077944384 384 0 0 0 4 2 0 0 20 0 15 0 9604290 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140087345196176 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22233] ppid=22225 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22233/stat : 22233 (java) S 22225 22225 18108 0 -1 1077944384 1952 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086614235120 140087428950658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22234] ppid=22225 vsize=13980732 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22234/stat : 22234 (java) S 22225 22225 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086613181408 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22235] ppid=22225 vsize=13980732 memory=8672 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22235/stat : 22235 (java) S 22225 22225 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086612128768 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22236] ppid=22225 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22236/stat : 22236 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086611077328 140087428958107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22237] ppid=22225 vsize=13980732 memory=792 CPUtime=1.69 cores=0,2,4,6
/proc/22227/task/22237/stat : 22237 (java) S 22225 22225 18108 0 -1 1077944384 3926 0 0 0 169 0 0 0 20 0 15 0 9604295 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086610024944 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22238] ppid=22225 vsize=13980732 memory=1440 CPUtime=1.64 cores=0,2,4,6
/proc/22227/task/22238/stat : 22238 (java) S 22225 22225 18108 0 -1 1077944384 4331 0 0 0 163 1 0 0 20 0 15 0 9604295 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086608972400 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22239] ppid=22225 vsize=13980732 memory=4616 CPUtime=0.48 cores=0,2,4,6
/proc/22227/task/22239/stat : 22239 (java) S 22225 22225 18108 0 -1 1077944384 3077 0 0 0 47 1 0 0 20 0 15 0 9604295 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086607919856 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22240] ppid=22225 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22240/stat : 22240 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086606867552 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22241] ppid=22225 vsize=13980732 memory=2761684 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22241/stat : 22241 (java) S 22225 22225 18108 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 9604299 14316269568 691422 18446744073709551615 4194304 4196468 140723867763616 140086605814064 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
Current children cumulated CPU time: 16.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2767068 KiB
[startup+13.2007 s]
/proc/loadavg: 1.87 1.76 1.64 3/211 22242
/proc/meminfo: memFree=28223320/32770624 swapFree=67108860/67108860
[pid=22225] ppid=22222 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22225/stat : 22225 (xcsp3-exec) S 22222 22225 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9604278 9740288 345 18446744073709551615 4194304 5098028 140728796762064 140728796760168 139799528350332 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 16474112 140728796770682 140728796770886 140728796770886 140728796774379 0
/proc/22225/statm: 2378 345 289 221 0 87 0
[pid=22227] ppid=22225 vsize=13980732 memory=2765772 CPUtime=17.08 cores=0,2,4,6
/proc/22227/stat : 22227 (java) S 22225 22225 18108 0 -1 1077944320 30338 0 0 0 1655 53 0 0 20 0 15 0 9604289 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140723867746160 140087428939511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
/proc/22227/statm: 3495183 691443 3231 1 0 3483476 0
[pid=22227/tid=22228] ppid=22225 vsize=13980732 memory=2536 CPUtime=12.94 cores=0,2,4,6
/proc/22227/task/22228/stat : 22228 (java) R 22225 22225 18108 0 -1 4202560 14916 0 0 0 1254 40 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087433176896 140087023268187 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22229] ppid=22225 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/22227/task/22229/stat : 22229 (java) S 22225 22225 18108 0 -1 1077944384 182 0 0 0 4 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087348353808 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22230] ppid=22225 vsize=13980732 memory=2747516 CPUtime=0.07 cores=0,2,4,6
/proc/22227/task/22230/stat : 22230 (java) S 22225 22225 18108 0 -1 1077944384 128 0 0 0 5 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087347301264 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22231] ppid=22225 vsize=13980732 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/22227/task/22231/stat : 22231 (java) S 22225 22225 18108 0 -1 1077944384 116 0 0 0 5 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087346248720 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22232] ppid=22225 vsize=13980732 memory=8028626486001428583 CPUtime=0.06 cores=0,2,4,6
/proc/22227/task/22232/stat : 22232 (java) S 22225 22225 18108 0 -1 1077944384 384 0 0 0 4 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087345196176 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22233] ppid=22225 vsize=13980732 memory=7739788234605487986 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22233/stat : 22233 (java) S 22225 22225 18108 0 -1 1077944384 1952 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086614235120 140087428950658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22234] ppid=22225 vsize=13980732 memory=7739547488854032484 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22234/stat : 22234 (java) S 22225 22225 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086613181408 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22235] ppid=22225 vsize=13980732 memory=7739547488854032484 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22235/stat : 22235 (java) S 22225 22225 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086612128768 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22236] ppid=22225 vsize=13980732 memory=7522541259710293096 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22236/stat : 22236 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086611077328 140087428958107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22237] ppid=22225 vsize=13980732 memory=7522541259710293096 CPUtime=1.69 cores=0,2,4,6
/proc/22227/task/22237/stat : 22237 (java) S 22225 22225 18108 0 -1 1077944384 3928 0 0 0 169 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086610024944 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22238] ppid=22225 vsize=13980732 memory=0 CPUtime=1.64 cores=0,2,4,6
/proc/22227/task/22238/stat : 22238 (java) S 22225 22225 18108 0 -1 1077944384 4331 0 0 0 163 1 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086608972400 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22239] ppid=22225 vsize=13980732 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/22227/task/22239/stat : 22239 (java) S 22225 22225 18108 0 -1 1077944384 3077 0 0 0 47 1 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086607919856 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22240] ppid=22225 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22240/stat : 22240 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086606867552 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22241] ppid=22225 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22241/stat : 22241 (java) S 22225 22225 18108 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 9604299 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086605814064 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
Current children cumulated CPU time: 17.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2767152 KiB
[startup+13.6007 s]
/proc/loadavg: 1.87 1.76 1.64 3/211 22242
/proc/meminfo: memFree=28223320/32770624 swapFree=67108860/67108860
[pid=22225] ppid=22222 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22225/stat : 22225 (xcsp3-exec) S 22222 22225 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9604278 9740288 345 18446744073709551615 4194304 5098028 140728796762064 140728796760168 139799528350332 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 16474112 140728796770682 140728796770886 140728796770886 140728796774379 0
/proc/22225/statm: 2378 345 289 221 0 87 0
[pid=22227] ppid=22225 vsize=13980732 memory=2765772 CPUtime=17.49 cores=0,2,4,6
/proc/22227/stat : 22227 (java) S 22225 22225 18108 0 -1 1077944320 30344 0 0 0 1696 53 0 0 20 0 15 0 9604289 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140723867746160 140087428939511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
/proc/22227/statm: 3495183 691443 3231 1 0 3483476 0
[pid=22227/tid=22228] ppid=22225 vsize=13980732 memory=2436 CPUtime=13.34 cores=0,2,4,6
/proc/22227/task/22228/stat : 22228 (java) R 22225 22225 18108 0 -1 4202560 14918 0 0 0 1294 40 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087433179064 140087023107333 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22229] ppid=22225 vsize=13980732 memory=1732 CPUtime=0.06 cores=0,2,4,6
/proc/22227/task/22229/stat : 22229 (java) S 22225 22225 18108 0 -1 1077944384 182 0 0 0 4 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087348353808 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22230] ppid=22225 vsize=13980732 memory=2004 CPUtime=0.07 cores=0,2,4,6
/proc/22227/task/22230/stat : 22230 (java) S 22225 22225 18108 0 -1 1077944384 128 0 0 0 5 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087347301264 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22231] ppid=22225 vsize=13980732 memory=2436 CPUtime=0.07 cores=0,2,4,6
/proc/22227/task/22231/stat : 22231 (java) S 22225 22225 18108 0 -1 1077944384 116 0 0 0 5 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087346248720 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22232] ppid=22225 vsize=13980732 memory=1732 CPUtime=0.06 cores=0,2,4,6
/proc/22227/task/22232/stat : 22232 (java) S 22225 22225 18108 0 -1 1077944384 384 0 0 0 4 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087345196176 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22233] ppid=22225 vsize=13980732 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22233/stat : 22233 (java) S 22225 22225 18108 0 -1 1077944384 1952 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086614235120 140087428950658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22234] ppid=22225 vsize=13980732 memory=10936 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22234/stat : 22234 (java) S 22225 22225 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086613181408 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22235] ppid=22225 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22235/stat : 22235 (java) S 22225 22225 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086612128768 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22236] ppid=22225 vsize=13980732 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22236/stat : 22236 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086611077328 140087428958107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22237] ppid=22225 vsize=13980732 memory=8672 CPUtime=1.69 cores=0,2,4,6
/proc/22227/task/22237/stat : 22237 (java) S 22225 22225 18108 0 -1 1077944384 3929 0 0 0 169 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086610024944 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22238] ppid=22225 vsize=13980732 memory=1228 CPUtime=1.64 cores=0,2,4,6
/proc/22227/task/22238/stat : 22238 (java) S 22225 22225 18108 0 -1 1077944384 4331 0 0 0 163 1 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086608972400 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22239] ppid=22225 vsize=13980732 memory=792 CPUtime=0.48 cores=0,2,4,6
/proc/22227/task/22239/stat : 22239 (java) S 22225 22225 18108 0 -1 1077944384 3080 0 0 0 47 1 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086607919856 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22240] ppid=22225 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22240/stat : 22240 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086606867552 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22241] ppid=22225 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22241/stat : 22241 (java) S 22225 22225 18108 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 9604299 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086605814064 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
Current children cumulated CPU time: 17.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2767152 KiB
[startup+13.7007 s]
/proc/loadavg: 1.87 1.76 1.64 3/211 22242
/proc/meminfo: memFree=28223320/32770624 swapFree=67108860/67108860
[pid=22225] ppid=22222 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22225/stat : 22225 (xcsp3-exec) S 22222 22225 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9604278 9740288 345 18446744073709551615 4194304 5098028 140728796762064 140728796760168 139799528350332 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 16474112 140728796770682 140728796770886 140728796770886 140728796774379 0
/proc/22225/statm: 2378 345 289 221 0 87 0
[pid=22227] ppid=22225 vsize=13980732 memory=2765772 CPUtime=17.59 cores=0,2,4,6
/proc/22227/stat : 22227 (java) S 22225 22225 18108 0 -1 1077944320 30344 0 0 0 1706 53 0 0 20 0 15 0 9604289 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140723867746160 140087428939511 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
/proc/22227/statm: 3495183 691443 3231 1 0 3483476 0
[pid=22227/tid=22228] ppid=22225 vsize=13980732 memory=2765772 CPUtime=13.44 cores=0,2,4,6
/proc/22227/task/22228/stat : 22228 (java) R 22225 22225 18108 0 -1 4202560 14918 0 0 0 1304 40 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087433179064 140087024905218 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22229] ppid=22225 vsize=13980732 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/22227/task/22229/stat : 22229 (java) S 22225 22225 18108 0 -1 1077944384 182 0 0 0 4 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087348353808 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22230] ppid=22225 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22227/task/22230/stat : 22230 (java) S 22225 22225 18108 0 -1 1077944384 128 0 0 0 5 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087347301264 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22231] ppid=22225 vsize=13980732 memory=288230377007612190 CPUtime=0.07 cores=0,2,4,6
/proc/22227/task/22231/stat : 22231 (java) S 22225 22225 18108 0 -1 1077944384 116 0 0 0 5 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087346248720 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22232] ppid=22225 vsize=13980732 memory=4465 CPUtime=0.06 cores=0,2,4,6
/proc/22227/task/22232/stat : 22232 (java) S 22225 22225 18108 0 -1 1077944384 384 0 0 0 4 2 0 0 20 0 15 0 9604290 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140087345196176 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22233] ppid=22225 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22233/stat : 22233 (java) S 22225 22225 18108 0 -1 1077944384 1952 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086614235120 140087428950658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22234] ppid=22225 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22234/stat : 22234 (java) S 22225 22225 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086613181408 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22235] ppid=22225 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22235/stat : 22235 (java) S 22225 22225 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9604292 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086612128768 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22236] ppid=22225 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22236/stat : 22236 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086611077328 140087428958107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22237] ppid=22225 vsize=13980732 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/22227/task/22237/stat : 22237 (java) S 22225 22225 18108 0 -1 1077944384 3929 0 0 0 169 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086610024944 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22238] ppid=22225 vsize=13980732 memory=7512120045554986598 CPUtime=1.64 cores=0,2,4,6
/proc/22227/task/22238/stat : 22238 (java) S 22225 22225 18108 0 -1 1077944384 4331 0 0 0 163 1 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086608972400 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22239] ppid=22225 vsize=13980732 memory=7090988434644886894 CPUtime=0.48 cores=0,2,4,6
/proc/22227/task/22239/stat : 22239 (java) S 22225 22225 18108 0 -1 1077944384 3080 0 0 0 47 1 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086607919856 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22240] ppid=22225 vsize=13980732 memory=7512120045554986598 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22240/stat : 22240 (java) S 22225 22225 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9604295 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086606867552 140087428949717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
[pid=22227/tid=22241] ppid=22225 vsize=13980732 memory=7451894300419320161 CPUtime=0 cores=0,2,4,6
/proc/22227/task/22241/stat : 22241 (java) S 22225 22225 18108 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 9604299 14316269568 691443 18446744073709551615 4194304 4196468 140723867763616 140086605814064 140087428950658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39616512 140723867771314 140723867771490 140723867771490 140723867774927 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2767152 KiB
Child status: 0
Real time (s): 13.7236
CPU time (s): 17.632
CPU user time (s): 17.0792
CPU system time (s): 0.552835
CPU usage (%): 128.48
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2769228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0792
system time used= 0.552835
maximum resident set size= 2767916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2896
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 22225
# total CPU time (s): 17.632
# total CPU user time (s): 17.0792
# total CPU system time (s): 0.552835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.116536 second user time and 0.161305 second system time
The end