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 (15024 MiB free)
  memory of node 1: 16384 MiB (15336 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282555-1503127790/watcher-4282555-1503127790 -o /tmp/evaluation-result-4282555-1503127790/solver-4282555-1503127790 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 199343586 HOME/instance-4282555-1503127790.xml 

running on 4 cores: 1,3,5,7

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=14264, runsolver pid=14261

[startup+0.100367 s]*
/proc/loadavg: 2.49 2.23 1.99 3/198 14267
/proc/meminfo: memFree=31089064/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/statm: 2378 345 289 221 0 87 0
[pid=14266] ppid=14264 vsize=13358712 memory=12520 CPUtime=0 cores=1,3,5,7
/proc/14266/stat : 14266 (java) S 14264 14264 8557 0 -1 1077944320 2905 0 0 0 0 0 0 0 20 0 6 0 114974155 13679321088 3130 18446744073709551615 4194304 4196468 140725900678816 140725900661360 140020312981239 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
/proc/14266/statm: 3339678 3130 1579 1 0 3329175 0
[pid=14266/tid=14267] ppid=14264 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (java) R 14264 14264 8557 0 -1 4202560 1755 0 0 0 0 0 0 0 20 0 6 0 114974155 13679321088 3196 18446744073709551615 4194304 4196468 140725900678816 140020317217360 140020273962870 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14268] ppid=14264 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 114974156 13679321088 3196 18446744073709551615 4194304 4196468 140725900678816 140020232395664 140020312991445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14269] ppid=14264 vsize=13358712 memory=139978712237696 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 114974156 13679321088 3262 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 114974156 13679321088 3262 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 114974156 13679321088 3262 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 13900 KiB

[startup+0.209948 s]*
/proc/loadavg: 2.49 2.23 1.99 3/211 14280
/proc/meminfo: memFree=31078296/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/statm: 2378 345 289 221 0 87 0
[pid=14266] ppid=14264 vsize=13974352 memory=24532 CPUtime=0.07 cores=1,3,5,7
/proc/14266/stat : 14266 (java) S 14264 14264 8557 0 -1 1077944320 5078 0 0 0 6 1 0 0 20 0 15 0 114974155 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140725900661360 140020312981239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
/proc/14266/statm: 3493588 6133 2721 1 0 3482964 0
[pid=14266/tid=14267] ppid=14264 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (java) R 14264 14264 8557 0 -1 4202560 3239 0 0 0 5 0 0 0 20 0 15 0 114974155 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140020317212336 140019910190961 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14268] ppid=14264 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140020232395664 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14269] ppid=14264 vsize=13974352 memory=3689209517464045216 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114974156 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14272] ppid=14264 vsize=13974352 memory=139978712237696 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14272/stat : 14272 (java) S 14264 14264 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114974157 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019791509616 140020312992386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14273] ppid=14264 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14273/stat : 14273 (java) S 14264 14264 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114974157 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019790455584 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14274] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14274/stat : 14274 (java) S 14264 14264 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114974158 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019789403248 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14275] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14275/stat : 14275 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019788351568 140020312999835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14276] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14276/stat : 14276 (java) S 14264 14264 8557 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 114974160 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019787299440 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14277] ppid=14264 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14277/stat : 14277 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019786246640 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14278] ppid=14264 vsize=13974352 memory=139978712237696 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14278/stat : 14278 (java) S 14264 14264 8557 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 114974160 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019785194352 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14279] ppid=14264 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14279/stat : 14279 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019784141792 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14280] ppid=14264 vsize=13974352 memory=139978712237696 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14280/stat : 14280 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974165 14309736448 6133 18446744073709551615 4194304 4196468 140725900678816 140019783088560 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25912 KiB

