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-4254904-1501622932/watcher-4254904-1501622932 -o /tmp/evaluation-result-4254904-1501622932/solver-4254904-1501622932 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1892048283 HOME/instance-4254904-1501622932.xml
pid=14826
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.44 1.77 1.80 3/198 14829
/proc/meminfo: memFree=31795396/32770624 swapFree=0/191416
[pid=14829] ppid=14826 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (runsolver) D 14826 14829 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10108591 24240128 107 18446744073709551615 4194304 4338465 140723618825568 140723618823208 140191257739991 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 29356032 140723618828380 140723618828870 140723618828870 140723618832330 0
/proc/14829/statm: 5918 107 54 36 0 2156 0
[startup+0.100068 s]
/proc/loadavg: 1.44 1.77 1.80 3/198 14829
/proc/meminfo: memFree=31795396/32770624 swapFree=0/191416
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200289 s]
/proc/loadavg: 1.44 1.77 1.80 3/198 14829
/proc/meminfo: memFree=31795396/32770624 swapFree=0/191416
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300797 s]
/proc/loadavg: 1.44 1.77 1.80 3/198 14829
/proc/meminfo: memFree=31795396/32770624 swapFree=0/191416
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70056 s]
/proc/loadavg: 1.44 1.77 1.80 3/198 14829
/proc/meminfo: memFree=31795396/32770624 swapFree=0/191416
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5013 s]
/proc/loadavg: 1.44 1.77 1.80 5/214 14845
/proc/meminfo: memFree=31637832/32770624 swapFree=0/191484
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
[pid=14831] ppid=14829 vsize=13980732 CPUtime=3.07 cores=1,3,5,7
/proc/14831/stat : 14831 (java) S 14829 14829 5228 0 -1 1077944320 14386 0 0 0 300 7 0 0 20 0 15 0 10108600 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140735091785104 140278612774647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
/proc/14831/statm: 3495183 48702 3185 1 0 3483484 0
[pid=14831/tid=14832] ppid=14829 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/14831/task/14832/stat : 14832 (java) R 14829 14829 5228 0 -1 4202560 8024 0 0 0 129 4 0 0 20 0 15 0 10108600 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278617011304 140278595237224 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14833] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14833/stat : 14833 (java) S 14829 14829 5228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10108601 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278532188432 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14834] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14834/stat : 14834 (java) S 14829 14829 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10108601 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278212061584 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14835] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14835/stat : 14835 (java) S 14829 14829 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10108601 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278211009040 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14836] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14836/stat : 14836 (java) S 14829 14829 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10108601 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278209956496 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14837] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14837/stat : 14837 (java) S 14829 14829 5228 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10108602 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278091422192 140278612785794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14838] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14838/stat : 14838 (java) S 14829 14829 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278090368416 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14839] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14839/stat : 14839 (java) S 14829 14829 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278089315824 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14840] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14840/stat : 14840 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108605 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278088264400 140278612793243 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14841] ppid=14829 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/14831/task/14841/stat : 14841 (java) R 14829 14829 5228 0 -1 4202560 1793 0 0 0 69 0 0 0 20 0 15 0 10108605 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278087210992 140278590371664 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14842] ppid=14829 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/14831/task/14842/stat : 14842 (java) R 14829 14829 5228 0 -1 4202560 1718 0 0 0 67 0 0 0 20 0 15 0 10108605 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278086147040 140278596271424 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14843] ppid=14829 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/14831/task/14843/stat : 14843 (java) S 14829 14829 5228 0 -1 1077944384 1416 0 0 0 29 0 0 0 20 0 15 0 10108605 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278085105904 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14844] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14844/stat : 14844 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108606 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278084053600 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14845] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14845/stat : 14845 (java) S 14829 14829 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10108609 14316269568 48702 18446744073709551615 4194304 4196468 140735091802560 140278083001136 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13990244
[startup+3.10065 s]
/proc/loadavg: 1.44 1.77 1.80 5/214 14845
/proc/meminfo: memFree=31569896/32770624 swapFree=0/191484
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
[pid=14831] ppid=14829 vsize=13980732 CPUtime=6.81 cores=1,3,5,7
/proc/14831/stat : 14831 (java) S 14829 14829 5228 0 -1 1077944320 18516 0 0 0 672 9 0 0 20 0 15 0 10108600 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140735091785104 140278612774647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
/proc/14831/statm: 3495183 61006 3209 1 0 3483484 0
[pid=14831/tid=14832] ppid=14829 vsize=13980732 CPUtime=2.91 cores=1,3,5,7
/proc/14831/task/14832/stat : 14832 (java) R 14829 14829 5228 0 -1 4202560 8639 0 0 0 286 5 0 0 20 0 15 0 10108600 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278617010920 140278217101719 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14833] ppid=14829 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14831/task/14833/stat : 14833 (java) S 14829 14829 5228 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 15 0 10108601 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278532188432 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14834] ppid=14829 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14831/task/14834/stat : 14834 (java) S 14829 14829 5228 0 -1 1077944384 22 0 0 0 2 0 0 0 20 0 15 0 10108601 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278212061584 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14835] ppid=14829 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14831/task/14835/stat : 14835 (java) S 14829 14829 5228 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 10108601 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278211009040 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14836] ppid=14829 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14831/task/14836/stat : 14836 (java) S 14829 14829 5228 0 -1 1077944384 42 0 0 0 2 0 0 0 20 0 15 0 10108601 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278209956496 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14837] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14837/stat : 14837 (java) S 14829 14829 5228 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10108602 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278091422192 140278612785794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14838] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14838/stat : 14838 (java) S 14829 14829 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278090368480 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14839] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14839/stat : 14839 (java) S 14829 14829 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278089315824 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14840] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14840/stat : 14840 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108605 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278088264400 140278612793243 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14841] ppid=14829 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/14831/task/14841/stat : 14841 (java) S 14829 14829 5228 0 -1 1077944384 3183 0 0 0 172 1 0 0 20 0 15 0 10108605 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278087210992 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14842] ppid=14829 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/14831/task/14842/stat : 14842 (java) S 14829 14829 5228 0 -1 1077944384 3526 0 0 0 164 0 0 0 20 0 15 0 10108605 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278086158448 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14843] ppid=14829 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/14831/task/14843/stat : 14843 (java) S 14829 14829 5228 0 -1 1077944384 1575 0 0 0 39 0 0 0 20 0 15 0 10108605 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278085105904 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14844] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14844/stat : 14844 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108606 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278084053600 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14845] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14845/stat : 14845 (java) S 14829 14829 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10108609 14316269568 61006 18446744073709551615 4194304 4196468 140735091802560 140278083001136 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 1.48 1.77 1.80 3/214 14845
/proc/meminfo: memFree=31516960/32770624 swapFree=0/191484
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
[pid=14831] ppid=14829 vsize=13980732 CPUtime=10.08 cores=1,3,5,7
/proc/14831/stat : 14831 (java) S 14829 14829 5228 0 -1 1077944320 21071 0 0 0 997 11 0 0 20 0 15 0 10108600 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140735091785104 140278612774647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
/proc/14831/statm: 3495183 75511 3211 1 0 3483484 0
[pid=14831/tid=14832] ppid=14829 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/14831/task/14832/stat : 14832 (java) R 14829 14829 5228 0 -1 4202560 9195 0 0 0 605 6 0 0 20 0 15 0 10108600 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278617012872 140278217102093 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14833] ppid=14829 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14831/task/14833/stat : 14833 (java) S 14829 14829 5228 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 15 0 10108601 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278532188432 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14834] ppid=14829 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14831/task/14834/stat : 14834 (java) S 14829 14829 5228 0 -1 1077944384 22 0 0 0 2 0 0 0 20 0 15 0 10108601 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278212061584 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14835] ppid=14829 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14831/task/14835/stat : 14835 (java) S 14829 14829 5228 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 10108601 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278211009040 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14836] ppid=14829 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14831/task/14836/stat : 14836 (java) S 14829 14829 5228 0 -1 1077944384 42 0 0 0 2 0 0 0 20 0 15 0 10108601 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278209956496 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14837] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14837/stat : 14837 (java) S 14829 14829 5228 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 10108602 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278091422192 140278612785794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14838] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14838/stat : 14838 (java) S 14829 14829 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278090368480 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14839] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14839/stat : 14839 (java) S 14829 14829 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278089315824 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14840] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14840/stat : 14840 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108605 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278088264400 140278612793243 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14841] ppid=14829 vsize=13980732 CPUtime=1.75 cores=1,3,5,7
/proc/14831/task/14841/stat : 14841 (java) S 14829 14829 5228 0 -1 1077944384 3443 0 0 0 174 1 0 0 20 0 15 0 10108605 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278087210992 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14842] ppid=14829 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/14831/task/14842/stat : 14842 (java) S 14829 14829 5228 0 -1 1077944384 4076 0 0 0 167 0 0 0 20 0 15 0 10108605 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278086158448 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14843] ppid=14829 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/14831/task/14843/stat : 14843 (java) S 14829 14829 5228 0 -1 1077944384 2014 0 0 0 40 0 0 0 20 0 15 0 10108605 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278085105904 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14844] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14844/stat : 14844 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108606 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278084053600 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14845] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14845/stat : 14845 (java) S 14829 14829 5228 0 -1 1077944384 489 0 0 0 0 0 0 0 20 0 15 0 10108609 14316269568 75511 18446744073709551615 4194304 4196468 140735091802560 140278083001136 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
Current children cumulated CPU time (s) 10.08
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.44 1.76 1.80 3/215 14846
/proc/meminfo: memFree=31367224/32770624 swapFree=0/191500
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
[pid=14831] ppid=14829 vsize=13980732 CPUtime=16.86 cores=1,3,5,7
/proc/14831/stat : 14831 (java) S 14829 14829 5228 0 -1 1077944320 25568 0 0 0 1667 19 0 0 20 0 15 0 10108600 14316269568 109000 18446744073709551615 4194304 4196468 140735091802560 140735091785104 140278612774647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
/proc/14831/statm: 3495183 109000 3213 1 0 3483484 0
[pid=14831/tid=14832] ppid=14829 vsize=13980732 CPUtime=12.48 cores=1,3,5,7
/proc/14831/task/14832/stat : 14832 (java) R 14829 14829 5228 0 -1 4202560 9464 0 0 0 1241 7 0 0 20 0 15 0 10108600 14316269568 109000 18446744073709551615 4194304 4196468 140735091802560 140278617010016 140278212404358 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14833] ppid=14829 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/14831/task/14833/stat : 14833 (java) S 14829 14829 5228 0 -1 1077944384 214 0 0 0 3 2 0 0 20 0 15 0 10108601 14316269568 109000 18446744073709551615 4194304 4196468 140735091802560 140278532188432 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14834] ppid=14829 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/14831/task/14834/stat : 14834 (java) S 14829 14829 5228 0 -1 1077944384 177 0 0 0 3 2 0 0 20 0 15 0 10108601 14316269568 109000 18446744073709551615 4194304 4196468 140735091802560 140278212061584 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
################
# More data... #
################
[pid=14831/tid=14838] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14838/stat : 14838 (java) S 14829 14829 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 189867 18446744073709551615 4194304 4196468 140735091802560 140278090368480 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14839] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14839/stat : 14839 (java) S 14829 14829 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 189867 18446744073709551615 4194304 4196468 140735091802560 140278089315840 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14840] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14840/stat : 14840 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108605 14316269568 189867 18446744073709551615 4194304 4196468 140735091802560 140278088264400 140278612793243 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14841] ppid=14829 vsize=13980732 CPUtime=3.72 cores=1,3,5,7
/proc/14831/task/14841/stat : 14841 (java) S 14829 14829 5228 0 -1 1077944384 12656 0 0 0 370 2 0 0 20 0 15 0 10108605 14316269568 189867 18446744073709551615 4194304 4196468 140735091802560 140278087210992 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14842] ppid=14829 vsize=13980732 CPUtime=3.52 cores=1,3,5,7
/proc/14831/task/14842/stat : 14842 (java) S 14829 14829 5228 0 -1 1077944384 13141 0 0 0 350 2 0 0 20 0 15 0 10108605 14316269568 189867 18446744073709551615 4194304 4196468 140735091802560 140278086158448 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14843] ppid=14829 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/14831/task/14843/stat : 14843 (java) S 14829 14829 5228 0 -1 1077944384 5306 0 0 0 67 1 0 0 20 0 15 0 10108605 14316269568 189867 18446744073709551615 4194304 4196468 140735091802560 140278085105904 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14844] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14844/stat : 14844 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108606 14316269568 189867 18446744073709551615 4194304 4196468 140735091802560 140278084053600 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14845] ppid=14829 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/14831/task/14845/stat : 14845 (java) S 14829 14829 5228 0 -1 1077944384 1242 0 0 0 2 3 0 0 20 0 15 0 10108609 14316269568 189867 18446744073709551615 4194304 4196468 140735091802560 140278083001136 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
Current children cumulated CPU time (s) 110.45
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.69 1.71 1.77 3/215 14929
/proc/meminfo: memFree=30746464/32770624 swapFree=0/191656
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
[pid=14831] ppid=14829 vsize=13980732 CPUtime=171.18 cores=1,3,5,7
/proc/14831/stat : 14831 (java) S 14829 14829 5228 0 -1 1077944320 61319 0 0 0 17078 40 0 0 20 0 15 0 10108600 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140735091785104 140278612774647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
/proc/14831/statm: 3495183 198104 3219 1 0 3483484 0
[pid=14831/tid=14832] ppid=14829 vsize=13980732 CPUtime=162 cores=1,3,5,7
/proc/14831/task/14832/stat : 14832 (java) R 14829 14829 5228 0 -1 4202560 16623 0 0 0 16190 10 0 0 20 0 15 0 10108600 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278617009936 140278217101701 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14833] ppid=14829 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14831/task/14833/stat : 14833 (java) S 14829 14829 5228 0 -1 1077944384 720 0 0 0 6 5 0 0 20 0 15 0 10108601 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278532188432 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14834] ppid=14829 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14831/task/14834/stat : 14834 (java) S 14829 14829 5228 0 -1 1077944384 1053 0 0 0 6 5 0 0 20 0 15 0 10108601 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278212061584 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14835] ppid=14829 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/14831/task/14835/stat : 14835 (java) S 14829 14829 5228 0 -1 1077944384 533 0 0 0 6 4 0 0 20 0 15 0 10108601 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278211009040 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14836] ppid=14829 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/14831/task/14836/stat : 14836 (java) S 14829 14829 5228 0 -1 1077944384 1322 0 0 0 8 4 0 0 20 0 15 0 10108601 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278209956496 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14837] ppid=14829 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14831/task/14837/stat : 14837 (java) S 14829 14829 5228 0 -1 1077944384 1544 0 0 0 1 0 0 0 20 0 15 0 10108602 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278091422192 140278612785794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14838] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14838/stat : 14838 (java) S 14829 14829 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278090368480 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14839] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14839/stat : 14839 (java) S 14829 14829 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278089315840 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14840] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14840/stat : 14840 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108605 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278088264400 140278612793243 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14841] ppid=14829 vsize=13980732 CPUtime=3.92 cores=1,3,5,7
/proc/14831/task/14841/stat : 14841 (java) S 14829 14829 5228 0 -1 1077944384 15014 0 0 0 390 2 0 0 20 0 15 0 10108605 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278087210992 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14842] ppid=14829 vsize=13980732 CPUtime=3.93 cores=1,3,5,7
/proc/14831/task/14842/stat : 14842 (java) S 14829 14829 5228 0 -1 1077944384 15324 0 0 0 391 2 0 0 20 0 15 0 10108605 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278086158448 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14843] ppid=14829 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/14831/task/14843/stat : 14843 (java) S 14829 14829 5228 0 -1 1077944384 6565 0 0 0 70 1 0 0 20 0 15 0 10108605 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278085105904 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14844] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14844/stat : 14844 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108606 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278084053600 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14845] ppid=14829 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14831/task/14845/stat : 14845 (java) S 14829 14829 5228 0 -1 1077944384 1248 0 0 0 3 5 0 0 20 0 15 0 10108609 14316269568 198104 18446744073709551615 4194304 4196468 140735091802560 140278083001136 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
Current children cumulated CPU time (s) 171.18
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.82 1.74 1.78 3/216 14932
/proc/meminfo: memFree=30358376/32770624 swapFree=0/191696
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
[pid=14831] ppid=14829 vsize=13980732 CPUtime=231.29 cores=1,3,5,7
/proc/14831/stat : 14831 (java) S 14829 14829 5228 0 -1 1077944320 65442 0 0 0 23086 43 0 0 20 0 15 0 10108600 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140735091785104 140278612774647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
/proc/14831/statm: 3495183 217437 3219 1 0 3483484 0
[pid=14831/tid=14832] ppid=14829 vsize=13980732 CPUtime=222 cores=1,3,5,7
/proc/14831/task/14832/stat : 14832 (java) R 14829 14829 5228 0 -1 4202560 18486 0 0 0 22188 12 0 0 20 0 15 0 10108600 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278617012424 140278217101697 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14833] ppid=14829 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14831/task/14833/stat : 14833 (java) S 14829 14829 5228 0 -1 1077944384 720 0 0 0 6 5 0 0 20 0 15 0 10108601 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278532188432 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14834] ppid=14829 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14831/task/14834/stat : 14834 (java) S 14829 14829 5228 0 -1 1077944384 1053 0 0 0 6 5 0 0 20 0 15 0 10108601 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278212061584 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14835] ppid=14829 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/14831/task/14835/stat : 14835 (java) S 14829 14829 5228 0 -1 1077944384 533 0 0 0 6 4 0 0 20 0 15 0 10108601 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278211009040 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14836] ppid=14829 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/14831/task/14836/stat : 14836 (java) S 14829 14829 5228 0 -1 1077944384 1322 0 0 0 8 4 0 0 20 0 15 0 10108601 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278209956496 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14837] ppid=14829 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14831/task/14837/stat : 14837 (java) S 14829 14829 5228 0 -1 1077944384 1571 0 0 0 1 0 0 0 20 0 15 0 10108602 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278091422192 140278612785794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14838] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14838/stat : 14838 (java) S 14829 14829 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278090368480 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14839] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14839/stat : 14839 (java) S 14829 14829 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278089315840 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14840] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14840/stat : 14840 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108605 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278088264400 140278612793243 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14841] ppid=14829 vsize=13980732 CPUtime=3.97 cores=1,3,5,7
/proc/14831/task/14841/stat : 14841 (java) S 14829 14829 5228 0 -1 1077944384 16337 0 0 0 395 2 0 0 20 0 15 0 10108605 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278087210992 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14842] ppid=14829 vsize=13980732 CPUtime=3.95 cores=1,3,5,7
/proc/14831/task/14842/stat : 14842 (java) S 14829 14829 5228 0 -1 1077944384 15919 0 0 0 393 2 0 0 20 0 15 0 10108605 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278086158448 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14843] ppid=14829 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/14831/task/14843/stat : 14843 (java) S 14829 14829 5228 0 -1 1077944384 6848 0 0 0 71 1 0 0 20 0 15 0 10108605 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278085105904 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14844] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14844/stat : 14844 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108606 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278084053600 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14845] ppid=14829 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14831/task/14845/stat : 14845 (java) S 14829 14829 5228 0 -1 1077944384 1280 0 0 0 5 6 0 0 20 0 15 0 10108609 14316269568 217437 18446744073709551615 4194304 4196468 140735091802560 140278083001136 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
Current children cumulated CPU time (s) 231.29
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.87 1.76 1.78 3/216 14932
/proc/meminfo: memFree=30185724/32770624 swapFree=0/191704
[pid=14829] ppid=14826 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14829/stat : 14829 (xcsp3-exec) S 14826 14829 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10108591 9740288 345 18446744073709551615 4194304 5098028 140733026298384 140733026296488 140612651487868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 15945728 140733026300315 140733026300519 140733026300519 140733026303979 0
/proc/14829/statm: 2378 345 289 221 0 87 0
[pid=14831] ppid=14829 vsize=13980732 CPUtime=249.03 cores=1,3,5,7
/proc/14831/stat : 14831 (java) S 14829 14829 5228 0 -1 1077944320 65734 0 0 0 24857 46 0 0 20 0 15 0 10108600 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140735091785104 140278612774647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
/proc/14831/statm: 3495183 258909 3219 1 0 3483484 0
[pid=14831/tid=14832] ppid=14829 vsize=13980732 CPUtime=239.7 cores=1,3,5,7
/proc/14831/task/14832/stat : 14832 (java) R 14829 14829 5228 0 -1 4202560 18685 0 0 0 23955 15 0 0 20 0 15 0 10108600 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278617011144 140278217100976 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14833] ppid=14829 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14831/task/14833/stat : 14833 (java) S 14829 14829 5228 0 -1 1077944384 720 0 0 0 6 5 0 0 20 0 15 0 10108601 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278532188432 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14834] ppid=14829 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14831/task/14834/stat : 14834 (java) S 14829 14829 5228 0 -1 1077944384 1053 0 0 0 6 5 0 0 20 0 15 0 10108601 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278212061584 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14835] ppid=14829 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/14831/task/14835/stat : 14835 (java) S 14829 14829 5228 0 -1 1077944384 533 0 0 0 6 4 0 0 20 0 15 0 10108601 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278211009040 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14836] ppid=14829 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/14831/task/14836/stat : 14836 (java) S 14829 14829 5228 0 -1 1077944384 1322 0 0 0 8 4 0 0 20 0 15 0 10108601 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278209956496 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14837] ppid=14829 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14831/task/14837/stat : 14837 (java) S 14829 14829 5228 0 -1 1077944384 1571 0 0 0 1 0 0 0 20 0 15 0 10108602 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278091422192 140278612785794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14838] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14838/stat : 14838 (java) S 14829 14829 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278090368480 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14839] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14839/stat : 14839 (java) S 14829 14829 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 10108603 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278089315840 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14840] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14840/stat : 14840 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108605 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278088264400 140278612793243 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14841] ppid=14829 vsize=13980732 CPUtime=4.01 cores=1,3,5,7
/proc/14831/task/14841/stat : 14841 (java) S 14829 14829 5228 0 -1 1077944384 16430 0 0 0 399 2 0 0 20 0 15 0 10108605 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278087210992 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14842] ppid=14829 vsize=13980732 CPUtime=3.95 cores=1,3,5,7
/proc/14831/task/14842/stat : 14842 (java) S 14829 14829 5228 0 -1 1077944384 15919 0 0 0 393 2 0 0 20 0 15 0 10108605 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278086158448 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14843] ppid=14829 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/14831/task/14843/stat : 14843 (java) S 14829 14829 5228 0 -1 1077944384 6848 0 0 0 71 1 0 0 20 0 15 0 10108605 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278085105904 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14844] ppid=14829 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14831/task/14844/stat : 14844 (java) S 14829 14829 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10108606 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278084053600 140278612784853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
[pid=14831/tid=14845] ppid=14829 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/14831/task/14845/stat : 14845 (java) S 14829 14829 5228 0 -1 1077944384 1280 0 0 0 6 7 0 0 20 0 15 0 10108609 14316269568 258909 18446744073709551615 4194304 4196468 140735091802560 140278083001136 140278612785794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32665600 140735091810772 140735091810947 140735091810947 140735091814351 0
Current children cumulated CPU time (s) 249.03
Current children cumulated vsize (KiB) 13990244
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 14831 sig 9
??? kill 14829 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 14829 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1714
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=939
# CPU time returned by wait4() is 0.002653
# while last known CPU time is 249.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 249.03
CPU user time (s): 248.57
CPU system time (s): 0.46
CPU usage (%): 103.758
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001714
system time used= 0.000939
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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 1.47026 second user time and 1.18432 second system time
The end