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 (14607 MiB free)
memory of node 1: 16384 MiB (15299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272267-1502694314/watcher-4272267-1502694314 -o /tmp/evaluation-result-4272267-1502694314/solver-4272267-1502694314 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 650621059 HOME/instance-4272267-1502694314.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4938, runsolver pid=4935
[startup+0.100153 s]*
/proc/loadavg: 1.33 1.51 1.55 3/202 4939
/proc/meminfo: memFree=30624800/32770624 swapFree=67108860/67108860
[pid=4938] ppid=4935 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209965 s]*
/proc/loadavg: 1.33 1.51 1.55 3/217 4954
/proc/meminfo: memFree=30612484/32770624 swapFree=67108860/67108860
[pid=4938] ppid=4935 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
[pid=4940] ppid=4938 vsize=13974352 memory=25228 CPUtime=0.07 cores=1,3,5,7
/proc/4940/stat : 4940 (java) S 4938 4938 7968 0 -1 1077944320 5237 0 0 0 6 1 0 0 20 0 15 0 23314040 14309736448 6307 18446744073709551615 4194304 4196468 140724564113168 140724564095712 140378803052279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
/proc/4940/statm: 3493588 6307 2720 1 0 3482964 0
[pid=4940/tid=4941] ppid=4938 vsize=13974352 memory=-7666416650606639742 CPUtime=0.06 cores=1,3,5,7
/proc/4940/task/4941/stat : 4941 (java) R 4938 4938 7968 0 -1 4202560 3405 0 0 0 5 1 0 0 20 0 15 0 23314040 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378807277968 140378789120398 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4942] ppid=4938 vsize=13974352 memory=-6623551257525838759 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4942/stat : 4942 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378737486480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4943] ppid=4938 vsize=13974352 memory=140112362665600 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4943/stat : 4943 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378736433680 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4944] ppid=4938 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4944/stat : 4944 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378735380880 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4945] ppid=4938 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4945/stat : 4945 (java) S 4938 4938 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23314041 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378734328080 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4946] ppid=4938 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4946/stat : 4946 (java) S 4938 4938 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23314042 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378281454448 140378803063426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4947] ppid=4938 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4947/stat : 4947 (java) S 4938 4938 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23314043 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378280400416 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4948] ppid=4938 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4948/stat : 4948 (java) S 4938 4938 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 23314043 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378279347568 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4949] ppid=4938 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4949/stat : 4949 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378278295888 140378803070875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4950] ppid=4938 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4950/stat : 4950 (java) S 4938 4938 7968 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 23314045 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378277243248 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4951] ppid=4938 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4951/stat : 4951 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378276190448 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4952] ppid=4938 vsize=13974352 memory=140112362665600 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4952/stat : 4952 (java) S 4938 4938 7968 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 23314045 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378275137648 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4953] ppid=4938 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4953/stat : 4953 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314046 14309736448 6331 18446744073709551615 4194304 4196468 140724564113168 140378274085088 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4954] ppid=4938 vsize=13974352 memory=140112362665600 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4954/stat : 4954 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314050 14309736448 6843 18446744073709551615 4194304 4196468 140724564113168 140378273033392 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26608 KiB
[startup+0.31064 s]*
/proc/loadavg: 1.33 1.51 1.55 4/217 4954
/proc/meminfo: memFree=30597060/32770624 swapFree=67108860/67108860
[pid=4938] ppid=4935 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
[pid=4940] ppid=4938 vsize=13974352 memory=37012 CPUtime=0.27 cores=1,3,5,7
/proc/4940/stat : 4940 (java) S 4938 4938 7968 0 -1 1077944320 8862 0 0 0 24 3 0 0 20 0 15 0 23314040 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140724564095712 140378803052279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
/proc/4940/statm: 3493588 9253 2980 1 0 3482964 0
[pid=4940/tid=4941] ppid=4938 vsize=13974352 memory=29678448712876256 CPUtime=0.16 cores=1,3,5,7
/proc/4940/task/4941/stat : 4941 (java) R 4938 4938 7968 0 -1 4202560 6091 0 0 0 14 2 0 0 20 0 15 0 23314040 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378807287616 140378787132796 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4942] ppid=4938 vsize=13974352 memory=318348422870728727 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4942/stat : 4942 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378737486480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4943] ppid=4938 vsize=13974352 memory=16247069507253912 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4943/stat : 4943 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378736433680 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4944] ppid=4938 vsize=13974352 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4944/stat : 4944 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378735380880 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4945] ppid=4938 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4945/stat : 4945 (java) S 4938 4938 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23314041 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378734328080 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4946] ppid=4938 vsize=13974352 memory=3472468408590344880 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4946/stat : 4946 (java) S 4938 4938 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23314042 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378281454448 140378803063426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4947] ppid=4938 vsize=13974352 memory=3471202396320837679 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4947/stat : 4947 (java) S 4938 4938 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23314043 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378280400416 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4948] ppid=4938 vsize=13974352 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4948/stat : 4948 (java) S 4938 4938 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 23314043 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378279347568 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4949] ppid=4938 vsize=13974352 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4949/stat : 4949 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378278295888 140378803070875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4950] ppid=4938 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4940/task/4950/stat : 4950 (java) S 4938 4938 7968 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 15 0 23314045 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378277243248 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4951] ppid=4938 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4940/task/4951/stat : 4951 (java) R 4938 4938 7968 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 23314045 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378276190448 140378803063426 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4952] ppid=4938 vsize=13974352 memory=140112362665600 CPUtime=0.05 cores=1,3,5,7
/proc/4940/task/4952/stat : 4952 (java) R 4938 4938 7968 0 -1 4202560 714 0 0 0 5 0 0 0 20 0 15 0 23314045 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378275137648 140378405601401 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4953] ppid=4938 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4953/stat : 4953 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314046 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378274085088 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4954] ppid=4938 vsize=13974352 memory=140112362665600 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4954/stat : 4954 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314050 14309736448 9253 18446744073709551615 4194304 4196468 140724564113168 140378273033392 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38392 KiB
[startup+0.700749 s]
/proc/loadavg: 1.33 1.51 1.55 5/217 4954
/proc/meminfo: memFree=30586500/32770624 swapFree=67108860/67108860
[pid=4938] ppid=4935 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
[pid=4940] ppid=4938 vsize=13980732 memory=65640 CPUtime=1.23 cores=1,3,5,7
/proc/4940/stat : 4940 (java) S 4938 4938 7968 0 -1 1077944320 13506 0 0 0 119 4 0 0 20 0 15 0 23314040 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140724564095712 140378803052279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
/proc/4940/statm: 3495183 16410 3161 1 0 3483476 0
[pid=4940/tid=4941] ppid=4938 vsize=13980732 memory=140112235221792 CPUtime=0.54 cores=1,3,5,7
/proc/4940/task/4941/stat : 4941 (java) R 4938 4938 7968 0 -1 4202560 8435 0 0 0 51 3 0 0 20 0 15 0 23314040 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378807266240 140378803074205 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4942] ppid=4938 vsize=13980732 memory=6756 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4942/stat : 4942 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378737486480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4943] ppid=4938 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4943/stat : 4943 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378736433680 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4944] ppid=4938 vsize=13980732 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4944/stat : 4944 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378735380880 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4945] ppid=4938 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4945/stat : 4945 (java) S 4938 4938 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23314041 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378734328080 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4946] ppid=4938 vsize=13980732 memory=3000 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4946/stat : 4946 (java) S 4938 4938 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 23314042 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378281454448 140378803063426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4947] ppid=4938 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4947/stat : 4947 (java) S 4938 4938 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378280400416 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4948] ppid=4938 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4948/stat : 4948 (java) S 4938 4938 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378279347568 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4949] ppid=4938 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4949/stat : 4949 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378278295888 140378803070875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4950] ppid=4938 vsize=13980732 memory=8688 CPUtime=0.2 cores=1,3,5,7
/proc/4940/task/4950/stat : 4950 (java) S 4938 4938 7968 0 -1 1077944384 1286 0 0 0 20 0 0 0 20 0 15 0 23314045 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378277243248 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4951] ppid=4938 vsize=13980732 memory=6656426216303648864 CPUtime=0.19 cores=1,3,5,7
/proc/4940/task/4951/stat : 4951 (java) S 4938 4938 7968 0 -1 1077944384 930 0 0 0 19 0 0 0 20 0 15 0 23314045 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378276190448 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4952] ppid=4938 vsize=13980732 memory=9916 CPUtime=0.29 cores=1,3,5,7
/proc/4940/task/4952/stat : 4952 (java) R 4938 4938 7968 0 -1 4202560 1548 0 0 0 29 0 0 0 20 0 15 0 23314045 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378275137648 140378796152126 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4953] ppid=4938 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4953/stat : 4953 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314046 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378274085088 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4954] ppid=4938 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4954/stat : 4954 (java) R 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314050 14316269568 16410 18446744073709551615 4194304 4196468 140724564113168 140378273033392 140378803063426 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67020 KiB
[startup+1.5011 s]
/proc/loadavg: 1.33 1.51 1.55 5/217 4954
/proc/meminfo: memFree=30550712/32770624 swapFree=67108860/67108860
[pid=4938] ppid=4935 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
[pid=4940] ppid=4938 vsize=13980732 memory=137096 CPUtime=3.83 cores=1,3,5,7
/proc/4940/stat : 4940 (java) S 4938 4938 7968 0 -1 1077944320 36946 0 0 0 374 9 0 0 20 0 15 0 23314040 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140724564095712 140378803052279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
/proc/4940/statm: 3495183 34274 3196 1 0 3483476 0
[pid=4940/tid=4941] ppid=4938 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/4940/task/4941/stat : 4941 (java) R 4938 4938 7968 0 -1 4202560 10694 0 0 0 129 4 0 0 20 0 15 0 23314040 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378807285016 140378408920983 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4942] ppid=4938 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4942/stat : 4942 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378737486480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4943] ppid=4938 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4943/stat : 4943 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378736433680 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4944] ppid=4938 vsize=13980732 memory=65640 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4944/stat : 4944 (java) S 4938 4938 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23314041 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378735380880 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4945] ppid=4938 vsize=13980732 memory=280224470598360 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4945/stat : 4945 (java) S 4938 4938 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23314041 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378734328080 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4946] ppid=4938 vsize=13980732 memory=280224470374400 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4946/stat : 4946 (java) S 4938 4938 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 23314042 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378281454448 140378803063426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4947] ppid=4938 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4947/stat : 4947 (java) S 4938 4938 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378280400416 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4948] ppid=4938 vsize=13980732 memory=280224470399760 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4948/stat : 4948 (java) S 4938 4938 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378279347568 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4949] ppid=4938 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4949/stat : 4949 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378278295888 140378803070875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4950] ppid=4938 vsize=13980732 memory=6944656592387989600 CPUtime=0.94 cores=1,3,5,7
/proc/4940/task/4950/stat : 4950 (java) R 4938 4938 7968 0 -1 4202560 5616 0 0 0 94 0 0 0 20 0 15 0 23314045 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378277235736 140378783810353 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4951] ppid=4938 vsize=13980732 memory=3868 CPUtime=0.93 cores=1,3,5,7
/proc/4940/task/4951/stat : 4951 (java) R 4938 4938 7968 0 -1 4202560 15367 0 0 0 92 1 0 0 20 0 15 0 23314045 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378276174808 140378788160257 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4952] ppid=4938 vsize=13980732 memory=3904 CPUtime=0.58 cores=1,3,5,7
/proc/4940/task/4952/stat : 4952 (java) S 4938 4938 7968 0 -1 1077944384 3950 0 0 0 57 1 0 0 20 0 15 0 23314045 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378275137648 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4953] ppid=4938 vsize=13980732 memory=3000 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4953/stat : 4953 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314046 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378274085088 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4954] ppid=4938 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4954/stat : 4954 (java) S 4938 4938 7968 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 23314050 14316269568 34274 18446744073709551615 4194304 4196468 140724564113168 140378273033392 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
################
# More data... #
################
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
[pid=4940] ppid=4938 vsize=13980732 memory=223060 CPUtime=53.71 cores=1,3,5,7
/proc/4940/stat : 4940 (java) S 4938 4938 7968 0 -1 1077944320 69959 0 0 0 5348 23 0 0 20 0 15 0 23314040 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140724564095712 140378803052279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
/proc/4940/statm: 3495183 55765 3237 1 0 3483476 0
[pid=4940/tid=4941] ppid=4938 vsize=13980732 memory=4278483708103473607 CPUtime=43.47 cores=1,3,5,7
/proc/4940/task/4941/stat : 4941 (java) R 4938 4938 7968 0 -1 4202560 13999 0 0 0 4341 6 0 0 20 0 15 0 23314040 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378807291728 140378411456109 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4942] ppid=4938 vsize=13980732 memory=-7003737579269690708 CPUtime=0.17 cores=1,3,5,7
/proc/4940/task/4942/stat : 4942 (java) S 4938 4938 7968 0 -1 1077944384 532 0 0 0 16 1 0 0 20 0 15 0 23314041 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378737486480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4943] ppid=4938 vsize=13980732 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/4940/task/4943/stat : 4943 (java) S 4938 4938 7968 0 -1 1077944384 359 0 0 0 15 1 0 0 20 0 15 0 23314041 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378736433680 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4944] ppid=4938 vsize=13980732 memory=24145 CPUtime=0.17 cores=1,3,5,7
/proc/4940/task/4944/stat : 4944 (java) S 4938 4938 7968 0 -1 1077944384 902 0 0 0 16 1 0 0 20 0 15 0 23314041 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378735380880 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4945] ppid=4938 vsize=13980732 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/4940/task/4945/stat : 4945 (java) S 4938 4938 7968 0 -1 1077944384 1419 0 0 0 16 2 0 0 20 0 15 0 23314041 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378734328080 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4946] ppid=4938 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4940/task/4946/stat : 4946 (java) S 4938 4938 7968 0 -1 1077944384 835 0 0 0 3 0 0 0 20 0 15 0 23314042 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378281454448 140378803063426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4947] ppid=4938 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4947/stat : 4947 (java) S 4938 4938 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378280400480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4948] ppid=4938 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4948/stat : 4948 (java) S 4938 4938 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378279347568 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4949] ppid=4938 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4949/stat : 4949 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378278295888 140378803070875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4950] ppid=4938 vsize=13980732 memory=0 CPUtime=4.32 cores=1,3,5,7
/proc/4940/task/4950/stat : 4950 (java) S 4938 4938 7968 0 -1 1077944384 15760 0 0 0 430 2 0 0 20 0 15 0 23314045 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378277243248 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4951] ppid=4938 vsize=13980732 memory=0 CPUtime=4.33 cores=1,3,5,7
/proc/4940/task/4951/stat : 4951 (java) S 4938 4938 7968 0 -1 1077944384 25504 0 0 0 430 3 0 0 20 0 15 0 23314045 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378276190448 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4952] ppid=4938 vsize=13980732 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/4940/task/4952/stat : 4952 (java) S 4938 4938 7968 0 -1 1077944384 9183 0 0 0 75 2 0 0 20 0 15 0 23314045 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378275137648 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4953] ppid=4938 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4953/stat : 4953 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314046 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378274085088 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4954] ppid=4938 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4940/task/4954/stat : 4954 (java) S 4938 4938 7968 0 -1 1077944384 114 0 0 0 0 1 0 0 20 0 15 0 23314050 14316269568 55765 18446744073709551615 4194304 4196468 140724564113168 140378273033392 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
Current children cumulated CPU time: 53.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 224440 KiB
[startup+44.8008 s]
/proc/loadavg: 1.23 1.46 1.54 3/214 4957
/proc/meminfo: memFree=30353276/32770624 swapFree=67108860/67108860
[pid=4938] ppid=4935 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
[pid=4940] ppid=4938 vsize=13980732 memory=223056 CPUtime=54.52 cores=1,3,5,7
/proc/4940/stat : 4940 (java) S 4938 4938 7968 0 -1 1077944320 69971 0 0 0 5428 24 0 0 20 0 15 0 23314040 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140724564095712 140378803052279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
/proc/4940/statm: 3495183 55764 3237 1 0 3483476 0
[pid=4940/tid=4941] ppid=4938 vsize=13980732 memory=1380 CPUtime=44.26 cores=1,3,5,7
/proc/4940/task/4941/stat : 4941 (java) R 4938 4938 7968 0 -1 4202560 14000 0 0 0 4420 6 0 0 20 0 15 0 23314040 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378807291760 140378412940918 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4942] ppid=4938 vsize=13980732 memory=224004 CPUtime=0.17 cores=1,3,5,7
/proc/4940/task/4942/stat : 4942 (java) S 4938 4938 7968 0 -1 1077944384 539 0 0 0 16 1 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378737486480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4943] ppid=4938 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/4940/task/4943/stat : 4943 (java) S 4938 4938 7968 0 -1 1077944384 360 0 0 0 15 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378736433680 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4944] ppid=4938 vsize=13980732 memory=230144 CPUtime=0.18 cores=1,3,5,7
/proc/4940/task/4944/stat : 4944 (java) S 4938 4938 7968 0 -1 1077944384 903 0 0 0 16 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378735380880 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4945] ppid=4938 vsize=13980732 memory=237684 CPUtime=0.18 cores=1,3,5,7
/proc/4940/task/4945/stat : 4945 (java) S 4938 4938 7968 0 -1 1077944384 1421 0 0 0 16 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378734328080 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4946] ppid=4938 vsize=13980732 memory=280224470742224 CPUtime=0.03 cores=1,3,5,7
/proc/4940/task/4946/stat : 4946 (java) S 4938 4938 7968 0 -1 1077944384 835 0 0 0 3 0 0 0 20 0 15 0 23314042 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378281454448 140378803063426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4947] ppid=4938 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4947/stat : 4947 (java) S 4938 4938 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378280400480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4948] ppid=4938 vsize=13980732 memory=7811614964889703013 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4948/stat : 4948 (java) S 4938 4938 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378279347568 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4949] ppid=4938 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4949/stat : 4949 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378278295888 140378803070875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4950] ppid=4938 vsize=13980732 memory=1380 CPUtime=4.32 cores=1,3,5,7
/proc/4940/task/4950/stat : 4950 (java) S 4938 4938 7968 0 -1 1077944384 15760 0 0 0 430 2 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378277243248 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4951] ppid=4938 vsize=13980732 memory=252064 CPUtime=4.33 cores=1,3,5,7
/proc/4940/task/4951/stat : 4951 (java) S 4938 4938 7968 0 -1 1077944384 25504 0 0 0 430 3 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378276190448 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4952] ppid=4938 vsize=13980732 memory=1380 CPUtime=0.77 cores=1,3,5,7
/proc/4940/task/4952/stat : 4952 (java) S 4938 4938 7968 0 -1 1077944384 9183 0 0 0 75 2 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378275137648 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4953] ppid=4938 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4953/stat : 4953 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314046 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378274085088 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4954] ppid=4938 vsize=13980732 memory=224084 CPUtime=0.01 cores=1,3,5,7
/proc/4940/task/4954/stat : 4954 (java) S 4938 4938 7968 0 -1 1077944384 114 0 0 0 0 1 0 0 20 0 15 0 23314050 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378273033392 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
Current children cumulated CPU time: 54.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 224436 KiB
[startup+45.2008 s]
/proc/loadavg: 1.23 1.46 1.54 3/214 4957
/proc/meminfo: memFree=30360020/32770624 swapFree=67108860/67108860
[pid=4938] ppid=4935 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
[pid=4940] ppid=4938 vsize=13980732 memory=223056 CPUtime=54.92 cores=1,3,5,7
/proc/4940/stat : 4940 (java) S 4938 4938 7968 0 -1 1077944320 69971 0 0 0 5468 24 0 0 20 0 15 0 23314040 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140724564095712 140378803052279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
/proc/4940/statm: 3495183 55764 3237 1 0 3483476 0
[pid=4940/tid=4941] ppid=4938 vsize=13980732 memory=3868 CPUtime=44.66 cores=1,3,5,7
/proc/4940/task/4941/stat : 4941 (java) R 4938 4938 7968 0 -1 4202560 14000 0 0 0 4460 6 0 0 20 0 15 0 23314040 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378807291760 140378412941074 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4942] ppid=4938 vsize=13980732 memory=16444 CPUtime=0.17 cores=1,3,5,7
/proc/4940/task/4942/stat : 4942 (java) S 4938 4938 7968 0 -1 1077944384 539 0 0 0 16 1 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378737486480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4943] ppid=4938 vsize=13980732 memory=224004 CPUtime=0.17 cores=1,3,5,7
/proc/4940/task/4943/stat : 4943 (java) S 4938 4938 7968 0 -1 1077944384 360 0 0 0 15 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378736433680 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4944] ppid=4938 vsize=13980732 memory=1156 CPUtime=0.18 cores=1,3,5,7
/proc/4940/task/4944/stat : 4944 (java) S 4938 4938 7968 0 -1 1077944384 903 0 0 0 16 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378735380880 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4945] ppid=4938 vsize=13980732 memory=2820 CPUtime=0.18 cores=1,3,5,7
/proc/4940/task/4945/stat : 4945 (java) S 4938 4938 7968 0 -1 1077944384 1421 0 0 0 16 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378734328080 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4946] ppid=4938 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/4940/task/4946/stat : 4946 (java) S 4938 4938 7968 0 -1 1077944384 835 0 0 0 3 0 0 0 20 0 15 0 23314042 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378281454448 140378803063426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4947] ppid=4938 vsize=13980732 memory=224012 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4947/stat : 4947 (java) S 4938 4938 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378280400480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4948] ppid=4938 vsize=13980732 memory=3880 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4948/stat : 4948 (java) S 4938 4938 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378279347568 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4949] ppid=4938 vsize=13980732 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4949/stat : 4949 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378278295888 140378803070875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4950] ppid=4938 vsize=13980732 memory=3904 CPUtime=4.32 cores=1,3,5,7
/proc/4940/task/4950/stat : 4950 (java) S 4938 4938 7968 0 -1 1077944384 15760 0 0 0 430 2 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378277243248 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4951] ppid=4938 vsize=13980732 memory=3000 CPUtime=4.33 cores=1,3,5,7
/proc/4940/task/4951/stat : 4951 (java) S 4938 4938 7968 0 -1 1077944384 25504 0 0 0 430 3 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378276190448 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4952] ppid=4938 vsize=13980732 memory=2900 CPUtime=0.77 cores=1,3,5,7
/proc/4940/task/4952/stat : 4952 (java) S 4938 4938 7968 0 -1 1077944384 9183 0 0 0 75 2 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378275137648 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4953] ppid=4938 vsize=13980732 memory=4278483708103473607 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4953/stat : 4953 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314046 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378274085088 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4954] ppid=4938 vsize=13980732 memory=16444 CPUtime=0.01 cores=1,3,5,7
/proc/4940/task/4954/stat : 4954 (java) S 4938 4938 7968 0 -1 1077944384 114 0 0 0 0 1 0 0 20 0 15 0 23314050 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378273033392 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
Current children cumulated CPU time: 54.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 224436 KiB
[startup+45.3008 s]
/proc/loadavg: 1.23 1.46 1.54 3/214 4957
/proc/meminfo: memFree=30360020/32770624 swapFree=67108860/67108860
[pid=4938] ppid=4935 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4938/stat : 4938 (xcsp3-exec) S 4935 4938 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23314030 9740288 345 18446744073709551615 4194304 5098028 140724541478512 140724541476616 140057307464316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29691904 140724541485434 140724541485638 140724541485638 140724541489131 0
/proc/4938/statm: 2378 345 289 221 0 87 0
[pid=4940] ppid=4938 vsize=13980732 memory=223056 CPUtime=55.02 cores=1,3,5,7
/proc/4940/stat : 4940 (java) S 4938 4938 7968 0 -1 1077944320 69971 0 0 0 5478 24 0 0 20 0 15 0 23314040 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140724564095712 140378803052279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
/proc/4940/statm: 3495183 55764 3237 1 0 3483476 0
[pid=4940/tid=4941] ppid=4938 vsize=13980732 memory=223056 CPUtime=44.76 cores=1,3,5,7
/proc/4940/task/4941/stat : 4941 (java) R 4938 4938 7968 0 -1 4202560 14000 0 0 0 4470 6 0 0 20 0 15 0 23314040 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378807291760 140378413271247 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4942] ppid=4938 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/4940/task/4942/stat : 4942 (java) S 4938 4938 7968 0 -1 1077944384 539 0 0 0 16 1 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378737486480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4943] ppid=4938 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/4940/task/4943/stat : 4943 (java) S 4938 4938 7968 0 -1 1077944384 360 0 0 0 15 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378736433680 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4944] ppid=4938 vsize=13980732 memory=223056 CPUtime=0.18 cores=1,3,5,7
/proc/4940/task/4944/stat : 4944 (java) S 4938 4938 7968 0 -1 1077944384 903 0 0 0 16 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378735380880 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4945] ppid=4938 vsize=13980732 memory=1380 CPUtime=0.18 cores=1,3,5,7
/proc/4940/task/4945/stat : 4945 (java) S 4938 4938 7968 0 -1 1077944384 1421 0 0 0 16 2 0 0 20 0 15 0 23314041 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378734328080 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4946] ppid=4938 vsize=13980732 memory=224084 CPUtime=0.03 cores=1,3,5,7
/proc/4940/task/4946/stat : 4946 (java) S 4938 4938 7968 0 -1 1077944384 835 0 0 0 3 0 0 0 20 0 15 0 23314042 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378281454448 140378803063426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4947] ppid=4938 vsize=13980732 memory=252520 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4947/stat : 4947 (java) S 4938 4938 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378280400480 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4948] ppid=4938 vsize=13980732 memory=280224470642704 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4948/stat : 4948 (java) S 4938 4938 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 23314043 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378279347568 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4949] ppid=4938 vsize=13980732 memory=235276 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4949/stat : 4949 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378278295888 140378803070875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4950] ppid=4938 vsize=13980732 memory=234744 CPUtime=4.32 cores=1,3,5,7
/proc/4940/task/4950/stat : 4950 (java) S 4938 4938 7968 0 -1 1077944384 15760 0 0 0 430 2 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378277243248 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4951] ppid=4938 vsize=13980732 memory=1380 CPUtime=4.33 cores=1,3,5,7
/proc/4940/task/4951/stat : 4951 (java) S 4938 4938 7968 0 -1 1077944384 25504 0 0 0 430 3 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378276190448 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4952] ppid=4938 vsize=13980732 memory=224084 CPUtime=0.77 cores=1,3,5,7
/proc/4940/task/4952/stat : 4952 (java) S 4938 4938 7968 0 -1 1077944384 9183 0 0 0 75 2 0 0 20 0 15 0 23314045 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378275137648 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4953] ppid=4938 vsize=13980732 memory=2820 CPUtime=0 cores=1,3,5,7
/proc/4940/task/4953/stat : 4953 (java) S 4938 4938 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23314046 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378274085088 140378803062485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
[pid=4940/tid=4954] ppid=4938 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/4940/task/4954/stat : 4954 (java) S 4938 4938 7968 0 -1 1077944384 114 0 0 0 0 1 0 0 20 0 15 0 23314050 14316269568 55764 18446744073709551615 4194304 4196468 140724564113168 140378273033392 140378803063426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140724564119986 140724564120162 140724564120162 140724564123599 0
Current children cumulated CPU time: 55.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 224436 KiB
Child status: 0
Real time (s): 45.3422
CPU time (s): 55.0695
CPU user time (s): 54.8229
CPU system time (s): 0.246611
CPU usage (%): 121.453
Max. virtual memory (cumulated for all children) (KiB): 13993900
Max. memory (cumulated for all children) (KiB): 279992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.8229
system time used= 0.246611
maximum resident set size= 278612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70915
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4448
involuntary context switches= 87
# summary of solver processes directly reported to runsolver:
# pid: 4938
# total CPU time (s): 55.0695
# total CPU user time (s): 54.8229
# total CPU system time (s): 0.246611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.301728 second user time and 0.497714 second system time
The end