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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282505-1503116741/watcher-4282505-1503116741 -o /tmp/evaluation-result-4282505-1503116741/solver-4282505-1503116741 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14041 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1060870954 HOME/instance-4282505-1503116741.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17802, runsolver pid=17799

[startup+0.10009 s]*
/proc/loadavg: 1.78 1.54 1.52 3/205 17809
/proc/meminfo: memFree=31289508/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13441356 memory=15688 CPUtime=0.01 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 3713 0 0 0 1 0 0 0 20 0 7 0 100014759 13763948544 3922 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3360339 3922 2003 1 0 3349836 0
[pid=17804/tid=17805] ppid=17802 vsize=13441356 memory=-6729052314292818277 CPUtime=0.01 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 2477 0 0 0 1 0 0 0 20 0 7 0 100014759 13763948544 3922 18446744073709551615 4194304 4196468 140732342784272 140256848239376 140256828077406 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13441356 memory=5767615718087137673 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 100014760 13763948544 3922 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13441356 memory=140431679153792 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 100014760 13763948544 3922 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 100014760 13763948544 3922 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13441356 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 100014760 13763948544 3922 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 100014761 13763948544 3922 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17068 KiB

[startup+0.213934 s]*
/proc/loadavg: 1.78 1.54 1.52 4/214 17818
/proc/meminfo: memFree=31279304/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13974352 memory=27400 CPUtime=0.1 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 5252 0 0 0 9 1 0 0 20 0 15 0 100014759 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3493588 6850 2747 1 0 3482964 0
[pid=17804/tid=17805] ppid=17802 vsize=13974352 memory=8258364149829901719 CPUtime=0.08 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 3399 0 0 0 7 1 0 0 20 0 15 0 100014759 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256848220560 140256844008854 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13974352 memory=5767615718087137673 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13974352 memory=140431679153792 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100014760 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100014761 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17811] ppid=17802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100014762 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256388716064 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17812] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100014762 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256387663216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17813] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256386611536 140256844015515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17814] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 13977 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 100014764 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256317794672 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17815] ppid=17802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014764 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256316741872 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17816] ppid=17802 vsize=13974352 memory=140431679153792 CPUtime=0.01 cores=0,2,4,6
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 13977 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 100014764 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256315689072 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17817] ppid=17802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256314636512 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17818] ppid=17802 vsize=13974352 memory=140431679153792 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014769 14309736448 6850 18446744073709551615 4194304 4196468 140732342784272 140256313584816 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28780 KiB

[startup+0.310526 s]*
/proc/loadavg: 1.78 1.54 1.52 4/214 17818
/proc/meminfo: memFree=31268192/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13974352 memory=36648 CPUtime=0.28 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 8790 0 0 0 26 2 0 0 20 0 15 0 100014759 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3493588 9162 2976 1 0 3482964 0
[pid=17804/tid=17805] ppid=17802 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 6095 0 0 0 15 2 0 0 20 0 15 0 100014759 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256848228048 140256821999527 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100014760 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100014761 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17811] ppid=17802 vsize=13974352 memory=140431679153791 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100014762 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256388716064 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17812] ppid=17802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100014762 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256387663216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17813] ppid=17802 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256386611536 140256844015515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17814] ppid=17802 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 13977 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 100014764 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256317794672 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17815] ppid=17802 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17804/task/17815/stat : 17815 (java) R 17802 17802 13977 0 -1 4202560 242 0 0 0 2 0 0 0 20 0 15 0 100014764 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256316741872 140256825500048 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17816] ppid=17802 vsize=13974352 memory=140431679153792 CPUtime=0.06 cores=0,2,4,6
/proc/17804/task/17816/stat : 17816 (java) R 17802 17802 13977 0 -1 4202560 714 0 0 0 6 0 0 0 20 0 15 0 100014764 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256315689072 140256828077406 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17817] ppid=17802 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256314636512 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17818] ppid=17802 vsize=13974352 memory=140431679153792 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014769 14309736448 9162 18446744073709551615 4194304 4196468 140732342784272 140256313584816 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38028 KiB

[startup+0.701383 s]
/proc/loadavg: 1.78 1.54 1.52 5/214 17818
/proc/meminfo: memFree=31247288/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13978684 memory=81848 CPUtime=1.36 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 13119 0 0 0 131 5 0 0 20 0 15 0 100014759 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3494671 20462 3154 1 0 3482964 0
[pid=17804/tid=17805] ppid=17802 vsize=13978684 memory=139 CPUtime=0.55 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 7827 0 0 0 52 3 0 0 20 0 15 0 100014759 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256848229376 140256844008854 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014760 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100014760 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 100014761 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17811] ppid=17802 vsize=13978684 memory=8243122710528917583 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100014762 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256388716064 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17812] ppid=17802 vsize=13978684 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100014762 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256387663216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17813] ppid=17802 vsize=13978684 memory=827709 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256386611536 140256844015515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17814] ppid=17802 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/17804/task/17814/stat : 17814 (java) R 17802 17802 13977 0 -1 4202560 1148 0 0 0 23 0 0 0 20 0 15 0 100014764 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256317787712 140256821981841 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17815] ppid=17802 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/17804/task/17815/stat : 17815 (java) R 17802 17802 13977 0 -1 4202560 1256 0 0 0 27 0 0 0 20 0 15 0 100014764 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256316733952 140256828895207 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17816] ppid=17802 vsize=13978684 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/17804/task/17816/stat : 17816 (java) R 17802 17802 13977 0 -1 4202560 1581 0 0 0 28 0 0 0 20 0 15 0 100014764 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256315689072 140256844018266 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17817] ppid=17802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256314636512 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17818] ppid=17802 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100014769 14314172416 20462 18446744073709551615 4194304 4196468 140732342784272 140256313584816 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83228 KiB

