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 (15217 MiB free)
memory of node 1: 16384 MiB (15634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270156-1502620967/watcher-4270156-1502620967 -o /tmp/evaluation-result-4270156-1502620967/solver-4270156-1502620967 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502620106-1702 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 962459506 HOME/instance-4270156-1502620967.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=1823, runsolver pid=1820
[startup+0.104029 s]*
/proc/loadavg: 1.00 1.15 1.56 4/219 1839
/proc/meminfo: memFree=31575052/32770624 swapFree=67108860/67108860
[pid=1823] ppid=1820 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (xcsp3-exec) S 1820 1823 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95184910 9740288 346 33554432000 4194304 5098028 140730348581488 140730348579592 140270270546556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33611776 140730348586101 140730348586304 140730348586304 140730348589035 0
/proc/1823/statm: 2378 346 289 221 0 87 0
[pid=1825] ppid=1823 vsize=13978596 memory=28816 CPUtime=0.13 cores=1,3,5,7
/proc/1825/stat : 1825 (java) S 1823 1823 30973 0 -1 1077944320 5509 0 0 0 12 1 0 0 20 0 15 0 95184910 14314082304 7204 33554432000 4194304 4196468 140735982263552 140735982246096 140171171270391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
/proc/1825/statm: 3494649 7204 2898 1 0 3482966 0
[pid=1825/tid=1826] ppid=1823 vsize=13978596 memory=7898910893248706067 CPUtime=0.09 cores=1,3,5,7
/proc/1825/task/1826/stat : 1826 (java) R 1823 1823 30973 0 -1 4202560 3449 0 0 0 9 0 0 0 20 0 15 0 95184910 14314082304 7204 33554432000 4194304 4196468 140735982263552 140171175503520 140171171292317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1827] ppid=1823 vsize=13978596 memory=3472467983476475088 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1827/stat : 1827 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184911 14314082304 7204 33554432000 4194304 4196468 140735982263552 140171101359120 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1828] ppid=1823 vsize=13978596 memory=139854581323392 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1828/stat : 1828 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184911 14314082304 7204 33554432000 4194304 4196468 140735982263552 140171100306576 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1829] ppid=1823 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1829/stat : 1829 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184911 14314082304 7204 33554432000 4194304 4196468 140735982263552 140171099253520 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1830] ppid=1823 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1830/stat : 1830 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184911 14314082304 7204 33554432000 4194304 4196468 140735982263552 140171098200976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1831] ppid=1823 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1831/stat : 1831 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184912 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170645440752 140171171281538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1832] ppid=1823 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1832/stat : 1832 (java) S 1823 1823 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95184913 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170644386976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1833] ppid=1823 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1833/stat : 1833 (java) S 1823 1823 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95184913 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170643333872 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1834] ppid=1823 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1834/stat : 1834 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170642282448 140171171288987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1835] ppid=1823 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1835/stat : 1835 (java) S 1823 1823 30973 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 95184915 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170641230576 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1836] ppid=1823 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1836/stat : 1836 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170640178032 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1837] ppid=1823 vsize=13978596 memory=139854581323392 CPUtime=0.02 cores=1,3,5,7
/proc/1825/task/1837/stat : 1837 (java) R 1823 1823 30973 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 95184915 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170639124976 140171148494544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1838] ppid=1823 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1838/stat : 1838 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170638072672 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1839] ppid=1823 vsize=13978596 memory=139854581323392 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1839/stat : 1839 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184916 14314082304 7204 33554432000 4194304 4196468 140735982263552 140170637019696 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30200 KiB
[startup+0.210912 s]*
/proc/loadavg: 1.00 1.15 1.56 3/219 1839
/proc/meminfo: memFree=31564212/32770624 swapFree=67108860/67108860
[pid=1823] ppid=1820 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (xcsp3-exec) S 1820 1823 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95184910 9740288 346 33554432000 4194304 5098028 140730348581488 140730348579592 140270270546556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33611776 140730348586101 140730348586304 140730348586304 140730348589035 0
/proc/1823/statm: 2378 346 289 221 0 87 0
[pid=1825] ppid=1823 vsize=13982852 memory=39912 CPUtime=0.34 cores=1,3,5,7
/proc/1825/stat : 1825 (java) S 1823 1823 30973 0 -1 1077944320 8051 0 0 0 32 2 0 0 20 0 15 0 95184910 14318440448 9978 33554432000 4194304 4196468 140735982263552 140735982246096 140171171270391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
/proc/1825/statm: 3495713 9978 3052 1 0 3482966 0
[pid=1825/tid=1826] ppid=1823 vsize=13982852 memory=7898910893248706067 CPUtime=0.2 cores=1,3,5,7
/proc/1825/task/1826/stat : 1826 (java) R 1823 1823 30973 0 -1 4202560 5362 0 0 0 19 1 0 0 20 0 15 0 95184910 14318440448 9978 33554432000 4194304 4196468 140735982263552 140171175472080 140171163949613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1827] ppid=1823 vsize=13982852 memory=3472467983476475088 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1827/stat : 1827 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184911 14318440448 9978 33554432000 4194304 4196468 140735982263552 140171101359120 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1828] ppid=1823 vsize=13982852 memory=139854581323392 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1828/stat : 1828 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184911 14318440448 9978 33554432000 4194304 4196468 140735982263552 140171100306576 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1829] ppid=1823 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1829/stat : 1829 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184911 14318440448 9978 33554432000 4194304 4196468 140735982263552 140171099253520 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1830] ppid=1823 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1830/stat : 1830 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184911 14318440448 9978 33554432000 4194304 4196468 140735982263552 140171098200976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1831] ppid=1823 vsize=13982852 memory=139854581323392 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1831/stat : 1831 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184912 14318440448 9978 33554432000 4194304 4196468 140735982263552 140170645440752 140171171281538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1832] ppid=1823 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1832/stat : 1832 (java) S 1823 1823 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95184913 14318473216 9978 33554432000 4194304 4196468 140735982263552 140170644386976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1833] ppid=1823 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1833/stat : 1833 (java) S 1823 1823 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95184913 14318473216 9978 33554432000 4194304 4196468 140735982263552 140170643333872 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1834] ppid=1823 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1834/stat : 1834 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14318440448 9978 33554432000 4194304 4196468 140735982263552 140170642282448 140171171288987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1835] ppid=1823 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1835/stat : 1835 (java) S 1823 1823 30973 0 -1 1077944384 574 0 0 0 1 0 0 0 20 0 15 0 95184915 14318440448 9978 33554432000 4194304 4196468 140735982263552 140170641230576 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1836] ppid=1823 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/1825/task/1836/stat : 1836 (java) S 1823 1823 30973 0 -1 1077944384 183 0 0 0 3 0 0 0 20 0 15 0 95184915 14318440448 9978 33554432000 4194304 4196468 140735982263552 140170640178032 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1837] ppid=1823 vsize=13982852 memory=139854581323392 CPUtime=0.08 cores=1,3,5,7
/proc/1825/task/1837/stat : 1837 (java) S 1823 1823 30973 0 -1 1077944384 707 0 0 0 8 0 0 0 20 0 15 0 95184915 14318440448 9978 33554432000 4194304 4196468 140735982263552 140170639124976 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1838] ppid=1823 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1838/stat : 1838 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14318473216 9978 33554432000 4194304 4196468 140735982263552 140170638072672 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1839] ppid=1823 vsize=13982884 memory=139854581323392 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1839/stat : 1839 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184916 14318473216 9978 33554432000 4194304 4196468 140735982263552 140170637019696 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41296 KiB
[startup+0.311569 s]*
/proc/loadavg: 1.00 1.15 1.56 3/219 1839
/proc/meminfo: memFree=31556644/32770624 swapFree=67108860/67108860
[pid=1823] ppid=1820 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (xcsp3-exec) S 1820 1823 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95184910 9740288 346 33554432000 4194304 5098028 140730348581488 140730348579592 140270270546556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33611776 140730348586101 140730348586304 140730348586304 140730348589035 0
/proc/1823/statm: 2378 346 289 221 0 87 0
[pid=1825] ppid=1823 vsize=13982928 memory=47108 CPUtime=0.5 cores=1,3,5,7
/proc/1825/stat : 1825 (java) S 1823 1823 30973 0 -1 1077944320 9056 0 0 0 48 2 0 0 20 0 15 0 95184910 14318518272 11777 33554432000 4194304 4196468 140735982263552 140735982246096 140171171270391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
/proc/1825/statm: 3495732 11777 3073 1 0 3482966 0
[pid=1825/tid=1826] ppid=1823 vsize=13982928 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1825/task/1826/stat : 1826 (java) R 1823 1823 30973 0 -1 4202560 6083 0 0 0 28 1 0 0 20 0 15 0 95184910 14318518272 11841 33554432000 4194304 4196468 140735982263552 140171175508896 140171171292317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1827] ppid=1823 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1827/stat : 1827 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184911 14318518272 11841 33554432000 4194304 4196468 140735982263552 140171101359120 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1828] ppid=1823 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1828/stat : 1828 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184911 14318518272 11853 33554432000 4194304 4196468 140735982263552 140171100306576 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1829] ppid=1823 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1829/stat : 1829 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184911 14318518272 11853 33554432000 4194304 4196468 140735982263552 140171099253520 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1830] ppid=1823 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1830/stat : 1830 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184911 14318518272 11853 33554432000 4194304 4196468 140735982263552 140171098200976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1831] ppid=1823 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1831/stat : 1831 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184912 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170645440752 140171171281538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1832] ppid=1823 vsize=13982928 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1832/stat : 1832 (java) S 1823 1823 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95184913 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170644386976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1833] ppid=1823 vsize=13982928 memory=139854581323392 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1833/stat : 1833 (java) S 1823 1823 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95184913 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170643333872 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1834] ppid=1823 vsize=13982928 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1834/stat : 1834 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170642282448 140171171288987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1835] ppid=1823 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1825/task/1835/stat : 1835 (java) S 1823 1823 30973 0 -1 1077944384 649 0 0 0 3 0 0 0 20 0 15 0 95184915 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170641230576 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1836] ppid=1823 vsize=13982928 memory=14320615423 CPUtime=0.04 cores=1,3,5,7
/proc/1825/task/1836/stat : 1836 (java) S 1823 1823 30973 0 -1 1077944384 191 0 0 0 4 0 0 0 20 0 15 0 95184915 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170640178032 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1837] ppid=1823 vsize=13982928 memory=104921101 CPUtime=0.12 cores=1,3,5,7
/proc/1825/task/1837/stat : 1837 (java) R 1823 1823 30973 0 -1 4202560 849 0 0 0 12 0 0 0 20 0 15 0 95184915 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170639124976 140171150239854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1838] ppid=1823 vsize=13982928 memory=205481997 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1838/stat : 1838 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170638072672 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1839] ppid=1823 vsize=13982928 memory=279708940129220 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1839/stat : 1839 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184916 14318518272 11853 33554432000 4194304 4196468 140735982263552 140170637019696 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48492 KiB
[startup+0.706292 s]
/proc/loadavg: 1.00 1.15 1.56 6/219 1839
/proc/meminfo: memFree=31538716/32770624 swapFree=67108860/67108860
[pid=1823] ppid=1820 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (xcsp3-exec) S 1820 1823 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95184910 9740288 346 33554432000 4194304 5098028 140730348581488 140730348579592 140270270546556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33611776 140730348586101 140730348586304 140730348586304 140730348589035 0
/proc/1823/statm: 2378 346 289 221 0 87 0
[pid=1825] ppid=1823 vsize=13984976 memory=73760 CPUtime=1.65 cores=1,3,5,7
/proc/1825/stat : 1825 (java) S 1823 1823 30973 0 -1 1077944320 12626 0 0 0 161 4 0 0 20 0 15 0 95184910 14320615424 18440 33554432000 4194304 4196468 140735982263552 140735982246096 140171171270391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
/proc/1825/statm: 3496244 18440 3212 1 0 3483478 0
[pid=1825/tid=1826] ppid=1823 vsize=13984976 memory=27464 CPUtime=0.67 cores=1,3,5,7
/proc/1825/task/1826/stat : 1826 (java) R 1823 1823 30973 0 -1 4202560 6680 0 0 0 65 2 0 0 20 0 15 0 95184910 14320615424 18440 33554432000 4194304 4196468 140735982263552 140171175508432 140170774451785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1827] ppid=1823 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1827/stat : 1827 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184911 14320615424 18440 33554432000 4194304 4196468 140735982263552 140171101359120 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1828] ppid=1823 vsize=13984976 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1828/stat : 1828 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184911 14320615424 18440 33554432000 4194304 4196468 140735982263552 140171100306576 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1829] ppid=1823 vsize=13984976 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1829/stat : 1829 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184911 14320615424 18440 33554432000 4194304 4196468 140735982263552 140171099253520 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1830] ppid=1823 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1830/stat : 1830 (java) S 1823 1823 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184911 14320615424 18440 33554432000 4194304 4196468 140735982263552 140171098200976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1831] ppid=1823 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1831/stat : 1831 (java) S 1823 1823 30973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95184912 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170645440752 140171171281538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1832] ppid=1823 vsize=13984976 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1832/stat : 1832 (java) S 1823 1823 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170644386976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1833] ppid=1823 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1833/stat : 1833 (java) S 1823 1823 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170643333872 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1834] ppid=1823 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1834/stat : 1834 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170642282448 140171171288987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1835] ppid=1823 vsize=13984976 memory=1420 CPUtime=0.31 cores=1,3,5,7
/proc/1825/task/1835/stat : 1835 (java) R 1823 1823 30973 0 -1 4202560 1709 0 0 0 31 0 0 0 20 0 15 0 95184915 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170641220320 140171152791791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1836] ppid=1823 vsize=13984976 memory=13040 CPUtime=0.32 cores=1,3,5,7
/proc/1825/task/1836/stat : 1836 (java) R 1823 1823 30973 0 -1 4202560 1348 0 0 0 32 0 0 0 20 0 15 0 95184915 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170640171056 140171151228056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1837] ppid=1823 vsize=13984976 memory=1944 CPUtime=0.31 cores=1,3,5,7
/proc/1825/task/1837/stat : 1837 (java) S 1823 1823 30973 0 -1 1077944384 1581 0 0 0 31 0 0 0 20 0 15 0 95184915 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170639124976 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1838] ppid=1823 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1838/stat : 1838 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170638072672 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1839] ppid=1823 vsize=13984976 memory=7233438859035502144 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1839/stat : 1839 (java) S 1823 1823 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184916 14320615424 18440 33554432000 4194304 4196468 140735982263552 140170637019696 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75144 KiB
[startup+1.50083 s]
/proc/loadavg: 1.00 1.15 1.56 4/219 1839
/proc/meminfo: memFree=31517744/32770624 swapFree=67108860/67108860
[pid=1823] ppid=1820 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (xcsp3-exec) S 1820 1823 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95184910 9740288 346 33554432000 4194304 5098028 140730348581488 140730348579592 140270270546556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33611776 140730348586101 140730348586304 140730348586304 140730348589035 0
/proc/1823/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/1825/task/1833/stat : 1833 (java) S 1823 1823 30973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 49370 33554432000 4194304 4196468 140735982263552 140170643333872 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1834] ppid=1823 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1834/stat : 1834 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 49370 33554432000 4194304 4196468 140735982263552 140170642282448 140171171288987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1835] ppid=1823 vsize=13984976 memory=197480 CPUtime=1.03 cores=1,3,5,7
/proc/1825/task/1835/stat : 1835 (java) S 1823 1823 30973 0 -1 1077944384 7325 0 0 0 102 1 0 0 20 0 15 0 95184915 14320615424 49370 33554432000 4194304 4196468 140735982263552 140170641230576 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1836] ppid=1823 vsize=13984976 memory=28708 CPUtime=0.87 cores=1,3,5,7
/proc/1825/task/1836/stat : 1836 (java) S 1823 1823 30973 0 -1 1077944384 5362 0 0 0 87 0 0 0 20 0 15 0 95184915 14320615424 49370 33554432000 4194304 4196468 140735982263552 140170640178032 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1837] ppid=1823 vsize=13984976 memory=197480 CPUtime=0.43 cores=1,3,5,7
/proc/1825/task/1837/stat : 1837 (java) S 1823 1823 30973 0 -1 1077944384 5780 0 0 0 43 0 0 0 20 0 15 0 95184915 14320615424 49370 33554432000 4194304 4196468 140735982263552 140170639124976 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1838] ppid=1823 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1838/stat : 1838 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 49370 33554432000 4194304 4196468 140735982263552 140170638072672 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1839] ppid=1823 vsize=13984976 memory=197480 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1839/stat : 1839 (java) S 1823 1823 30973 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 15 0 95184916 14320615424 49370 33554432000 4194304 4196468 140735982263552 140170637019696 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
Current children cumulated CPU time: 104.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198864 KiB
[startup+162.301 s]
/proc/loadavg: 1.94 1.52 1.64 3/219 1848
/proc/meminfo: memFree=31297080/32770624 swapFree=67108860/67108860
[pid=1823] ppid=1820 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (xcsp3-exec) S 1820 1823 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95184910 9740288 346 33554432000 4194304 5098028 140730348581488 140730348579592 140270270546556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33611776 140730348586101 140730348586304 140730348586304 140730348589035 0
/proc/1823/statm: 2378 346 289 221 0 87 0
[pid=1825] ppid=1823 vsize=13984976 memory=197584 CPUtime=164.72 cores=1,3,5,7
/proc/1825/stat : 1825 (java) S 1823 1823 30973 0 -1 1077944320 36187 0 0 0 16461 11 0 0 20 0 15 0 95184910 14320615424 49396 33554432000 4194304 4196468 140735982263552 140735982246096 140171171270391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
/proc/1825/statm: 3496244 49396 3259 1 0 3483478 0
[pid=1825/tid=1826] ppid=1823 vsize=13984976 memory=197584 CPUtime=162.25 cores=1,3,5,7
/proc/1825/task/1826/stat : 1826 (java) R 1823 1823 30973 0 -1 4202560 11321 0 0 0 16220 5 0 0 20 0 15 0 95184910 14320615424 49396 33554432000 4194304 4196468 140735982263552 140171175509008 140170774981657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1827] ppid=1823 vsize=13984976 memory=197584 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1827/stat : 1827 (java) S 1823 1823 30973 0 -1 1077944384 997 0 0 0 0 0 0 0 20 0 15 0 95184911 14320615424 49396 33554432000 4194304 4196468 140735982263552 140171101359120 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1828] ppid=1823 vsize=13984976 memory=197584 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1828/stat : 1828 (java) S 1823 1823 30973 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 95184911 14320615424 49396 33554432000 4194304 4196468 140735982263552 140171100306576 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1829] ppid=1823 vsize=13984976 memory=197584 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1829/stat : 1829 (java) S 1823 1823 30973 0 -1 1077944384 891 0 0 0 1 0 0 0 20 0 15 0 95184911 14320615424 49396 33554432000 4194304 4196468 140735982263552 140171099253520 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1830] ppid=1823 vsize=13984976 memory=197584 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1830/stat : 1830 (java) S 1823 1823 30973 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 95184911 14320615424 49396 33554432000 4194304 4196468 140735982263552 140171098200976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1831] ppid=1823 vsize=13984976 memory=197584 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1831/stat : 1831 (java) S 1823 1823 30973 0 -1 1077944384 1075 0 0 0 1 0 0 0 20 0 15 0 95184912 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170645440752 140171171281538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1832] ppid=1823 vsize=13984976 memory=197584 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1832/stat : 1832 (java) S 1823 1823 30973 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170644386976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1833] ppid=1823 vsize=13984976 memory=197576 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1833/stat : 1833 (java) S 1823 1823 30973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170643333872 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1834] ppid=1823 vsize=13984976 memory=18476 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1834/stat : 1834 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170642282448 140171171288987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1835] ppid=1823 vsize=13984976 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/1825/task/1835/stat : 1835 (java) S 1823 1823 30973 0 -1 1077944384 7328 0 0 0 102 1 0 0 20 0 15 0 95184915 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170641230576 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1836] ppid=1823 vsize=13984976 memory=196 CPUtime=0.87 cores=1,3,5,7
/proc/1825/task/1836/stat : 1836 (java) S 1823 1823 30973 0 -1 1077944384 5370 0 0 0 87 0 0 0 20 0 15 0 95184915 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170640178032 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1837] ppid=1823 vsize=13984976 memory=1384 CPUtime=0.45 cores=1,3,5,7
/proc/1825/task/1837/stat : 1837 (java) S 1823 1823 30973 0 -1 1077944384 6587 0 0 0 44 1 0 0 20 0 15 0 95184915 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170639124976 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1838] ppid=1823 vsize=13984976 memory=197584 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1838/stat : 1838 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170638072672 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1839] ppid=1823 vsize=13984976 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/1825/task/1839/stat : 1839 (java) S 1823 1823 30973 0 -1 1077944384 580 0 0 0 1 1 0 0 20 0 15 0 95184916 14320615424 49396 33554432000 4194304 4196468 140735982263552 140170637019696 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
Current children cumulated CPU time: 164.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198968 KiB
[startup+222.301 s]
/proc/loadavg: 1.98 1.61 1.66 3/218 1849
/proc/meminfo: memFree=31298780/32770624 swapFree=67108860/67108860
[pid=1823] ppid=1820 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (xcsp3-exec) S 1820 1823 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95184910 9740288 346 33554432000 4194304 5098028 140730348581488 140730348579592 140270270546556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33611776 140730348586101 140730348586304 140730348586304 140730348589035 0
/proc/1823/statm: 2378 346 289 221 0 87 0
[pid=1825] ppid=1823 vsize=13984976 memory=196000 CPUtime=224.78 cores=1,3,5,7
/proc/1825/stat : 1825 (java) S 1823 1823 30973 0 -1 1077944320 36318 0 0 0 22465 13 0 0 20 0 15 0 95184910 14320615424 49000 33554432000 4194304 4196468 140735982263552 140735982246096 140171171270391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
/proc/1825/statm: 3496244 49000 3259 1 0 3483478 0
[pid=1825/tid=1826] ppid=1823 vsize=13984976 memory=1384 CPUtime=222.23 cores=1,3,5,7
/proc/1825/task/1826/stat : 1826 (java) R 1823 1823 30973 0 -1 4202560 11346 0 0 0 22218 5 0 0 20 0 15 0 95184910 14320615424 49000 33554432000 4194304 4196468 140735982263552 140171175506640 140170774723022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1827] ppid=1823 vsize=13984976 memory=15512 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1827/stat : 1827 (java) S 1823 1823 30973 0 -1 1077944384 1008 0 0 0 1 0 0 0 20 0 15 0 95184911 14320615424 49000 33554432000 4194304 4196468 140735982263552 140171101359120 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1828] ppid=1823 vsize=13984976 memory=147709966039156 CPUtime=0.02 cores=1,3,5,7
/proc/1825/task/1828/stat : 1828 (java) S 1823 1823 30973 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 15 0 95184911 14320615424 49000 33554432000 4194304 4196468 140735982263552 140171100306576 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1829] ppid=1823 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/1825/task/1829/stat : 1829 (java) S 1823 1823 30973 0 -1 1077944384 907 0 0 0 2 0 0 0 20 0 15 0 95184911 14320615424 49000 33554432000 4194304 4196468 140735982263552 140171099253520 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1830] ppid=1823 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1830/stat : 1830 (java) S 1823 1823 30973 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 95184911 14320615424 49000 33554432000 4194304 4196468 140735982263552 140171098200976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1831] ppid=1823 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1831/stat : 1831 (java) S 1823 1823 30973 0 -1 1077944384 1083 0 0 0 1 0 0 0 20 0 15 0 95184912 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170645440752 140171171281538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1832] ppid=1823 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1832/stat : 1832 (java) S 1823 1823 30973 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170644386976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1833] ppid=1823 vsize=13984976 memory=196000 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1833/stat : 1833 (java) S 1823 1823 30973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170643333872 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1834] ppid=1823 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1834/stat : 1834 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170642282448 140171171288987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1835] ppid=1823 vsize=13984976 memory=1384 CPUtime=1.03 cores=1,3,5,7
/proc/1825/task/1835/stat : 1835 (java) S 1823 1823 30973 0 -1 1077944384 7328 0 0 0 102 1 0 0 20 0 15 0 95184915 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170641230576 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1836] ppid=1823 vsize=13984976 memory=1384 CPUtime=0.87 cores=1,3,5,7
/proc/1825/task/1836/stat : 1836 (java) S 1823 1823 30973 0 -1 1077944384 5370 0 0 0 87 0 0 0 20 0 15 0 95184915 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170640178032 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1837] ppid=1823 vsize=13984976 memory=4128 CPUtime=0.45 cores=1,3,5,7
/proc/1825/task/1837/stat : 1837 (java) S 1823 1823 30973 0 -1 1077944384 6637 0 0 0 44 1 0 0 20 0 15 0 95184915 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170639124976 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1838] ppid=1823 vsize=13984976 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1838/stat : 1838 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170638072672 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1839] ppid=1823 vsize=13984976 memory=4140 CPUtime=0.04 cores=1,3,5,7
/proc/1825/task/1839/stat : 1839 (java) S 1823 1823 30973 0 -1 1077944384 584 0 0 0 2 2 0 0 20 0 15 0 95184916 14320615424 49000 33554432000 4194304 4196468 140735982263552 140170637019696 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
Current children cumulated CPU time: 224.78 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 197384 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.98 1.63 1.67 3/218 1929
/proc/meminfo: memFree=31406308/32770624 swapFree=67108860/67108860
[pid=1823] ppid=1820 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (xcsp3-exec) S 1820 1823 30973 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95184910 9740288 346 33554432000 4194304 5098028 140730348581488 140730348579592 140270270546556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33611776 140730348586101 140730348586304 140730348586304 140730348589035 0
/proc/1823/statm: 2378 346 289 221 0 87 0
[pid=1825] ppid=1823 vsize=13984976 memory=194964 CPUtime=242.5 cores=1,3,5,7
/proc/1825/stat : 1825 (java) S 1823 1823 30973 0 -1 1077944320 37648 0 0 0 24237 13 0 0 20 0 15 0 95184910 14320615424 48741 33554432000 4194304 4196468 140735982263552 140735982246096 140171171270391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
/proc/1825/statm: 3496244 48741 3259 1 0 3483478 0
[pid=1825/tid=1826] ppid=1823 vsize=13984976 memory=6935054825532540783 CPUtime=239.93 cores=1,3,5,7
/proc/1825/task/1826/stat : 1826 (java) R 1823 1823 30973 0 -1 4202560 11949 0 0 0 23988 5 0 0 20 0 15 0 95184910 14320615424 48741 33554432000 4194304 4196468 140735982263552 140171175509072 140170774451721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1827] ppid=1823 vsize=13984976 memory=-7003737579269690708 CPUtime=0.02 cores=1,3,5,7
/proc/1825/task/1827/stat : 1827 (java) S 1823 1823 30973 0 -1 1077944384 1374 0 0 0 2 0 0 0 20 0 15 0 95184911 14320615424 48741 33554432000 4194304 4196468 140735982263552 140171101359120 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1828] ppid=1823 vsize=13984976 memory=1420 CPUtime=0.02 cores=1,3,5,7
/proc/1825/task/1828/stat : 1828 (java) S 1823 1823 30973 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 95184911 14320615424 48741 33554432000 4194304 4196468 140735982263552 140171100306576 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1829] ppid=1823 vsize=13984976 memory=13040 CPUtime=0.02 cores=1,3,5,7
/proc/1825/task/1829/stat : 1829 (java) S 1823 1823 30973 0 -1 1077944384 931 0 0 0 2 0 0 0 20 0 15 0 95184911 14320615424 48741 33554432000 4194304 4196468 140735982263552 140171099253520 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1830] ppid=1823 vsize=13984976 memory=1944 CPUtime=0.02 cores=1,3,5,7
/proc/1825/task/1830/stat : 1830 (java) S 1823 1823 30973 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 95184911 14320615424 48741 33554432000 4194304 4196468 140735982263552 140171098200976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1831] ppid=1823 vsize=13984976 memory=1196 CPUtime=0.01 cores=1,3,5,7
/proc/1825/task/1831/stat : 1831 (java) S 1823 1823 30973 0 -1 1077944384 1301 0 0 0 1 0 0 0 20 0 15 0 95184912 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170645440752 140171171281538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1832] ppid=1823 vsize=13984976 memory=8548 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1832/stat : 1832 (java) S 1823 1823 30973 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170644386976 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1833] ppid=1823 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1833/stat : 1833 (java) S 1823 1823 30973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 95184913 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170643333872 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1834] ppid=1823 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1834/stat : 1834 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170642282448 140171171288987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1835] ppid=1823 vsize=13984976 memory=194964 CPUtime=1.03 cores=1,3,5,7
/proc/1825/task/1835/stat : 1835 (java) S 1823 1823 30973 0 -1 1077944384 7331 0 0 0 102 1 0 0 20 0 15 0 95184915 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170641230576 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1836] ppid=1823 vsize=13984976 memory=1944 CPUtime=0.87 cores=1,3,5,7
/proc/1825/task/1836/stat : 1836 (java) S 1823 1823 30973 0 -1 1077944384 5378 0 0 0 87 0 0 0 20 0 15 0 95184915 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170640178032 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1837] ppid=1823 vsize=13984976 memory=1196 CPUtime=0.45 cores=1,3,5,7
/proc/1825/task/1837/stat : 1837 (java) S 1823 1823 30973 0 -1 1077944384 6641 0 0 0 44 1 0 0 20 0 15 0 95184915 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170639124976 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1838] ppid=1823 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1825/task/1838/stat : 1838 (java) S 1823 1823 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184915 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170638072672 140171171280597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
[pid=1825/tid=1839] ppid=1823 vsize=13984976 memory=5792 CPUtime=0.04 cores=1,3,5,7
/proc/1825/task/1839/stat : 1839 (java) S 1823 1823 30973 0 -1 1077944384 601 0 0 0 2 2 0 0 20 0 15 0 95184916 14320615424 48741 33554432000 4194304 4196468 140735982263552 140170637019696 140171171281538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140735982269597 140735982269772 140735982269772 140735982272463 0
Current children cumulated CPU time: 242.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 196348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 1823 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000865 s, system=0.001234 s
[startup+240.021 s]
# the end of solver process 1825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=242.383 s, system=0.139295 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 242.522
CPU user time (s): 242.383
CPU system time (s): 0.139295
CPU usage (%): 101.042
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 198968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.383
system time used= 0.139295
maximum resident set size= 200612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7607
involuntary context switches= 117
# summary of solver processes directly reported to runsolver:
# pid: 1823,1825
# total CPU time (s): 242.522
# total CPU user time (s): 242.383
# total CPU system time (s): 0.139295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33223 second user time and 2.21266 second system time
The end