runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247852-1502065826/watcher-4247852-1502065826 -o /tmp/evaluation-result-4247852-1502065826/solver-4247852-1502065826 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 591970316 HOME/instance-4247852-1502065826.xml
pid=14853
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.21 8.50 7.96 5/204 14856
/proc/meminfo: memFree=27237640/32770624 swapFree=0/333036
[pid=14856] ppid=14853 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (runsolver) D 14853 14856 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54397855 24240128 106 18446744073709551615 4194304 4338465 140723424626880 140723424624520 139812279444183 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 14000128 140723424628823 140723424629321 140723424629321 140723424632778 0
/proc/14856/statm: 5918 106 53 36 0 2156 0
[startup+0.100118 s]
/proc/loadavg: 8.21 8.50 7.96 5/204 14856
/proc/meminfo: memFree=27237640/32770624 swapFree=0/333036
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200224 s]
/proc/loadavg: 8.21 8.50 7.96 5/204 14856
/proc/meminfo: memFree=27237640/32770624 swapFree=0/333036
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300242 s]
/proc/loadavg: 8.21 8.50 7.96 5/204 14856
/proc/meminfo: memFree=27237640/32770624 swapFree=0/333036
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700238 s]
/proc/loadavg: 8.21 8.50 7.96 5/204 14856
/proc/meminfo: memFree=27237640/32770624 swapFree=0/333036
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.511 s]
/proc/loadavg: 7.87 8.42 7.93 8/220 14872
/proc/meminfo: memFree=27029244/32770624 swapFree=0/333080
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
[pid=14858] ppid=14856 vsize=12919328 CPUtime=3.28 cores=1,3,5,7
/proc/14858/stat : 14858 (java) S 14856 14856 25100 0 -1 1077944320 31764 0 0 0 266 62 0 0 20 0 15 0 54397865 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140721432354864 140159388749559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
/proc/14858/statm: 3229832 192861 3215 1 0 3218124 0
[pid=14858/tid=14859] ppid=14856 vsize=12919328 CPUtime=1.1 cores=1,3,5,7
/proc/14858/task/14859/stat : 14859 (java) S 14856 14856 25100 0 -1 1077944384 8793 0 0 0 103 7 0 0 20 0 15 0 54397865 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140159392986784 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14860] ppid=14856 vsize=12919328 CPUtime=0.2 cores=1,3,5,7
/proc/14858/task/14860/stat : 14860 (java) R 14856 14856 25100 0 -1 4202560 4219 0 0 0 9 11 0 0 20 0 15 0 54397866 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158992579472 140159373447356 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14861] ppid=14856 vsize=12919328 CPUtime=0.23 cores=1,3,5,7
/proc/14858/task/14861/stat : 14861 (java) R 14856 14856 25100 0 -1 4202560 4323 0 0 0 10 13 0 0 20 0 15 0 54397866 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158991526672 140159373447311 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14862] ppid=14856 vsize=12919328 CPUtime=0.22 cores=1,3,5,7
/proc/14858/task/14862/stat : 14862 (java) R 14856 14856 25100 0 -1 4202560 4119 0 0 0 10 12 0 0 20 0 15 0 54397866 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158990474272 140159370346570 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14863] ppid=14856 vsize=12919328 CPUtime=0.23 cores=1,3,5,7
/proc/14858/task/14863/stat : 14863 (java) R 14856 14856 25100 0 -1 4202560 4082 0 0 0 10 13 0 0 20 0 15 0 54397866 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158989421784 140159373700686 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14864] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14864/stat : 14864 (java) S 14856 14856 25100 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 54397867 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158872564192 140159388759765 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14865] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14865/stat : 14865 (java) S 14856 14856 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 54397867 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158871511840 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14866] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14866/stat : 14866 (java) S 14856 14856 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54397868 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158870459504 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14867] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14867/stat : 14867 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54397870 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158869407824 140159388768155 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14868] ppid=14856 vsize=12919328 CPUtime=0.47 cores=1,3,5,7
/proc/14858/task/14868/stat : 14868 (java) S 14856 14856 25100 0 -1 1077944384 1647 0 0 0 47 0 0 0 20 0 15 0 54397870 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158868355696 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14869] ppid=14856 vsize=12919328 CPUtime=0.38 cores=1,3,5,7
/proc/14858/task/14869/stat : 14869 (java) S 14856 14856 25100 0 -1 1077944384 1390 0 0 0 38 0 0 0 20 0 15 0 54397870 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158867302896 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14870] ppid=14856 vsize=12919328 CPUtime=0.36 cores=1,3,5,7
/proc/14858/task/14870/stat : 14870 (java) S 14856 14856 25100 0 -1 1077944384 1682 0 0 0 36 0 0 0 20 0 15 0 54397870 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158866250608 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14871] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14871/stat : 14871 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54397870 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158865198048 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14872] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14872/stat : 14872 (java) S 14856 14856 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54397875 13229391872 192861 18446744073709551615 4194304 4196468 140721432372320 140158864144816 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 12928840
[startup+3.10101 s]
/proc/loadavg: 7.87 8.42 7.93 6/220 14872
/proc/meminfo: memFree=26193860/32770624 swapFree=0/333080
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
[pid=14858] ppid=14856 vsize=12919328 CPUtime=7.73 cores=1,3,5,7
/proc/14858/stat : 14858 (java) S 14856 14856 25100 0 -1 1077944320 51347 0 0 0 626 147 0 0 20 0 15 0 54397865 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140721432354864 140159388749559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
/proc/14858/statm: 3229832 400500 3236 1 0 3218124 0
[pid=14858/tid=14859] ppid=14856 vsize=12919328 CPUtime=1.83 cores=1,3,5,7
/proc/14858/task/14859/stat : 14859 (java) S 14856 14856 25100 0 -1 1077944384 8958 0 0 0 174 9 0 0 20 0 15 0 54397865 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140159392986784 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14860] ppid=14856 vsize=12919328 CPUtime=1.03 cores=1,3,5,7
/proc/14858/task/14860/stat : 14860 (java) R 14856 14856 25100 0 -1 4202560 8073 0 0 0 71 32 0 0 20 0 15 0 54397866 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158992579472 140159370359195 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14861] ppid=14856 vsize=12919328 CPUtime=1.06 cores=1,3,5,7
/proc/14858/task/14861/stat : 14861 (java) R 14856 14856 25100 0 -1 4202560 14157 0 0 0 72 34 0 0 20 0 15 0 54397866 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158991526672 140159381849227 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14862] ppid=14856 vsize=12919328 CPUtime=1.04 cores=1,3,5,7
/proc/14858/task/14862/stat : 14862 (java) R 14856 14856 25100 0 -1 4202560 7522 0 0 0 72 32 0 0 20 0 15 0 54397866 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158990474504 140159373739204 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14863] ppid=14856 vsize=12919328 CPUtime=1.06 cores=1,3,5,7
/proc/14858/task/14863/stat : 14863 (java) R 14856 14856 25100 0 -1 4202560 4769 0 0 0 72 34 0 0 20 0 15 0 54397866 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158989421704 140159370302800 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14864] ppid=14856 vsize=12919328 CPUtime=0.03 cores=1,3,5,7
/proc/14858/task/14864/stat : 14864 (java) S 14856 14856 25100 0 -1 1077944384 1525 0 0 0 3 0 0 0 20 0 15 0 54397867 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158872564416 140159388759765 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14865] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14865/stat : 14865 (java) S 14856 14856 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 54397867 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158871511840 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14866] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14866/stat : 14866 (java) S 14856 14856 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54397868 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158870459504 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14867] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14867/stat : 14867 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54397870 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158869407824 140159388768155 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14868] ppid=14856 vsize=12919328 CPUtime=0.63 cores=1,3,5,7
/proc/14858/task/14868/stat : 14868 (java) S 14856 14856 25100 0 -1 1077944384 1684 0 0 0 63 0 0 0 20 0 15 0 54397870 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158868355696 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14869] ppid=14856 vsize=12919328 CPUtime=0.53 cores=1,3,5,7
/proc/14858/task/14869/stat : 14869 (java) S 14856 14856 25100 0 -1 1077944384 1424 0 0 0 53 0 0 0 20 0 15 0 54397870 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158867302896 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14870] ppid=14856 vsize=12919328 CPUtime=0.43 cores=1,3,5,7
/proc/14858/task/14870/stat : 14870 (java) S 14856 14856 25100 0 -1 1077944384 1938 0 0 0 43 0 0 0 20 0 15 0 54397870 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158866250608 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14871] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14871/stat : 14871 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54397870 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158865198048 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14872] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14872/stat : 14872 (java) S 14856 14856 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54397875 13229391872 400500 18446744073709551615 4194304 4196468 140721432372320 140158864144816 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 12928840
[startup+6.30799 s]
/proc/loadavg: 7.88 8.41 7.93 9/220 14872
/proc/meminfo: memFree=23808328/32770624 swapFree=0/333080
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
[pid=14858] ppid=14856 vsize=12919328 CPUtime=16.91 cores=1,3,5,7
/proc/14858/stat : 14858 (java) S 14856 14856 25100 0 -1 1077944320 63842 0 0 0 1347 344 0 0 20 0 15 0 54397865 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140721432354864 140159388749559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
/proc/14858/statm: 3229832 868393 3237 1 0 3218124 0
[pid=14858/tid=14859] ppid=14856 vsize=12919328 CPUtime=3.1 cores=1,3,5,7
/proc/14858/task/14859/stat : 14859 (java) R 14856 14856 25100 0 -1 4202560 11026 0 0 0 298 12 0 0 20 0 15 0 54397865 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140159392986200 140159032039194 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14860] ppid=14856 vsize=12919328 CPUtime=2.89 cores=1,3,5,7
/proc/14858/task/14860/stat : 14860 (java) S 14856 14856 25100 0 -1 1077944384 9201 0 0 0 211 78 0 0 20 0 15 0 54397866 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158992579472 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14861] ppid=14856 vsize=12919328 CPUtime=2.92 cores=1,3,5,7
/proc/14858/task/14861/stat : 14861 (java) S 14856 14856 25100 0 -1 1077944384 15808 0 0 0 207 85 0 0 20 0 15 0 54397866 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158991526672 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14862] ppid=14856 vsize=12919328 CPUtime=2.91 cores=1,3,5,7
/proc/14858/task/14862/stat : 14862 (java) S 14856 14856 25100 0 -1 1077944384 8442 0 0 0 212 79 0 0 20 0 15 0 54397866 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158990474384 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14863] ppid=14856 vsize=12919328 CPUtime=2.91 cores=1,3,5,7
/proc/14858/task/14863/stat : 14863 (java) S 14856 14856 25100 0 -1 1077944384 6117 0 0 0 209 82 0 0 20 0 15 0 54397866 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158989421584 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14864] ppid=14856 vsize=12919328 CPUtime=0.08 cores=1,3,5,7
/proc/14858/task/14864/stat : 14864 (java) S 14856 14856 25100 0 -1 1077944384 4925 0 0 0 8 0 0 0 20 0 15 0 54397867 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158872565872 140159388760706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14865] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14865/stat : 14865 (java) S 14856 14856 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 54397867 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158871511904 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14866] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14866/stat : 14866 (java) S 14856 14856 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54397868 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158870459520 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14867] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14867/stat : 14867 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54397870 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158869407824 140159388768155 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14868] ppid=14856 vsize=12919328 CPUtime=0.83 cores=1,3,5,7
/proc/14858/task/14868/stat : 14868 (java) S 14856 14856 25100 0 -1 1077944384 2421 0 0 0 82 1 0 0 20 0 15 0 54397870 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158868355696 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14869] ppid=14856 vsize=12919328 CPUtime=0.68 cores=1,3,5,7
/proc/14858/task/14869/stat : 14869 (java) R 14856 14856 25100 0 -1 4202560 1869 0 0 0 67 1 0 0 20 0 15 0 54397870 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158867293872 140159372645746 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14870] ppid=14856 vsize=12919328 CPUtime=0.5 cores=1,3,5,7
/proc/14858/task/14870/stat : 14870 (java) S 14856 14856 25100 0 -1 1077944384 2719 0 0 0 49 1 0 0 20 0 15 0 54397870 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158866250608 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14871] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14871/stat : 14871 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54397870 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158865198048 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14872] ppid=14856 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14872/stat : 14872 (java) S 14856 14856 25100 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 54397875 13229391872 868393 18446744073709551615 4194304 4196468 140721432372320 140158864144816 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
Current children cumulated CPU time (s) 16.91
Current children cumulated vsize (KiB) 12928840
[startup+12.701 s]
/proc/loadavg: 7.97 8.42 7.94 10/224 14876
/proc/meminfo: memFree=22992928/32770624 swapFree=0/333080
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
[pid=14858] ppid=14856 vsize=13185584 CPUtime=40.96 cores=1,3,5,7
/proc/14858/stat : 14858 (java) S 14856 14856 25100 0 -1 1077944320 74344 0 0 0 3665 431 0 0 20 0 19 0 54397865 13502038016 1061812 18446744073709551615 4194304 4196468 140721432372320 140721432354864 140159388749559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
/proc/14858/statm: 3296396 1061812 3243 1 0 3284688 0
[pid=14858/tid=14859] ppid=14856 vsize=13185584 CPUtime=3.59 cores=1,3,5,7
/proc/14858/task/14859/stat : 14859 (java) S 14856 14856 25100 0 -1 1077944384 11743 0 0 0 347 12 0 0 20 0 19 0 54397865 13502038016 1061812 18446744073709551615 4194304 4196468 140721432372320 140159392990336 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14860] ppid=14856 vsize=13185584 CPUtime=3.4 cores=1,3,5,7
/proc/14858/task/14860/stat : 14860 (java) S 14856 14856 25100 0 -1 1077944384 9597 0 0 0 241 99 0 0 20 0 19 0 54397866 13502038016 1061812 18446744073709551615 4194304 4196468 140721432372320 140158992579472 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14861] ppid=14856 vsize=13185584 CPUtime=3.43 cores=1,3,5,7
/proc/14858/task/14861/stat : 14861 (java) S 14856 14856 25100 0 -1 1077944384 16199 0 0 0 237 106 0 0 20 0 19 0 54397866 13502038016 1061812 18446744073709551615 4194304 4196468 140721432372320 140158991526672 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
################
# More data... #
################
/proc/14856/statm: 2378 344 289 221 0 87 0
[pid=14858] ppid=14856 vsize=13185584 CPUtime=2072.72 cores=1,3,5,7
/proc/14858/stat : 14858 (java) S 14856 14856 25100 0 -1 1077944320 205223 0 0 0 206780 492 0 0 20 0 19 0 54397865 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140721432354864 140159388749559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
/proc/14858/statm: 3296396 1172508 3274 1 0 3284688 0
[pid=14858/tid=14859] ppid=14856 vsize=13185584 CPUtime=3.59 cores=1,3,5,7
/proc/14858/task/14859/stat : 14859 (java) S 14856 14856 25100 0 -1 1077944384 11743 0 0 0 347 12 0 0 20 0 19 0 54397865 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140159392990336 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14860] ppid=14856 vsize=13185584 CPUtime=3.85 cores=1,3,5,7
/proc/14858/task/14860/stat : 14860 (java) S 14856 14856 25100 0 -1 1077944384 10280 0 0 0 274 111 0 0 20 0 19 0 54397866 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158992579472 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14861] ppid=14856 vsize=13185584 CPUtime=3.88 cores=1,3,5,7
/proc/14858/task/14861/stat : 14861 (java) S 14856 14856 25100 0 -1 1077944384 18684 0 0 0 269 119 0 0 20 0 19 0 54397866 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158991526672 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14862] ppid=14856 vsize=13185584 CPUtime=3.86 cores=1,3,5,7
/proc/14858/task/14862/stat : 14862 (java) S 14856 14856 25100 0 -1 1077944384 9895 0 0 0 271 115 0 0 20 0 19 0 54397866 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158990474384 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14863] ppid=14856 vsize=13185584 CPUtime=3.86 cores=1,3,5,7
/proc/14858/task/14863/stat : 14863 (java) S 14856 14856 25100 0 -1 1077944384 7611 0 0 0 271 115 0 0 20 0 19 0 54397866 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158989421584 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14864] ppid=14856 vsize=13185584 CPUtime=0.13 cores=1,3,5,7
/proc/14858/task/14864/stat : 14864 (java) S 14856 14856 25100 0 -1 1077944384 6197 0 0 0 11 2 0 0 20 0 19 0 54397867 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158872565872 140159388760706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14865] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14865/stat : 14865 (java) S 14856 14856 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 54397867 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158871511904 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14866] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14866/stat : 14866 (java) S 14856 14856 25100 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 54397868 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158870459520 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14867] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14867/stat : 14867 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158869407824 140159388768155 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14868] ppid=14856 vsize=13185584 CPUtime=2.97 cores=1,3,5,7
/proc/14858/task/14868/stat : 14868 (java) S 14856 14856 25100 0 -1 1077944384 24721 0 0 0 295 2 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158868355696 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14869] ppid=14856 vsize=13185584 CPUtime=2.4 cores=1,3,5,7
/proc/14858/task/14869/stat : 14869 (java) S 14856 14856 25100 0 -1 1077944384 21344 0 0 0 237 3 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158867302896 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14870] ppid=14856 vsize=13185584 CPUtime=0.77 cores=1,3,5,7
/proc/14858/task/14870/stat : 14870 (java) S 14856 14856 25100 0 -1 1077944384 12874 0 0 0 75 2 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158866250608 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14871] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14871/stat : 14871 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158865198048 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14872] ppid=14856 vsize=13185584 CPUtime=0.34 cores=1,3,5,7
/proc/14858/task/14872/stat : 14872 (java) S 14856 14856 25100 0 -1 1077944384 766 0 0 0 0 34 0 0 20 0 19 0 54397875 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158864144816 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14873] ppid=14856 vsize=13185584 CPUtime=509.85 cores=1,3,5,7
/proc/14858/task/14873/stat : 14873 (java) R 14856 14856 25100 0 -1 4202560 7334 0 0 0 50984 1 0 0 20 0 19 0 54398586 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158856129160 140159033669636 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14874] ppid=14856 vsize=13185584 CPUtime=512.43 cores=1,3,5,7
/proc/14858/task/14874/stat : 14874 (java) R 14856 14856 25100 0 -1 4202560 9756 0 0 0 51241 2 0 0 20 0 19 0 54398586 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158855078072 140159033669907 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14875] ppid=14856 vsize=13185584 CPUtime=512.62 cores=1,3,5,7
/proc/14858/task/14875/stat : 14875 (java) R 14856 14856 25100 0 -1 4202560 3597 0 0 0 51262 0 0 0 20 0 19 0 54398586 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158854024832 140159033669795 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14876] ppid=14856 vsize=13185584 CPUtime=512.04 cores=1,3,5,7
/proc/14858/task/14876/stat : 14876 (java) R 14856 14856 25100 0 -1 4202560 59060 0 0 0 51200 4 0 0 20 0 19 0 54398586 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158852972792 140159033669834 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
Current children cumulated CPU time (s) 2072.72
Current children cumulated vsize (KiB) 13195096
[startup+582.301 s]
/proc/loadavg: 4.22 5.23 6.62 5/197 15206
/proc/meminfo: memFree=26811900/32770624 swapFree=0/333300
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
[pid=14858] ppid=14856 vsize=13185584 CPUtime=2311.97 cores=1,3,5,7
/proc/14858/stat : 14858 (java) S 14856 14856 25100 0 -1 1077944320 207802 0 0 0 230704 493 0 0 20 0 19 0 54397865 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140721432354864 140159388749559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
/proc/14858/statm: 3296396 1172508 3274 1 0 3284688 0
[pid=14858/tid=14859] ppid=14856 vsize=13185584 CPUtime=3.59 cores=1,3,5,7
/proc/14858/task/14859/stat : 14859 (java) S 14856 14856 25100 0 -1 1077944384 11743 0 0 0 347 12 0 0 20 0 19 0 54397865 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140159392990336 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14860] ppid=14856 vsize=13185584 CPUtime=3.85 cores=1,3,5,7
/proc/14858/task/14860/stat : 14860 (java) S 14856 14856 25100 0 -1 1077944384 10280 0 0 0 274 111 0 0 20 0 19 0 54397866 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158992579472 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14861] ppid=14856 vsize=13185584 CPUtime=3.88 cores=1,3,5,7
/proc/14858/task/14861/stat : 14861 (java) S 14856 14856 25100 0 -1 1077944384 18684 0 0 0 269 119 0 0 20 0 19 0 54397866 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158991526672 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14862] ppid=14856 vsize=13185584 CPUtime=3.86 cores=1,3,5,7
/proc/14858/task/14862/stat : 14862 (java) S 14856 14856 25100 0 -1 1077944384 9895 0 0 0 271 115 0 0 20 0 19 0 54397866 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158990474384 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14863] ppid=14856 vsize=13185584 CPUtime=3.86 cores=1,3,5,7
/proc/14858/task/14863/stat : 14863 (java) S 14856 14856 25100 0 -1 1077944384 7611 0 0 0 271 115 0 0 20 0 19 0 54397866 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158989421584 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14864] ppid=14856 vsize=13185584 CPUtime=0.14 cores=1,3,5,7
/proc/14858/task/14864/stat : 14864 (java) S 14856 14856 25100 0 -1 1077944384 6267 0 0 0 11 3 0 0 20 0 19 0 54397867 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158872565872 140159388760706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14865] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14865/stat : 14865 (java) S 14856 14856 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 54397867 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158871511904 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14866] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14866/stat : 14866 (java) S 14856 14856 25100 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 54397868 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158870459520 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14867] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14867/stat : 14867 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158869407824 140159388768155 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14868] ppid=14856 vsize=13185584 CPUtime=2.97 cores=1,3,5,7
/proc/14858/task/14868/stat : 14868 (java) S 14856 14856 25100 0 -1 1077944384 24725 0 0 0 295 2 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158868355696 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14869] ppid=14856 vsize=13185584 CPUtime=2.4 cores=1,3,5,7
/proc/14858/task/14869/stat : 14869 (java) S 14856 14856 25100 0 -1 1077944384 21347 0 0 0 237 3 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158867302896 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14870] ppid=14856 vsize=13185584 CPUtime=0.77 cores=1,3,5,7
/proc/14858/task/14870/stat : 14870 (java) S 14856 14856 25100 0 -1 1077944384 13281 0 0 0 75 2 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158866250608 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14871] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14871/stat : 14871 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54397870 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158865198048 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14872] ppid=14856 vsize=13185584 CPUtime=0.39 cores=1,3,5,7
/proc/14858/task/14872/stat : 14872 (java) S 14856 14856 25100 0 -1 1077944384 806 0 0 0 0 39 0 0 20 0 19 0 54397875 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158864144816 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14873] ppid=14856 vsize=13185584 CPUtime=569.83 cores=1,3,5,7
/proc/14858/task/14873/stat : 14873 (java) R 14856 14856 25100 0 -1 4202560 7883 0 0 0 56982 1 0 0 20 0 19 0 54398586 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158856129160 140159028931031 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14874] ppid=14856 vsize=13185584 CPUtime=572.13 cores=1,3,5,7
/proc/14858/task/14874/stat : 14874 (java) R 14856 14856 25100 0 -1 4202560 10660 0 0 0 57210 3 0 0 20 0 19 0 54398586 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158855077880 140159033669666 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14875] ppid=14856 vsize=13185584 CPUtime=572.62 cores=1,3,5,7
/proc/14858/task/14875/stat : 14875 (java) R 14856 14856 25100 0 -1 4202560 3853 0 0 0 57262 0 0 0 20 0 19 0 54398586 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158854025080 140159033669651 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14876] ppid=14856 vsize=13185584 CPUtime=571.57 cores=1,3,5,7
/proc/14858/task/14876/stat : 14876 (java) R 14856 14856 25100 0 -1 4202560 59406 0 0 0 57153 4 0 0 20 0 19 0 54398586 13502038016 1172508 18446744073709551615 4194304 4196468 140721432372320 140158852972544 140159033669624 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
Current children cumulated CPU time (s) 2311.97
Current children cumulated vsize (KiB) 13195096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.401 s]
/proc/loadavg: 4.16 5.15 6.57 5/197 15207
/proc/meminfo: memFree=26811936/32770624 swapFree=0/333312
[pid=14856] ppid=14853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14856/stat : 14856 (xcsp3-exec) S 14853 14856 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54397855 9740288 344 18446744073709551615 4194304 5098028 140736523651936 140736523650040 139628583174780 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 25772032 140736523653529 140736523653738 140736523653738 140736523657195 0
/proc/14856/statm: 2378 344 289 221 0 87 0
[pid=14858] ppid=14856 vsize=13185584 CPUtime=2400.09 cores=1,3,5,7
/proc/14858/stat : 14858 (java) S 14856 14856 25100 0 -1 1077944320 210571 0 0 0 239516 493 0 0 20 0 19 0 54397865 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140721432354864 140159388749559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
/proc/14858/statm: 3296396 1172509 3274 1 0 3284688 0
[pid=14858/tid=14859] ppid=14856 vsize=13185584 CPUtime=3.59 cores=1,3,5,7
/proc/14858/task/14859/stat : 14859 (java) S 14856 14856 25100 0 -1 1077944384 11743 0 0 0 347 12 0 0 20 0 19 0 54397865 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140159392990336 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14860] ppid=14856 vsize=13185584 CPUtime=3.85 cores=1,3,5,7
/proc/14858/task/14860/stat : 14860 (java) S 14856 14856 25100 0 -1 1077944384 10280 0 0 0 274 111 0 0 20 0 19 0 54397866 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158992579472 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14861] ppid=14856 vsize=13185584 CPUtime=3.88 cores=1,3,5,7
/proc/14858/task/14861/stat : 14861 (java) S 14856 14856 25100 0 -1 1077944384 18684 0 0 0 269 119 0 0 20 0 19 0 54397866 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158991526672 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14862] ppid=14856 vsize=13185584 CPUtime=3.86 cores=1,3,5,7
/proc/14858/task/14862/stat : 14862 (java) S 14856 14856 25100 0 -1 1077944384 9895 0 0 0 271 115 0 0 20 0 19 0 54397866 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158990474384 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14863] ppid=14856 vsize=13185584 CPUtime=3.86 cores=1,3,5,7
/proc/14858/task/14863/stat : 14863 (java) S 14856 14856 25100 0 -1 1077944384 7611 0 0 0 271 115 0 0 20 0 19 0 54397866 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158989421584 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14864] ppid=14856 vsize=13185584 CPUtime=0.14 cores=1,3,5,7
/proc/14858/task/14864/stat : 14864 (java) S 14856 14856 25100 0 -1 1077944384 6327 0 0 0 11 3 0 0 20 0 19 0 54397867 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158872565872 140159388760706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14865] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14865/stat : 14865 (java) S 14856 14856 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 54397867 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158871511904 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14866] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14866/stat : 14866 (java) S 14856 14856 25100 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 54397868 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158870459520 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14867] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14867/stat : 14867 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54397870 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158869407824 140159388768155 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14868] ppid=14856 vsize=13185584 CPUtime=2.99 cores=1,3,5,7
/proc/14858/task/14868/stat : 14868 (java) S 14856 14856 25100 0 -1 1077944384 25352 0 0 0 297 2 0 0 20 0 19 0 54397870 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158868355696 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14869] ppid=14856 vsize=13185584 CPUtime=2.4 cores=1,3,5,7
/proc/14858/task/14869/stat : 14869 (java) S 14856 14856 25100 0 -1 1077944384 21405 0 0 0 237 3 0 0 20 0 19 0 54397870 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158867302896 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14870] ppid=14856 vsize=13185584 CPUtime=0.78 cores=1,3,5,7
/proc/14858/task/14870/stat : 14870 (java) S 14856 14856 25100 0 -1 1077944384 13942 0 0 0 76 2 0 0 20 0 19 0 54397870 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158866250608 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14871] ppid=14856 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/14858/task/14871/stat : 14871 (java) S 14856 14856 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54397870 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158865198048 140159388759765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14872] ppid=14856 vsize=13185584 CPUtime=0.41 cores=1,3,5,7
/proc/14858/task/14872/stat : 14872 (java) S 14856 14856 25100 0 -1 1077944384 852 0 0 0 0 41 0 0 20 0 19 0 54397875 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158864144816 140159388760706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14873] ppid=14856 vsize=13185584 CPUtime=591.91 cores=1,3,5,7
/proc/14858/task/14873/stat : 14873 (java) R 14856 14856 25100 0 -1 4202560 8327 0 0 0 59190 1 0 0 20 0 19 0 54398586 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158856129080 140159033669651 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14874] ppid=14856 vsize=13185584 CPUtime=593.94 cores=1,3,5,7
/proc/14858/task/14874/stat : 14874 (java) R 14856 14856 25100 0 -1 4202560 11135 0 0 0 59391 3 0 0 20 0 19 0 54398586 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158855077880 140159033669624 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14875] ppid=14856 vsize=13185584 CPUtime=594.71 cores=1,3,5,7
/proc/14858/task/14875/stat : 14875 (java) R 14856 14856 25100 0 -1 4202560 3877 0 0 0 59471 0 0 0 20 0 19 0 54398586 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158854024832 140159033669624 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
[pid=14858/tid=14876] ppid=14856 vsize=13185584 CPUtime=593.66 cores=1,3,5,7
/proc/14858/task/14876/stat : 14876 (java) R 14856 14856 25100 0 -1 4202560 59780 0 0 0 59362 4 0 0 20 0 19 0 54398586 13502038016 1172509 18446744073709551615 4194304 4196468 140721432372320 140158852972792 140159033669709 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10555392 140721432379862 140721432380038 140721432380038 140721432383439 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13195096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14858 sig 9
??? kill 14856 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14856 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=599
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1198
# CPU time returned by wait4() is 0.001797
# while last known CPU time is 2400.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 604.434
CPU time (s): 2400.09
CPU user time (s): 2395.16
CPU system time (s): 4.93
CPU usage (%): 397.081
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000599
system time used= 0.001198
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.12086 second user time and 4.55928 second system time
The end