[startup+1.50138 s]
/proc/loadavg: 1.78 1.54 1.52 6/214 17818
/proc/meminfo: memFree=31145640/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13980732 memory=207376 CPUtime=3.94 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 17468 0 0 0 383 11 0 0 20 0 15 0 100014759 14316269568 51844 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3495183 51844 3210 1 0 3483476 0
[pid=17804/tid=17805] ppid=17802 vsize=13980732 memory=6943526294502006880 CPUtime=1.33 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 8483 0 0 0 128 5 0 0 20 0 15 0 100014759 14316269568 51844 18446744073709551615 4194304 4196468 140732342784272 140256848233344 140256474231708 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 51844 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 51844 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 51844 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 51844 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13980732 memory=280863078713232 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 100014761 14316269568 51844 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17811] ppid=17802 vsize=13980732 memory=576460756337521186 CPUtime=0 cores=0,2,4,6

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

/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13980732 memory=208928 CPUtime=9.39 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 21124 0 0 0 927 12 0 0 20 0 15 0 100014759 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3495183 52232 3213 1 0 3483476 0
[pid=17804/tid=17805] ppid=17802 vsize=13980732 memory=-8774313645642428999 CPUtime=6.23 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 9159 0 0 0 617 6 0 0 20 0 15 0 100014759 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256848233696 140256474809055 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13980732 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 100014761 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17811] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100014762 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256388716064 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17812] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 13977 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 100014762 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256387663216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17813] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256386611536 140256844015515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17814] ppid=17802 vsize=13980732 memory=0 CPUtime=1.22 cores=0,2,4,6
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 13977 0 -1 1077944384 3431 0 0 0 121 1 0 0 20 0 15 0 100014764 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256317794672 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17815] ppid=17802 vsize=13980732 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 13977 0 -1 1077944384 3241 0 0 0 129 1 0 0 20 0 15 0 100014764 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256316741872 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17816] ppid=17802 vsize=13980732 memory=16484084485400 CPUtime=0.54 cores=0,2,4,6
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 13977 0 -1 1077944384 3000 0 0 0 54 0 0 0 20 0 15 0 100014764 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256315689072 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17817] ppid=17802 vsize=13980732 memory=7519151349382407509 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256314636512 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17818] ppid=17802 vsize=13980732 memory=7300704776819335744 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 13977 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 15 0 100014769 14316269568 52232 18446744073709551615 4194304 4196468 140732342784272 140256313584816 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210308 KiB

[startup+7.20084 s]
/proc/loadavg: 1.80 1.55 1.52 3/214 17818
/proc/meminfo: memFree=31090548/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13980732 memory=209024 CPUtime=10.2 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 21202 0 0 0 1008 12 0 0 20 0 15 0 100014759 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3495183 52256 3214 1 0 3483476 0
[pid=17804/tid=17805] ppid=17802 vsize=13980732 memory=0 CPUtime=7.03 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 9169 0 0 0 697 6 0 0 20 0 15 0 100014759 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256848233784 140256474433084 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13980732 memory=54472 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 100014761 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17811] ppid=17802 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100014762 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256388716064 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17812] ppid=17802 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 13977 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 100014762 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256387663216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17813] ppid=17802 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256386611536 140256844015515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17814] ppid=17802 vsize=13980732 memory=5788 CPUtime=1.22 cores=0,2,4,6
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 13977 0 -1 1077944384 3474 0 0 0 121 1 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256317794672 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17815] ppid=17802 vsize=13980732 memory=1996 CPUtime=1.3 cores=0,2,4,6
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 13977 0 -1 1077944384 3266 0 0 0 129 1 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256316741872 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17816] ppid=17802 vsize=13980732 memory=796 CPUtime=0.54 cores=0,2,4,6
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 13977 0 -1 1077944384 3000 0 0 0 54 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256315689072 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17817] ppid=17802 vsize=13980732 memory=301459898397622298 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256314636512 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17818] ppid=17802 vsize=13980732 memory=301459945709371703 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 13977 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 15 0 100014769 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256313584816 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210404 KiB

