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-4254031-1501614329/watcher-4254031-1501614329 -o /tmp/evaluation-result-4254031-1501614329/solver-4254031-1501614329 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1124023853 HOME/instance-4254031-1501614329.xml
pid=7523
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.87 1.87 1.82 3/199 7526
/proc/meminfo: memFree=31742432/32770624 swapFree=0/181900
[pid=7526] ppid=7523 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (runsolver) D 7523 7526 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9248219 24240128 107 18446744073709551615 4194304 4338465 140731905479120 140731905476760 140125629739735 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 21958656 140731905486941 140731905487430 140731905487430 140731905490890 0
/proc/7526/statm: 5918 107 54 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 1.87 1.87 1.82 3/199 7526
/proc/meminfo: memFree=31742432/32770624 swapFree=0/181900
[pid=7526] ppid=7523 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (runsolver) D 7523 7526 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9248219 24240128 107 18446744073709551615 4194304 4338465 140731905479120 140731905476760 140125629739735 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 21958656 140731905486941 140731905487430 140731905487430 140731905490890 0
/proc/7526/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.204914 s]
/proc/loadavg: 1.87 1.87 1.82 3/199 7526
/proc/meminfo: memFree=31742432/32770624 swapFree=0/181900
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30178 s]
/proc/loadavg: 1.87 1.87 1.82 3/199 7526
/proc/meminfo: memFree=31742432/32770624 swapFree=0/181900
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700266 s]
/proc/loadavg: 1.87 1.87 1.82 3/199 7526
/proc/meminfo: memFree=31742432/32770624 swapFree=0/181900
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50127 s]
/proc/loadavg: 1.87 1.87 1.82 6/216 7543
/proc/meminfo: memFree=31634880/32770624 swapFree=0/181928
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
[pid=7528] ppid=7526 vsize=13980732 CPUtime=3.69 cores=1,3,5,7
/proc/7528/stat : 7528 (java) S 7526 7526 5228 0 -1 1077944320 23581 0 0 0 362 7 0 0 20 0 15 0 9248229 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140736434730800 140415399485175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
/proc/7528/statm: 3495183 36158 3188 1 0 3483484 0
[pid=7528/tid=7529] ppid=7526 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/7528/task/7529/stat : 7529 (java) R 7526 7526 5228 0 -1 4202560 9087 0 0 0 129 4 0 0 20 0 15 0 9248229 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140415403723432 140415046623271 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7530] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7530/stat : 7530 (java) S 7526 7526 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140415367044240 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7531] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7531/stat : 7531 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414998891536 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7532] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7532/stat : 7532 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414997838736 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7533] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7533/stat : 7533 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414996785936 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7534] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7534/stat : 7534 (java) S 7526 7526 5228 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9248231 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414878042480 140415399496322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7535] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7535/stat : 7535 (java) S 7526 7526 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414876988448 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7536] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7536/stat : 7536 (java) S 7526 7526 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414875935600 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7537] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7537/stat : 7537 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414874883920 140415399503771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7538] ppid=7526 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/7528/task/7538/stat : 7538 (java) R 7526 7526 5228 0 -1 4202560 5065 0 0 0 85 1 0 0 20 0 15 0 9248235 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414873818328 140415381029442 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7539] ppid=7526 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7528/task/7539/stat : 7539 (java) R 7526 7526 5228 0 -1 4202560 4897 0 0 0 93 0 0 0 20 0 15 0 9248235 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414872765528 140415382869968 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7540] ppid=7526 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7528/task/7540/stat : 7540 (java) S 7526 7526 5228 0 -1 1077944384 3174 0 0 0 54 0 0 0 20 0 15 0 9248235 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414871726704 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7541] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7541/stat : 7541 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414870674144 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7542] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7542/stat : 7542 (java) S 7526 7526 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9248238 14316269568 36158 18446744073709551615 4194304 4196468 140736434748256 140414869621424 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 13990244
[startup+3.10077 s]
/proc/loadavg: 1.96 1.88 1.82 3/216 7543
/proc/meminfo: memFree=31600712/32770624 swapFree=0/181928
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
[pid=7528] ppid=7526 vsize=13980732 CPUtime=6.38 cores=1,3,5,7
/proc/7528/stat : 7528 (java) S 7526 7526 5228 0 -1 1077944320 25977 0 0 0 630 8 0 0 20 0 15 0 9248229 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140736434730800 140415399485175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
/proc/7528/statm: 3495183 38561 3188 1 0 3483484 0
[pid=7528/tid=7529] ppid=7526 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/7528/task/7529/stat : 7529 (java) R 7526 7526 5228 0 -1 4202560 9091 0 0 0 289 4 0 0 20 0 15 0 9248229 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140415403723336 140415046664442 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7530] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7530/stat : 7530 (java) S 7526 7526 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140415367044240 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7531] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7531/stat : 7531 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414998891536 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7532] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7532/stat : 7532 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414997838736 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7533] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7533/stat : 7533 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414996785936 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7534] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7534/stat : 7534 (java) S 7526 7526 5228 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9248231 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414878042480 140415399496322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7535] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7535/stat : 7535 (java) S 7526 7526 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414876988448 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7536] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7536/stat : 7536 (java) S 7526 7526 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414875935600 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7537] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7537/stat : 7537 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414874883920 140415399503771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7538] ppid=7526 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/7528/task/7538/stat : 7538 (java) S 7526 7526 5228 0 -1 1077944384 6522 0 0 0 148 1 0 0 20 0 15 0 9248235 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414873832304 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7539] ppid=7526 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/7528/task/7539/stat : 7539 (java) S 7526 7526 5228 0 -1 1077944384 5824 0 0 0 137 0 0 0 20 0 15 0 9248235 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414872779504 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7540] ppid=7526 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/7528/task/7540/stat : 7540 (java) S 7526 7526 5228 0 -1 1077944384 3182 0 0 0 55 0 0 0 20 0 15 0 9248235 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414871726704 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7541] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7541/stat : 7541 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414870674144 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7542] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7542/stat : 7542 (java) S 7526 7526 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9248238 14316269568 38561 18446744073709551615 4194304 4196468 140736434748256 140414869621424 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 13990244
[startup+6.30079 s]
/proc/loadavg: 1.96 1.88 1.82 3/216 7543
/proc/meminfo: memFree=31591092/32770624 swapFree=0/181936
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
[pid=7528] ppid=7526 vsize=13980732 CPUtime=9.88 cores=1,3,5,7
/proc/7528/stat : 7528 (java) S 7526 7526 5228 0 -1 1077944320 28260 0 0 0 980 8 0 0 20 0 15 0 9248229 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140736434730800 140415399485175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
/proc/7528/statm: 3495183 40748 3194 1 0 3483484 0
[pid=7528/tid=7529] ppid=7526 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/7528/task/7529/stat : 7529 (java) R 7526 7526 5228 0 -1 4202560 9320 0 0 0 609 4 0 0 20 0 15 0 9248229 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140415403721152 140415047291812 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7530] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7530/stat : 7530 (java) S 7526 7526 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140415367044240 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7531] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7531/stat : 7531 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414998891536 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7532] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7532/stat : 7532 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414997838736 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7533] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7533/stat : 7533 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414996785936 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7534] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7534/stat : 7534 (java) S 7526 7526 5228 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 15 0 9248231 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414878042480 140415399496322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7535] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7535/stat : 7535 (java) S 7526 7526 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414876988448 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7536] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7536/stat : 7536 (java) S 7526 7526 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414875935600 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7537] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7537/stat : 7537 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414874883920 140415399503771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7538] ppid=7526 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/7528/task/7538/stat : 7538 (java) S 7526 7526 5228 0 -1 1077944384 7145 0 0 0 160 1 0 0 20 0 15 0 9248235 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414873832304 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7539] ppid=7526 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/7528/task/7539/stat : 7539 (java) S 7526 7526 5228 0 -1 1077944384 5957 0 0 0 151 0 0 0 20 0 15 0 9248235 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414872779504 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7540] ppid=7526 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/7528/task/7540/stat : 7540 (java) S 7526 7526 5228 0 -1 1077944384 3415 0 0 0 58 0 0 0 20 0 15 0 9248235 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414871726704 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7541] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7541/stat : 7541 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414870674144 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7542] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7542/stat : 7542 (java) S 7526 7526 5228 0 -1 1077944384 867 0 0 0 0 0 0 0 20 0 15 0 9248238 14316269568 40748 18446744073709551615 4194304 4196468 140736434748256 140414869621424 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.04 1.90 1.83 3/216 7543
/proc/meminfo: memFree=31589420/32770624 swapFree=0/181944
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
[pid=7528] ppid=7526 vsize=13980732 CPUtime=16.4 cores=1,3,5,7
/proc/7528/stat : 7528 (java) S 7526 7526 5228 0 -1 1077944320 30884 0 0 0 1632 8 0 0 20 0 15 0 9248229 14316269568 40889 18446744073709551615 4194304 4196468 140736434748256 140736434730800 140415399485175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
/proc/7528/statm: 3495183 40889 3194 1 0 3483484 0
[pid=7528/tid=7529] ppid=7526 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/7528/task/7529/stat : 7529 (java) R 7526 7526 5228 0 -1 4202560 9790 0 0 0 1248 5 0 0 20 0 15 0 9248229 14316269568 40889 18446744073709551615 4194304 4196468 140736434748256 140415403721840 140415047289628 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7530] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7530/stat : 7530 (java) S 7526 7526 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 40889 18446744073709551615 4194304 4196468 140736434748256 140415367044240 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7531] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7531/stat : 7531 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 40889 18446744073709551615 4194304 4196468 140736434748256 140414998891536 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
################
# More data... #
################
[pid=7528/tid=7535] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7535/stat : 7535 (java) S 7526 7526 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 46657 18446744073709551615 4194304 4196468 140736434748256 140414876988448 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7536] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7536/stat : 7536 (java) S 7526 7526 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 46657 18446744073709551615 4194304 4196468 140736434748256 140414875935600 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7537] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7537/stat : 7537 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 46657 18446744073709551615 4194304 4196468 140736434748256 140414874883920 140415399503771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7538] ppid=7526 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/7528/task/7538/stat : 7538 (java) S 7526 7526 5228 0 -1 1077944384 10953 0 0 0 177 1 0 0 20 0 15 0 9248235 14316269568 46657 18446744073709551615 4194304 4196468 140736434748256 140414873832304 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7539] ppid=7526 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/7528/task/7539/stat : 7539 (java) S 7526 7526 5228 0 -1 1077944384 9191 0 0 0 172 1 0 0 20 0 15 0 9248235 14316269568 46657 18446744073709551615 4194304 4196468 140736434748256 140414872779504 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7540] ppid=7526 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/7528/task/7540/stat : 7540 (java) S 7526 7526 5228 0 -1 1077944384 6394 0 0 0 65 1 0 0 20 0 15 0 9248235 14316269568 46657 18446744073709551615 4194304 4196468 140736434748256 140414871726704 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7541] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7541/stat : 7541 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 46657 18446744073709551615 4194304 4196468 140736434748256 140414870674144 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7542] ppid=7526 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/7528/task/7542/stat : 7542 (java) S 7526 7526 5228 0 -1 1077944384 1018 0 0 0 2 3 0 0 20 0 15 0 9248238 14316269568 46657 18446744073709551615 4194304 4196468 140736434748256 140414869621424 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
Current children cumulated CPU time (s) 106.41
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.00 1.94 1.86 3/216 7548
/proc/meminfo: memFree=31560624/32770624 swapFree=0/182068
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
[pid=7528] ppid=7526 vsize=13980732 CPUtime=166.58 cores=1,3,5,7
/proc/7528/stat : 7528 (java) S 7526 7526 5228 0 -1 1077944320 47093 0 0 0 16643 15 0 0 20 0 15 0 9248229 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140736434730800 140415399485175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
/proc/7528/statm: 3495183 47719 3199 1 0 3483484 0
[pid=7528/tid=7529] ppid=7526 vsize=13980732 CPUtime=162.13 cores=1,3,5,7
/proc/7528/task/7529/stat : 7529 (java) R 7526 7526 5228 0 -1 4202560 13708 0 0 0 16208 5 0 0 20 0 15 0 9248229 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140415403721664 140415046664774 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7530] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7530/stat : 7530 (java) S 7526 7526 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140415367044240 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7531] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7531/stat : 7531 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414998891536 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7532] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7532/stat : 7532 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414997838736 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7533] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7533/stat : 7533 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414996785936 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7534] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7534/stat : 7534 (java) S 7526 7526 5228 0 -1 1077944384 492 0 0 0 0 0 0 0 20 0 15 0 9248231 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414878042480 140415399496322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7535] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7535/stat : 7535 (java) S 7526 7526 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414876988448 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7536] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7536/stat : 7536 (java) S 7526 7526 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414875935600 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7537] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7537/stat : 7537 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414874883920 140415399503771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7538] ppid=7526 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/7528/task/7538/stat : 7538 (java) S 7526 7526 5228 0 -1 1077944384 13067 0 0 0 188 1 0 0 20 0 15 0 9248235 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414873832304 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7539] ppid=7526 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/7528/task/7539/stat : 7539 (java) S 7526 7526 5228 0 -1 1077944384 9859 0 0 0 173 1 0 0 20 0 15 0 9248235 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414872779504 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7540] ppid=7526 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/7528/task/7540/stat : 7540 (java) S 7526 7526 5228 0 -1 1077944384 7602 0 0 0 67 1 0 0 20 0 15 0 9248235 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414871726704 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7541] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7541/stat : 7541 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414870674144 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7542] ppid=7526 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/7528/task/7542/stat : 7542 (java) S 7526 7526 5228 0 -1 1077944384 1062 0 0 0 4 5 0 0 20 0 15 0 9248238 14316269568 47719 18446744073709551615 4194304 4196468 140736434748256 140414869621424 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
Current children cumulated CPU time (s) 166.58
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.88 1.92 1.86 3/216 7708
/proc/meminfo: memFree=30299808/32770624 swapFree=0/182220
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
[pid=7528] ppid=7526 vsize=13980732 CPUtime=226.7 cores=1,3,5,7
/proc/7528/stat : 7528 (java) S 7526 7526 5228 0 -1 1077944320 49154 0 0 0 22654 16 0 0 20 0 15 0 9248229 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140736434730800 140415399485175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
/proc/7528/statm: 3495183 49270 3199 1 0 3483484 0
[pid=7528/tid=7529] ppid=7526 vsize=13980732 CPUtime=222.14 cores=1,3,5,7
/proc/7528/task/7529/stat : 7529 (java) R 7526 7526 5228 0 -1 4202560 13878 0 0 0 22208 6 0 0 20 0 15 0 9248229 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140415403721624 140415046891372 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7530] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7530/stat : 7530 (java) S 7526 7526 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140415367044240 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7531] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7531/stat : 7531 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414998891536 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7532] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7532/stat : 7532 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414997838736 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7533] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7533/stat : 7533 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414996785936 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7534] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7534/stat : 7534 (java) S 7526 7526 5228 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 9248231 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414878042480 140415399496322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7535] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7535/stat : 7535 (java) S 7526 7526 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414876988448 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7536] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7536/stat : 7536 (java) S 7526 7526 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414875935600 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7537] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7537/stat : 7537 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414874883920 140415399503771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7538] ppid=7526 vsize=13980732 CPUtime=1.91 cores=1,3,5,7
/proc/7528/task/7538/stat : 7538 (java) S 7526 7526 5228 0 -1 1077944384 13494 0 0 0 190 1 0 0 20 0 15 0 9248235 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414873832304 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7539] ppid=7526 vsize=13980732 CPUtime=1.8 cores=1,3,5,7
/proc/7528/task/7539/stat : 7539 (java) S 7526 7526 5228 0 -1 1077944384 11100 0 0 0 179 1 0 0 20 0 15 0 9248235 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414872779504 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7540] ppid=7526 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/7528/task/7540/stat : 7540 (java) S 7526 7526 5228 0 -1 1077944384 7816 0 0 0 67 1 0 0 20 0 15 0 9248235 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414871726704 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7541] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7541/stat : 7541 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414870674144 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7542] ppid=7526 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7528/task/7542/stat : 7542 (java) S 7526 7526 5228 0 -1 1077944384 1069 0 0 0 5 7 0 0 20 0 15 0 9248238 14316269568 49270 18446744073709551615 4194304 4196468 140736434748256 140414869621424 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
Current children cumulated CPU time (s) 226.7
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.91 1.92 1.86 3/216 7708
/proc/meminfo: memFree=30299664/32770624 swapFree=0/182240
[pid=7526] ppid=7523 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7526/stat : 7526 (xcsp3-exec) S 7523 7526 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9248219 9740288 345 18446744073709551615 4194304 5098028 140729420957312 140729420955416 140201558549116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14979072 140729420960155 140729420960359 140729420960359 140729420963819 0
/proc/7526/statm: 2378 345 289 221 0 87 0
[pid=7528] ppid=7526 vsize=13980732 CPUtime=244.41 cores=1,3,5,7
/proc/7528/stat : 7528 (java) S 7526 7526 5228 0 -1 1077944320 49865 0 0 0 24424 17 0 0 20 0 15 0 9248229 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140736434730800 140415399485175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
/proc/7528/statm: 3495183 49272 3199 1 0 3483484 0
[pid=7528/tid=7529] ppid=7526 vsize=13980732 CPUtime=239.84 cores=1,3,5,7
/proc/7528/task/7529/stat : 7529 (java) R 7526 7526 5228 0 -1 4202560 14353 0 0 0 23978 6 0 0 20 0 15 0 9248229 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140415403720832 140415046623953 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7530] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7530/stat : 7530 (java) S 7526 7526 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140415367044240 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7531] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7531/stat : 7531 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414998891536 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7532] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7532/stat : 7532 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414997838736 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7533] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7533/stat : 7533 (java) S 7526 7526 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9248230 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414996785936 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7534] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7534/stat : 7534 (java) S 7526 7526 5228 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 9248231 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414878042480 140415399496322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7535] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7535/stat : 7535 (java) S 7526 7526 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414876988448 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7536] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7536/stat : 7536 (java) S 7526 7526 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9248232 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414875935600 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7537] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7537/stat : 7537 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414874883920 140415399503771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7538] ppid=7526 vsize=13980732 CPUtime=1.91 cores=1,3,5,7
/proc/7528/task/7538/stat : 7538 (java) S 7526 7526 5228 0 -1 1077944384 13495 0 0 0 190 1 0 0 20 0 15 0 9248235 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414873832304 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7539] ppid=7526 vsize=13980732 CPUtime=1.8 cores=1,3,5,7
/proc/7528/task/7539/stat : 7539 (java) S 7526 7526 5228 0 -1 1077944384 11270 0 0 0 179 1 0 0 20 0 15 0 9248235 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414872779504 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7540] ppid=7526 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/7528/task/7540/stat : 7540 (java) S 7526 7526 5228 0 -1 1077944384 7817 0 0 0 67 1 0 0 20 0 15 0 9248235 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414871726704 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7541] ppid=7526 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7528/task/7541/stat : 7541 (java) S 7526 7526 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9248235 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414870674144 140415399495381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
[pid=7528/tid=7542] ppid=7526 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/7528/task/7542/stat : 7542 (java) S 7526 7526 5228 0 -1 1077944384 1088 0 0 0 6 7 0 0 20 0 15 0 9248238 14316269568 49272 18446744073709551615 4194304 4196468 140736434748256 140414869621424 140415399496322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17776640 140736434749908 140736434750083 140736434750083 140736434753487 0
Current children cumulated CPU time (s) 244.41
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 7528 sig 9
??? kill 7526 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 7526 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=1914
# CPU time returned by wait4() is 0.001914
# while last known CPU time is 244.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.03
CPU time (s): 244.41
CPU user time (s): 244.24
CPU system time (s): 0.17
CPU usage (%): 101.825
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001914
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.25355 second user time and 1.5551 second system time
The end