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 (15321 MiB free)
memory of node 1: 16384 MiB (15276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283469-1503208967/watcher-4283469-1503208967 -o /tmp/evaluation-result-4283469-1503208967/solver-4283469-1503208967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1129372913 HOME/instance-4283469-1503208967.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=8109, runsolver pid=8106
[startup+0.100197 s]*
/proc/loadavg: 2.01 1.84 1.87 4/203 8117
/proc/meminfo: memFree=31324476/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13574484 memory=16668 CPUtime=0.02 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 4013 0 0 0 2 0 0 0 20 0 9 0 19305769 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3393621 4167 2082 1 0 3383118 0
[pid=8111/tid=8112] ppid=8109 vsize=13574484 memory=1404226546251833994 CPUtime=0.02 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 2734 0 0 0 2 0 0 0 20 0 9 0 19305769 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192506613992 140192486458718 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19305770 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13574484 memory=140126168090240 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19305770 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19305770 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19305770 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=13574484 memory=140126168090240 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19305771 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 19305772 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140191979910560 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 19305772 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140191978858032 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18048 KiB
[startup+0.209866 s]*
/proc/loadavg: 2.01 1.84 1.87 4/211 8125
/proc/meminfo: memFree=31314592/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13974352 memory=27660 CPUtime=0.1 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 5327 0 0 0 10 0 0 0 20 0 15 0 19305769 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3493588 6915 2751 1 0 3482964 0
[pid=8111/tid=8112] ppid=8109 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 15 0 19305769 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192506610224 140192483771965 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13974352 memory=4294977909 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13974352 memory=140126168307444 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=13974352 memory=140126168090240 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305771 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19305772 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191979910560 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19305772 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191978857968 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 19305774 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=13974352 memory=140126168090240 CPUtime=0.01 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 19305774 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=13974352 memory=140126168090240 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305780 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29040 KiB
[startup+0.310164 s]*
/proc/loadavg: 2.01 1.84 1.87 5/211 8125
/proc/meminfo: memFree=31304172/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13974352 memory=39536 CPUtime=0.3 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 9084 0 0 0 28 2 0 0 20 0 15 0 19305769 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3493588 9884 2999 1 0 3482964 0
[pid=8111/tid=8112] ppid=8109 vsize=13974352 memory=6933928925625698159 CPUtime=0.18 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 6272 0 0 0 16 2 0 0 20 0 15 0 19305769 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192506596320 140192502390166 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305771 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19305772 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191979910560 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19305772 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191978857968 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) R 8109 8109 17292 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 19305774 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) R 8109 8109 17292 0 -1 4202560 438 0 0 0 2 0 0 0 20 0 15 0 19305774 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192479916032 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) R 8109 8109 17292 0 -1 4202560 726 0 0 0 6 0 0 0 20 0 15 0 19305774 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192481839761 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305780 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40916 KiB
[startup+0.700907 s]
/proc/loadavg: 2.01 1.84 1.87 5/211 8125
/proc/meminfo: memFree=31292656/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13980732 memory=66728 CPUtime=1.19 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 13951 0 0 0 114 5 0 0 20 0 15 0 19305769 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3495183 16682 3175 1 0 3483476 0
[pid=8111/tid=8112] ppid=8109 vsize=13980732 memory=669 CPUtime=0.56 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 9362 0 0 0 52 4 0 0 20 0 15 0 19305769 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192506617248 140192111527385 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13980732 memory=87 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13980732 memory=82 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19305771 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19305772 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191979910560 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19305772 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191978857968 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) R 8109 8109 17292 0 -1 4202560 856 0 0 0 14 0 0 0 20 0 15 0 19305774 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192481618135 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) R 8109 8109 17292 0 -1 4202560 983 0 0 0 17 0 0 0 20 0 15 0 19305774 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191975689616 140192488396353 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=13980732 memory=4 CPUtime=0.29 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) R 8109 8109 17292 0 -1 1077944384 1443 0 0 0 29 0 0 0 20 0 15 0 19305774 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191974644000 140192502388437 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=13980732 memory=3 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305780 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68108 KiB
[startup+1.50079 s]
/proc/loadavg: 2.17 1.87 1.88 5/211 8125
/proc/meminfo: memFree=31248664/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13980732 memory=131528 CPUtime=3.72 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 43448 0 0 0 363 9 0 0 20 0 15 0 19305769 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3495183 32882 3191 1 0 3483476 0
[pid=8111/tid=8112] ppid=8109 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 10108 0 0 0 131 4 0 0 20 0 15 0 19305769 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140192506613264 140192115161066 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13980732 memory=6372432288770714986 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13980732 memory=6440519447014887504 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13980732 memory=280252119078048 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13980732 memory=4642197910265684584 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191978857984 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=14111804 memory=432040 CPUtime=9.5 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 82201 0 0 0 942 8 0 0 20 0 15 0 19305774 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=14111804 memory=703656 CPUtime=9.87 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 69199 0 0 0 978 9 0 0 20 0 15 0 19305774 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=14111804 memory=1152 CPUtime=0.88 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 13495 0 0 0 87 1 0 0 20 0 15 0 19305774 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=14111804 memory=431016 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=14111804 memory=5404 CPUtime=1.28 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1377 0 0 0 66 62 0 0 20 0 15 0 19305780 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 2397.2 s
Current children cumulated vsize: 14121316 KiB
Current children cumulated memory: 427568 KiB
[startup+2382.3 s]
/proc/loadavg: 1.49 1.63 1.62 6/211 8292
/proc/meminfo: memFree=30498592/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=14111804 memory=414148 CPUtime=2458.8 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 306757 0 0 0 245660 220 0 0 20 0 15 0 19305769 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3527951 103537 3260 1 0 3516244 0
[pid=8111/tid=8112] ppid=8109 vsize=14111804 memory=417736 CPUtime=2359.11 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 49863 0 0 0 235893 18 0 0 20 0 15 0 19305769 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192506617680 140192116205150 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=14111804 memory=419276 CPUtime=18.96 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 12031 0 0 0 1868 28 0 0 20 0 15 0 19305770 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=14111804 memory=417736 CPUtime=18.9 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 12329 0 0 0 1861 29 0 0 20 0 15 0 19305770 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=14111804 memory=416712 CPUtime=18.92 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 11202 0 0 0 1863 29 0 0 20 0 15 0 19305770 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=14111804 memory=1380 CPUtime=18.97 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 11505 0 0 0 1867 30 0 0 20 0 15 0 19305770 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=14111804 memory=1380 CPUtime=2.28 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 42191 0 0 0 206 22 0 0 20 0 15 0 19305771 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=14111804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191979910624 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191978857984 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=14111804 memory=4616 CPUtime=9.5 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 82203 0 0 0 942 8 0 0 20 0 15 0 19305774 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=14111804 memory=1004 CPUtime=9.87 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 69201 0 0 0 978 9 0 0 20 0 15 0 19305774 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=14111804 memory=414660 CPUtime=0.88 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 13497 0 0 0 87 1 0 0 20 0 15 0 19305774 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=14111804 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=14111804 memory=1380 CPUtime=1.31 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1381 0 0 0 67 64 0 0 20 0 15 0 19305780 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 2458.8 s
Current children cumulated vsize: 14121316 KiB
Current children cumulated memory: 415528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2442.11 s]
/proc/loadavg: 1.53 1.63 1.62 3/211 8372
/proc/meminfo: memFree=31011088/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=14111804 memory=407932 CPUtime=2520.01 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 309767 0 0 0 251776 225 0 0 20 0 15 0 19305769 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3527951 101983 3260 1 0 3516244 0
[pid=8111/tid=8112] ppid=8109 vsize=14111804 memory=408432 CPUtime=2418.32 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 51692 0 0 0 241814 18 0 0 20 0 15 0 19305769 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192506617680 140192116204969 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=14111804 memory=412380 CPUtime=19.43 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 12231 0 0 0 1915 28 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=14111804 memory=1380 CPUtime=19.37 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 12489 0 0 0 1908 29 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=14111804 memory=413408 CPUtime=19.39 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 11317 0 0 0 1910 29 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=14111804 memory=412380 CPUtime=19.44 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 11946 0 0 0 1914 30 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=14111804 memory=410328 CPUtime=2.34 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 42414 0 0 0 212 22 0 0 20 0 15 0 19305771 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=14111804 memory=408432 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191979910624 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191978857984 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=14111804 memory=1380 CPUtime=9.5 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 82205 0 0 0 942 8 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=14111804 memory=7680170660397595203 CPUtime=9.87 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 69203 0 0 0 978 9 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=14111804 memory=2244 CPUtime=0.88 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 13499 0 0 0 87 1 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=14111804 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=14111804 memory=7100839878645619564 CPUtime=1.34 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1417 0 0 0 68 66 0 0 20 0 15 0 19305780 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14121316 KiB
Current children cumulated memory: 409312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2442.23 s]
# the end of solver process 8109 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000966 s, system=0.000966 s
[startup+2442.23 s]
# the end of solver process 8111 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.88 s, system=2.25749 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2442.11 s]
/proc/loadavg: 1.53 1.63 1.62 3/211 8372
/proc/meminfo: memFree=31011088/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=14111804 memory=407932 CPUtime=2520.01 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 309767 0 0 0 251776 225 0 0 20 0 15 0 19305769 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3527951 101983 3260 1 0 3516244 0
[pid=8111/tid=8112] ppid=8109 vsize=14111804 memory=408432 CPUtime=2418.32 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 51692 0 0 0 241814 18 0 0 20 0 15 0 19305769 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192506617680 140192116204969 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=14111804 memory=412380 CPUtime=19.43 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 12231 0 0 0 1915 28 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=14111804 memory=1380 CPUtime=19.37 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 12489 0 0 0 1908 29 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=14111804 memory=413408 CPUtime=19.39 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 11317 0 0 0 1910 29 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=14111804 memory=412380 CPUtime=19.44 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 11946 0 0 0 1914 30 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=14111804 memory=410328 CPUtime=2.34 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 42414 0 0 0 212 22 0 0 20 0 15 0 19305771 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=14111804 memory=408432 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191979910624 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191978857984 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=14111804 memory=1380 CPUtime=9.5 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 82205 0 0 0 942 8 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=14111804 memory=7680170660397595203 CPUtime=9.87 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 69203 0 0 0 978 9 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=14111804 memory=2244 CPUtime=0.88 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 13499 0 0 0 87 1 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=14111804 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=14111804 memory=7100839878645619564 CPUtime=1.34 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1417 0 0 0 68 66 0 0 20 0 15 0 19305780 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14121316 KiB
Current children cumulated memory: 409312 KiB
Child status: 143
Real time (s): 2442.23
CPU time (s): 2520.14
CPU user time (s): 2517.88
CPU system time (s): 2.25749
CPU usage (%): 103.19
Max. virtual memory (cumulated for all children) (KiB): 14121316
Max. memory (cumulated for all children) (KiB): 644600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.88
system time used= 2.25749
maximum resident set size= 644060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105191
involuntary context switches= 5724
# summary of solver processes directly reported to runsolver:
# pid: 8109,8111
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.88
# total CPU system time (s): 2.25749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6102 second user time and 22.2354 second system time
The end