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 (3678 MiB free)
memory of node 1: 16384 MiB (1985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404118-1568991403/watcher-4404118-1568991403 -o /tmp/evaluation-result-4404118-1568991403/solver-4404118-1568991403 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1376612850 HOME/instance-4404118-1568991403.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=4763, runsolver pid=4760
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.23 7.47 4.70 7/233 4779
/proc/meminfo: memFree=5784080/32770624 swapFree=67002128/67108860
[pid=4763] ppid=4760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4763/stat : 4763 (xcsp3-exec) S 4760 4763 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301871 115843072 363 33554432000 4194304 5098028 140729966958320 140729966956424 140239877194364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14188544 140729966961530 140729966961773 140729966961773 140729966964682 0
/proc/4763/statm: 28282 363 304 221 0 87 0
[pid=4765] ppid=4763 vsize=15144776 memory=29144 CPUtime=0.13 cores=0,2,4,6
/proc/4765/stat : 4765 (java) S 4763 4763 2739 0 -1 1077944320 5698 0 0 0 12 1 0 0 20 0 15 0 475301871 15508250624 7286 33554432000 4194304 4196468 140729801701344 140729801683888 139935491768055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
/proc/4765/statm: 3786194 7286 3182 1 0 3748377 0
[pid=4765/tid=4766] ppid=4763 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/4765/task/4766/stat : 4766 (java) R 4763 4763 2739 0 -1 4202560 3604 0 0 0 8 1 0 0 20 0 15 0 475301871 15508250624 7286 33554432000 4194304 4196468 140729801701344 139935495990752 139935084595920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4767] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4767/stat : 4767 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301872 15508250624 7286 33554432000 4194304 4196468 140729801701344 139935084440080 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4768] ppid=4763 vsize=15144776 memory=288370576985003648 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4768/stat : 4768 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301872 15508250624 7286 33554432000 4194304 4196468 140729801701344 139935083387536 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4769] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4769/stat : 4769 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301872 15508250624 7286 33554432000 4194304 4196468 140729801701344 139935082334480 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4770] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4770/stat : 4770 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301872 15508250624 7286 33554432000 4194304 4196468 140729801701344 139935081281936 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4771] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4771/stat : 4771 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301873 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934960188144 139935491779202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4772] ppid=4763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4772/stat : 4772 (java) S 4763 4763 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475301874 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934959134368 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4773] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4773/stat : 4773 (java) S 4763 4763 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475301874 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934958081264 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4774] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4774/stat : 4774 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301876 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934957029840 139935491786651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4775] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4775/stat : 4775 (java) R 4763 4763 2739 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 475301876 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934955977040 139935491778261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4776] ppid=4763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4776/stat : 4776 (java) R 4763 4763 2739 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 15 0 475301876 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934954915904 139935475152655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4777] ppid=4763 vsize=15144776 memory=140200833291904 CPUtime=0.02 cores=0,2,4,6
/proc/4765/task/4777/stat : 4777 (java) R 4763 4763 2739 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 475301876 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934953871344 139935470891307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4778] ppid=4763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4778/stat : 4778 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301877 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934952819040 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4779] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4779/stat : 4779 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301877 15508250624 7286 33554432000 4194304 4196468 140729801701344 139934951767088 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30596 KiB
[startup+0.210788 s]*
/proc/loadavg: 8.23 7.47 4.70 7/233 4779
/proc/meminfo: memFree=5771416/32770624 swapFree=67002128/67108860
[pid=4763] ppid=4760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4763/stat : 4763 (xcsp3-exec) S 4760 4763 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301871 115843072 363 33554432000 4194304 5098028 140729966958320 140729966956424 140239877194364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14188544 140729966961530 140729966961773 140729966961773 140729966964682 0
/proc/4763/statm: 28282 363 304 221 0 87 0
[pid=4765] ppid=4763 vsize=15144776 memory=40680 CPUtime=0.34 cores=0,2,4,6
/proc/4765/stat : 4765 (java) S 4763 4763 2739 0 -1 1077944320 9442 0 0 0 31 3 0 0 20 0 15 0 475301871 15508250624 10170 33554432000 4194304 4196468 140729801701344 140729801683888 139935491768055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
/proc/4765/statm: 3786194 10170 3292 1 0 3748377 0
[pid=4765/tid=4766] ppid=4763 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4765/task/4766/stat : 4766 (java) R 4763 4763 2739 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 475301871 15508250624 10170 33554432000 4194304 4196468 140729801701344 139935496004816 139935475848542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4767] ppid=4763 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4767/stat : 4767 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301872 15508250624 10170 33554432000 4194304 4196468 140729801701344 139935084440080 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4768] ppid=4763 vsize=15144776 memory=140200833309401 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4768/stat : 4768 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301872 15508250624 10170 33554432000 4194304 4196468 140729801701344 139935083387536 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4769] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4769/stat : 4769 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301872 15508250624 10170 33554432000 4194304 4196468 140729801701344 139935082334480 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4770] ppid=4763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4770/stat : 4770 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301872 15508250624 10170 33554432000 4194304 4196468 140729801701344 139935081281936 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4771] ppid=4763 vsize=15144776 memory=140200833291904 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4771/stat : 4771 (java) S 4763 4763 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475301873 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934960188144 139935491779202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4772] ppid=4763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4772/stat : 4772 (java) S 4763 4763 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475301874 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934959134368 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4773] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4773/stat : 4773 (java) S 4763 4763 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475301874 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934958081264 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4774] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4774/stat : 4774 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301876 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934957029840 139935491786651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4775] ppid=4763 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4765/task/4775/stat : 4775 (java) S 4763 4763 2739 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 475301876 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934955976944 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4776] ppid=4763 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4765/task/4776/stat : 4776 (java) S 4763 4763 2739 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 15 0 475301876 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934954924400 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4777] ppid=4763 vsize=15144776 memory=140200833291904 CPUtime=0.07 cores=0,2,4,6
/proc/4765/task/4777/stat : 4777 (java) S 4763 4763 2739 0 -1 1077944384 782 0 0 0 7 0 0 0 20 0 15 0 475301876 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934953871344 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4778] ppid=4763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4778/stat : 4778 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301877 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934952819040 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4779] ppid=4763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4779/stat : 4779 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301877 15508250624 10170 33554432000 4194304 4196468 140729801701344 139934951767088 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42132 KiB
[startup+0.310702 s]*
/proc/loadavg: 8.23 7.47 4.70 6/233 4779
/proc/meminfo: memFree=5763912/32770624 swapFree=67002128/67108860
[pid=4763] ppid=4760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4763/stat : 4763 (xcsp3-exec) S 4760 4763 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301871 115843072 363 33554432000 4194304 5098028 140729966958320 140729966956424 140239877194364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14188544 140729966961530 140729966961773 140729966961773 140729966964682 0
/proc/4763/statm: 28282 363 304 221 0 87 0
[pid=4765] ppid=4763 vsize=15149032 memory=49960 CPUtime=0.51 cores=0,2,4,6
/proc/4765/stat : 4765 (java) S 4763 4763 2739 0 -1 1077944320 10788 0 0 0 47 4 0 0 20 0 15 0 475301871 15512608768 12490 33554432000 4194304 4196468 140729801701344 140729801683888 139935491768055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
/proc/4765/statm: 3787258 12490 3354 1 0 3748377 0
[pid=4765/tid=4766] ppid=4763 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/4765/task/4766/stat : 4766 (java) R 4763 4763 2739 0 -1 4202560 7815 0 0 0 27 3 0 0 20 0 15 0 475301871 15512608768 12494 33554432000 4194304 4196468 140729801701344 139935495999168 139935475848542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4767] ppid=4763 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4767/stat : 4767 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301872 15512608768 12494 33554432000 4194304 4196468 140729801701344 139935084440080 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4768] ppid=4763 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4768/stat : 4768 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301872 15512608768 12494 33554432000 4194304 4196468 140729801701344 139935083387536 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4769] ppid=4763 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4769/stat : 4769 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301872 15512608768 12494 33554432000 4194304 4196468 140729801701344 139935082334480 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4770] ppid=4763 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4770/stat : 4770 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301872 15512608768 12494 33554432000 4194304 4196468 140729801701344 139935081281936 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4771] ppid=4763 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4771/stat : 4771 (java) S 4763 4763 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475301873 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934960188144 139935491779202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4772] ppid=4763 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4772/stat : 4772 (java) S 4763 4763 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475301874 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934959134368 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4773] ppid=4763 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4773/stat : 4773 (java) S 4763 4763 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475301874 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934958081264 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4774] ppid=4763 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4774/stat : 4774 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301876 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934957029840 139935491786651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4775] ppid=4763 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=0,2,4,6
/proc/4765/task/4775/stat : 4775 (java) S 4763 4763 2739 0 -1 1077944384 362 0 0 0 3 0 0 0 20 0 15 0 475301876 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934955976944 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4776] ppid=4763 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4765/task/4776/stat : 4776 (java) S 4763 4763 2739 0 -1 1077944384 424 0 0 0 4 0 0 0 20 0 15 0 475301876 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934954924400 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4777] ppid=4763 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4765/task/4777/stat : 4777 (java) S 4763 4763 2739 0 -1 1077944384 897 0 0 0 12 0 0 0 20 0 15 0 475301876 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934953871344 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4778] ppid=4763 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4778/stat : 4778 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301877 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934952819040 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4779] ppid=4763 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4779/stat : 4779 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301877 15512608768 12494 33554432000 4194304 4196468 140729801701344 139934951767088 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51412 KiB
[startup+0.700744 s]
/proc/loadavg: 8.23 7.47 4.70 8/233 4779
/proc/meminfo: memFree=5733708/32770624 swapFree=67002128/67108860
[pid=4763] ppid=4760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4763/stat : 4763 (xcsp3-exec) S 4760 4763 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301871 115843072 363 33554432000 4194304 5098028 140729966958320 140729966956424 140239877194364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14188544 140729966961530 140729966961773 140729966961773 140729966964682 0
/proc/4763/statm: 28282 363 304 221 0 87 0
[pid=4765] ppid=4763 vsize=15151156 memory=101748 CPUtime=1.72 cores=0,2,4,6
/proc/4765/stat : 4765 (java) S 4763 4763 2739 0 -1 1077944320 16076 0 0 0 165 7 0 0 20 0 15 0 475301871 15514783744 25437 33554432000 4194304 4196468 140729801701344 140729801683888 139935491768055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
/proc/4765/statm: 3787789 25437 3446 1 0 3748889 0
[pid=4765/tid=4766] ppid=4763 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=0,2,4,6
/proc/4765/task/4766/stat : 4766 (java) R 4763 4763 2739 0 -1 4202560 9222 0 0 0 63 5 0 0 20 0 15 0 475301871 15514783744 25437 33554432000 4194304 4196468 140729801701344 139935496003024 139935088465525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4767] ppid=4763 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4767/stat : 4767 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301872 15514783744 25437 33554432000 4194304 4196468 140729801701344 139935084440080 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4768] ppid=4763 vsize=15151156 memory=3617 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4768/stat : 4768 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301872 15514783744 25437 33554432000 4194304 4196468 140729801701344 139935083387536 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4769] ppid=4763 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4769/stat : 4769 (java) S 4763 4763 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301872 15514783744 25437 33554432000 4194304 4196468 140729801701344 139935082334480 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4770] ppid=4763 vsize=15151156 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4770/stat : 4770 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301872 15514783744 25437 33554432000 4194304 4196468 140729801701344 139935081281936 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4771] ppid=4763 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4771/stat : 4771 (java) S 4763 4763 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475301873 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934960188144 139935491779202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4772] ppid=4763 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4772/stat : 4772 (java) S 4763 4763 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475301874 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934959134368 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4773] ppid=4763 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4773/stat : 4773 (java) S 4763 4763 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475301874 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934958081264 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4774] ppid=4763 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4774/stat : 4774 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301876 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934957029840 139935491786651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4775] ppid=4763 vsize=15151156 memory=1160 CPUtime=0.32 cores=0,2,4,6
/proc/4765/task/4775/stat : 4775 (java) R 4763 4763 2739 0 -1 4202560 1444 0 0 0 32 0 0 0 20 0 15 0 475301876 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934955976944 139935475299712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4776] ppid=4763 vsize=15151156 memory=1716 CPUtime=0.34 cores=0,2,4,6
/proc/4765/task/4776/stat : 4776 (java) S 4763 4763 2739 0 -1 1077944384 1915 0 0 0 34 0 0 0 20 0 15 0 475301876 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934954924400 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4777] ppid=4763 vsize=15151156 memory=1096 CPUtime=0.35 cores=0,2,4,6
/proc/4765/task/4777/stat : 4777 (java) S 4763 4763 2739 0 -1 1077944384 2187 0 0 0 34 1 0 0 20 0 15 0 475301876 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934953871344 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4778] ppid=4763 vsize=15151156 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4778/stat : 4778 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301877 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934952819040 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4779] ppid=4763 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4779/stat : 4779 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301877 15514783744 25437 33554432000 4194304 4196468 140729801701344 139934951767088 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103200 KiB
[startup+1.50074 s]
/proc/loadavg: 8.23 7.47 4.70 9/233 4779
/proc/meminfo: memFree=5604508/32770624 swapFree=67002128/67108860
[pid=4763] ppid=4760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4763/stat : 4763 (xcsp3-exec) S 4760 4763 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301871 115843072 363 33554432000 4194304 5098028 140729966958320 140729966956424 140239877194364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14188544 140729966961530 140729966961773 140729966961773 140729966964682 0
/proc/4763/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/4765/task/4779/stat : 4779 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475301877 15790579712 53268 33554432000 4194304 4196468 140729801701344 139934951767088 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 214524 KiB
[startup+3.11305 s]
/proc/loadavg: 8.53 7.55 4.74 10/237 4835
/proc/meminfo: memFree=5592912/32770624 swapFree=67002128/67108860
[pid=4763] ppid=4760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4763/stat : 4763 (xcsp3-exec) S 4760 4763 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301871 115843072 363 33554432000 4194304 5098028 140729966958320 140729966956424 140239877194364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14188544 140729966961530 140729966961773 140729966961773 140729966964682 0
/proc/4763/statm: 28282 363 304 221 0 87 0
[pid=4765] ppid=4763 vsize=15486024 memory=220944 CPUtime=10.94 cores=0,2,4,6
/proc/4765/stat : 4765 (java) S 4763 4763 2739 0 -1 1077944320 20897 0 0 0 1081 13 0 0 20 0 19 0 475301871 15857688576 55236 33554432000 4194304 4196468 140729801701344 140729801683888 139935491768055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
/proc/4765/statm: 3871506 55236 3510 1 0 3832606 0
[pid=4765/tid=4766] ppid=4763 vsize=15486024 memory=220696 CPUtime=1.02 cores=0,2,4,6
/proc/4765/task/4766/stat : 4766 (java) S 4763 4763 2739 0 -1 1077944384 9521 0 0 0 96 6 0 0 20 0 19 0 475301871 15857688576 55236 33554432000 4194304 4196468 140729801701344 139935496008832 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4767] ppid=4763 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4767/stat : 4767 (java) S 4763 4763 2739 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55236 33554432000 4194304 4196468 140729801701344 139935084440080 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4768] ppid=4763 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4768/stat : 4768 (java) S 4763 4763 2739 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55236 33554432000 4194304 4196468 140729801701344 139935083387536 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4769] ppid=4763 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4769/stat : 4769 (java) S 4763 4763 2739 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55236 33554432000 4194304 4196468 140729801701344 139935082334480 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4770] ppid=4763 vsize=15486024 memory=-4546129931942301728 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4770/stat : 4770 (java) S 4763 4763 2739 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55236 33554432000 4194304 4196468 140729801701344 139935081281936 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4771] ppid=4763 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4771/stat : 4771 (java) S 4763 4763 2739 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475301873 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934960188144 139935491779202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4772] ppid=4763 vsize=15486024 memory=8329294824090543255 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4772/stat : 4772 (java) S 4763 4763 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475301874 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934959134368 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4773] ppid=4763 vsize=15486024 memory=-7533511066075829596 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4773/stat : 4773 (java) S 4763 4763 2739 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475301874 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934958081280 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4774] ppid=4763 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4774/stat : 4774 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475301876 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934957029840 139935491786651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4775] ppid=4763 vsize=15486024 memory=0 CPUtime=1.76 cores=0,2,4,6
/proc/4765/task/4775/stat : 4775 (java) R 4763 4763 2739 0 -1 4202560 3040 0 0 0 176 0 0 0 20 0 19 0 475301876 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934955969432 139935476168295 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4776] ppid=4763 vsize=15486024 memory=4465 CPUtime=1.77 cores=0,2,4,6
/proc/4765/task/4776/stat : 4776 (java) R 4763 4763 2739 0 -1 4202560 2578 0 0 0 177 0 0 0 20 0 19 0 475301876 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934954910368 139935476159392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4777] ppid=4763 vsize=15486024 memory=4420 CPUtime=0.77 cores=0,2,4,6
/proc/4765/task/4777/stat : 4777 (java) S 4763 4763 2739 0 -1 1077944384 3118 0 0 0 75 2 0 0 20 0 19 0 475301876 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934953871344 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4778] ppid=4763 vsize=15486024 memory=5544 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4778/stat : 4778 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475301877 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934952819040 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4779] ppid=4763 vsize=15486024 memory=170 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4779/stat : 4779 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475301877 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934951767088 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4832] ppid=4763 vsize=15486024 memory=168 CPUtime=0.35 cores=0,2,4,6
/proc/4765/task/4832/stat : 4832 (java) R 4763 4763 2739 0 -1 4202560 17 0 0 0 35 0 0 0 20 0 19 0 475302135 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934938582584 139935090638849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4833] ppid=4763 vsize=15486024 memory=77 CPUtime=0.36 cores=0,2,4,6
/proc/4765/task/4833/stat : 4833 (java) R 4763 4763 2739 0 -1 4202560 18 0 0 0 36 0 0 0 20 0 19 0 475302135 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934939635640 139935090638797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4834] ppid=4763 vsize=15486024 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/4765/task/4834/stat : 4834 (java) R 4763 4763 2739 0 -1 4202560 18 0 0 0 36 0 0 0 20 0 19 0 475302135 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934937529448 139935090495172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4835] ppid=4763 vsize=15486024 memory=220860 CPUtime=0.37 cores=0,2,4,6
/proc/4765/task/4835/stat : 4835 (java) R 4763 4763 2739 0 -1 4202560 18 0 0 0 37 0 0 0 20 0 19 0 475302135 15857688576 55236 33554432000 4194304 4196468 140729801701344 139934940690936 139935090638806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
Current children cumulated CPU time: 10.94 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 222396 KiB
[startup+3.69076 s]
# the end of solver process 4763 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.0901 s, system=0.147117 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20505 s]
/proc/loadavg: 8.53 7.55 4.74 10/237 4835
/proc/meminfo: memFree=5592912/32770624 swapFree=67002128/67108860
[pid=4763] ppid=4760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4763/stat : 4763 (xcsp3-exec) S 4760 4763 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301871 115843072 363 33554432000 4194304 5098028 140729966958320 140729966956424 140239877194364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14188544 140729966961530 140729966961773 140729966961773 140729966964682 0
/proc/4763/statm: 28282 363 304 221 0 87 0
[pid=4765] ppid=4763 vsize=15486024 memory=220960 CPUtime=11.31 cores=0,2,4,6
/proc/4765/stat : 4765 (java) S 4763 4763 2739 0 -1 1077944320 20915 0 0 0 1118 13 0 0 20 0 19 0 475301871 15857688576 55240 33554432000 4194304 4196468 140729801701344 140729801683888 139935491768055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
/proc/4765/statm: 3871506 55240 3510 1 0 3832606 0
[pid=4765/tid=4766] ppid=4763 vsize=15486024 memory=3620 CPUtime=1.02 cores=0,2,4,6
/proc/4765/task/4766/stat : 4766 (java) S 4763 4763 2739 0 -1 1077944384 9521 0 0 0 96 6 0 0 20 0 19 0 475301871 15857688576 55240 33554432000 4194304 4196468 140729801701344 139935496008832 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4767] ppid=4763 vsize=15486024 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4767/stat : 4767 (java) S 4763 4763 2739 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55240 33554432000 4194304 4196468 140729801701344 139935084440080 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4768] ppid=4763 vsize=15486024 memory=55 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4768/stat : 4768 (java) S 4763 4763 2739 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55240 33554432000 4194304 4196468 140729801701344 139935083387536 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4769] ppid=4763 vsize=15486024 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4769/stat : 4769 (java) S 4763 4763 2739 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55240 33554432000 4194304 4196468 140729801701344 139935082334480 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4770] ppid=4763 vsize=15486024 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4770/stat : 4770 (java) S 4763 4763 2739 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55240 33554432000 4194304 4196468 140729801701344 139935081281936 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4771] ppid=4763 vsize=15486024 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4771/stat : 4771 (java) S 4763 4763 2739 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475301873 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934960188144 139935491779202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4772] ppid=4763 vsize=15486024 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4772/stat : 4772 (java) S 4763 4763 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475301874 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934959134368 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4773] ppid=4763 vsize=15486024 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4773/stat : 4773 (java) S 4763 4763 2739 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475301874 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934958081280 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4774] ppid=4763 vsize=15486024 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4774/stat : 4774 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475301876 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934957029840 139935491786651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4775] ppid=4763 vsize=15486024 memory=6128 CPUtime=1.8 cores=0,2,4,6
/proc/4765/task/4775/stat : 4775 (java) R 4763 4763 2739 0 -1 1077944384 3045 0 0 0 180 0 0 0 20 0 19 0 475301876 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934955976944 139935491779202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4776] ppid=4763 vsize=15486024 memory=14012 CPUtime=1.84 cores=0,2,4,6
/proc/4765/task/4776/stat : 4776 (java) R 4763 4763 2739 0 -1 4202560 2587 0 0 0 184 0 0 0 20 0 19 0 475301876 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934954910368 139935476157588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4777] ppid=4763 vsize=15486024 memory=27572 CPUtime=0.78 cores=0,2,4,6
/proc/4765/task/4777/stat : 4777 (java) S 4763 4763 2739 0 -1 1077944384 3121 0 0 0 76 2 0 0 20 0 19 0 475301876 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934953871344 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4778] ppid=4763 vsize=15486024 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4778/stat : 4778 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475301877 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934952819040 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4779] ppid=4763 vsize=15486024 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4779/stat : 4779 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475301877 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934951767088 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4832] ppid=4763 vsize=15486024 memory=504 CPUtime=0.41 cores=0,2,4,6
/proc/4765/task/4832/stat : 4832 (java) R 4763 4763 2739 0 -1 4202560 17 0 0 0 41 0 0 0 20 0 19 0 475302135 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934938582104 139935090638918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4833] ppid=4763 vsize=15486024 memory=56 CPUtime=0.45 cores=0,2,4,6
/proc/4765/task/4833/stat : 4833 (java) R 4763 4763 2739 0 -1 4202560 19 0 0 0 45 0 0 0 20 0 19 0 475302135 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934939635576 139935090639144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4834] ppid=4763 vsize=15486024 memory=3588 CPUtime=0.41 cores=0,2,4,6
/proc/4765/task/4834/stat : 4834 (java) R 4763 4763 2739 0 -1 4202560 18 0 0 0 41 0 0 0 20 0 19 0 475302135 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934937529448 139935092696020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4835] ppid=4763 vsize=15486024 memory=54132 CPUtime=0.43 cores=0,2,4,6
/proc/4765/task/4835/stat : 4835 (java) R 4763 4763 2739 0 -1 4202560 18 0 0 0 43 0 0 0 20 0 19 0 475302135 15857688576 55240 33554432000 4194304 4196468 140729801701344 139934940688392 139935090638900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
Current children cumulated CPU time: 11.31 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 222412 KiB
[startup+3.60505 s]
/proc/loadavg: 8.53 7.55 4.74 10/237 4835
/proc/meminfo: memFree=5592912/32770624 swapFree=67002128/67108860
[pid=4763] ppid=4760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4763/stat : 4763 (xcsp3-exec) S 4760 4763 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301871 115843072 363 33554432000 4194304 5098028 140729966958320 140729966956424 140239877194364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14188544 140729966961530 140729966961773 140729966961773 140729966964682 0
/proc/4763/statm: 28282 363 304 221 0 87 0
[pid=4765] ppid=4763 vsize=15486024 memory=222024 CPUtime=12.9 cores=0,2,4,6
/proc/4765/stat : 4765 (java) S 4763 4763 2739 0 -1 1077944320 21159 0 0 0 1277 13 0 0 20 0 19 0 475301871 15857688576 55506 33554432000 4194304 4196468 140729801701344 140729801683888 139935491768055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
/proc/4765/statm: 3871506 55506 3512 1 0 3832606 0
[pid=4765/tid=4766] ppid=4763 vsize=15486024 memory=170 CPUtime=1.02 cores=0,2,4,6
/proc/4765/task/4766/stat : 4766 (java) S 4763 4763 2739 0 -1 1077944384 9521 0 0 0 96 6 0 0 20 0 19 0 475301871 15857688576 55506 33554432000 4194304 4196468 140729801701344 139935496008832 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4767] ppid=4763 vsize=15486024 memory=168 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4767/stat : 4767 (java) S 4763 4763 2739 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55506 33554432000 4194304 4196468 140729801701344 139935084440080 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4768] ppid=4763 vsize=15486024 memory=77 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4768/stat : 4768 (java) S 4763 4763 2739 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55506 33554432000 4194304 4196468 140729801701344 139935083387536 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4769] ppid=4763 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4769/stat : 4769 (java) S 4763 4763 2739 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55506 33554432000 4194304 4196468 140729801701344 139935082334480 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4770] ppid=4763 vsize=15486024 memory=740 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4770/stat : 4770 (java) S 4763 4763 2739 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475301872 15857688576 55506 33554432000 4194304 4196468 140729801701344 139935081281936 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4771] ppid=4763 vsize=15486024 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4771/stat : 4771 (java) S 4763 4763 2739 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475301873 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934960188144 139935491779202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4772] ppid=4763 vsize=15486024 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4772/stat : 4772 (java) S 4763 4763 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475301874 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934959134368 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4773] ppid=4763 vsize=15486024 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4773/stat : 4773 (java) S 4763 4763 2739 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475301874 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934958081280 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4774] ppid=4763 vsize=15486024 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4774/stat : 4774 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475301876 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934957029840 139935491786651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4775] ppid=4763 vsize=15486024 memory=776 CPUtime=1.86 cores=0,2,4,6
/proc/4765/task/4775/stat : 4775 (java) R 4763 4763 2739 0 -1 1077944384 3050 0 0 0 186 0 0 0 20 0 19 0 475301876 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934955976944 139935491779202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4776] ppid=4763 vsize=15486024 memory=1160 CPUtime=1.92 cores=0,2,4,6
/proc/4765/task/4776/stat : 4776 (java) S 4763 4763 2739 0 -1 1077944384 2825 0 0 0 192 0 0 0 20 0 19 0 475301876 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934954924400 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4777] ppid=4763 vsize=15486024 memory=1716 CPUtime=0.78 cores=0,2,4,6
/proc/4765/task/4777/stat : 4777 (java) S 4763 4763 2739 0 -1 1077944384 3122 0 0 0 76 2 0 0 20 0 19 0 475301876 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934953871344 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4778] ppid=4763 vsize=15486024 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4778/stat : 4778 (java) S 4763 4763 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475301877 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934952819040 139935491778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4779] ppid=4763 vsize=15486024 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/4765/task/4779/stat : 4779 (java) S 4763 4763 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475301877 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934951767088 139935491779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4832] ppid=4763 vsize=15486024 memory=33 CPUtime=0.76 cores=0,2,4,6
/proc/4765/task/4832/stat : 4832 (java) R 4763 4763 2739 0 -1 4202560 17 0 0 0 76 0 0 0 20 0 19 0 475302135 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934938581880 139935090639149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4833] ppid=4763 vsize=15486024 memory=6994781559841273980 CPUtime=0.82 cores=0,2,4,6
/proc/4765/task/4833/stat : 4833 (java) R 4763 4763 2739 0 -1 4202560 19 0 0 0 82 0 0 0 20 0 19 0 475302135 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934939635656 139935090638849 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4834] ppid=4763 vsize=15486024 memory=4498404016631593314 CPUtime=0.76 cores=0,2,4,6
/proc/4765/task/4834/stat : 4834 (java) R 4763 4763 2739 0 -1 4202560 18 0 0 0 76 0 0 0 20 0 19 0 475302135 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934937530104 139935090980171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
[pid=4765/tid=4835] ppid=4763 vsize=15486024 memory=1329904169539632281 CPUtime=0.8 cores=0,2,4,6
/proc/4765/task/4835/stat : 4835 (java) R 4763 4763 2739 0 -1 4202560 18 0 0 0 80 0 0 0 20 0 19 0 475302135 15857688576 55506 33554432000 4194304 4196468 140729801701344 139934940688760 139935090638797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38948864 140729801708527 140729801708698 140729801708698 140729801711567 0
Current children cumulated CPU time: 12.9 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 223476 KiB
Child status: 0
Real time (s): 3.69081
CPU time (s): 13.2373
CPU user time (s): 13.0901
CPU system time (s): 0.147117
CPU usage (%): 358.655
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 223476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.0901
system time used= 0.147117
maximum resident set size= 222932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2574
involuntary context switches= 530
# summary of solver processes directly reported to runsolver:
# pid: 4763
# total CPU time (s): 13.2373
# total CPU user time (s): 13.0901
# total CPU system time (s): 0.147117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042986 second user time and 0.08484 second system time
The end