[startup+0.311067 s]*
/proc/loadavg: 2.49 2.23 1.99 3/211 14280
/proc/meminfo: memFree=31062748/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/statm: 2378 345 289 221 0 87 0
[pid=14266] ppid=14264 vsize=13974352 memory=36600 CPUtime=0.26 cores=1,3,5,7
/proc/14266/stat : 14266 (java) S 14264 14264 8557 0 -1 1077944320 8824 0 0 0 23 3 0 0 20 0 15 0 114974155 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140725900661360 140020312981239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
/proc/14266/statm: 3493588 9150 2974 1 0 3482964 0
[pid=14266/tid=14267] ppid=14264 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (java) R 14264 14264 8557 0 -1 4202560 6032 0 0 0 14 2 0 0 20 0 15 0 114974155 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140020317202768 140020313003165 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14268] ppid=14264 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140020232395664 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14269] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114974156 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14272] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14272/stat : 14272 (java) S 14264 14264 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114974157 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019791509616 140020312992386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14273] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14273/stat : 14273 (java) S 14264 14264 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114974157 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019790455584 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14274] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14274/stat : 14274 (java) S 14264 14264 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114974158 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019789403248 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14275] ppid=14264 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14275/stat : 14275 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019788351568 140020312999835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14276] ppid=14264 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14266/task/14276/stat : 14276 (java) S 14264 14264 8557 0 -1 1077944384 653 0 0 0 1 0 0 0 20 0 15 0 114974160 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019787299440 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14277] ppid=14264 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14266/task/14277/stat : 14277 (java) R 14264 14264 8557 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 15 0 114974160 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019786246640 140020305966281 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14278] ppid=14264 vsize=13974352 memory=139978712237696 CPUtime=0.05 cores=1,3,5,7
/proc/14266/task/14278/stat : 14278 (java) R 14264 14264 8557 0 -1 4202560 774 0 0 0 5 0 0 0 20 0 15 0 114974160 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019785194352 140020297061726 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14279] ppid=14264 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14279/stat : 14279 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019784141792 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14280] ppid=14264 vsize=13974352 memory=139978712237696 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14280/stat : 14280 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974165 14309736448 9150 18446744073709551615 4194304 4196468 140725900678816 140019783088560 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37980 KiB

[startup+0.700829 s]
/proc/loadavg: 2.49 2.23 1.99 6/211 14280
/proc/meminfo: memFree=31045384/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/statm: 2378 345 289 221 0 87 0
[pid=14266] ppid=14264 vsize=13978684 memory=79680 CPUtime=1.32 cores=1,3,5,7
/proc/14266/stat : 14266 (java) S 14264 14264 8557 0 -1 1077944320 13613 0 0 0 128 4 0 0 20 0 15 0 114974155 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140725900661360 140020312981239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
/proc/14266/statm: 3494671 19920 3162 1 0 3482964 0
[pid=14266/tid=14267] ppid=14264 vsize=13978684 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (java) R 14264 14264 8557 0 -1 4202560 7850 0 0 0 50 3 0 0 20 0 15 0 114974155 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140020317215136 140019912934047 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14268] ppid=14264 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140020232395664 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14269] ppid=14264 vsize=13978684 memory=164 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114974156 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974156 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14272] ppid=14264 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14272/stat : 14272 (java) S 14264 14264 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114974157 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019791509616 140020312992386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14273] ppid=14264 vsize=13978684 memory=8458433173656909621 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14273/stat : 14273 (java) S 14264 14264 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114974157 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019790455584 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14274] ppid=14264 vsize=13978684 memory=7086521019830130256 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14274/stat : 14274 (java) S 14264 14264 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114974158 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019789403248 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14275] ppid=14264 vsize=13978684 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14275/stat : 14275 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019788351568 140020312999835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14276] ppid=14264 vsize=13978684 memory=4420 CPUtime=0.24 cores=1,3,5,7
/proc/14266/task/14276/stat : 14276 (java) R 14264 14264 8557 0 -1 4202560 1428 0 0 0 24 0 0 0 20 0 15 0 114974160 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019787299440 140020297373220 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14277] ppid=14264 vsize=13978684 memory=6628 CPUtime=0.25 cores=1,3,5,7
/proc/14266/task/14277/stat : 14277 (java) R 14264 14264 8557 0 -1 4202560 1328 0 0 0 25 0 0 0 20 0 15 0 114974160 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019786235312 140020290576369 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14278] ppid=14264 vsize=13978684 memory=8836 CPUtime=0.28 cores=1,3,5,7
/proc/14266/task/14278/stat : 14278 (java) S 14264 14264 8557 0 -1 1077944384 1700 0 0 0 28 0 0 0 20 0 15 0 114974160 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019785194352 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14279] ppid=14264 vsize=13978684 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14279/stat : 14279 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019784141792 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14280] ppid=14264 vsize=13978684 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14280/stat : 14280 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974165 14314172416 19920 18446744073709551615 4194304 4196468 140725900678816 140019783088560 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 81060 KiB

