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 (14372 MiB free)
memory of node 1: 16384 MiB (15357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272132-1502734079/watcher-4272132-1502734079 -o /tmp/evaluation-result-4272132-1502734079/solver-4272132-1502734079 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 296437125 HOME/instance-4272132-1502734079.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=23502, runsolver pid=23499
[startup+0.100996 s]*
/proc/loadavg: 2.01 1.92 1.88 3/197 23504
/proc/meminfo: memFree=30442628/32770624 swapFree=67108860/67108860
[pid=23502] ppid=23499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=11657624 memory=8572 CPUtime=0 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 1892 0 0 0 0 0 0 0 20 0 2 0 75628576 11937406976 2143 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 2914406 2143 1151 1 0 2904376 0
[pid=23504/tid=23505] ppid=23502 vsize=11657624 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) R 23502 23502 897 0 -1 4202560 893 0 0 0 0 0 0 0 20 0 2 0 75628576 11937406976 2341 18446744073709551615 4194304 4196468 140732871134592 140240615217568 140240603264928 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 9952 KiB
[startup+0.209586 s]*
/proc/loadavg: 2.01 1.92 1.88 2/210 23517
/proc/meminfo: memFree=30431224/32770624 swapFree=67108860/67108860
[pid=23502] ppid=23499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=13907304 memory=21656 CPUtime=0.05 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 4793 0 0 0 5 0 0 0 20 0 14 0 75628576 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 3476826 5414 2580 1 0 3466323 0
[pid=23504/tid=23505] ppid=23502 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) D 23502 23502 897 0 -1 4202560 2977 0 0 0 4 0 0 0 20 0 14 0 75628576 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240615212960 140240610997501 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23506] ppid=23502 vsize=13907304 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23506/stat : 23506 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75628577 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240552922256 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23507] ppid=23502 vsize=13907304 memory=139894834217040 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23507/stat : 23507 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75628577 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240551869456 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23508] ppid=23502 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23508/stat : 23508 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75628577 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240550816656 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23509] ppid=23502 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23509/stat : 23509 (java) S 23502 23502 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75628577 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240549763856 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23510] ppid=23502 vsize=13907304 memory=139894834194048 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23510/stat : 23510 (java) S 23502 23502 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75628578 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240156727664 140240610986626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23511] ppid=23502 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23511/stat : 23511 (java) S 23502 23502 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 75628579 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240155673632 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23512] ppid=23502 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23512/stat : 23512 (java) S 23502 23502 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 75628579 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240154620784 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23513] ppid=23502 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23513/stat : 23513 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75628581 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240153569104 140240610994075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23514] ppid=23502 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23514/stat : 23514 (java) S 23502 23502 897 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 75628581 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240152517488 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23515] ppid=23502 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23515/stat : 23515 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75628581 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240151464688 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23516] ppid=23502 vsize=13907304 memory=139894834194048 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23516/stat : 23516 (java) S 23502 23502 897 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 14 0 75628581 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240150411888 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23517] ppid=23502 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23517/stat : 23517 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75628581 14241079296 5414 18446744073709551615 4194304 4196468 140732871134592 140240149359328 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23036 KiB
[startup+0.309967 s]*
/proc/loadavg: 2.01 1.92 1.88 5/211 23518
/proc/meminfo: memFree=30423320/32770624 swapFree=67108860/67108860
[pid=23502] ppid=23499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=13974352 memory=31184 CPUtime=0.21 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 6247 0 0 0 20 1 0 0 20 0 15 0 75628576 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 3493588 7796 2964 1 0 3482964 0
[pid=23504/tid=23505] ppid=23502 vsize=13974352 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) R 23502 23502 897 0 -1 4202560 3579 0 0 0 12 0 0 0 20 0 15 0 75628576 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240615206656 140240610997405 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23506] ppid=23502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23506/stat : 23506 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240552922256 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23507] ppid=23502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23507/stat : 23507 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240551869456 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23508] ppid=23502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23508/stat : 23508 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240550816656 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23509] ppid=23502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23509/stat : 23509 (java) S 23502 23502 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75628577 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240549763856 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23510] ppid=23502 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23510/stat : 23510 (java) S 23502 23502 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75628578 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240156727664 140240610986626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23511] ppid=23502 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23511/stat : 23511 (java) S 23502 23502 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75628579 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240155673632 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23512] ppid=23502 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23512/stat : 23512 (java) S 23502 23502 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75628579 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240154620784 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23513] ppid=23502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23513/stat : 23513 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240153569104 140240610994075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23514] ppid=23502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23514/stat : 23514 (java) S 23502 23502 897 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 75628581 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240152517488 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23515] ppid=23502 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23504/task/23515/stat : 23515 (java) S 23502 23502 897 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 15 0 75628581 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240151464688 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23516] ppid=23502 vsize=13974352 memory=139894834194048 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23516/stat : 23516 (java) R 23502 23502 897 0 -1 4202560 697 0 0 0 4 0 0 0 20 0 15 0 75628581 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240150411888 140240595055966 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23517] ppid=23502 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23517/stat : 23517 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240149359328 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23518] ppid=23502 vsize=13974352 memory=139894834194048 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23518/stat : 23518 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628589 14309736448 7796 18446744073709551615 4194304 4196468 140732871134592 140240148306608 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32564 KiB
[startup+0.710447 s]
/proc/loadavg: 2.01 1.92 1.88 3/211 23518
/proc/meminfo: memFree=30407212/32770624 swapFree=67108860/67108860
[pid=23502] ppid=23499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=13980732 memory=60580 CPUtime=1.11 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 12739 0 0 0 106 5 0 0 20 0 15 0 75628576 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 3495183 15145 3174 1 0 3483476 0
[pid=23504/tid=23505] ppid=23502 vsize=13980732 memory=2244 CPUtime=0.52 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) R 23502 23502 897 0 -1 4202560 8538 0 0 0 48 4 0 0 20 0 15 0 75628576 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240615211488 140240610987414 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23506] ppid=23502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23506/stat : 23506 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240552922256 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23507] ppid=23502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23507/stat : 23507 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240551869456 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23508] ppid=23502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23508/stat : 23508 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240550816656 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23509] ppid=23502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23509/stat : 23509 (java) S 23502 23502 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75628577 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240549763856 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23510] ppid=23502 vsize=13980732 memory=3833462821668088416 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23510/stat : 23510 (java) S 23502 23502 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75628578 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240156727664 140240610986626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23511] ppid=23502 vsize=13980732 memory=279789470570464 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23511/stat : 23511 (java) S 23502 23502 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240155673632 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23512] ppid=23502 vsize=13980732 memory=279789470570240 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23512/stat : 23512 (java) S 23502 23502 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240154620784 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23513] ppid=23502 vsize=13980732 memory=279789470491616 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23513/stat : 23513 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240153569104 140240610994075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23514] ppid=23502 vsize=13980732 memory=279789470491808 CPUtime=0.15 cores=1,3,5,7
/proc/23504/task/23514/stat : 23514 (java) S 23502 23502 897 0 -1 1077944384 939 0 0 0 15 0 0 0 20 0 15 0 75628581 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240152517488 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23515] ppid=23502 vsize=13980732 memory=279789470492000 CPUtime=0.16 cores=1,3,5,7
/proc/23504/task/23515/stat : 23515 (java) R 23502 23502 897 0 -1 4202560 634 0 0 0 16 0 0 0 20 0 15 0 75628581 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240151455616 140240594461533 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23516] ppid=23502 vsize=13980732 memory=279789470492288 CPUtime=0.25 cores=1,3,5,7
/proc/23504/task/23516/stat : 23516 (java) R 23502 23502 897 0 -1 4202560 1323 0 0 0 25 0 0 0 20 0 15 0 75628581 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240150411888 140240603212606 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23517] ppid=23502 vsize=13980732 memory=279789470492480 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23517/stat : 23517 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240149359328 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23518] ppid=23502 vsize=13980732 memory=279789470492864 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23518/stat : 23518 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628589 14316269568 15145 18446744073709551615 4194304 4196468 140732871134592 140240148306608 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61960 KiB
[startup+1.50083 s]
/proc/loadavg: 2.01 1.92 1.88 6/211 23518
/proc/meminfo: memFree=30376056/32770624 swapFree=67108860/67108860
[pid=23502] ppid=23499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=13980732 memory=98924 CPUtime=3.67 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 24843 0 0 0 360 7 0 0 20 0 15 0 75628576 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 3495183 24731 3202 1 0 3483476 0
[pid=23504/tid=23505] ppid=23502 vsize=13980732 memory=2244 CPUtime=1.31 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) R 23502 23502 897 0 -1 4202560 9667 0 0 0 127 4 0 0 20 0 15 0 75628576 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240615211456 140240232610545 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23506] ppid=23502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23506/stat : 23506 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240552922256 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23507] ppid=23502 vsize=13980732 memory=7668337600966779479 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23507/stat : 23507 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240551869456 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23508] ppid=23502 vsize=13980732 memory=7594593334414370901 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23508/stat : 23508 (java) S 23502 23502 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75628577 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240550816656 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23509] ppid=23502 vsize=13980732 memory=7445440020922608532 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23509/stat : 23509 (java) S 23502 23502 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75628577 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240549763856 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23510] ppid=23502 vsize=13980732 memory=14391898149 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23510/stat : 23510 (java) S 23502 23502 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75628578 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240156727664 140240610986626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23511] ppid=23502 vsize=13980732 memory=95640 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23511/stat : 23511 (java) S 23502 23502 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240155673632 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23512] ppid=23502 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23512/stat : 23512 (java) S 23502 23502 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240154620784 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23513] ppid=23502 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23513/stat : 23513 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240153569104 140240610994075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23514] ppid=23502 vsize=13980732 memory=6944656575208382560 CPUtime=0.93 cores=1,3,5,7
/proc/23504/task/23514/stat : 23514 (java) R 23502 23502 897 0 -1 4202560 7243 0 0 0 93 0 0 0 20 0 15 0 75628581 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240152504032 140240592498218 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23515] ppid=23502 vsize=13980732 memory=8226496019563506588 CPUtime=0.95 cores=1,3,5,7
/proc/23504/task/23515/stat : 23515 (java) R 23502 23502 897 0 -1 4202560 4133 0 0 0 94 1 0 0 20 0 15 0 75628581 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240151450912 140240590231947 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23516] ppid=23502 vsize=13980732 memory=-6158907362674458256 CPUtime=0.46 cores=1,3,5,7
/proc/23504/task/23516/stat : 23516 (java) R 23502 23502 897 0 -1 1077944384 2487 0 0 0 45 1 0 0 20 0 15 0 75628581 14316269568 24731 18446744073709551615 4194304 4196468 140732871134592 140240150411888 140240610986626 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23517] ppid=23502 vsize=13980732 memory=15745350110221 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=13980732 memory=202456 CPUtime=84.65 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 54130 0 0 0 8449 16 0 0 20 0 15 0 75628576 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 3495183 50614 3244 1 0 3483476 0
[pid=23504/tid=23505] ppid=23502 vsize=13980732 memory=-8774313645642428999 CPUtime=78.13 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) R 23502 23502 897 0 -1 4202560 14866 0 0 0 7807 6 0 0 20 0 15 0 75628576 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240615214816 140240234346700 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23506] ppid=23502 vsize=13980732 memory=640 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23506/stat : 23506 (java) S 23502 23502 897 0 -1 1077944384 2027 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240552922256 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23507] ppid=23502 vsize=13980732 memory=1792 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23507/stat : 23507 (java) S 23502 23502 897 0 -1 1077944384 1317 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240551869456 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23508] ppid=23502 vsize=13980732 memory=3904 CPUtime=0.05 cores=1,3,5,7
/proc/23504/task/23508/stat : 23508 (java) S 23502 23502 897 0 -1 1077944384 1080 0 0 0 5 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240550816656 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23509] ppid=23502 vsize=13980732 memory=960 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23509/stat : 23509 (java) S 23502 23502 897 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240549763856 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23510] ppid=23502 vsize=13980732 memory=202456 CPUtime=0.02 cores=1,3,5,7
/proc/23504/task/23510/stat : 23510 (java) S 23502 23502 897 0 -1 1077944384 1294 0 0 0 2 0 0 0 20 0 15 0 75628578 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240156727664 140240610986626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23511] ppid=23502 vsize=13980732 memory=11000 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23511/stat : 23511 (java) S 23502 23502 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240155673632 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23512] ppid=23502 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23512/stat : 23512 (java) S 23502 23502 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240154620784 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23513] ppid=23502 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23513/stat : 23513 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240153569104 140240610994075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23514] ppid=23502 vsize=13980732 memory=23296 CPUtime=2.86 cores=1,3,5,7
/proc/23504/task/23514/stat : 23514 (java) S 23502 23502 897 0 -1 1077944384 13116 0 0 0 285 1 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240152517488 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23515] ppid=23502 vsize=13980732 memory=1380 CPUtime=2.72 cores=1,3,5,7
/proc/23504/task/23515/stat : 23515 (java) S 23502 23502 897 0 -1 1077944384 12204 0 0 0 270 2 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240151464688 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23516] ppid=23502 vsize=13980732 memory=202456 CPUtime=0.63 cores=1,3,5,7
/proc/23504/task/23516/stat : 23516 (java) S 23502 23502 897 0 -1 1077944384 6008 0 0 0 62 1 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240150411888 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23517] ppid=23502 vsize=13980732 memory=301751321700130038 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23517/stat : 23517 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240149359328 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23518] ppid=23502 vsize=13980732 memory=8305315425968087136 CPUtime=0.01 cores=1,3,5,7
/proc/23504/task/23518/stat : 23518 (java) S 23502 23502 897 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 75628589 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240148306608 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
Current children cumulated CPU time: 84.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203836 KiB
[startup+79.2007 s]
/proc/loadavg: 1.83 1.88 1.86 3/211 23522
/proc/meminfo: memFree=30107308/32770624 swapFree=67108860/67108860
[pid=23502] ppid=23499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=13980732 memory=202456 CPUtime=85.45 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 54130 0 0 0 8529 16 0 0 20 0 15 0 75628576 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 3495183 50614 3244 1 0 3483476 0
[pid=23504/tid=23505] ppid=23502 vsize=13980732 memory=1110 CPUtime=78.93 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) R 23502 23502 897 0 -1 4202560 14866 0 0 0 7887 6 0 0 20 0 15 0 75628576 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240615214816 140240234624992 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23506] ppid=23502 vsize=13980732 memory=595 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23506/stat : 23506 (java) S 23502 23502 897 0 -1 1077944384 2027 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240552922256 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23507] ppid=23502 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23507/stat : 23507 (java) S 23502 23502 897 0 -1 1077944384 1317 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240551869456 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23508] ppid=23502 vsize=13980732 memory=-8774313645642428999 CPUtime=0.05 cores=1,3,5,7
/proc/23504/task/23508/stat : 23508 (java) S 23502 23502 897 0 -1 1077944384 1080 0 0 0 5 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240550816656 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23509] ppid=23502 vsize=13980732 memory=279789470847680 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23509/stat : 23509 (java) S 23502 23502 897 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240549763856 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23510] ppid=23502 vsize=13980732 memory=279789470896832 CPUtime=0.02 cores=1,3,5,7
/proc/23504/task/23510/stat : 23510 (java) S 23502 23502 897 0 -1 1077944384 1294 0 0 0 2 0 0 0 20 0 15 0 75628578 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240156727664 140240610986626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23511] ppid=23502 vsize=13980732 memory=279789470902208 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23511/stat : 23511 (java) S 23502 23502 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240155673632 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23512] ppid=23502 vsize=13980732 memory=279789470898032 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23512/stat : 23512 (java) S 23502 23502 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240154620784 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23513] ppid=23502 vsize=13980732 memory=279789470898096 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23513/stat : 23513 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240153569104 140240610994075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23514] ppid=23502 vsize=13980732 memory=-8774313645642428999 CPUtime=2.86 cores=1,3,5,7
/proc/23504/task/23514/stat : 23514 (java) S 23502 23502 897 0 -1 1077944384 13116 0 0 0 285 1 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240152517488 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23515] ppid=23502 vsize=13980732 memory=2248 CPUtime=2.72 cores=1,3,5,7
/proc/23504/task/23515/stat : 23515 (java) S 23502 23502 897 0 -1 1077944384 12204 0 0 0 270 2 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240151464688 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23516] ppid=23502 vsize=13980732 memory=4304 CPUtime=0.63 cores=1,3,5,7
/proc/23504/task/23516/stat : 23516 (java) S 23502 23502 897 0 -1 1077944384 6008 0 0 0 62 1 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240150411888 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23517] ppid=23502 vsize=13980732 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23517/stat : 23517 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240149359328 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23518] ppid=23502 vsize=13980732 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/23504/task/23518/stat : 23518 (java) S 23502 23502 897 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 75628589 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240148306608 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
Current children cumulated CPU time: 85.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203836 KiB
[startup+79.6007 s]
/proc/loadavg: 1.83 1.88 1.86 3/211 23522
/proc/meminfo: memFree=30107308/32770624 swapFree=67108860/67108860
[pid=23502] ppid=23499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=13980732 memory=202456 CPUtime=85.85 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 54130 0 0 0 8569 16 0 0 20 0 15 0 75628576 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 3495183 50614 3244 1 0 3483476 0
[pid=23504/tid=23505] ppid=23502 vsize=13980732 memory=1292 CPUtime=79.33 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) R 23502 23502 897 0 -1 4202560 14866 0 0 0 7927 6 0 0 20 0 15 0 75628576 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240615214816 140240233217216 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23506] ppid=23502 vsize=13980732 memory=2316 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23506/stat : 23506 (java) S 23502 23502 897 0 -1 1077944384 2027 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240552922256 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23507] ppid=23502 vsize=13980732 memory=1728 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23507/stat : 23507 (java) S 23502 23502 897 0 -1 1077944384 1317 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240551869456 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23508] ppid=23502 vsize=13980732 memory=1228 CPUtime=0.05 cores=1,3,5,7
/proc/23504/task/23508/stat : 23508 (java) S 23502 23502 897 0 -1 1077944384 1080 0 0 0 5 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240550816656 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23509] ppid=23502 vsize=13980732 memory=796 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23509/stat : 23509 (java) S 23502 23502 897 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240549763856 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23510] ppid=23502 vsize=13980732 memory=5788 CPUtime=0.02 cores=1,3,5,7
/proc/23504/task/23510/stat : 23510 (java) S 23502 23502 897 0 -1 1077944384 1294 0 0 0 2 0 0 0 20 0 15 0 75628578 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240156727664 140240610986626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23511] ppid=23502 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23511/stat : 23511 (java) S 23502 23502 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240155673632 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23512] ppid=23502 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23512/stat : 23512 (java) S 23502 23502 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240154620784 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23513] ppid=23502 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23513/stat : 23513 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240153569104 140240610994075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23514] ppid=23502 vsize=13980732 memory=3904 CPUtime=2.86 cores=1,3,5,7
/proc/23504/task/23514/stat : 23514 (java) S 23502 23502 897 0 -1 1077944384 13116 0 0 0 285 1 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240152517488 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23515] ppid=23502 vsize=13980732 memory=960 CPUtime=2.72 cores=1,3,5,7
/proc/23504/task/23515/stat : 23515 (java) S 23502 23502 897 0 -1 1077944384 12204 0 0 0 270 2 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240151464688 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23516] ppid=23502 vsize=13980732 memory=1240 CPUtime=0.63 cores=1,3,5,7
/proc/23504/task/23516/stat : 23516 (java) S 23502 23502 897 0 -1 1077944384 6008 0 0 0 62 1 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240150411888 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23517] ppid=23502 vsize=13980732 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23517/stat : 23517 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240149359328 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23518] ppid=23502 vsize=13980732 memory=4304 CPUtime=0.01 cores=1,3,5,7
/proc/23504/task/23518/stat : 23518 (java) S 23502 23502 897 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 75628589 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240148306608 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
Current children cumulated CPU time: 85.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203836 KiB
[startup+79.7007 s]
/proc/loadavg: 1.83 1.88 1.86 3/211 23522
/proc/meminfo: memFree=30107308/32770624 swapFree=67108860/67108860
[pid=23502] ppid=23499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23502/stat : 23502 (xcsp3-exec) S 23499 23502 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75628566 9740288 345 18446744073709551615 4194304 5098028 140731394950000 140731394948104 139999856112252 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31543296 140731394957689 140731394957893 140731394957893 140731394961387 0
/proc/23502/statm: 2378 345 289 221 0 87 0
[pid=23504] ppid=23502 vsize=13980732 memory=202456 CPUtime=85.95 cores=1,3,5,7
/proc/23504/stat : 23504 (java) S 23502 23502 897 0 -1 1077944320 54130 0 0 0 8579 16 0 0 20 0 15 0 75628576 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140732871117136 140240610975479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
/proc/23504/statm: 3495183 50614 3244 1 0 3483476 0
[pid=23504/tid=23505] ppid=23502 vsize=13980732 memory=202456 CPUtime=79.43 cores=1,3,5,7
/proc/23504/task/23505/stat : 23505 (java) R 23502 23502 897 0 -1 4202560 14866 0 0 0 7937 6 0 0 20 0 15 0 75628576 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240615214816 140240232610396 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23506] ppid=23502 vsize=13980732 memory=202456 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23506/stat : 23506 (java) S 23502 23502 897 0 -1 1077944384 2027 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240552922256 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23507] ppid=23502 vsize=13980732 memory=202456 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23507/stat : 23507 (java) S 23502 23502 897 0 -1 1077944384 1317 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240551869456 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23508] ppid=23502 vsize=13980732 memory=202456 CPUtime=0.05 cores=1,3,5,7
/proc/23504/task/23508/stat : 23508 (java) S 23502 23502 897 0 -1 1077944384 1080 0 0 0 5 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240550816656 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23509] ppid=23502 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/23504/task/23509/stat : 23509 (java) S 23502 23502 897 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 75628577 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240549763856 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23510] ppid=23502 vsize=13980732 memory=202456 CPUtime=0.02 cores=1,3,5,7
/proc/23504/task/23510/stat : 23510 (java) S 23502 23502 897 0 -1 1077944384 1294 0 0 0 2 0 0 0 20 0 15 0 75628578 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240156727664 140240610986626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23511] ppid=23502 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23511/stat : 23511 (java) S 23502 23502 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240155673632 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23512] ppid=23502 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23512/stat : 23512 (java) S 23502 23502 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 75628579 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240154620784 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23513] ppid=23502 vsize=13980732 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23513/stat : 23513 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240153569104 140240610994075 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23514] ppid=23502 vsize=13980732 memory=960 CPUtime=2.86 cores=1,3,5,7
/proc/23504/task/23514/stat : 23514 (java) S 23502 23502 897 0 -1 1077944384 13116 0 0 0 285 1 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240152517488 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23515] ppid=23502 vsize=13980732 memory=-8253362762722141311 CPUtime=2.72 cores=1,3,5,7
/proc/23504/task/23515/stat : 23515 (java) S 23502 23502 897 0 -1 1077944384 12204 0 0 0 270 2 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240151464688 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23516] ppid=23502 vsize=13980732 memory=1292 CPUtime=0.63 cores=1,3,5,7
/proc/23504/task/23516/stat : 23516 (java) S 23502 23502 897 0 -1 1077944384 6008 0 0 0 62 1 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240150411888 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23517] ppid=23502 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/23504/task/23517/stat : 23517 (java) S 23502 23502 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75628581 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240149359328 140240610985685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
[pid=23504/tid=23518] ppid=23502 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/23504/task/23518/stat : 23518 (java) S 23502 23502 897 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 75628589 14316269568 50614 18446744073709551615 4194304 4196468 140732871134592 140240148306608 140240610986626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 11087872 140732871139761 140732871139937 140732871139937 140732871143375 0
Current children cumulated CPU time: 85.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203836 KiB
Child status: 0
Real time (s): 79.7238
CPU time (s): 85.9856
CPU user time (s): 85.8144
CPU system time (s): 0.171216
CPU usage (%): 107.854
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 213456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.8144
system time used= 0.171216
maximum resident set size= 216196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55254
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4519
involuntary context switches= 73
# summary of solver processes directly reported to runsolver:
# pid: 23502
# total CPU time (s): 85.9856
# total CPU user time (s): 85.8144
# total CPU system time (s): 0.171216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.488495 second user time and 0.749612 second system time
The end