[startup+8.00086 s]*
/proc/loadavg: 1.81 1.56 1.53 3/214 17818
/proc/meminfo: memFree=31090308/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13980732 memory=209024 CPUtime=11.02 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 21244 0 0 0 1090 12 0 0 20 0 15 0 100014759 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3495183 52256 3214 1 0 3483476 0
[pid=17804/tid=17805] ppid=17802 vsize=13980732 memory=-8774313645642428999 CPUtime=7.84 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 9172 0 0 0 778 6 0 0 20 0 15 0 100014759 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256848233616 140256474134127 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13980732 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13980732 memory=7013901648097669479 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 100014761 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17811] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100014762 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256388716064 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17812] ppid=17802 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 13977 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 100014762 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256387663216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17813] ppid=17802 vsize=13980732 memory=4123100572821173041 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256386611536 140256844015515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17814] ppid=17802 vsize=13980732 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 13977 0 -1 1077944384 3497 0 0 0 122 1 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256317794672 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17815] ppid=17802 vsize=13980732 memory=3472328296227680303 CPUtime=1.3 cores=0,2,4,6
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 13977 0 -1 1077944384 3282 0 0 0 129 1 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256316741872 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17816] ppid=17802 vsize=13980732 memory=7162362517305038512 CPUtime=0.54 cores=0,2,4,6
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 13977 0 -1 1077944384 3000 0 0 0 54 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256315689072 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17817] ppid=17802 vsize=13980732 memory=7008456647201796143 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256314636512 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17818] ppid=17802 vsize=13980732 memory=3472468727839725232 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 13977 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 15 0 100014769 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256313584816 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
Current children cumulated CPU time: 11.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210404 KiB

[startup+8.20086 s]
/proc/loadavg: 1.81 1.56 1.53 3/214 17818
/proc/meminfo: memFree=31090308/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100014750 9740288 345 18446744073709551615 4194304 5098028 140725465137536 140725465135640 140551972381308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 40468480 140725465145720 140725465145925 140725465145925 140725465149419 0
/proc/17802/statm: 2378 345 289 221 0 87 0
[pid=17804] ppid=17802 vsize=13980732 memory=209024 CPUtime=11.21 cores=0,2,4,6
/proc/17804/stat : 17804 (java) S 17802 17802 13977 0 -1 1077944320 21245 0 0 0 1109 12 0 0 20 0 15 0 100014759 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140732342766816 140256843996919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
/proc/17804/statm: 3495183 52256 3214 1 0 3483476 0
[pid=17804/tid=17805] ppid=17802 vsize=13980732 memory=288230621803970871 CPUtime=8.03 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 13977 0 -1 4202560 9173 0 0 0 797 6 0 0 20 0 15 0 100014759 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256848233832 140256474432793 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17806] ppid=17802 vsize=13980732 memory=15254852779379061 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 13977 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256800963216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17807] ppid=17802 vsize=13980732 memory=280863078793408 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256799910416 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17808] ppid=17802 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 13977 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256798857616 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17809] ppid=17802 vsize=13980732 memory=280863078793792 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 13977 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 100014760 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256797804816 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17810] ppid=17802 vsize=13980732 memory=280863078793984 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 13977 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 100014761 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256389770096 140256844008066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17811] ppid=17802 vsize=13980732 memory=280863078794176 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100014762 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256388716064 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17812] ppid=17802 vsize=13980732 memory=280863078794224 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 13977 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 100014762 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256387663216 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17813] ppid=17802 vsize=13980732 memory=280863078384112 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256386611536 140256844015515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17814] ppid=17802 vsize=13980732 memory=280863078886208 CPUtime=1.23 cores=0,2,4,6
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 13977 0 -1 1077944384 3497 0 0 0 122 1 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256317794672 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17815] ppid=17802 vsize=13980732 memory=280863078886400 CPUtime=1.3 cores=0,2,4,6
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 13977 0 -1 1077944384 3282 0 0 0 129 1 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256316741872 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17816] ppid=17802 vsize=13980732 memory=280863078886592 CPUtime=0.54 cores=0,2,4,6
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 13977 0 -1 1077944384 3000 0 0 0 54 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256315689072 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17817] ppid=17802 vsize=13980732 memory=280863078886784 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100014764 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256314636512 140256844007125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
[pid=17804/tid=17818] ppid=17802 vsize=13980732 memory=209024 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 13977 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 15 0 100014769 14316269568 52256 18446744073709551615 4194304 4196468 140732342784272 140256313584816 140256844008066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 7122944 140732342788529 140732342788705 140732342788705 140732342792143 0
Current children cumulated CPU time: 11.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210404 KiB

Child status: 0
Real time (s): 8.26671
CPU time (s): 11.3209
CPU user time (s): 11.1885
CPU system time (s): 0.13238
CPU usage (%): 136.945
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 213760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1885
system time used= 0.13238
maximum resident set size= 212384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2185
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 17802
#   total CPU time (s): 11.3209
#   total CPU user time (s): 11.1885
#   total CPU system time (s): 0.13238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065378 second user time and 0.135494 second system time

The end