[startup+1.50107 s]
/proc/loadavg: 2.49 2.23 1.99 5/211 14280
/proc/meminfo: memFree=30929220/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/statm: 2378 345 289 221 0 87 0
[pid=14266] ppid=14264 vsize=13980732 memory=200840 CPUtime=3.93 cores=1,3,5,7
/proc/14266/stat : 14266 (java) S 14264 14264 8557 0 -1 1077944320 17305 0 0 0 384 9 0 0 20 0 15 0 114974155 14316269568 50210 18446744073709551615 4194304 4196468 140725900678816 140725900661360 140020312981239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
/proc/14266/statm: 3495183 50210 3207 1 0 3483476 0
[pid=14266/tid=14267] ppid=14264 vsize=13980732 memory=-8774313645642428999 CPUtime=1.31 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (java) R 14264 14264 8557 0 -1 4202560 8494 0 0 0 126 5 0 0 20 0 15 0 114974155 14316269568 50210 18446744073709551615 4194304 4196468 140725900678816 140020317216584 140019915024765 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14268] ppid=14264 vsize=13980732 memory=7378139081855234157 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (java) S 14264 14264 8557 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 114974156 14316269568 50210 18446744073709551615 4194304 4196468 140725900678816 140020232395664 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14269] ppid=14264 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 114974156 14316269568 50210 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 114974156 14316269568 50210 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 114974156 14316269568 50210 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14272] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14272/stat : 14272 (java) S 14264 14264 8557 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 50210 18446744073709551615 4194304 4196468 140725900678816 140019791509616 140020312992386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14273] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14273/stat : 14273 (java) S 14264 14264 8557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 50210 18446744073709551615 4194304 4196468 140725900678816 140019790455584 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14274] ppid=14264 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7

################
# More data... #
################

/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 15 0 114974156 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13980732 memory=1672 CPUtime=0.03 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 66 0 0 0 2 1 0 0 20 0 15 0 114974156 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13980732 memory=5768 CPUtime=0.03 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 100 0 0 0 2 1 0 0 20 0 15 0 114974156 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14272] ppid=14264 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14272/stat : 14272 (java) S 14264 14264 8557 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019791509616 140020312992386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14273] ppid=14264 vsize=13980732 memory=872 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14273/stat : 14273 (java) S 14264 14264 8557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019790455584 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14274] ppid=14264 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14274/stat : 14274 (java) S 14264 14264 8557 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 114974158 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019789403248 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14275] ppid=14264 vsize=13980732 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14275/stat : 14275 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019788351568 140020312999835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14276] ppid=14264 vsize=13980732 memory=7332 CPUtime=1.7 cores=1,3,5,7
/proc/14266/task/14276/stat : 14276 (java) S 14264 14264 8557 0 -1 1077944384 3598 0 0 0 169 1 0 0 20 0 15 0 114974160 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019787299440 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14277] ppid=14264 vsize=13980732 memory=1628 CPUtime=1.63 cores=1,3,5,7
/proc/14266/task/14277/stat : 14277 (java) S 14264 14264 8557 0 -1 1077944384 3062 0 0 0 163 0 0 0 20 0 15 0 114974160 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019786246640 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14278] ppid=14264 vsize=13980732 memory=14340 CPUtime=0.66 cores=1,3,5,7
/proc/14266/task/14278/stat : 14278 (java) S 14264 14264 8557 0 -1 1077944384 2797 0 0 0 66 0 0 0 20 0 15 0 114974160 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019785194352 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14279] ppid=14264 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14279/stat : 14279 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019784141792 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14280] ppid=14264 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14280/stat : 14280 (java) S 14264 14264 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114974165 14316269568 67493 18446744073709551615 4194304 4196468 140725900678816 140019783088560 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 271352 KiB

