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-4255195-1501621301/watcher-4255195-1501621301 -o /tmp/evaluation-result-4255195-1501621301/solver-4255195-1501621301 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 255750008 HOME/instance-4255195-1501621301.xml
pid=14664
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.82 1.85 1.84 3/195 14667
/proc/meminfo: memFree=30814412/32770624 swapFree=0/191928
[pid=14667] ppid=14664 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (runsolver) D 14664 14667 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10753194 24240128 106 18446744073709551615 4194304 4338465 140720587278752 140720587276392 140324893463255 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 19251200 140720587284573 140720587285062 140720587285062 140720587288522 0
/proc/14667/statm: 5918 106 53 36 0 2156 0
[startup+0.10011 s]
/proc/loadavg: 1.82 1.85 1.84 3/195 14667
/proc/meminfo: memFree=30814412/32770624 swapFree=0/191928
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200259 s]
/proc/loadavg: 1.82 1.85 1.84 3/195 14667
/proc/meminfo: memFree=30814412/32770624 swapFree=0/191928
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302169 s]
/proc/loadavg: 1.82 1.85 1.84 3/195 14667
/proc/meminfo: memFree=30814412/32770624 swapFree=0/191928
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700296 s]
/proc/loadavg: 1.82 1.85 1.84 3/195 14667
/proc/meminfo: memFree=30814412/32770624 swapFree=0/191928
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5013 s]
/proc/loadavg: 1.82 1.85 1.84 5/211 14683
/proc/meminfo: memFree=30712776/32770624 swapFree=0/191932
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
[pid=14669] ppid=14667 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/14669/stat : 14669 (java) S 14667 14667 5091 0 -1 1077944320 37376 0 0 0 372 7 0 0 20 0 15 0 10753202 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140730108369936 140002221911799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
/proc/14669/statm: 3495183 31188 3174 1 0 3483484 0
[pid=14669/tid=14670] ppid=14667 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/14669/task/14670/stat : 14670 (java) R 14667 14667 5091 0 -1 4202560 9784 0 0 0 133 3 0 0 20 0 15 0 10753203 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140002226146080 140001861111104 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14671] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14671/stat : 14671 (java) S 14667 14667 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140002178877968 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14672] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14672/stat : 14672 (java) S 14667 14667 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140002177825424 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14673] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14673/stat : 14673 (java) S 14667 14667 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001820207376 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14674] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14674/stat : 14674 (java) S 14667 14667 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001819154832 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14675] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14675/stat : 14675 (java) S 14667 14667 5091 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001700449008 140002221922946 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14676] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14676/stat : 14676 (java) S 14667 14667 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001699395232 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14677] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14677/stat : 14677 (java) S 14667 14667 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001698342128 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14678] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14678/stat : 14678 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001697290704 140002221930395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14679] ppid=14667 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/14669/task/14679/stat : 14679 (java) R 14667 14667 5091 0 -1 4202560 13069 0 0 0 102 1 0 0 20 0 15 0 10753208 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001696223680 140002205441565 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14680] ppid=14667 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/14669/task/14680/stat : 14680 (java) R 14667 14667 5091 0 -1 4202560 9248 0 0 0 96 0 0 0 20 0 15 0 10753208 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001695171360 140002206200563 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14681] ppid=14667 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/14669/task/14681/stat : 14681 (java) S 14667 14667 5091 0 -1 1077944384 3957 0 0 0 40 1 0 0 20 0 15 0 10753208 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001694132208 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14682] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14682/stat : 14682 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001693079904 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14683] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14683/stat : 14683 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753212 14316269568 31188 18446744073709551615 4194304 4196468 140730108387392 140001692027952 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 13990244
[startup+3.1013 s]
/proc/loadavg: 1.82 1.85 1.84 5/211 14683
/proc/meminfo: memFree=30621324/32770624 swapFree=0/191940
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
[pid=14669] ppid=14667 vsize=13980732 CPUtime=8.82 cores=1,3,5,7
/proc/14669/stat : 14669 (java) S 14667 14667 5091 0 -1 1077944320 41723 0 0 0 874 8 0 0 20 0 15 0 10753202 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140730108369936 140002221911799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
/proc/14669/statm: 3495183 40912 3186 1 0 3483484 0
[pid=14669/tid=14670] ppid=14667 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/14669/task/14670/stat : 14670 (java) R 14667 14667 5091 0 -1 4202560 10453 0 0 0 292 3 0 0 20 0 15 0 10753203 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140002226146704 140001858903579 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14671] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14671/stat : 14671 (java) S 14667 14667 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140002178877968 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14672] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14672/stat : 14672 (java) S 14667 14667 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140002177825424 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14673] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14673/stat : 14673 (java) S 14667 14667 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001820207376 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14674] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14674/stat : 14674 (java) S 14667 14667 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001819154832 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14675] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14675/stat : 14675 (java) S 14667 14667 5091 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001700449008 140002221922946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14676] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14676/stat : 14676 (java) S 14667 14667 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001699395232 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14677] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14677/stat : 14677 (java) S 14667 14667 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001698342128 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14678] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14678/stat : 14678 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001697290704 140002221930395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14679] ppid=14667 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/14669/task/14679/stat : 14679 (java) R 14667 14667 5091 0 -1 4202560 14069 0 0 0 261 1 0 0 20 0 15 0 10753208 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001696227600 140002205822494 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14680] ppid=14667 vsize=13980732 CPUtime=2.56 cores=1,3,5,7
/proc/14669/task/14680/stat : 14680 (java) R 14667 14667 5091 0 -1 4202560 11079 0 0 0 255 1 0 0 20 0 15 0 10753208 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001695173040 140002202638582 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14681] ppid=14667 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/14669/task/14681/stat : 14681 (java) S 14667 14667 5091 0 -1 1077944384 4779 0 0 0 64 2 0 0 20 0 15 0 10753208 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001694132208 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14682] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14682/stat : 14682 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001693079904 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14683] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14683/stat : 14683 (java) S 14667 14667 5091 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10753212 14316269568 40912 18446744073709551615 4194304 4196468 140730108387392 140001692027952 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
Current children cumulated CPU time (s) 8.82
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.75 1.83 1.83 3/211 14683
/proc/meminfo: memFree=30513224/32770624 swapFree=0/191944
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
[pid=14669] ppid=14667 vsize=13980732 CPUtime=13.71 cores=1,3,5,7
/proc/14669/stat : 14669 (java) S 14667 14667 5091 0 -1 1077944320 52967 0 0 0 1359 12 0 0 20 0 15 0 10753202 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140730108369936 140002221911799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
/proc/14669/statm: 3495183 61686 3217 1 0 3483484 0
[pid=14669/tid=14670] ppid=14667 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/14669/task/14670/stat : 14670 (java) R 14667 14667 5091 0 -1 4202560 11050 0 0 0 609 4 0 0 20 0 15 0 10753203 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140002226147600 140001862159166 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14671] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14671/stat : 14671 (java) S 14667 14667 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140002178877968 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14672] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14672/stat : 14672 (java) S 14667 14667 5091 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140002177825424 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14673] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14673/stat : 14673 (java) S 14667 14667 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001820207376 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14674] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14674/stat : 14674 (java) S 14667 14667 5091 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 10753203 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001819154832 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14675] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14675/stat : 14675 (java) S 14667 14667 5091 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001700449008 140002221922946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14676] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14676/stat : 14676 (java) S 14667 14667 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001699395232 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14677] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14677/stat : 14677 (java) S 14667 14667 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001698342128 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14678] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14678/stat : 14678 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001697290704 140002221930395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14679] ppid=14667 vsize=13980732 CPUtime=3.36 cores=1,3,5,7
/proc/14669/task/14679/stat : 14679 (java) S 14667 14667 5091 0 -1 1077944384 17763 0 0 0 334 2 0 0 20 0 15 0 10753208 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001696237808 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14680] ppid=14667 vsize=13980732 CPUtime=3.35 cores=1,3,5,7
/proc/14669/task/14680/stat : 14680 (java) S 14667 14667 5091 0 -1 1077944384 15107 0 0 0 334 1 0 0 20 0 15 0 10753208 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001695185264 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14681] ppid=14667 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/14669/task/14681/stat : 14681 (java) S 14667 14667 5091 0 -1 1077944384 6095 0 0 0 76 2 0 0 20 0 15 0 10753208 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001694132208 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14682] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14682/stat : 14682 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001693079904 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14683] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14683/stat : 14683 (java) S 14667 14667 5091 0 -1 1077944384 708 0 0 0 0 0 0 0 20 0 15 0 10753212 14316269568 61686 18446744073709551615 4194304 4196468 140730108387392 140001692027952 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
Current children cumulated CPU time (s) 13.71
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.69 1.82 1.83 3/211 14683
/proc/meminfo: memFree=30492740/32770624 swapFree=0/191944
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
[pid=14669] ppid=14667 vsize=13980732 CPUtime=22.05 cores=1,3,5,7
/proc/14669/stat : 14669 (java) S 14667 14667 5091 0 -1 1077944320 58343 0 0 0 2190 15 0 0 20 0 15 0 10753202 14316269568 66559 18446744073709551615 4194304 4196468 140730108387392 140730108369936 140002221911799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
/proc/14669/statm: 3495183 66559 3230 1 0 3483484 0
[pid=14669/tid=14670] ppid=14667 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/14669/task/14670/stat : 14670 (java) R 14667 14667 5091 0 -1 4202560 11836 0 0 0 1247 4 0 0 20 0 15 0 10753203 14316269568 66559 18446744073709551615 4194304 4196468 140730108387392 140002226150112 140001866512222 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14671] ppid=14667 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14669/task/14671/stat : 14671 (java) S 14667 14667 5091 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 15 0 10753203 14316269568 66559 18446744073709551615 4194304 4196468 140730108387392 140002178877968 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14672] ppid=14667 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14669/task/14672/stat : 14672 (java) S 14667 14667 5091 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 15 0 10753203 14316269568 66559 18446744073709551615 4194304 4196468 140730108387392 140002177825424 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
################
# More data... #
################
[pid=14669/tid=14676] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14676/stat : 14676 (java) S 14667 14667 5091 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 72658 18446744073709551615 4194304 4196468 140730108387392 140001699395296 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14677] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14677/stat : 14677 (java) S 14667 14667 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 72658 18446744073709551615 4194304 4196468 140730108387392 140001698342144 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14678] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14678/stat : 14678 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 72658 18446744073709551615 4194304 4196468 140730108387392 140001697290704 140002221930395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14679] ppid=14667 vsize=13980732 CPUtime=5.3 cores=1,3,5,7
/proc/14669/task/14679/stat : 14679 (java) S 14667 14667 5091 0 -1 1077944384 25495 0 0 0 528 2 0 0 20 0 15 0 10753208 14316269568 72658 18446744073709551615 4194304 4196468 140730108387392 140001696237808 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14680] ppid=14667 vsize=13980732 CPUtime=6.2 cores=1,3,5,7
/proc/14669/task/14680/stat : 14680 (java) S 14667 14667 5091 0 -1 1077944384 27162 0 0 0 618 2 0 0 20 0 15 0 10753208 14316269568 72658 18446744073709551615 4194304 4196468 140730108387392 140001695185264 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14681] ppid=14667 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/14669/task/14681/stat : 14681 (java) S 14667 14667 5091 0 -1 1077944384 9797 0 0 0 90 3 0 0 20 0 15 0 10753208 14316269568 72658 18446744073709551615 4194304 4196468 140730108387392 140001694132208 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14682] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14682/stat : 14682 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 72658 18446744073709551615 4194304 4196468 140730108387392 140001693079904 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14683] ppid=14667 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14669/task/14683/stat : 14683 (java) S 14667 14667 5091 0 -1 1077944384 1689 0 0 0 1 1 0 0 20 0 15 0 10753212 14316269568 72658 18446744073709551615 4194304 4196468 140730108387392 140001692027952 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
Current children cumulated CPU time (s) 115.57
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.65 1.76 1.80 3/213 14696
/proc/meminfo: memFree=30115304/32770624 swapFree=0/192036
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
[pid=14669] ppid=14667 vsize=13980732 CPUtime=176.5 cores=1,3,5,7
/proc/14669/stat : 14669 (java) S 14667 14667 5091 0 -1 1077944320 93571 0 0 0 17609 41 0 0 20 0 15 0 10753202 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140730108369936 140002221911799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
/proc/14669/statm: 3495183 87789 3237 1 0 3483484 0
[pid=14669/tid=14670] ppid=14667 vsize=13980732 CPUtime=161.47 cores=1,3,5,7
/proc/14669/task/14670/stat : 14670 (java) R 14667 14667 5091 0 -1 4202560 17121 0 0 0 16142 5 0 0 20 0 15 0 10753203 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140002226151200 140001866390345 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14671] ppid=14667 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/14669/task/14671/stat : 14671 (java) S 14667 14667 5091 0 -1 1077944384 1780 0 0 0 52 6 0 0 20 0 15 0 10753203 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140002178877968 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14672] ppid=14667 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/14669/task/14672/stat : 14672 (java) S 14667 14667 5091 0 -1 1077944384 1905 0 0 0 52 5 0 0 20 0 15 0 10753203 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140002177825424 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14673] ppid=14667 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/14669/task/14673/stat : 14673 (java) S 14667 14667 5091 0 -1 1077944384 822 0 0 0 51 6 0 0 20 0 15 0 10753203 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001820207376 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14674] ppid=14667 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/14669/task/14674/stat : 14674 (java) S 14667 14667 5091 0 -1 1077944384 1321 0 0 0 52 5 0 0 20 0 15 0 10753203 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001819154832 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14675] ppid=14667 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/14669/task/14675/stat : 14675 (java) S 14667 14667 5091 0 -1 1077944384 1525 0 0 0 5 1 0 0 20 0 15 0 10753205 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001700449008 140002221922946 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14676] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14676/stat : 14676 (java) S 14667 14667 5091 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001699395296 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14677] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14677/stat : 14677 (java) S 14667 14667 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001698342144 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14678] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14678/stat : 14678 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001697290704 140002221930395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14679] ppid=14667 vsize=13980732 CPUtime=5.34 cores=1,3,5,7
/proc/14669/task/14679/stat : 14679 (java) S 14667 14667 5091 0 -1 1077944384 26470 0 0 0 532 2 0 0 20 0 15 0 10753208 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001696237808 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14680] ppid=14667 vsize=13980732 CPUtime=6.26 cores=1,3,5,7
/proc/14669/task/14680/stat : 14680 (java) S 14667 14667 5091 0 -1 1077944384 28759 0 0 0 624 2 0 0 20 0 15 0 10753208 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001695185264 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14681] ppid=14667 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/14669/task/14681/stat : 14681 (java) S 14667 14667 5091 0 -1 1077944384 10791 0 0 0 91 3 0 0 20 0 15 0 10753208 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001694132208 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14682] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14682/stat : 14682 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001693079904 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14683] ppid=14667 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/14669/task/14683/stat : 14683 (java) S 14667 14667 5091 0 -1 1077944384 1712 0 0 0 2 2 0 0 20 0 15 0 10753212 14316269568 87789 18446744073709551615 4194304 4196468 140730108387392 140001692027952 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
Current children cumulated CPU time (s) 176.5
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.95 1.82 1.82 3/213 14852
/proc/meminfo: memFree=31272656/32770624 swapFree=0/192152
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
[pid=14669] ppid=14667 vsize=13980732 CPUtime=237.6 cores=1,3,5,7
/proc/14669/stat : 14669 (java) S 14667 14667 5091 0 -1 1077944320 96960 0 0 0 23703 57 0 0 20 0 15 0 10753202 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140730108369936 140002221911799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
/proc/14669/statm: 3495183 116446 3237 1 0 3483484 0
[pid=14669/tid=14670] ppid=14667 vsize=13980732 CPUtime=221.07 cores=1,3,5,7
/proc/14669/task/14670/stat : 14670 (java) R 14667 14667 5091 0 -1 4202560 18109 0 0 0 22102 5 0 0 20 0 15 0 10753203 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140002226151184 140001862503081 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14671] ppid=14667 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/14669/task/14671/stat : 14671 (java) S 14667 14667 5091 0 -1 1077944384 2512 0 0 0 84 9 0 0 20 0 15 0 10753203 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140002178877968 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14672] ppid=14667 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/14669/task/14672/stat : 14672 (java) S 14667 14667 5091 0 -1 1077944384 2101 0 0 0 84 9 0 0 20 0 15 0 10753203 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140002177825424 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14673] ppid=14667 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/14669/task/14673/stat : 14673 (java) S 14667 14667 5091 0 -1 1077944384 1132 0 0 0 84 10 0 0 20 0 15 0 10753203 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001820207376 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14674] ppid=14667 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/14669/task/14674/stat : 14674 (java) S 14667 14667 5091 0 -1 1077944384 1487 0 0 0 84 9 0 0 20 0 15 0 10753203 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001819154832 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14675] ppid=14667 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14669/task/14675/stat : 14675 (java) S 14667 14667 5091 0 -1 1077944384 1810 0 0 0 7 1 0 0 20 0 15 0 10753205 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001700449008 140002221922946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14676] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14676/stat : 14676 (java) S 14667 14667 5091 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001699395296 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14677] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14677/stat : 14677 (java) S 14667 14667 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001698342144 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14678] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14678/stat : 14678 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001697290704 140002221930395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14679] ppid=14667 vsize=13980732 CPUtime=5.34 cores=1,3,5,7
/proc/14669/task/14679/stat : 14679 (java) S 14667 14667 5091 0 -1 1077944384 27158 0 0 0 532 2 0 0 20 0 15 0 10753208 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001696237808 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14680] ppid=14667 vsize=13980732 CPUtime=6.26 cores=1,3,5,7
/proc/14669/task/14680/stat : 14680 (java) S 14667 14667 5091 0 -1 1077944384 28761 0 0 0 624 2 0 0 20 0 15 0 10753208 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001695185264 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14681] ppid=14667 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/14669/task/14681/stat : 14681 (java) S 14667 14667 5091 0 -1 1077944384 10794 0 0 0 91 3 0 0 20 0 15 0 10753208 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001694132208 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14682] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14682/stat : 14682 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001693079904 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14683] ppid=14667 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14669/task/14683/stat : 14683 (java) S 14667 14667 5091 0 -1 1077944384 1731 0 0 0 4 3 0 0 20 0 15 0 10753212 14316269568 116446 18446744073709551615 4194304 4196468 140730108387392 140001692027952 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
Current children cumulated CPU time (s) 237.6
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.89 1.81 1.82 4/213 14928
/proc/meminfo: memFree=31381484/32770624 swapFree=0/192212
[pid=14667] ppid=14664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14667/stat : 14667 (xcsp3-exec) S 14664 14667 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10753194 9740288 344 18446744073709551615 4194304 5098028 140725787609856 140725787607960 139745813947004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 26824704 140725787615644 140725787615847 140725787615847 140725787619307 0
/proc/14667/statm: 2378 344 289 221 0 87 0
[pid=14669] ppid=14667 vsize=13980732 CPUtime=255.83 cores=1,3,5,7
/proc/14669/stat : 14669 (java) S 14667 14667 5091 0 -1 1077944320 102405 0 0 0 25519 64 0 0 20 0 15 0 10753202 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140730108369936 140002221911799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
/proc/14669/statm: 3495183 85675 3252 1 0 3483484 0
[pid=14669/tid=14670] ppid=14667 vsize=13980732 CPUtime=238.56 cores=1,3,5,7
/proc/14669/task/14670/stat : 14670 (java) R 14667 14667 5091 0 -1 4202560 18350 0 0 0 23851 5 0 0 20 0 15 0 10753203 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140002226151440 140001858903558 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14671] ppid=14667 vsize=13980732 CPUtime=1.1 cores=1,3,5,7
/proc/14669/task/14671/stat : 14671 (java) S 14667 14667 5091 0 -1 1077944384 3023 0 0 0 99 11 0 0 20 0 15 0 10753203 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140002178877968 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14672] ppid=14667 vsize=13980732 CPUtime=1.1 cores=1,3,5,7
/proc/14669/task/14672/stat : 14672 (java) S 14667 14667 5091 0 -1 1077944384 2329 0 0 0 99 11 0 0 20 0 15 0 10753203 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140002177825424 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14673] ppid=14667 vsize=13980732 CPUtime=1.1 cores=1,3,5,7
/proc/14669/task/14673/stat : 14673 (java) S 14667 14667 5091 0 -1 1077944384 1307 0 0 0 99 11 0 0 20 0 15 0 10753203 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001820207376 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14674] ppid=14667 vsize=13980732 CPUtime=1.1 cores=1,3,5,7
/proc/14669/task/14674/stat : 14674 (java) S 14667 14667 5091 0 -1 1077944384 1721 0 0 0 99 11 0 0 20 0 15 0 10753203 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001819154832 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14675] ppid=14667 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/14669/task/14675/stat : 14675 (java) S 14667 14667 5091 0 -1 1077944384 3966 0 0 0 10 2 0 0 20 0 15 0 10753205 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001700449008 140002221922946 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14676] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14676/stat : 14676 (java) S 14667 14667 5091 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001699395296 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14677] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14677/stat : 14677 (java) S 14667 14667 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10753205 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001698342144 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14678] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14678/stat : 14678 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001697290704 140002221930395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14679] ppid=14667 vsize=13980732 CPUtime=5.36 cores=1,3,5,7
/proc/14669/task/14679/stat : 14679 (java) S 14667 14667 5091 0 -1 1077944384 27565 0 0 0 534 2 0 0 20 0 15 0 10753208 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001696237808 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14680] ppid=14667 vsize=13980732 CPUtime=6.28 cores=1,3,5,7
/proc/14669/task/14680/stat : 14680 (java) S 14667 14667 5091 0 -1 1077944384 29403 0 0 0 626 2 0 0 20 0 15 0 10753208 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001695185264 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14681] ppid=14667 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/14669/task/14681/stat : 14681 (java) S 14667 14667 5091 0 -1 1077944384 11641 0 0 0 92 3 0 0 20 0 15 0 10753208 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001694132208 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14682] ppid=14667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14669/task/14682/stat : 14682 (java) S 14667 14667 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10753208 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001693079904 140002221922005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
[pid=14669/tid=14683] ppid=14667 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14669/task/14683/stat : 14683 (java) S 14667 14667 5091 0 -1 1077944384 1735 0 0 0 4 3 0 0 20 0 15 0 10753212 14316269568 85675 18446744073709551615 4194304 4196468 140730108387392 140001692027952 140002221922946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21336064 140730108395988 140730108396163 140730108396163 140730108399567 0
Current children cumulated CPU time (s) 255.83
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 14669 sig 9
??? kill 14667 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 14667 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=956
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=956
# CPU time returned by wait4() is 0.001912
# while last known CPU time is 255.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 255.83
CPU user time (s): 255.19
CPU system time (s): 0.64
CPU usage (%): 106.591
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000956
system time used= 0.000956
maximum resident set size= 1380
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.26977 second user time and 1.31912 second system time
The end