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-4249279-1502052036/watcher-4249279-1502052036 -o /tmp/evaluation-result-4249279-1502052036/solver-4249279-1502052036 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1606031801 HOME/instance-4249279-1502052036.xml
pid=5753
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.33 7.81 5.78 6/204 5756
/proc/meminfo: memFree=27738924/32770624 swapFree=0/322936
[pid=5756] ppid=5753 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (runsolver) D 5753 5756 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53018860 24240128 107 18446744073709551615 4194304 4338465 140736365143440 140736365141080 139842838844119 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 7913472 140736365150294 140736365150793 140736365150793 140736365154250 0
/proc/5756/statm: 5918 107 54 36 0 2156 0
[startup+0.100105 s]
/proc/loadavg: 8.33 7.81 5.78 6/204 5756
/proc/meminfo: memFree=27738924/32770624 swapFree=0/322936
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200371 s]
/proc/loadavg: 8.33 7.81 5.78 6/204 5756
/proc/meminfo: memFree=27738924/32770624 swapFree=0/322936
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300521 s]
/proc/loadavg: 8.33 7.81 5.78 6/204 5756
/proc/meminfo: memFree=27738924/32770624 swapFree=0/322936
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701833 s]
/proc/loadavg: 8.33 7.81 5.78 6/204 5756
/proc/meminfo: memFree=27738924/32770624 swapFree=0/322936
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 8.33 7.81 5.78 8/220 5772
/proc/meminfo: memFree=27553196/32770624 swapFree=0/322960
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
[pid=5758] ppid=5756 vsize=12919328 CPUtime=3.98 cores=0,2,4,6
/proc/5758/stat : 5758 (java) S 5756 5756 25100 0 -1 1077944320 16662 0 0 0 386 12 0 0 20 0 15 0 53018870 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 140722772645552 139948409921271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
/proc/5758/statm: 3229832 56463 3208 1 0 3218124 0
[pid=5758/tid=5759] ppid=5756 vsize=12919328 CPUtime=1.3 cores=0,2,4,6
/proc/5758/task/5759/stat : 5759 (java) R 5756 5756 25100 0 -1 4202560 8898 0 0 0 125 5 0 0 20 0 15 0 53018870 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139948414157184 139948041644860 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5760] ppid=5756 vsize=12919328 CPUtime=0.01 cores=0,2,4,6
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 25100 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 53018871 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139948366887312 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5761] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 25100 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 53018871 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139948365834512 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5762] ppid=5756 vsize=12919328 CPUtime=0.01 cores=0,2,4,6
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 25100 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 53018871 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139948364782224 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5763] ppid=5756 vsize=12919328 CPUtime=0.03 cores=0,2,4,6
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 25100 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 15 0 53018871 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139948363729424 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5764] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 53018872 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947960810096 139948409932418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5765] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53018873 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947959756128 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5766] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53018873 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947958703744 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5767] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53018875 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947957652048 139948409939867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5768] ppid=5756 vsize=12919328 CPUtime=1.02 cores=0,2,4,6
/proc/5758/task/5768/stat : 5768 (java) R 5756 5756 25100 0 -1 4202560 2056 0 0 0 102 0 0 0 20 0 15 0 53018875 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947956584336 139948391229936 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5769] ppid=5756 vsize=12919328 CPUtime=1.02 cores=0,2,4,6
/proc/5758/task/5769/stat : 5769 (java) R 5756 5756 25100 0 -1 4202560 1823 0 0 0 101 1 0 0 20 0 15 0 53018875 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947955525200 139948387284922 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5770] ppid=5756 vsize=12919328 CPUtime=0.5 cores=0,2,4,6
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 25100 0 -1 1077944384 2360 0 0 0 49 1 0 0 20 0 15 0 53018875 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947954493808 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5771] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53018875 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947356449248 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5772] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53018880 13229391872 56463 18446744073709551615 4194304 4196468 140722772663008 139947355397040 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 12928840
[startup+3.10155 s]
/proc/loadavg: 8.33 7.81 5.78 8/220 5772
/proc/meminfo: memFree=27339548/32770624 swapFree=0/322960
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
[pid=5758] ppid=5756 vsize=12919328 CPUtime=9.07 cores=0,2,4,6
/proc/5758/stat : 5758 (java) S 5756 5756 25100 0 -1 1077944320 22681 0 0 0 862 45 0 0 20 0 15 0 53018870 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 140722772645552 139948409921271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
/proc/5758/statm: 3229832 198878 3228 1 0 3218124 0
[pid=5758/tid=5759] ppid=5756 vsize=12919328 CPUtime=2.63 cores=0,2,4,6
/proc/5758/task/5759/stat : 5759 (java) R 5756 5756 25100 0 -1 4202560 9258 0 0 0 253 10 0 0 20 0 15 0 53018870 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139948414152640 139948036591616 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5760] ppid=5756 vsize=12919328 CPUtime=0.29 cores=0,2,4,6
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 25100 0 -1 1077944384 252 0 0 0 21 8 0 0 20 0 15 0 53018871 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139948366887312 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5761] ppid=5756 vsize=12919328 CPUtime=0.23 cores=0,2,4,6
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 25100 0 -1 1077944384 192 0 0 0 16 7 0 0 20 0 15 0 53018871 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139948365834512 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5762] ppid=5756 vsize=12919328 CPUtime=0.27 cores=0,2,4,6
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 25100 0 -1 1077944384 180 0 0 0 20 7 0 0 20 0 15 0 53018871 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139948364782224 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5763] ppid=5756 vsize=12919328 CPUtime=0.27 cores=0,2,4,6
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 25100 0 -1 1077944384 207 0 0 0 19 8 0 0 20 0 15 0 53018871 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139948363729424 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5764] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 25100 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 15 0 53018872 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947960810096 139948409932418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5765] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53018873 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947959756128 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5766] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53018873 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947958703744 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5767] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53018875 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947957652048 139948409939867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5768] ppid=5756 vsize=12919328 CPUtime=2.39 cores=0,2,4,6
/proc/5758/task/5768/stat : 5768 (java) R 5756 5756 25100 0 -1 4202560 4377 0 0 0 238 1 0 0 20 0 15 0 53018875 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947956580320 139948393418051 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5769] ppid=5756 vsize=12919328 CPUtime=2.28 cores=0,2,4,6
/proc/5758/task/5769/stat : 5769 (java) D 5756 5756 25100 0 -1 4202560 2997 0 0 0 227 1 0 0 20 0 15 0 53018875 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947955538584 139948389828407 0 4 1 16800974 18446744072101043333 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5770] ppid=5756 vsize=12919328 CPUtime=0.63 cores=0,2,4,6
/proc/5758/task/5770/stat : 5770 (java) D 5756 5756 25100 0 -1 4202560 3371 0 0 0 62 1 0 0 20 0 15 0 53018875 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947954493728 139948389845407 0 4 1 16800974 18446744072101043333 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5771] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53018875 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947356449248 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5772] ppid=5756 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53018880 13229391872 198878 18446744073709551615 4194304 4196468 140722772663008 139947355397040 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 12928840
[startup+6.30085 s]
/proc/loadavg: 8.22 7.79 5.79 9/224 5776
/proc/meminfo: memFree=26103276/32770624 swapFree=0/322956
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
[pid=5758] ppid=5756 vsize=13185584 CPUtime=18.42 cores=0,2,4,6
/proc/5758/stat : 5758 (java) S 5756 5756 25100 0 -1 1077944320 25789 0 0 0 1748 94 0 0 20 0 19 0 53018870 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 140722772645552 139948409921271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
/proc/5758/statm: 3296396 411196 3245 1 0 3284688 0
[pid=5758/tid=5759] ppid=5756 vsize=13185584 CPUtime=4.04 cores=0,2,4,6
/proc/5758/task/5759/stat : 5759 (java) S 5756 5756 25100 0 -1 1077944384 9742 0 0 0 389 15 0 0 20 0 19 0 53018870 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139948414162048 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5760] ppid=5756 vsize=13185584 CPUtime=1.57 cores=0,2,4,6
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 25100 0 -1 1077944384 506 0 0 0 139 18 0 0 20 0 19 0 53018871 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139948366887312 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5761] ppid=5756 vsize=13185584 CPUtime=1.56 cores=0,2,4,6
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 25100 0 -1 1077944384 585 0 0 0 138 18 0 0 20 0 19 0 53018871 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139948365834512 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5762] ppid=5756 vsize=13185584 CPUtime=1.61 cores=0,2,4,6
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 25100 0 -1 1077944384 445 0 0 0 143 18 0 0 20 0 19 0 53018871 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139948364782224 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5763] ppid=5756 vsize=13185584 CPUtime=1.56 cores=0,2,4,6
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 25100 0 -1 1077944384 939 0 0 0 139 17 0 0 20 0 19 0 53018871 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139948363729424 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5764] ppid=5756 vsize=13185584 CPUtime=0.17 cores=0,2,4,6
/proc/5758/task/5764/stat : 5764 (java) R 5756 5756 25100 0 -1 4202560 761 0 0 0 17 0 0 0 20 0 19 0 53018872 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947960808640 139948394621886 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5765] ppid=5756 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 53018873 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947959756128 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5766] ppid=5756 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53018873 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947958703744 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5767] ppid=5756 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53018875 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947957652048 139948409939867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5768] ppid=5756 vsize=13185584 CPUtime=3.37 cores=0,2,4,6
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 25100 0 -1 1077944384 4539 0 0 0 336 1 0 0 20 0 19 0 53018875 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947956590176 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5769] ppid=5756 vsize=13185584 CPUtime=2.95 cores=0,2,4,6
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 25100 0 -1 1077944384 3085 0 0 0 294 1 0 0 20 0 19 0 53018875 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947955531088 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5770] ppid=5756 vsize=13185584 CPUtime=0.78 cores=0,2,4,6
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 25100 0 -1 1077944384 3674 0 0 0 77 1 0 0 20 0 19 0 53018875 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947954493808 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5771] ppid=5756 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53018875 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947356449248 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5772] ppid=5756 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53018880 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947355397040 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5773] ppid=5756 vsize=13185584 CPUtime=0.18 cores=0,2,4,6
/proc/5758/task/5773/stat : 5773 (java) S 5756 5756 25100 0 -1 1077944384 81 0 0 0 18 0 0 0 20 0 19 0 53019325 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139947349980688 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5774] ppid=5756 vsize=13185584 CPUtime=0.15 cores=0,2,4,6
/proc/5758/task/5774/stat : 5774 (java) S 5756 5756 25100 0 -1 1077944384 44 0 0 0 15 0 0 0 20 0 19 0 53019325 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139946742505344 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5775] ppid=5756 vsize=13185584 CPUtime=0.18 cores=0,2,4,6
/proc/5758/task/5775/stat : 5775 (java) S 5756 5756 25100 0 -1 1077944384 36 0 0 0 18 0 0 0 20 0 19 0 53019325 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139946741452752 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5776] ppid=5756 vsize=13185584 CPUtime=0.19 cores=0,2,4,6
/proc/5758/task/5776/stat : 5776 (java) S 5756 5756 25100 0 -1 1077944384 35 0 0 0 19 0 0 0 20 0 19 0 53019325 13502038016 411196 18446744073709551615 4194304 4196468 140722772663008 139946740398944 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
Current children cumulated CPU time (s) 18.42
Current children cumulated vsize (KiB) 13195096
[startup+12.7016 s]
/proc/loadavg: 8.52 7.86 5.82 11/224 5784
/proc/meminfo: memFree=26092660/32770624 swapFree=0/322956
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
[pid=5758] ppid=5756 vsize=13385276 CPUtime=33.12 cores=0,2,4,6
################
# More data... #
################
/proc/5756/statm: 2378 345 289 221 0 87 0
[pid=5758] ppid=5756 vsize=13385276 CPUtime=2339.35 cores=0,2,4,6
/proc/5758/stat : 5758 (java) S 5756 5756 25100 0 -1 1077944320 121618 0 0 0 233740 195 0 0 20 0 19 0 53018870 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 140722772645552 139948409921271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
/proc/5758/statm: 3346319 590432 3282 1 0 3334611 0
[pid=5758/tid=5759] ppid=5756 vsize=13385276 CPUtime=4.04 cores=0,2,4,6
/proc/5758/task/5759/stat : 5759 (java) S 5756 5756 25100 0 -1 1077944384 10336 0 0 0 389 15 0 0 20 0 19 0 53018870 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948414162048 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5760] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 25100 0 -1 1077944384 1897 0 0 0 160 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948366887312 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5761] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 25100 0 -1 1077944384 2169 0 0 0 160 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948365834512 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5762] ppid=5756 vsize=13385276 CPUtime=1.88 cores=0,2,4,6
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 25100 0 -1 1077944384 2804 0 0 0 164 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948364782224 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5763] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 25100 0 -1 1077944384 1786 0 0 0 161 23 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948363729424 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5764] ppid=5756 vsize=13385276 CPUtime=0.73 cores=0,2,4,6
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 25100 0 -1 1077944384 4190 0 0 0 69 4 0 0 20 0 19 0 53018872 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947960810096 139948409932418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5765] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 25100 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 53018873 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947959756128 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5766] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 25100 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 53018873 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947958703744 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5767] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947957652048 139948409939867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5768] ppid=5756 vsize=13385276 CPUtime=5.78 cores=0,2,4,6
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 25100 0 -1 1077944384 23070 0 0 0 575 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947956598896 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5769] ppid=5756 vsize=13385276 CPUtime=5.31 cores=0,2,4,6
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 25100 0 -1 1077944384 23964 0 0 0 528 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947955546096 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5770] ppid=5756 vsize=13385276 CPUtime=1.15 cores=0,2,4,6
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 25100 0 -1 1077944384 13122 0 0 0 112 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947954493808 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5771] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947356449248 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5772] ppid=5756 vsize=13385276 CPUtime=1.41 cores=0,2,4,6
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 25100 0 -1 1077944384 3545 0 0 0 71 70 0 0 20 0 19 0 53018880 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947355397040 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5954] ppid=5756 vsize=13385276 CPUtime=35.09 cores=0,2,4,6
/proc/5758/task/5954/stat : 5954 (java) S 5756 5756 25100 0 -1 1077944384 3231 0 0 0 3509 0 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947349982624 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5955] ppid=5756 vsize=13385276 CPUtime=35.62 cores=0,2,4,6
/proc/5758/task/5955/stat : 5955 (java) S 5756 5756 25100 0 -1 1077944384 4354 0 0 0 3555 7 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946738295888 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5956] ppid=5756 vsize=13385276 CPUtime=936.16 cores=0,2,4,6
/proc/5758/task/5956/stat : 5956 (java) R 5756 5756 25100 0 -1 4202560 7806 0 0 0 93616 0 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946739342528 139948042959255 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5957] ppid=5756 vsize=13385276 CPUtime=35.92 cores=0,2,4,6
/proc/5758/task/5957/stat : 5957 (java) S 5756 5756 25100 0 -1 1077944384 2206 0 0 0 3590 2 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946737243472 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
Current children cumulated CPU time (s) 2339.35
Current children cumulated vsize (KiB) 13394788
[startup+2262.3 s]
/proc/loadavg: 1.99 2.03 2.54 3/224 6048
/proc/meminfo: memFree=26312028/32770624 swapFree=0/323952
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
[pid=5758] ppid=5756 vsize=13385276 CPUtime=2399.4 cores=0,2,4,6
/proc/5758/stat : 5758 (java) S 5756 5756 25100 0 -1 1077944320 122227 0 0 0 239743 197 0 0 20 0 19 0 53018870 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 140722772645552 139948409921271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
/proc/5758/statm: 3346319 590432 3282 1 0 3334611 0
[pid=5758/tid=5759] ppid=5756 vsize=13385276 CPUtime=4.04 cores=0,2,4,6
/proc/5758/task/5759/stat : 5759 (java) S 5756 5756 25100 0 -1 1077944384 10336 0 0 0 389 15 0 0 20 0 19 0 53018870 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948414162048 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5760] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 25100 0 -1 1077944384 1897 0 0 0 160 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948366887312 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5761] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 25100 0 -1 1077944384 2169 0 0 0 160 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948365834512 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5762] ppid=5756 vsize=13385276 CPUtime=1.88 cores=0,2,4,6
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 25100 0 -1 1077944384 2804 0 0 0 164 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948364782224 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5763] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 25100 0 -1 1077944384 1786 0 0 0 161 23 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948363729424 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5764] ppid=5756 vsize=13385276 CPUtime=0.73 cores=0,2,4,6
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 25100 0 -1 1077944384 4210 0 0 0 69 4 0 0 20 0 19 0 53018872 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947960810096 139948409932418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5765] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 25100 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 53018873 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947959756128 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5766] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 25100 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 53018873 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947958703744 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5767] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947957652048 139948409939867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5768] ppid=5756 vsize=13385276 CPUtime=5.78 cores=0,2,4,6
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 25100 0 -1 1077944384 23086 0 0 0 575 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947956598896 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5769] ppid=5756 vsize=13385276 CPUtime=5.31 cores=0,2,4,6
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 25100 0 -1 1077944384 23976 0 0 0 528 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947955546096 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5770] ppid=5756 vsize=13385276 CPUtime=1.16 cores=0,2,4,6
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 25100 0 -1 1077944384 13136 0 0 0 113 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947954493808 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5771] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947356449248 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5772] ppid=5756 vsize=13385276 CPUtime=1.45 cores=0,2,4,6
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 25100 0 -1 1077944384 3621 0 0 0 73 72 0 0 20 0 19 0 53018880 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947355397040 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5954] ppid=5756 vsize=13385276 CPUtime=35.09 cores=0,2,4,6
/proc/5758/task/5954/stat : 5954 (java) S 5756 5756 25100 0 -1 1077944384 3231 0 0 0 3509 0 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947349982624 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5955] ppid=5756 vsize=13385276 CPUtime=35.62 cores=0,2,4,6
/proc/5758/task/5955/stat : 5955 (java) S 5756 5756 25100 0 -1 1077944384 4354 0 0 0 3555 7 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946738295888 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5956] ppid=5756 vsize=13385276 CPUtime=996.17 cores=0,2,4,6
/proc/5758/task/5956/stat : 5956 (java) R 5756 5756 25100 0 -1 4202560 8277 0 0 0 99616 1 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946739342528 139948042961778 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5957] ppid=5756 vsize=13385276 CPUtime=35.92 cores=0,2,4,6
/proc/5758/task/5957/stat : 5957 (java) S 5756 5756 25100 0 -1 1077944384 2206 0 0 0 3590 2 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946737243472 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
Current children cumulated CPU time (s) 2399.4
Current children cumulated vsize (KiB) 13394788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2262.91 s]
/proc/loadavg: 1.99 2.03 2.54 3/224 6048
/proc/meminfo: memFree=26312028/32770624 swapFree=0/323952
[pid=5756] ppid=5753 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53018860 9740288 345 18446744073709551615 4194304 5098028 140733557816896 140733557815000 139784934195836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37470208 140733557821848 140733557822058 140733557822058 140733557825515 0
/proc/5756/statm: 2378 345 289 221 0 87 0
[pid=5758] ppid=5756 vsize=13385276 CPUtime=2400.01 cores=0,2,4,6
/proc/5758/stat : 5758 (java) S 5756 5756 25100 0 -1 1077944320 122227 0 0 0 239804 197 0 0 20 0 19 0 53018870 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 140722772645552 139948409921271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
/proc/5758/statm: 3346319 590432 3282 1 0 3334611 0
[pid=5758/tid=5759] ppid=5756 vsize=13385276 CPUtime=4.04 cores=0,2,4,6
/proc/5758/task/5759/stat : 5759 (java) S 5756 5756 25100 0 -1 1077944384 10336 0 0 0 389 15 0 0 20 0 19 0 53018870 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948414162048 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5760] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 25100 0 -1 1077944384 1897 0 0 0 160 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948366887312 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5761] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 25100 0 -1 1077944384 2169 0 0 0 160 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948365834512 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5762] ppid=5756 vsize=13385276 CPUtime=1.88 cores=0,2,4,6
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 25100 0 -1 1077944384 2804 0 0 0 164 24 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948364782224 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5763] ppid=5756 vsize=13385276 CPUtime=1.84 cores=0,2,4,6
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 25100 0 -1 1077944384 1786 0 0 0 161 23 0 0 20 0 19 0 53018871 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139948363729424 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5764] ppid=5756 vsize=13385276 CPUtime=0.73 cores=0,2,4,6
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 25100 0 -1 1077944384 4210 0 0 0 69 4 0 0 20 0 19 0 53018872 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947960810096 139948409932418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5765] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 25100 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 53018873 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947959756128 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5766] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 25100 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 53018873 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947958703744 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5767] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947957652048 139948409939867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5768] ppid=5756 vsize=13385276 CPUtime=5.78 cores=0,2,4,6
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 25100 0 -1 1077944384 23086 0 0 0 575 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947956598896 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5769] ppid=5756 vsize=13385276 CPUtime=5.31 cores=0,2,4,6
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 25100 0 -1 1077944384 23976 0 0 0 528 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947955546096 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5770] ppid=5756 vsize=13385276 CPUtime=1.16 cores=0,2,4,6
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 25100 0 -1 1077944384 13136 0 0 0 113 3 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947954493808 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5771] ppid=5756 vsize=13385276 CPUtime=0 cores=0,2,4,6
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53018875 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947356449248 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5772] ppid=5756 vsize=13385276 CPUtime=1.45 cores=0,2,4,6
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 25100 0 -1 1077944384 3621 0 0 0 73 72 0 0 20 0 19 0 53018880 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947355397040 139948409932418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5954] ppid=5756 vsize=13385276 CPUtime=35.09 cores=0,2,4,6
/proc/5758/task/5954/stat : 5954 (java) S 5756 5756 25100 0 -1 1077944384 3231 0 0 0 3509 0 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139947349982624 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5955] ppid=5756 vsize=13385276 CPUtime=35.62 cores=0,2,4,6
/proc/5758/task/5955/stat : 5955 (java) S 5756 5756 25100 0 -1 1077944384 4354 0 0 0 3555 7 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946738295888 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5956] ppid=5756 vsize=13385276 CPUtime=996.77 cores=0,2,4,6
/proc/5758/task/5956/stat : 5956 (java) R 5756 5756 25100 0 -1 4202560 8277 0 0 0 99676 1 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946739342528 139948042961820 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
[pid=5758/tid=5957] ppid=5756 vsize=13385276 CPUtime=35.92 cores=0,2,4,6
/proc/5758/task/5957/stat : 5957 (java) S 5756 5756 25100 0 -1 1077944384 2206 0 0 0 3590 2 0 0 20 0 19 0 53145400 13706522624 590432 18446744073709551615 4194304 4196468 140722772663008 139946737243472 139948409931477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27144192 140722772664790 140722772664966 140722772664966 140722772668367 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 13394788
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 5758 sig 9
??? kill 5756 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 5756 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1907
# CPU time returned by wait4() is 0.001907
# while last known CPU time is 2400.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 2262.92
CPU time (s): 2400.01
CPU user time (s): 2398.04
CPU system time (s): 1.97
CPU usage (%): 106.058
Max. virtual memory (cumulated for all children) (KiB): 13394788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001907
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 13.4915 second user time and 14.2846 second system time
The end