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-4255227-1501986886/watcher-4255227-1501986886 -o /tmp/evaluation-result-4255227-1501986886/solver-4255227-1501986886 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1811532089 HOME/instance-4255227-1501986886.xml
pid=7855
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: 2.01 2.03 1.99 2/203 7858
/proc/meminfo: memFree=29477300/32770624 swapFree=0/290092
[pid=7858] ppid=7855 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (runsolver) D 7855 7858 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46503839 24240128 108 18446744073709551615 4194304 4338465 140728656281248 140728656278888 140014066451159 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32776192 140728656285794 140728656286284 140728656286284 140728656289738 0
/proc/7858/statm: 5918 108 54 36 0 2156 0
[startup+0.10011 s]
/proc/loadavg: 2.01 2.03 1.99 2/203 7858
/proc/meminfo: memFree=29477300/32770624 swapFree=0/290092
[pid=7858] ppid=7855 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (runsolver) D 7855 7858 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46503839 24240128 108 18446744073709551615 4194304 4338465 140728656281248 140728656278888 140014066451159 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32776192 140728656285794 140728656286284 140728656286284 140728656289738 0
/proc/7858/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200642 s]
/proc/loadavg: 2.01 2.03 1.99 2/203 7858
/proc/meminfo: memFree=29477300/32770624 swapFree=0/290092
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300253 s]
/proc/loadavg: 2.01 2.03 1.99 2/203 7858
/proc/meminfo: memFree=29477300/32770624 swapFree=0/290092
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.706423 s]
/proc/loadavg: 2.01 2.03 1.99 2/203 7858
/proc/meminfo: memFree=29477300/32770624 swapFree=0/290092
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50142 s]
/proc/loadavg: 2.01 2.03 1.99 7/219 7874
/proc/meminfo: memFree=29296672/32770624 swapFree=0/290164
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
[pid=7860] ppid=7858 vsize=13980732 CPUtime=3.28 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 30500 0 -1 1077944320 15288 0 0 0 320 8 0 0 20 0 15 0 46503854 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 140733460387024 139749524262647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
/proc/7860/statm: 3495183 49209 3203 1 0 3483476 0
[pid=7860/tid=7861] ppid=7858 vsize=13980732 CPUtime=1.11 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 30500 0 -1 4202560 8471 0 0 0 107 4 0 0 20 0 15 0 46503854 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139749528495848 139749130032128 0 4 1 16800974 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7862] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 30500 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 46503855 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139749458696848 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7863] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 30500 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 46503855 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139749457644048 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7864] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 30500 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 46503855 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139749456591248 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7865] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 30500 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 46503855 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139749455538448 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7866] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 30500 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748709514096 139749524273794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7867] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748708460064 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7868] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46503857 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748707407216 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7869] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748505020752 139749524281243 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7870] ppid=7858 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) R 7858 7858 30500 0 -1 4202560 1695 0 0 0 79 0 0 0 20 0 15 0 46503859 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748503968112 139749505783790 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7871] ppid=7858 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) R 7858 7858 30500 0 -1 4202560 1755 0 0 0 82 0 0 0 20 0 15 0 46503859 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748502915312 139749502279635 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7872] ppid=7858 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 30500 0 -1 1077944384 1911 0 0 0 48 0 0 0 20 0 15 0 46503859 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748501862512 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7873] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748500809952 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7874] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46503880 14316269568 49209 18446744073709551615 4194304 4196468 140733460404480 139748499758256 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 13990244
[startup+3.10071 s]
/proc/loadavg: 2.01 2.03 1.99 5/219 7874
/proc/meminfo: memFree=29224692/32770624 swapFree=0/290164
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
[pid=7860] ppid=7858 vsize=13980732 CPUtime=6.38 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 30500 0 -1 1077944320 17169 0 0 0 623 15 0 0 20 0 15 0 46503854 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 140733460387024 139749524262647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
/proc/7860/statm: 3495183 80533 3230 1 0 3483476 0
[pid=7860/tid=7861] ppid=7858 vsize=13980732 CPUtime=2.68 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 30500 0 -1 4202560 8840 0 0 0 262 6 0 0 20 0 15 0 46503854 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139749528499072 139749132732861 0 4 1 16800974 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7862] ppid=7858 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 30500 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 15 0 46503855 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139749458696848 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7863] ppid=7858 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 30500 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 15 0 46503855 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139749457644048 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7864] ppid=7858 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 30500 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 15 0 46503855 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139749456591248 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7865] ppid=7858 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 30500 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 15 0 46503855 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139749455538448 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7866] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 30500 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748709514096 139749524273794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7867] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748708460128 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7868] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46503857 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748707407232 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7869] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748505020752 139749524281243 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7870] ppid=7858 vsize=13980732 CPUtime=1.46 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 30500 0 -1 1077944384 2244 0 0 0 145 1 0 0 20 0 15 0 46503859 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748503968112 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7871] ppid=7858 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 30500 0 -1 1077944384 2378 0 0 0 148 0 0 0 20 0 15 0 46503859 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748502915312 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7872] ppid=7858 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 30500 0 -1 1077944384 2030 0 0 0 56 0 0 0 20 0 15 0 46503859 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748501862512 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7873] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748500809952 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7874] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46503880 14316269568 80533 18446744073709551615 4194304 4196468 140733460404480 139748499758256 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 1.93 2.02 1.99 3/219 7874
/proc/meminfo: memFree=29080448/32770624 swapFree=0/290176
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
[pid=7860] ppid=7858 vsize=13980732 CPUtime=9.82 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 30500 0 -1 1077944320 21161 0 0 0 959 23 0 0 20 0 15 0 46503854 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 140733460387024 139749524262647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
/proc/7860/statm: 3495183 102561 3230 1 0 3483476 0
[pid=7860/tid=7861] ppid=7858 vsize=13980732 CPUtime=5.81 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 30500 0 -1 4202560 9362 0 0 0 575 6 0 0 20 0 15 0 46503854 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139749528498960 139749132733016 0 4 1 16800974 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7862] ppid=7858 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 30500 0 -1 1077944384 220 0 0 0 7 3 0 0 20 0 15 0 46503855 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139749458696848 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7863] ppid=7858 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 30500 0 -1 1077944384 280 0 0 0 7 3 0 0 20 0 15 0 46503855 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139749457644048 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7864] ppid=7858 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 30500 0 -1 1077944384 1241 0 0 0 6 3 0 0 20 0 15 0 46503855 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139749456591248 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7865] ppid=7858 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 30500 0 -1 1077944384 346 0 0 0 7 3 0 0 20 0 15 0 46503855 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139749455538448 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7866] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 30500 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748709514096 139749524273794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7867] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 30500 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748708460128 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7868] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 30500 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46503857 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748707407232 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7869] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748505020752 139749524281243 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7870] ppid=7858 vsize=13980732 CPUtime=1.46 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 30500 0 -1 1077944384 2246 0 0 0 145 1 0 0 20 0 15 0 46503859 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748503968112 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7871] ppid=7858 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 30500 0 -1 1077944384 2431 0 0 0 148 1 0 0 20 0 15 0 46503859 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748502915312 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7872] ppid=7858 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 30500 0 -1 1077944384 2848 0 0 0 59 1 0 0 20 0 15 0 46503859 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748501862512 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7873] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748500809952 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7874] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 30500 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 15 0 46503880 14316269568 102561 18446744073709551615 4194304 4196468 140733460404480 139748499758256 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.94 2.02 1.99 3/219 7874
/proc/meminfo: memFree=28961388/32770624 swapFree=0/290192
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
[pid=7860] ppid=7858 vsize=13980732 CPUtime=16.36 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 30500 0 -1 1077944320 23763 0 0 0 1608 28 0 0 20 0 15 0 46503854 14316269568 143076 18446744073709551615 4194304 4196468 140733460404480 140733460387024 139749524262647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
/proc/7860/statm: 3495183 143076 3234 1 0 3483476 0
[pid=7860/tid=7861] ppid=7858 vsize=13980732 CPUtime=12.17 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 30500 0 -1 4202560 10370 0 0 0 1209 8 0 0 20 0 15 0 46503854 14316269568 143076 18446744073709551615 4194304 4196468 140733460404480 139749528500040 139749132793945 0 4 1 16800974 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7862] ppid=7858 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 30500 0 -1 1077944384 358 0 0 0 9 3 0 0 20 0 15 0 46503855 14316269568 143076 18446744073709551615 4194304 4196468 140733460404480 139749458696848 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7863] ppid=7858 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 30500 0 -1 1077944384 294 0 0 0 9 3 0 0 20 0 15 0 46503855 14316269568 143076 18446744073709551615 4194304 4196468 140733460404480 139749457644048 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
################
# More data... #
################
[pid=7860/tid=7867] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 30500 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 550954 18446744073709551615 4194304 4196468 140733460404480 139748708460128 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7868] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 30500 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46503857 14316269568 550954 18446744073709551615 4194304 4196468 140733460404480 139748707407232 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7869] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 550954 18446744073709551615 4194304 4196468 140733460404480 139748505020752 139749524281243 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7870] ppid=7858 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 30500 0 -1 1077944384 6122 0 0 0 162 1 0 0 20 0 15 0 46503859 14316269568 550954 18446744073709551615 4194304 4196468 140733460404480 139748503968112 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7871] ppid=7858 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 30500 0 -1 1077944384 5882 0 0 0 162 1 0 0 20 0 15 0 46503859 14316269568 550954 18446744073709551615 4194304 4196468 140733460404480 139748502915312 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7872] ppid=7858 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 30500 0 -1 1077944384 3379 0 0 0 60 1 0 0 20 0 15 0 46503859 14316269568 550954 18446744073709551615 4194304 4196468 140733460404480 139748501862512 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7873] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 550954 18446744073709551615 4194304 4196468 140733460404480 139748500809952 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7874] ppid=7858 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 30500 0 -1 1077944384 495 0 0 0 2 3 0 0 20 0 15 0 46503880 14316269568 550954 18446744073709551615 4194304 4196468 140733460404480 139748499758256 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
Current children cumulated CPU time (s) 106.61
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.97 2.00 1.98 3/216 7956
/proc/meminfo: memFree=27258252/32770624 swapFree=0/290364
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
[pid=7860] ppid=7858 vsize=13980732 CPUtime=166.66 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 30500 0 -1 1077944320 45155 0 0 0 16597 69 0 0 20 0 15 0 46503854 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 140733460387024 139749524262647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
/proc/7860/statm: 3495183 551568 3237 1 0 3483476 0
[pid=7860/tid=7861] ppid=7858 vsize=13980732 CPUtime=161.63 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 30500 0 -1 4202560 19187 0 0 0 16131 32 0 0 20 0 15 0 46503854 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139749528500168 139749132732861 0 4 1 16800974 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7862] ppid=7858 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 30500 0 -1 1077944384 1077 0 0 0 18 6 0 0 20 0 15 0 46503855 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139749458696848 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7863] ppid=7858 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 30500 0 -1 1077944384 1917 0 0 0 18 6 0 0 20 0 15 0 46503855 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139749457644048 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7864] ppid=7858 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 30500 0 -1 1077944384 1502 0 0 0 17 7 0 0 20 0 15 0 46503855 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139749456591248 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7865] ppid=7858 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 30500 0 -1 1077944384 1929 0 0 0 17 6 0 0 20 0 15 0 46503855 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139749455538448 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7866] ppid=7858 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 30500 0 -1 1077944384 1891 0 0 0 2 0 0 0 20 0 15 0 46503856 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748709514096 139749524273794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7867] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 30500 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748708460128 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7868] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 30500 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46503857 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748707407232 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7869] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748505020752 139749524281243 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7870] ppid=7858 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 30500 0 -1 1077944384 6458 0 0 0 162 1 0 0 20 0 15 0 46503859 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748503968112 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7871] ppid=7858 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 30500 0 -1 1077944384 5915 0 0 0 162 1 0 0 20 0 15 0 46503859 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748502915312 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7872] ppid=7858 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 30500 0 -1 1077944384 3400 0 0 0 60 1 0 0 20 0 15 0 46503859 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748501862512 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7873] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748500809952 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7874] ppid=7858 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 30500 0 -1 1077944384 541 0 0 0 4 5 0 0 20 0 15 0 46503880 14316269568 551568 18446744073709551615 4194304 4196468 140733460404480 139748499758256 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
Current children cumulated CPU time (s) 166.66
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.05 2.01 1.99 3/216 7958
/proc/meminfo: memFree=25605980/32770624 swapFree=0/290420
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
[pid=7860] ppid=7858 vsize=13980732 CPUtime=228.87 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 30500 0 -1 1077944320 64351 0 0 0 22778 109 0 0 20 0 15 0 46503854 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 140733460387024 139749524262647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
/proc/7860/statm: 3495183 962775 3246 1 0 3483476 0
[pid=7860/tid=7861] ppid=7858 vsize=13980732 CPUtime=221.59 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 30500 0 -1 4202560 24539 0 0 0 22095 64 0 0 20 0 15 0 46503854 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139749528499768 139749132732861 0 4 1 16800974 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7862] ppid=7858 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 30500 0 -1 1077944384 1683 0 0 0 22 7 0 0 20 0 15 0 46503855 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139749458696848 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7863] ppid=7858 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 30500 0 -1 1077944384 2346 0 0 0 22 7 0 0 20 0 15 0 46503855 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139749457644048 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7864] ppid=7858 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 30500 0 -1 1077944384 1684 0 0 0 20 8 0 0 20 0 15 0 46503855 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139749456591248 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7865] ppid=7858 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 30500 0 -1 1077944384 2125 0 0 0 20 8 0 0 20 0 15 0 46503855 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139749455538448 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7866] ppid=7858 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 30500 0 -1 1077944384 3054 0 0 0 2 0 0 0 20 0 15 0 46503856 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748709514096 139749524273794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7867] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 30500 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748708460128 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7868] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 30500 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 46503857 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748707407232 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7869] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748505020752 139749524281243 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7870] ppid=7858 vsize=13980732 CPUtime=2.44 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 30500 0 -1 1077944384 10228 0 0 0 243 1 0 0 20 0 15 0 46503859 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748503968112 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7871] ppid=7858 vsize=13980732 CPUtime=2.63 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 30500 0 -1 1077944384 9827 0 0 0 261 2 0 0 20 0 15 0 46503859 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748502915312 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7872] ppid=7858 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 30500 0 -1 1077944384 6918 0 0 0 80 1 0 0 20 0 15 0 46503859 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748501862512 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7873] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748500809952 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7874] ppid=7858 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 30500 0 -1 1077944384 585 0 0 0 6 8 0 0 20 0 15 0 46503880 14316269568 962775 18446744073709551615 4194304 4196468 140733460404480 139748499758256 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
Current children cumulated CPU time (s) 228.87
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.03 2.01 1.99 3/216 7959
/proc/meminfo: memFree=25536916/32770624 swapFree=0/290428
[pid=7858] ppid=7855 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46503839 9740288 345 18446744073709551615 4194304 5098028 140720660279408 140720660277512 139936851292796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 14 0 0 7196144 7232144 17195008 140720660287905 140720660288109 140720660288109 140720660291563 0
/proc/7858/statm: 2378 345 289 221 0 87 0
[pid=7860] ppid=7858 vsize=13980732 CPUtime=247.26 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 30500 0 -1 1077944320 65682 0 0 0 24607 119 0 0 20 0 15 0 46503854 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 140733460387024 139749524262647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
/proc/7860/statm: 3495183 978872 3248 1 0 3483476 0
[pid=7860/tid=7861] ppid=7858 vsize=13980732 CPUtime=239.24 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 30500 0 -1 4202560 24702 0 0 0 23860 64 0 0 20 0 15 0 46503854 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139749528498864 139749132732861 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7862] ppid=7858 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 30500 0 -1 1077944384 1731 0 0 0 24 10 0 0 20 0 15 0 46503855 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139749458696848 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7863] ppid=7858 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 30500 0 -1 1077944384 2413 0 0 0 24 10 0 0 20 0 15 0 46503855 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139749457644048 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7864] ppid=7858 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 30500 0 -1 1077944384 2109 0 0 0 22 10 0 0 20 0 15 0 46503855 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139749456591248 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7865] ppid=7858 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 30500 0 -1 1077944384 2193 0 0 0 22 10 0 0 20 0 15 0 46503855 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139749455538448 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7866] ppid=7858 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 30500 0 -1 1077944384 3057 0 0 0 2 0 0 0 20 0 15 0 46503856 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748709514096 139749524273794 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7867] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 30500 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 46503856 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748708460128 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7868] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 30500 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 46503857 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748707407232 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7869] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748505020752 139749524281243 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7870] ppid=7858 vsize=13980732 CPUtime=2.63 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 30500 0 -1 1077944384 10243 0 0 0 262 1 0 0 20 0 15 0 46503859 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748503968112 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7871] ppid=7858 vsize=13980732 CPUtime=3 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 30500 0 -1 1077944384 10369 0 0 0 298 2 0 0 20 0 15 0 46503859 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748502915312 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7872] ppid=7858 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 30500 0 -1 1077944384 6918 0 0 0 80 1 0 0 20 0 15 0 46503859 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748501862512 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7873] ppid=7858 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46503859 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748500809952 139749524272853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
[pid=7860/tid=7874] ppid=7858 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 30500 0 -1 1077944384 585 0 0 0 7 8 0 0 20 0 15 0 46503880 14316269568 978872 18446744073709551615 4194304 4196468 140733460404480 139748499758256 139749524273794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 35274752 140733460406746 140733460406921 140733460406921 140733460410319 0
Current children cumulated CPU time (s) 247.26
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 7860 sig 9
??? kill 7858 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 7858 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=936
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=936
# CPU time returned by wait4() is 0.001872
# while last known CPU time is 247.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.025
CPU time (s): 247.26
CPU user time (s): 246.07
CPU system time (s): 1.19
CPU usage (%): 103.014
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000936
system time used= 0.000936
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 1.21954 second user time and 1.53967 second system time
The end