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-4254281-1501611881/watcher-4254281-1501611881 -o /tmp/evaluation-result-4254281-1501611881/solver-4254281-1501611881 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18991 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2069634006 HOME/instance-4254281-1501611881.xml
pid=19350
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.96 1.59 0.83 3/181 19353
/proc/meminfo: memFree=31941792/32770624 swapFree=0/195632
[pid=19353] ppid=19350 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (runsolver) D 19350 19353 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60841629 24240128 107 18446744073709551615 4194304 4338465 140729124914208 140729124911848 140546437243607 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 9646080 140729124917339 140729124917829 140729124917829 140729124921290 0
/proc/19353/statm: 5918 107 54 36 0 2156 0
[startup+0.100112 s]
/proc/loadavg: 1.96 1.59 0.83 3/181 19353
/proc/meminfo: memFree=31941792/32770624 swapFree=0/195632
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200571 s]
/proc/loadavg: 1.96 1.59 0.83 3/181 19353
/proc/meminfo: memFree=31941792/32770624 swapFree=0/195632
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300195 s]
/proc/loadavg: 1.96 1.59 0.83 3/181 19353
/proc/meminfo: memFree=31941792/32770624 swapFree=0/195632
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704466 s]
/proc/loadavg: 1.96 1.59 0.83 3/181 19353
/proc/meminfo: memFree=31941792/32770624 swapFree=0/195632
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.96 1.59 0.83 7/215 19390
/proc/meminfo: memFree=31781548/32770624 swapFree=0/195636
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
[pid=19361] ppid=19353 vsize=13980732 CPUtime=3.68 cores=1,3,5,7
/proc/19361/stat : 19361 (java) S 19353 19353 18930 0 -1 1077944320 29582 0 0 0 360 8 0 0 20 0 15 0 60841639 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140736492673792 140385282899703 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
/proc/19361/statm: 3495183 29300 3177 1 0 3483484 0
[pid=19361/tid=19363] ppid=19353 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/19361/task/19363/stat : 19363 (java) R 19353 19353 18930 0 -1 4202560 9635 0 0 0 129 4 0 0 20 0 15 0 60841639 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140385287132192 140384920474380 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19365] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19365/stat : 19365 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140385239866384 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19367] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19367/stat : 19367 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140385238813840 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19368] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19368/stat : 19368 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140385237760784 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19370] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19370/stat : 19370 (java) S 19353 19353 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140385236708240 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19373] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19373/stat : 19373 (java) S 19353 19353 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384761002224 140385282910850 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19375] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19375/stat : 19375 (java) S 19353 19353 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384759948448 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19377] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19377/stat : 19377 (java) S 19353 19353 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60841642 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384758895344 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19379] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19379/stat : 19379 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384757843920 140385282918299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19380] ppid=19353 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/19361/task/19380/stat : 19380 (java) R 19353 19353 18930 0 -1 4202560 7522 0 0 0 88 1 0 0 20 0 15 0 60841644 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384756773064 140385268014895 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19383] ppid=19353 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/19361/task/19383/stat : 19383 (java) R 19353 19353 18930 0 -1 4202560 8699 0 0 0 94 1 0 0 20 0 15 0 60841644 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384755735872 140385264422993 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19385] ppid=19353 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/19361/task/19385/stat : 19385 (java) S 19353 19353 18930 0 -1 1077944384 2415 0 0 0 47 0 0 0 20 0 15 0 60841644 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384754686448 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19387] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19387/stat : 19387 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384753634144 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19389] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19389/stat : 19389 (java) S 19353 19353 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 60841649 14316269568 29300 18446744073709551615 4194304 4196468 140736492691248 140384752581168 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 1.96 1.59 0.83 7/215 19390
/proc/meminfo: memFree=31701396/32770624 swapFree=0/195636
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
[pid=19361] ppid=19353 vsize=13980732 CPUtime=8.35 cores=1,3,5,7
/proc/19361/stat : 19361 (java) S 19353 19353 18930 0 -1 1077944320 36713 0 0 0 826 9 0 0 20 0 15 0 60841639 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140736492673792 140385282899703 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
/proc/19361/statm: 3495183 34636 3190 1 0 3483484 0
[pid=19361/tid=19363] ppid=19353 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/19361/task/19363/stat : 19363 (java) R 19353 19353 18930 0 -1 4202560 9851 0 0 0 289 4 0 0 20 0 15 0 60841639 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140385287135136 140384921406318 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19365] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19365/stat : 19365 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140385239866384 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19367] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19367/stat : 19367 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140385238813840 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19368] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19368/stat : 19368 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140385237760784 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19370] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19370/stat : 19370 (java) S 19353 19353 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140385236708240 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19373] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19373/stat : 19373 (java) S 19353 19353 18930 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384761002224 140385282910850 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19375] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19375/stat : 19375 (java) S 19353 19353 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384759948448 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19377] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19377/stat : 19377 (java) S 19353 19353 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60841642 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384758895344 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19379] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19379/stat : 19379 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384757843920 140385282918299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19380] ppid=19353 vsize=13980732 CPUtime=2.39 cores=1,3,5,7
/proc/19361/task/19380/stat : 19380 (java) S 19353 19353 18930 0 -1 1077944384 10501 0 0 0 237 2 0 0 20 0 15 0 60841644 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384756792048 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19383] ppid=19353 vsize=13980732 CPUtime=2.51 cores=1,3,5,7
/proc/19361/task/19383/stat : 19383 (java) S 19353 19353 18930 0 -1 1077944384 12429 0 0 0 250 1 0 0 20 0 15 0 60841644 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384755739504 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19385] ppid=19353 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/19361/task/19385/stat : 19385 (java) S 19353 19353 18930 0 -1 1077944384 2584 0 0 0 49 0 0 0 20 0 15 0 60841644 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384754686448 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19387] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19387/stat : 19387 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384753634144 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19389] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19389/stat : 19389 (java) S 19353 19353 18930 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 60841649 14316269568 34636 18446744073709551615 4194304 4196468 140736492691248 140384752581168 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 13990244
[startup+6.30061 s]
/proc/loadavg: 1.96 1.60 0.84 3/215 19390
/proc/meminfo: memFree=31676416/32770624 swapFree=0/195648
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
[pid=19361] ppid=19353 vsize=13980732 CPUtime=11.94 cores=1,3,5,7
/proc/19361/stat : 19361 (java) S 19353 19353 18930 0 -1 1077944320 43819 0 0 0 1184 10 0 0 20 0 15 0 60841639 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140736492673792 140385282899703 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
/proc/19361/statm: 3495183 32810 3195 1 0 3483484 0
[pid=19361/tid=19363] ppid=19353 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/19361/task/19363/stat : 19363 (java) R 19353 19353 18930 0 -1 4202560 10471 0 0 0 609 4 0 0 20 0 15 0 60841639 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140385287135344 140384922296465 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19365] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19365/stat : 19365 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140385239866384 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19367] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19367/stat : 19367 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140385238813840 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19368] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19368/stat : 19368 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140385237760784 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19370] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19370/stat : 19370 (java) S 19353 19353 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140385236708240 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19373] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19373/stat : 19373 (java) S 19353 19353 18930 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384761002224 140385282910850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19375] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19375/stat : 19375 (java) S 19353 19353 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384759948448 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19377] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19377/stat : 19377 (java) S 19353 19353 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60841642 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384758895344 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19379] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19379/stat : 19379 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384757843920 140385282918299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19380] ppid=19353 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/19361/task/19380/stat : 19380 (java) S 19353 19353 18930 0 -1 1077944384 13352 0 0 0 260 2 0 0 20 0 15 0 60841644 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384756792048 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19383] ppid=19353 vsize=13980732 CPUtime=2.63 cores=1,3,5,7
/proc/19361/task/19383/stat : 19383 (java) S 19353 19353 18930 0 -1 1077944384 14388 0 0 0 262 1 0 0 20 0 15 0 60841644 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384755739504 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19385] ppid=19353 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/19361/task/19385/stat : 19385 (java) S 19353 19353 18930 0 -1 1077944384 3327 0 0 0 52 0 0 0 20 0 15 0 60841644 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384754686448 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19387] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19387/stat : 19387 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384753634144 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19389] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19389/stat : 19389 (java) S 19353 19353 18930 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 15 0 60841649 14316269568 32810 18446744073709551615 4194304 4196468 140736492691248 140384752581168 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.97 1.61 0.85 3/215 19390
/proc/meminfo: memFree=31616924/32770624 swapFree=0/195648
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
[pid=19361] ppid=19353 vsize=13980732 CPUtime=18.48 cores=1,3,5,7
/proc/19361/stat : 19361 (java) S 19353 19353 18930 0 -1 1077944320 47442 0 0 0 1838 10 0 0 20 0 15 0 60841639 14316269568 37446 18446744073709551615 4194304 4196468 140736492691248 140736492673792 140385282899703 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
/proc/19361/statm: 3495183 37446 3195 1 0 3483484 0
[pid=19361/tid=19363] ppid=19353 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/19361/task/19363/stat : 19363 (java) R 19353 19353 18930 0 -1 4202560 11118 0 0 0 1249 4 0 0 20 0 15 0 60841639 14316269568 37446 18446744073709551615 4194304 4196468 140736492691248 140385287139304 140384921110049 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19365] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19365/stat : 19365 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 37446 18446744073709551615 4194304 4196468 140736492691248 140385239866384 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19367] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19367/stat : 19367 (java) S 19353 19353 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60841640 14316269568 37446 18446744073709551615 4194304 4196468 140736492691248 140385238813840 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
################
# More data... #
################
[pid=19361/tid=19375] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19375/stat : 19375 (java) S 19353 19353 18930 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 59282 18446744073709551615 4194304 4196468 140736492691248 140384759948448 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19377] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19377/stat : 19377 (java) S 19353 19353 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60841642 14316269568 59282 18446744073709551615 4194304 4196468 140736492691248 140384758895344 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19379] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19379/stat : 19379 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 59282 18446744073709551615 4194304 4196468 140736492691248 140384757843920 140385282918299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19380] ppid=19353 vsize=13980732 CPUtime=3.11 cores=1,3,5,7
/proc/19361/task/19380/stat : 19380 (java) S 19353 19353 18930 0 -1 1077944384 19814 0 0 0 308 3 0 0 20 0 15 0 60841644 14316269568 59282 18446744073709551615 4194304 4196468 140736492691248 140384756792048 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19383] ppid=19353 vsize=13980732 CPUtime=2.86 cores=1,3,5,7
/proc/19361/task/19383/stat : 19383 (java) S 19353 19353 18930 0 -1 1077944384 17325 0 0 0 284 2 0 0 20 0 15 0 60841644 14316269568 59282 18446744073709551615 4194304 4196468 140736492691248 140384755739504 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19385] ppid=19353 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/19361/task/19385/stat : 19385 (java) S 19353 19353 18930 0 -1 1077944384 7020 0 0 0 60 1 0 0 20 0 15 0 60841644 14316269568 59282 18446744073709551615 4194304 4196468 140736492691248 140384754686448 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19387] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19387/stat : 19387 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 59282 18446744073709551615 4194304 4196468 140736492691248 140384753634144 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19389] ppid=19353 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19361/task/19389/stat : 19389 (java) S 19353 19353 18930 0 -1 1077944384 935 0 0 0 0 1 0 0 20 0 15 0 60841649 14316269568 59282 18446744073709551615 4194304 4196468 140736492691248 140384752581168 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
Current children cumulated CPU time (s) 108.81
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.96 1.73 1.00 3/216 19395
/proc/meminfo: memFree=31480836/32770624 swapFree=0/195724
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
[pid=19361] ppid=19353 vsize=13980732 CPUtime=168.84 cores=1,3,5,7
/proc/19361/stat : 19361 (java) S 19353 19353 18930 0 -1 1077944320 66193 0 0 0 16868 16 0 0 20 0 15 0 60841639 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140736492673792 140385282899703 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
/proc/19361/statm: 3495183 60976 3228 1 0 3483484 0
[pid=19361/tid=19363] ppid=19353 vsize=13980732 CPUtime=162.09 cores=1,3,5,7
/proc/19361/task/19363/stat : 19363 (java) R 19353 19353 18930 0 -1 4202560 14225 0 0 0 16203 6 0 0 20 0 15 0 60841639 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140385287138296 140384921111451 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19365] ppid=19353 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19361/task/19365/stat : 19365 (java) S 19353 19353 18930 0 -1 1077944384 1440 0 0 0 1 0 0 0 20 0 15 0 60841640 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140385239866384 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19367] ppid=19353 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19361/task/19367/stat : 19367 (java) S 19353 19353 18930 0 -1 1077944384 1033 0 0 0 1 0 0 0 20 0 15 0 60841640 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140385238813840 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19368] ppid=19353 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19361/task/19368/stat : 19368 (java) S 19353 19353 18930 0 -1 1077944384 1025 0 0 0 1 0 0 0 20 0 15 0 60841640 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140385237760784 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19370] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19370/stat : 19370 (java) S 19353 19353 18930 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 60841640 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140385236708240 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19373] ppid=19353 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19361/task/19373/stat : 19373 (java) S 19353 19353 18930 0 -1 1077944384 1189 0 0 0 1 0 0 0 20 0 15 0 60841641 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384761002224 140385282910850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19375] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19375/stat : 19375 (java) S 19353 19353 18930 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384759948448 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19377] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19377/stat : 19377 (java) S 19353 19353 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60841642 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384758895344 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19379] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19379/stat : 19379 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384757843920 140385282918299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19380] ppid=19353 vsize=13980732 CPUtime=3.11 cores=1,3,5,7
/proc/19361/task/19380/stat : 19380 (java) S 19353 19353 18930 0 -1 1077944384 19988 0 0 0 308 3 0 0 20 0 15 0 60841644 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384756792048 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19383] ppid=19353 vsize=13980732 CPUtime=2.86 cores=1,3,5,7
/proc/19361/task/19383/stat : 19383 (java) S 19353 19353 18930 0 -1 1077944384 17353 0 0 0 284 2 0 0 20 0 15 0 60841644 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384755739504 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19385] ppid=19353 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/19361/task/19385/stat : 19385 (java) S 19353 19353 18930 0 -1 1077944384 7116 0 0 0 60 1 0 0 20 0 15 0 60841644 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384754686448 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19387] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19387/stat : 19387 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384753634144 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19389] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19389/stat : 19389 (java) S 19353 19353 18930 0 -1 1077944384 961 0 0 0 0 2 0 0 20 0 15 0 60841649 14316269568 60976 18446744073709551615 4194304 4196468 140736492691248 140384752581168 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
Current children cumulated CPU time (s) 168.84
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.87 1.75 1.06 3/216 19397
/proc/meminfo: memFree=31491580/32770624 swapFree=0/195748
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
[pid=19361] ppid=19353 vsize=13980732 CPUtime=229.26 cores=1,3,5,7
/proc/19361/stat : 19361 (java) S 19353 19353 18930 0 -1 1077944320 67126 0 0 0 22908 18 0 0 20 0 15 0 60841639 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140736492673792 140385282899703 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
/proc/19361/statm: 3495183 62669 3229 1 0 3483484 0
[pid=19361/tid=19363] ppid=19353 vsize=13980732 CPUtime=222.08 cores=1,3,5,7
/proc/19361/task/19363/stat : 19363 (java) R 19353 19353 18930 0 -1 4202560 14682 0 0 0 22202 6 0 0 20 0 15 0 60841639 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140385287138320 140384922297170 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19365] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19365/stat : 19365 (java) S 19353 19353 18930 0 -1 1077944384 1445 0 0 0 1 1 0 0 20 0 15 0 60841640 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140385239866384 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19367] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19367/stat : 19367 (java) S 19353 19353 18930 0 -1 1077944384 1036 0 0 0 2 0 0 0 20 0 15 0 60841640 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140385238813840 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19368] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19368/stat : 19368 (java) S 19353 19353 18930 0 -1 1077944384 1037 0 0 0 2 0 0 0 20 0 15 0 60841640 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140385237760784 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19370] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19370/stat : 19370 (java) S 19353 19353 18930 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 60841640 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140385236708240 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19373] ppid=19353 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19361/task/19373/stat : 19373 (java) S 19353 19353 18930 0 -1 1077944384 1190 0 0 0 1 0 0 0 20 0 15 0 60841641 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384761002224 140385282910850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19375] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19375/stat : 19375 (java) S 19353 19353 18930 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384759948448 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19377] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19377/stat : 19377 (java) S 19353 19353 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60841642 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384758895344 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19379] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19379/stat : 19379 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384757843920 140385282918299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19380] ppid=19353 vsize=13980732 CPUtime=3.28 cores=1,3,5,7
/proc/19361/task/19380/stat : 19380 (java) S 19353 19353 18930 0 -1 1077944384 20303 0 0 0 325 3 0 0 20 0 15 0 60841644 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384756792048 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19383] ppid=19353 vsize=13980732 CPUtime=3.07 cores=1,3,5,7
/proc/19361/task/19383/stat : 19383 (java) S 19353 19353 18930 0 -1 1077944384 17429 0 0 0 305 2 0 0 20 0 15 0 60841644 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384755739504 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19385] ppid=19353 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/19361/task/19385/stat : 19385 (java) S 19353 19353 18930 0 -1 1077944384 7171 0 0 0 61 1 0 0 20 0 15 0 60841644 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384754686448 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19387] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19387/stat : 19387 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384753634144 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19389] ppid=19353 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19361/task/19389/stat : 19389 (java) S 19353 19353 18930 0 -1 1077944384 963 0 0 0 1 3 0 0 20 0 15 0 60841649 14316269568 62669 18446744073709551615 4194304 4196468 140736492691248 140384752581168 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
Current children cumulated CPU time (s) 229.26
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.06 1.79 1.08 3/216 19398
/proc/meminfo: memFree=31493336/32770624 swapFree=0/195756
[pid=19353] ppid=19350 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19353/stat : 19353 (xcsp3-exec) S 19350 19353 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60841629 9740288 345 18446744073709551615 4194304 5098028 140735977682144 140735977680248 140318451675772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 23302144 140735977689498 140735977689702 140735977689702 140735977693163 0
/proc/19353/statm: 2378 345 289 221 0 87 0
[pid=19361] ppid=19353 vsize=13980732 CPUtime=247.05 cores=1,3,5,7
/proc/19361/stat : 19361 (java) S 19353 19353 18930 0 -1 1077944320 68552 0 0 0 24686 19 0 0 20 0 15 0 60841639 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140736492673792 140385282899703 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
/proc/19361/statm: 3495183 62695 3229 1 0 3483484 0
[pid=19361/tid=19363] ppid=19353 vsize=13980732 CPUtime=239.76 cores=1,3,5,7
/proc/19361/task/19363/stat : 19363 (java) R 19353 19353 18930 0 -1 4202560 15149 0 0 0 23970 6 0 0 20 0 15 0 60841639 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140385287135600 140384922297218 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19365] ppid=19353 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19361/task/19365/stat : 19365 (java) S 19353 19353 18930 0 -1 1077944384 1534 0 0 0 2 1 0 0 20 0 15 0 60841640 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140385239866384 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19367] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19367/stat : 19367 (java) S 19353 19353 18930 0 -1 1077944384 1088 0 0 0 2 0 0 0 20 0 15 0 60841640 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140385238813840 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19368] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19368/stat : 19368 (java) S 19353 19353 18930 0 -1 1077944384 1245 0 0 0 2 0 0 0 20 0 15 0 60841640 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140385237760784 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19370] ppid=19353 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19361/task/19370/stat : 19370 (java) S 19353 19353 18930 0 -1 1077944384 735 0 0 0 2 0 0 0 20 0 15 0 60841640 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140385236708240 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19373] ppid=19353 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19361/task/19373/stat : 19373 (java) S 19353 19353 18930 0 -1 1077944384 1326 0 0 0 1 0 0 0 20 0 15 0 60841641 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384761002224 140385282910850 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19375] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19375/stat : 19375 (java) S 19353 19353 18930 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 60841641 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384759948448 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19377] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19377/stat : 19377 (java) S 19353 19353 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 60841642 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384758895344 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19379] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19379/stat : 19379 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384757843920 140385282918299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19380] ppid=19353 vsize=13980732 CPUtime=3.28 cores=1,3,5,7
/proc/19361/task/19380/stat : 19380 (java) S 19353 19353 18930 0 -1 1077944384 20314 0 0 0 325 3 0 0 20 0 15 0 60841644 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384756792048 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19383] ppid=19353 vsize=13980732 CPUtime=3.14 cores=1,3,5,7
/proc/19361/task/19383/stat : 19383 (java) S 19353 19353 18930 0 -1 1077944384 17513 0 0 0 312 2 0 0 20 0 15 0 60841644 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384755739504 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19385] ppid=19353 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/19361/task/19385/stat : 19385 (java) S 19353 19353 18930 0 -1 1077944384 7305 0 0 0 61 1 0 0 20 0 15 0 60841644 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384754686448 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19387] ppid=19353 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19361/task/19387/stat : 19387 (java) S 19353 19353 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60841644 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384753634144 140385282909909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
[pid=19361/tid=19389] ppid=19353 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19361/task/19389/stat : 19389 (java) S 19353 19353 18930 0 -1 1077944384 963 0 0 0 1 3 0 0 20 0 15 0 60841649 14316269568 62695 18446744073709551615 4194304 4196468 140736492691248 140384752581168 140385282910850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140736492696019 140736492696194 140736492696194 140736492699599 0
Current children cumulated CPU time (s) 247.05
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 19361 sig 9
??? kill 19353 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 19353 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=958
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=958
# CPU time returned by wait4() is 0.001916
# while last known CPU time is 247.05
#
# 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): 247.05
CPU user time (s): 246.86
CPU system time (s): 0.19
CPU usage (%): 102.933
Max. virtual memory (cumulated for all children) (KiB): 13992368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000958
system time used= 0.000958
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 0.970331 second user time and 1.40082 second system time
The end