[startup+4.0008 s]*
/proc/loadavg: 2.45 2.22 1.99 3/211 14280
/proc/meminfo: memFree=30767072/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/statm: 2378 345 289 221 0 87 0
[pid=14266] ppid=14264 vsize=13980732 memory=335136 CPUtime=8.36 cores=1,3,5,7
/proc/14266/stat : 14266 (java) S 14264 14264 8557 0 -1 1077944320 25762 0 0 0 820 16 0 0 20 0 15 0 114974155 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140725900661360 140020312981239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
/proc/14266/statm: 3495183 83784 3237 1 0 3483476 0
[pid=14266/tid=14267] ppid=14264 vsize=13980732 memory=-7521736447810188379 CPUtime=3.8 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (java) R 14264 14264 8557 0 -1 4202560 9443 0 0 0 372 8 0 0 20 0 15 0 114974155 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140020317219928 140019916624691 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14268] ppid=14264 vsize=13980732 memory=4872558044660077418 CPUtime=0.03 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (java) S 14264 14264 8557 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 15 0 114974156 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140020232395664 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14269] ppid=14264 vsize=13980732 memory=232644 CPUtime=0.02 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 15 0 114974156 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 66 0 0 0 2 1 0 0 20 0 15 0 114974156 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 100 0 0 0 2 1 0 0 20 0 15 0 114974156 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14272] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14272/stat : 14272 (java) S 14264 14264 8557 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019791509616 140020312992386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14273] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14273/stat : 14273 (java) S 14264 14264 8557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019790455584 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14274] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14274/stat : 14274 (java) S 14264 14264 8557 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 114974158 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019789403248 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14275] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14275/stat : 14275 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019788351568 140020312999835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14276] ppid=14264 vsize=13980732 memory=6943526294502006880 CPUtime=1.99 cores=1,3,5,7
/proc/14266/task/14276/stat : 14276 (java) S 14264 14264 8557 0 -1 1077944384 7343 0 0 0 198 1 0 0 20 0 15 0 114974160 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019787299440 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14277] ppid=14264 vsize=13980732 memory=6656426216303648864 CPUtime=1.72 cores=1,3,5,7
/proc/14266/task/14277/stat : 14277 (java) S 14264 14264 8557 0 -1 1077944384 4269 0 0 0 172 0 0 0 20 0 15 0 114974160 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019786246640 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14278] ppid=14264 vsize=13980732 memory=6655300316396806240 CPUtime=0.67 cores=1,3,5,7
/proc/14266/task/14278/stat : 14278 (java) S 14264 14264 8557 0 -1 1077944384 3003 0 0 0 67 0 0 0 20 0 15 0 114974160 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019785194352 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14279] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14279/stat : 14279 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019784141792 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14280] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14280/stat : 14280 (java) S 14264 14264 8557 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 114974165 14316269568 83784 18446744073709551615 4194304 4196468 140725900678816 140019783088560 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 336516 KiB

[startup+4.80079 s]
/proc/loadavg: 2.45 2.22 1.99 3/211 14280
/proc/meminfo: memFree=30767072/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/statm: 2378 345 289 221 0 87 0
[pid=14266] ppid=14264 vsize=13980732 memory=385208 CPUtime=9.33 cores=1,3,5,7
/proc/14266/stat : 14266 (java) S 14264 14264 8557 0 -1 1077944320 28718 0 0 0 913 20 0 0 20 0 15 0 114974155 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140725900661360 140020312981239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
/proc/14266/statm: 3495183 96302 3240 1 0 3483476 0
[pid=14266/tid=14267] ppid=14264 vsize=13980732 memory=-8774313645642428999 CPUtime=4.55 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (java) R 14264 14264 8557 0 -1 4202560 9514 0 0 0 447 8 0 0 20 0 15 0 114974155 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140020317221200 140019916624603 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14268] ppid=14264 vsize=13980732 memory=279957108693648 CPUtime=0.06 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (java) S 14264 14264 8557 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 15 0 114974156 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140020232395664 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14269] ppid=14264 vsize=13980732 memory=-6586668835053290911 CPUtime=0.05 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 179 0 0 0 4 1 0 0 20 0 15 0 114974156 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13980732 memory=9208 CPUtime=0.05 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 902 0 0 0 4 1 0 0 20 0 15 0 114974156 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13980732 memory=6441361776102954850 CPUtime=0.06 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 189 0 0 0 4 2 0 0 20 0 15 0 114974156 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14272] ppid=14264 vsize=13980732 memory=7519151349382407764 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14272/stat : 14272 (java) S 14264 14264 8557 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019791509616 140020312992386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14273] ppid=14264 vsize=13980732 memory=7451894300419320161 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14273/stat : 14273 (java) S 14264 14264 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019790455648 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14274] ppid=14264 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14274/stat : 14274 (java) S 14264 14264 8557 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 114974158 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019789403264 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14275] ppid=14264 vsize=13980732 memory=310512 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14275/stat : 14275 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019788351568 140020312999835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14276] ppid=14264 vsize=13980732 memory=6944656592387989600 CPUtime=2.04 cores=1,3,5,7
/proc/14266/task/14276/stat : 14276 (java) S 14264 14264 8557 0 -1 1077944384 7402 0 0 0 203 1 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019787299440 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14277] ppid=14264 vsize=13980732 memory=6944656592455360604 CPUtime=1.75 cores=1,3,5,7
/proc/14266/task/14277/stat : 14277 (java) S 14264 14264 8557 0 -1 1077944384 4342 0 0 0 175 0 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019786246640 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14278] ppid=14264 vsize=13980732 memory=6943526294502006880 CPUtime=0.68 cores=1,3,5,7
/proc/14266/task/14278/stat : 14278 (java) S 14264 14264 8557 0 -1 1077944384 4014 0 0 0 68 0 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019785194352 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14279] ppid=14264 vsize=13980732 memory=-7361174377247368086 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14279/stat : 14279 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019784141792 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14280] ppid=14264 vsize=13980732 memory=-7595754389018307680 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14280/stat : 14280 (java) S 14264 14264 8557 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 114974165 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019783088560 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
Current children cumulated CPU time: 9.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 386588 KiB

