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-4254364-1501616364/watcher-4254364-1501616364 -o /tmp/evaluation-result-4254364-1501616364/solver-4254364-1501616364 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5192 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1581079541 HOME/instance-4254364-1501616364.xml
pid=8829
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.39 1.64 1.75 2/195 8832
/proc/meminfo: memFree=31811396/32770624 swapFree=0/187456
[pid=8832] ppid=8829 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (runsolver) D 8829 8832 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10256677 24240128 107 18446744073709551615 4194304 4338465 140732043150000 140732043147640 139946104083159 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 16711680 140732043153501 140732043153990 140732043153990 140732043157450 0
/proc/8832/statm: 5918 107 54 36 0 2156 0
[startup+0.100138 s]
/proc/loadavg: 1.39 1.64 1.75 2/195 8832
/proc/meminfo: memFree=31811396/32770624 swapFree=0/187456
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200221 s]
/proc/loadavg: 1.39 1.64 1.75 2/195 8832
/proc/meminfo: memFree=31811396/32770624 swapFree=0/187456
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300219 s]
/proc/loadavg: 1.39 1.64 1.75 2/195 8832
/proc/meminfo: memFree=31811396/32770624 swapFree=0/187456
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700304 s]
/proc/loadavg: 1.39 1.64 1.75 2/195 8832
/proc/meminfo: memFree=31811396/32770624 swapFree=0/187456
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.39 1.64 1.75 5/211 8848
/proc/meminfo: memFree=31744736/32770624 swapFree=0/187436
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
[pid=8834] ppid=8832 vsize=13980732 CPUtime=3.75 cores=1,3,5,7
/proc/8834/stat : 8834 (java) S 8832 8832 5131 0 -1 1077944320 23257 0 0 0 369 6 0 0 20 0 15 0 10256685 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140737178971440 140075849748215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
/proc/8834/statm: 3495183 20819 3181 1 0 3483484 0
[pid=8834/tid=8835] ppid=8832 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/8834/task/8835/stat : 8835 (java) R 8832 8832 5131 0 -1 4202560 9282 0 0 0 133 3 0 0 20 0 15 0 10256686 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075853984808 140075476287897 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8836] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8836/stat : 8836 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075806714768 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8837] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8837/stat : 8837 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075805661968 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8838] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8838/stat : 8838 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075804609680 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8839] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8839/stat : 8839 (java) S 8832 8832 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075803556880 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8840] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8840/stat : 8840 (java) S 8832 8832 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075395459184 140075849759362 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8841] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8841/stat : 8841 (java) S 8832 8832 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075394405152 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8842] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8842/stat : 8842 (java) S 8832 8832 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075393352816 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8843] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8843/stat : 8843 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075325188176 140075849766811 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8844] ppid=8832 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/8834/task/8844/stat : 8844 (java) R 8832 8832 5131 0 -1 4202560 3545 0 0 0 99 0 0 0 20 0 15 0 10256691 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075324125760 140075827342961 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8845] ppid=8832 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/8834/task/8845/stat : 8845 (java) R 8832 8832 5131 0 -1 4202560 6389 0 0 0 97 0 0 0 20 0 15 0 10256691 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075323076272 140075834653647 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8846] ppid=8832 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/8834/task/8846/stat : 8846 (java) S 8832 8832 5131 0 -1 1077944384 2728 0 0 0 39 0 0 0 20 0 15 0 10256691 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075322030960 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8847] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8847/stat : 8847 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075320978400 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8848] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8848/stat : 8848 (java) S 8832 8832 5131 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10256694 14316269568 20819 18446744073709551615 4194304 4196468 140737178988896 140075319925168 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13990244
[startup+3.10062 s]
/proc/loadavg: 1.39 1.64 1.75 3/211 8848
/proc/meminfo: memFree=31737416/32770624 swapFree=0/187436
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
[pid=8834] ppid=8832 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/8834/stat : 8834 (java) S 8832 8832 5131 0 -1 1077944320 24005 0 0 0 609 7 0 0 20 0 15 0 10256685 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140737178971440 140075849748215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
/proc/8834/statm: 3495183 22689 3190 1 0 3483484 0
[pid=8834/tid=8835] ppid=8832 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/8834/task/8835/stat : 8835 (java) R 8832 8832 5131 0 -1 4202560 9397 0 0 0 292 3 0 0 20 0 15 0 10256686 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075853984864 140075476526954 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8836] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8836/stat : 8836 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075806714768 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8837] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8837/stat : 8837 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075805661968 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8838] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8838/stat : 8838 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075804609680 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8839] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8839/stat : 8839 (java) S 8832 8832 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075803556880 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8840] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8840/stat : 8840 (java) S 8832 8832 5131 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075395459184 140075849759362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8841] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8841/stat : 8841 (java) S 8832 8832 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075394405152 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8842] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8842/stat : 8842 (java) S 8832 8832 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075393352816 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8843] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8843/stat : 8843 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075325188176 140075849766811 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8844] ppid=8832 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/8834/task/8844/stat : 8844 (java) S 8832 8832 5131 0 -1 1077944384 3807 0 0 0 136 0 0 0 20 0 15 0 10256691 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075324136048 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8845] ppid=8832 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/8834/task/8845/stat : 8845 (java) S 8832 8832 5131 0 -1 1077944384 6580 0 0 0 135 1 0 0 20 0 15 0 10256691 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075323083248 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8846] ppid=8832 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/8834/task/8846/stat : 8846 (java) S 8832 8832 5131 0 -1 1077944384 2870 0 0 0 43 1 0 0 20 0 15 0 10256691 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075322030960 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8847] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8847/stat : 8847 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075320978400 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8848] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8848/stat : 8848 (java) S 8832 8832 5131 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10256694 14316269568 22689 18446744073709551615 4194304 4196468 140737178988896 140075319925168 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 13990244
[startup+6.30061 s]
/proc/loadavg: 1.44 1.64 1.75 3/211 8848
/proc/meminfo: memFree=31715788/32770624 swapFree=0/187436
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
[pid=8834] ppid=8832 vsize=13980732 CPUtime=9.76 cores=1,3,5,7
/proc/8834/stat : 8834 (java) S 8832 8832 5131 0 -1 1077944320 28405 0 0 0 968 8 0 0 20 0 15 0 10256685 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140737178971440 140075849748215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
/proc/8834/statm: 3495183 28424 3196 1 0 3483484 0
[pid=8834/tid=8835] ppid=8832 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/8834/task/8835/stat : 8835 (java) R 8832 8832 5131 0 -1 4202560 9961 0 0 0 612 4 0 0 20 0 15 0 10256686 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075853987768 140075481607393 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8836] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8836/stat : 8836 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075806714768 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8837] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8837/stat : 8837 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075805661968 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8838] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8838/stat : 8838 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075804609680 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8839] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8839/stat : 8839 (java) S 8832 8832 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075803556880 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8840] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8840/stat : 8840 (java) S 8832 8832 5131 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075395459184 140075849759362 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8841] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8841/stat : 8841 (java) S 8832 8832 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075394405152 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8842] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8842/stat : 8842 (java) S 8832 8832 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075393352816 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8843] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8843/stat : 8843 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075325188176 140075849766811 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8844] ppid=8832 vsize=13980732 CPUtime=1.55 cores=1,3,5,7
/proc/8834/task/8844/stat : 8844 (java) R 8832 8832 5131 0 -1 4202560 5863 0 0 0 154 1 0 0 20 0 15 0 10256691 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075324136048 140075834863261 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8845] ppid=8832 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/8834/task/8845/stat : 8845 (java) S 8832 8832 5131 0 -1 1077944384 7725 0 0 0 155 1 0 0 20 0 15 0 10256691 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075323083248 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8846] ppid=8832 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/8834/task/8846/stat : 8846 (java) S 8832 8832 5131 0 -1 1077944384 3062 0 0 0 44 1 0 0 20 0 15 0 10256691 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075322030960 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8847] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8847/stat : 8847 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075320978400 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8848] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8848/stat : 8848 (java) S 8832 8832 5131 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 10256694 14316269568 28424 18446744073709551615 4194304 4196468 140737178988896 140075319925168 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.40 1.63 1.75 3/211 8849
/proc/meminfo: memFree=31655972/32770624 swapFree=0/187452
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
[pid=8834] ppid=8832 vsize=13980732 CPUtime=16.26 cores=1,3,5,7
/proc/8834/stat : 8834 (java) S 8832 8832 5131 0 -1 1077944320 32762 0 0 0 1617 9 0 0 20 0 15 0 10256685 14316269568 43311 18446744073709551615 4194304 4196468 140737178988896 140737178971440 140075849748215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
/proc/8834/statm: 3495183 43311 3196 1 0 3483484 0
[pid=8834/tid=8835] ppid=8832 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/8834/task/8835/stat : 8835 (java) R 8832 8832 5131 0 -1 4202560 11088 0 0 0 1251 5 0 0 20 0 15 0 10256686 14316269568 43311 18446744073709551615 4194304 4196468 140737178988896 140075853985448 140075834087004 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8836] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8836/stat : 8836 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 43311 18446744073709551615 4194304 4196468 140737178988896 140075806714768 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8837] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8837/stat : 8837 (java) S 8832 8832 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10256686 14316269568 43311 18446744073709551615 4194304 4196468 140737178988896 140075805661968 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
################
# More data... #
################
[pid=8834/tid=8841] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8841/stat : 8841 (java) S 8832 8832 5131 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 48079 18446744073709551615 4194304 4196468 140737178988896 140075394405152 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8842] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8842/stat : 8842 (java) S 8832 8832 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 48079 18446744073709551615 4194304 4196468 140737178988896 140075393352816 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8843] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8843/stat : 8843 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 48079 18446744073709551615 4194304 4196468 140737178988896 140075325188176 140075849766811 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8844] ppid=8832 vsize=13980732 CPUtime=1.69 cores=1,3,5,7
/proc/8834/task/8844/stat : 8844 (java) S 8832 8832 5131 0 -1 1077944384 9587 0 0 0 168 1 0 0 20 0 15 0 10256691 14316269568 48079 18446744073709551615 4194304 4196468 140737178988896 140075324136048 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8845] ppid=8832 vsize=13980732 CPUtime=1.77 cores=1,3,5,7
/proc/8834/task/8845/stat : 8845 (java) S 8832 8832 5131 0 -1 1077944384 12106 0 0 0 176 1 0 0 20 0 15 0 10256691 14316269568 48079 18446744073709551615 4194304 4196468 140737178988896 140075323083248 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8846] ppid=8832 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/8834/task/8846/stat : 8846 (java) S 8832 8832 5131 0 -1 1077944384 6440 0 0 0 49 1 0 0 20 0 15 0 10256691 14316269568 48079 18446744073709551615 4194304 4196468 140737178988896 140075322030960 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8847] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8847/stat : 8847 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 48079 18446744073709551615 4194304 4196468 140737178988896 140075320978400 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8848] ppid=8832 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8834/task/8848/stat : 8848 (java) S 8832 8832 5131 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 15 0 10256694 14316269568 48079 18446744073709551615 4194304 4196468 140737178988896 140075319925168 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
Current children cumulated CPU time (s) 106.24
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.80 1.72 1.77 3/211 8931
/proc/meminfo: memFree=31614248/32770624 swapFree=0/187620
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
[pid=8834] ppid=8832 vsize=13980732 CPUtime=166.31 cores=1,3,5,7
/proc/8834/stat : 8834 (java) S 8832 8832 5131 0 -1 1077944320 51793 0 0 0 16617 14 0 0 20 0 15 0 10256685 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140737178971440 140075849748215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
/proc/8834/statm: 3495183 39629 3226 1 0 3483484 0
[pid=8834/tid=8835] ppid=8832 vsize=13980732 CPUtime=162.08 cores=1,3,5,7
/proc/8834/task/8835/stat : 8835 (java) R 8832 8832 5131 0 -1 4202560 14021 0 0 0 16203 5 0 0 20 0 15 0 10256686 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075853987888 140075480133231 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8836] ppid=8832 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8834/task/8836/stat : 8836 (java) S 8832 8832 5131 0 -1 1077944384 601 0 0 0 2 0 0 0 20 0 15 0 10256686 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075806714768 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8837] ppid=8832 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8834/task/8837/stat : 8837 (java) S 8832 8832 5131 0 -1 1077944384 983 0 0 0 2 0 0 0 20 0 15 0 10256686 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075805661968 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8838] ppid=8832 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8834/task/8838/stat : 8838 (java) S 8832 8832 5131 0 -1 1077944384 1518 0 0 0 2 0 0 0 20 0 15 0 10256686 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075804609680 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8839] ppid=8832 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8834/task/8839/stat : 8839 (java) S 8832 8832 5131 0 -1 1077944384 691 0 0 0 2 0 0 0 20 0 15 0 10256686 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075803556880 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8840] ppid=8832 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8834/task/8840/stat : 8840 (java) S 8832 8832 5131 0 -1 1077944384 1399 0 0 0 2 0 0 0 20 0 15 0 10256688 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075395459184 140075849759362 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8841] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8841/stat : 8841 (java) S 8832 8832 5131 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075394405152 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8842] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8842/stat : 8842 (java) S 8832 8832 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075393352816 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8843] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8843/stat : 8843 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075325188176 140075849766811 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8844] ppid=8832 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/8834/task/8844/stat : 8844 (java) S 8832 8832 5131 0 -1 1077944384 10297 0 0 0 170 1 0 0 20 0 15 0 10256691 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075324136048 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8845] ppid=8832 vsize=13980732 CPUtime=1.79 cores=1,3,5,7
/proc/8834/task/8845/stat : 8845 (java) S 8832 8832 5131 0 -1 1077944384 12853 0 0 0 178 1 0 0 20 0 15 0 10256691 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075323083248 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8846] ppid=8832 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/8834/task/8846/stat : 8846 (java) S 8832 8832 5131 0 -1 1077944384 7458 0 0 0 49 1 0 0 20 0 15 0 10256691 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075322030960 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8847] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8847/stat : 8847 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075320978400 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8848] ppid=8832 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8834/task/8848/stat : 8848 (java) S 8832 8832 5131 0 -1 1077944384 605 0 0 0 1 1 0 0 20 0 15 0 10256694 14316269568 39629 18446744073709551615 4194304 4196468 140737178988896 140075319925168 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
Current children cumulated CPU time (s) 166.31
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.74 1.70 1.76 3/211 8933
/proc/meminfo: memFree=31687212/32770624 swapFree=0/187660
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
[pid=8834] ppid=8832 vsize=13980732 CPUtime=226.39 cores=1,3,5,7
/proc/8834/stat : 8834 (java) S 8832 8832 5131 0 -1 1077944320 53073 0 0 0 22624 15 0 0 20 0 15 0 10256685 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140737178971440 140075849748215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
/proc/8834/statm: 3495183 35530 3226 1 0 3483484 0
[pid=8834/tid=8835] ppid=8832 vsize=13980732 CPUtime=222.06 cores=1,3,5,7
/proc/8834/task/8835/stat : 8835 (java) R 8832 8832 5131 0 -1 4202560 14067 0 0 0 22201 5 0 0 20 0 15 0 10256686 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075853987936 140075481298398 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8836] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8836/stat : 8836 (java) S 8832 8832 5131 0 -1 1077944384 604 0 0 0 3 0 0 0 20 0 15 0 10256686 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075806714768 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8837] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8837/stat : 8837 (java) S 8832 8832 5131 0 -1 1077944384 985 0 0 0 2 1 0 0 20 0 15 0 10256686 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075805661968 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8838] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8838/stat : 8838 (java) S 8832 8832 5131 0 -1 1077944384 1524 0 0 0 3 0 0 0 20 0 15 0 10256686 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075804609680 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8839] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8839/stat : 8839 (java) S 8832 8832 5131 0 -1 1077944384 693 0 0 0 3 0 0 0 20 0 15 0 10256686 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075803556880 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8840] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8840/stat : 8840 (java) S 8832 8832 5131 0 -1 1077944384 1400 0 0 0 3 0 0 0 20 0 15 0 10256688 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075395459184 140075849759362 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8841] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8841/stat : 8841 (java) S 8832 8832 5131 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075394405152 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8842] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8842/stat : 8842 (java) S 8832 8832 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075393352816 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8843] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8843/stat : 8843 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075325188176 140075849766811 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8844] ppid=8832 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/8834/task/8844/stat : 8844 (java) S 8832 8832 5131 0 -1 1077944384 11004 0 0 0 172 1 0 0 20 0 15 0 10256691 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075324136048 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8845] ppid=8832 vsize=13980732 CPUtime=1.81 cores=1,3,5,7
/proc/8834/task/8845/stat : 8845 (java) S 8832 8832 5131 0 -1 1077944384 13252 0 0 0 180 1 0 0 20 0 15 0 10256691 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075323083248 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8846] ppid=8832 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/8834/task/8846/stat : 8846 (java) S 8832 8832 5131 0 -1 1077944384 7562 0 0 0 50 1 0 0 20 0 15 0 10256691 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075322030960 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8847] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8847/stat : 8847 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075320978400 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8848] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8848/stat : 8848 (java) S 8832 8832 5131 0 -1 1077944384 615 0 0 0 2 1 0 0 20 0 15 0 10256694 14316269568 35530 18446744073709551615 4194304 4196468 140737178988896 140075319925168 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
Current children cumulated CPU time (s) 226.39
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.45 1.64 1.74 3/211 8934
/proc/meminfo: memFree=31700884/32770624 swapFree=0/187680
[pid=8832] ppid=8829 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8832/stat : 8832 (xcsp3-exec) S 8829 8832 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10256677 9740288 345 18446744073709551615 4194304 5098028 140730750272688 140730750270792 139790649406076 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 33480704 140730750275995 140730750276199 140730750276199 140730750279659 0
/proc/8832/statm: 2378 345 289 221 0 87 0
[pid=8834] ppid=8832 vsize=13980732 CPUtime=244.1 cores=1,3,5,7
/proc/8834/stat : 8834 (java) S 8832 8832 5131 0 -1 1077944320 54340 0 0 0 24395 15 0 0 20 0 15 0 10256685 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140737178971440 140075849748215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
/proc/8834/statm: 3495183 35019 3226 1 0 3483484 0
[pid=8834/tid=8835] ppid=8832 vsize=13980732 CPUtime=239.74 cores=1,3,5,7
/proc/8834/task/8835/stat : 8835 (java) R 8832 8832 5131 0 -1 4202560 14512 0 0 0 23969 5 0 0 20 0 15 0 10256686 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075853987024 140075480792872 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8836] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8836/stat : 8836 (java) S 8832 8832 5131 0 -1 1077944384 653 0 0 0 3 0 0 0 20 0 15 0 10256686 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075806714768 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8837] ppid=8832 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8834/task/8837/stat : 8837 (java) S 8832 8832 5131 0 -1 1077944384 1355 0 0 0 3 1 0 0 20 0 15 0 10256686 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075805661968 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8838] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8838/stat : 8838 (java) S 8832 8832 5131 0 -1 1077944384 1587 0 0 0 3 0 0 0 20 0 15 0 10256686 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075804609680 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8839] ppid=8832 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8834/task/8839/stat : 8839 (java) S 8832 8832 5131 0 -1 1077944384 703 0 0 0 3 0 0 0 20 0 15 0 10256686 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075803556880 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8840] ppid=8832 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8834/task/8840/stat : 8840 (java) S 8832 8832 5131 0 -1 1077944384 1631 0 0 0 4 0 0 0 20 0 15 0 10256688 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075395459184 140075849759362 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8841] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8841/stat : 8841 (java) S 8832 8832 5131 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075394405152 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8842] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8842/stat : 8842 (java) S 8832 8832 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10256688 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075393352816 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8843] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8843/stat : 8843 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075325188176 140075849766811 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8844] ppid=8832 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/8834/task/8844/stat : 8844 (java) S 8832 8832 5131 0 -1 1077944384 11004 0 0 0 172 1 0 0 20 0 15 0 10256691 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075324136048 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8845] ppid=8832 vsize=13980732 CPUtime=1.81 cores=1,3,5,7
/proc/8834/task/8845/stat : 8845 (java) S 8832 8832 5131 0 -1 1077944384 13252 0 0 0 180 1 0 0 20 0 15 0 10256691 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075323083248 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8846] ppid=8832 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/8834/task/8846/stat : 8846 (java) S 8832 8832 5131 0 -1 1077944384 7644 0 0 0 50 1 0 0 20 0 15 0 10256691 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075322030960 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8847] ppid=8832 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8834/task/8847/stat : 8847 (java) S 8832 8832 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10256691 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075320978400 140075849758421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
[pid=8834/tid=8848] ppid=8832 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8834/task/8848/stat : 8848 (java) S 8832 8832 5131 0 -1 1077944384 632 0 0 0 3 1 0 0 20 0 15 0 10256694 14316269568 35019 18446744073709551615 4194304 4196468 140737178988896 140075319925168 140075849759362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140737178997204 140737178997379 140737178997379 140737179000783 0
Current children cumulated CPU time (s) 244.1
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 8834 sig 9
??? kill 8832 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 8832 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1810
# CPU time returned by wait4() is 0.00181
# while last known CPU time is 244.1
#
# 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): 244.1
CPU user time (s): 243.95
CPU system time (s): 0.15
CPU usage (%): 101.704
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.00181
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.28621 second user time and 1.06209 second system time
The end