[startup+5.0008 s]*
/proc/loadavg: 2.45 2.22 1.99 3/211 14280
/proc/meminfo: memFree=30716920/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/statm: 2378 345 289 221 0 87 0
[pid=14266] ppid=14264 vsize=13980732 memory=385208 CPUtime=9.54 cores=1,3,5,7
/proc/14266/stat : 14266 (java) S 14264 14264 8557 0 -1 1077944320 28718 0 0 0 934 20 0 0 20 0 15 0 114974155 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140725900661360 140020312981239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
/proc/14266/statm: 3495183 96302 3240 1 0 3483476 0
[pid=14266/tid=14267] ppid=14264 vsize=13980732 memory=27992919332356134 CPUtime=4.76 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (java) R 14264 14264 8557 0 -1 4202560 9514 0 0 0 468 8 0 0 20 0 15 0 114974155 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140020317221200 140019917256606 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14268] ppid=14264 vsize=13980732 memory=308 CPUtime=0.06 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (java) S 14264 14264 8557 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 15 0 114974156 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140020232395664 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14269] ppid=14264 vsize=13980732 memory=139978712248239 CPUtime=0.05 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (java) S 14264 14264 8557 0 -1 1077944384 179 0 0 0 4 1 0 0 20 0 15 0 114974156 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140020231342864 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14270] ppid=14264 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14266/task/14270/stat : 14270 (java) S 14264 14264 8557 0 -1 1077944384 902 0 0 0 4 1 0 0 20 0 15 0 114974156 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140020230290576 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14271] ppid=14264 vsize=13980732 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/14266/task/14271/stat : 14271 (java) S 14264 14264 8557 0 -1 1077944384 189 0 0 0 4 2 0 0 20 0 15 0 114974156 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019910044688 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14272] ppid=14264 vsize=13980732 memory=139978712237696 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14272/stat : 14272 (java) S 14264 14264 8557 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019791509616 140020312992386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14273] ppid=14264 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14273/stat : 14273 (java) S 14264 14264 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 114974157 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019790455648 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14274] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14274/stat : 14274 (java) S 14264 14264 8557 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 114974158 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019789403264 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14275] ppid=14264 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14275/stat : 14275 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019788351568 140020312999835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14276] ppid=14264 vsize=13980732 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/14266/task/14276/stat : 14276 (java) S 14264 14264 8557 0 -1 1077944384 7402 0 0 0 203 1 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019787299440 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14277] ppid=14264 vsize=13980732 memory=-1 CPUtime=1.75 cores=1,3,5,7
/proc/14266/task/14277/stat : 14277 (java) S 14264 14264 8557 0 -1 1077944384 4342 0 0 0 175 0 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019786246640 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14278] ppid=14264 vsize=13980732 memory=139978712237696 CPUtime=0.68 cores=1,3,5,7
/proc/14266/task/14278/stat : 14278 (java) S 14264 14264 8557 0 -1 1077944384 4014 0 0 0 68 0 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019785194352 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14279] ppid=14264 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14279/stat : 14279 (java) S 14264 14264 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114974160 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019784141792 140020312991445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
[pid=14266/tid=14280] ppid=14264 vsize=13980732 memory=139978712237696 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14280/stat : 14280 (java) S 14264 14264 8557 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 114974165 14316269568 96302 18446744073709551615 4194304 4196468 140725900678816 140019783088560 140020312992386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140725900685745 140725900685921 140725900685921 140725900689359 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 386588 KiB

[startup+5.10982 s]
/proc/loadavg: 2.45 2.22 1.99 3/211 14280
/proc/meminfo: memFree=30716920/32770624 swapFree=67105588/67108860
[pid=14264] ppid=14261 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14264/stat : 14264 (xcsp3-exec) S 14261 14264 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114974145 9740288 345 18446744073709551615 4194304 5098028 140728601878128 140728601876232 139951710401148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 21106688 140728601887097 140728601887301 140728601887301 140728601890795 0
/proc/14264/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: 0
Real time (s): 5.18578
CPU time (s): 9.63216
CPU user time (s): 9.42011
CPU system time (s): 0.212053
CPU usage (%): 185.742
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 386588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.42011
system time used= 0.212053
maximum resident set size= 386028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29679
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2508
involuntary context switches= 34


# summary of solver processes directly reported to runsolver:
#   pid: 14264
#   total CPU time (s): 9.63216
#   total CPU user time (s): 9.42011
#   total CPU system time (s): 0.212053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048041 second user time and 0.100985 second system time

The end