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-4255075-1501618190/watcher-4255075-1501618190 -o /tmp/evaluation-result-4255075-1501618190/solver-4255075-1501618190 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 511933427 HOME/instance-4255075-1501618190.xml
pid=12724
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.09 1.86 1.88 3/199 12727
/proc/meminfo: memFree=31801676/32770624 swapFree=0/166928
[pid=12727] ppid=12724 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (runsolver) D 12724 12727 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3729634 24240128 106 18446744073709551615 4194304 4338465 140732424373840 140732424371480 140420349579991 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 21446656 140732424376415 140732424376903 140732424376903 140732424380362 0
/proc/12727/statm: 5918 106 53 36 0 2156 0
[startup+0.100129 s]
/proc/loadavg: 2.09 1.86 1.88 3/199 12727
/proc/meminfo: memFree=31801676/32770624 swapFree=0/166928
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200305 s]
/proc/loadavg: 2.09 1.86 1.88 3/199 12727
/proc/meminfo: memFree=31801676/32770624 swapFree=0/166928
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300307 s]
/proc/loadavg: 2.09 1.86 1.88 3/199 12727
/proc/meminfo: memFree=31801676/32770624 swapFree=0/166928
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70147 s]
/proc/loadavg: 2.09 1.86 1.88 3/199 12727
/proc/meminfo: memFree=31801676/32770624 swapFree=0/166928
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50064 s]
/proc/loadavg: 2.09 1.86 1.88 5/215 12743
/proc/meminfo: memFree=31725104/32770624 swapFree=0/166928
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
[pid=12729] ppid=12727 vsize=13980732 CPUtime=3.7 cores=0,2,4,6
/proc/12729/stat : 12729 (java) S 12727 12727 3187 0 -1 1077944320 25141 0 0 0 363 7 0 0 20 0 15 0 3729644 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 140724607568208 139961239977719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
/proc/12729/statm: 3495183 28315 3189 1 0 3483484 0
[pid=12729/tid=12730] ppid=12727 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 3187 0 -1 4202560 9527 0 0 0 130 4 0 0 20 0 15 0 3729644 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139961244214328 139960858095237 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12731] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3729645 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139961174412304 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12732] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3729645 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960839224464 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12733] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3729645 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960838171408 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12734] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3729645 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960837118864 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12735] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3729646 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960223877360 139961239988866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12736] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960222823584 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12737] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960221770480 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12738] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960220719056 139961239996315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12739] ppid=12727 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/12729/task/12739/stat : 12739 (java) R 12727 12727 3187 0 -1 4202560 5455 0 0 0 87 0 0 0 20 0 15 0 3729649 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960219653208 139961219196401 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12740] ppid=12727 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/12729/task/12740/stat : 12740 (java) R 12727 12727 3187 0 -1 4202560 5088 0 0 0 90 0 0 0 20 0 15 0 3729649 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960218601144 139961225085318 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12741] ppid=12727 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 3187 0 -1 1077944384 3760 0 0 0 54 0 0 0 20 0 15 0 3729649 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960217561584 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12742] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960216509280 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12743] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729653 14316269568 28315 18446744073709551615 4194304 4196468 140724607585664 139960215456304 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 2.16 1.88 1.89 5/215 12743
/proc/meminfo: memFree=31677840/32770624 swapFree=0/166932
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
[pid=12729] ppid=12727 vsize=13980732 CPUtime=8.12 cores=0,2,4,6
/proc/12729/stat : 12729 (java) S 12727 12727 3187 0 -1 1077944320 29313 0 0 0 804 8 0 0 20 0 15 0 3729644 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 140724607568208 139961239977719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
/proc/12729/statm: 3495183 45362 3199 1 0 3483484 0
[pid=12729/tid=12730] ppid=12727 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 3187 0 -1 4202560 10272 0 0 0 289 5 0 0 20 0 15 0 3729644 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139961244213472 139960859032766 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12731] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3729645 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139961174412304 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12732] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3729645 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960839224464 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12733] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3729645 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960838171408 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12734] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3729645 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960837118864 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12735] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3729646 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960223877360 139961239988866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12736] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960222823584 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12737] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960221770480 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12738] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960220719056 139961239996315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12739] ppid=12727 vsize=13980732 CPUtime=2.24 cores=0,2,4,6
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 3187 0 -1 1077944384 6665 0 0 0 223 1 0 0 20 0 15 0 3729649 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960219667184 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12740] ppid=12727 vsize=13980732 CPUtime=2.27 cores=0,2,4,6
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 3187 0 -1 1077944384 6912 0 0 0 227 0 0 0 20 0 15 0 3729649 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960218614640 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12741] ppid=12727 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 3187 0 -1 1077944384 4100 0 0 0 62 1 0 0 20 0 15 0 3729649 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960217561584 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12742] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960216509280 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12743] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3729653 14316269568 45362 18446744073709551615 4194304 4196468 140724607585664 139960215456304 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 13990244
[startup+6.30613 s]
/proc/loadavg: 2.16 1.88 1.89 3/215 12743
/proc/meminfo: memFree=31579492/32770624 swapFree=0/166944
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
[pid=12729] ppid=12727 vsize=13980732 CPUtime=13.48 cores=0,2,4,6
/proc/12729/stat : 12729 (java) S 12727 12727 3187 0 -1 1077944320 44132 0 0 0 1336 12 0 0 20 0 15 0 3729644 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 140724607568208 139961239977719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
/proc/12729/statm: 3495183 60522 3224 1 0 3483484 0
[pid=12729/tid=12730] ppid=12727 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/12729/task/12730/stat : 12730 (java) S 12727 12727 3187 0 -1 1077944384 10858 0 0 0 606 5 0 0 20 0 15 0 3729644 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139961244217248 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12731] ppid=12727 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 3187 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 15 0 3729645 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139961174412304 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12732] ppid=12727 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 3187 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 15 0 3729645 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960839224464 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12733] ppid=12727 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12729/task/12733/stat : 12733 (java) R 12727 12727 3187 0 -1 4202560 233 0 0 0 1 0 0 0 20 0 15 0 3729645 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960838171528 139961232605927 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12734] ppid=12727 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 3187 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 15 0 3729645 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960837118880 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12735] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 3187 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 3729646 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960223875872 139961239987925 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12736] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960222823584 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12737] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960221770480 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12738] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960220719056 139961239996315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12739] ppid=12727 vsize=13980732 CPUtime=3.22 cores=0,2,4,6
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 3187 0 -1 1077944384 12080 0 0 0 320 2 0 0 20 0 15 0 3729649 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960219647120 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12740] ppid=12727 vsize=13980732 CPUtime=3.34 cores=0,2,4,6
/proc/12729/task/12740/stat : 12740 (java) R 12727 12727 3187 0 -1 4202560 13761 0 0 0 333 1 0 0 20 0 15 0 3729649 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960218594432 139961224371082 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12741] ppid=12727 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 3187 0 -1 1077944384 4998 0 0 0 69 1 0 0 20 0 15 0 3729649 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960217561584 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12742] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960216509280 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12743] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 3187 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 3729653 14316269568 60522 18446744073709551615 4194304 4196468 140724607585664 139960215456304 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.06 1.86 1.88 3/215 12743
/proc/meminfo: memFree=31562376/32770624 swapFree=0/166952
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
[pid=12729] ppid=12727 vsize=13980732 CPUtime=20.9 cores=0,2,4,6
/proc/12729/stat : 12729 (java) S 12727 12727 3187 0 -1 1077944320 49764 0 0 0 2077 13 0 0 20 0 15 0 3729644 14316269568 61150 18446744073709551615 4194304 4196468 140724607585664 140724607568208 139961239977719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
/proc/12729/statm: 3495183 61150 3230 1 0 3483484 0
[pid=12729/tid=12730] ppid=12727 vsize=13980732 CPUtime=12.47 cores=0,2,4,6
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 3187 0 -1 4202560 11571 0 0 0 1242 5 0 0 20 0 15 0 3729644 14316269568 61150 18446744073709551615 4194304 4196468 140724607585664 139961244215064 139960861056548 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12731] ppid=12727 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 3187 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 3729645 14316269568 61150 18446744073709551615 4194304 4196468 140724607585664 139961174412304 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12732] ppid=12727 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 3187 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 15 0 3729645 14316269568 61150 18446744073709551615 4194304 4196468 140724607585664 139960839224464 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
################
# More data... #
################
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 3187 0 -1 1077944384 5578 0 0 0 71 1 0 0 20 0 15 0 3729649 14316269568 60559 18446744073709551615 4194304 4196468 140724607585664 139960217561584 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12742] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 60559 18446744073709551615 4194304 4196468 140724607585664 139960216509280 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12743] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 3187 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 3729653 14316269568 60559 18446744073709551615 4194304 4196468 140724607585664 139960215456304 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
Current children cumulated CPU time (s) 24.33
Current children cumulated vsize (KiB) 13990244
[startup+19.2007 s]
/proc/loadavg: 2.05 1.87 1.88 3/215 12743
/proc/meminfo: memFree=31558796/32770624 swapFree=0/166956
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
[pid=12729] ppid=12727 vsize=13980732 CPUtime=27.76 cores=0,2,4,6
/proc/12729/stat : 12729 (java) S 12727 12727 3187 0 -1 1077944320 56738 0 0 0 2761 15 0 0 20 0 15 0 3729644 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 140724607568208 139961239977719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
/proc/12729/statm: 3495183 60459 3230 1 0 3483484 0
[pid=12729/tid=12730] ppid=12727 vsize=13980732 CPUtime=18.94 cores=0,2,4,6
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 3187 0 -1 4202560 12695 0 0 0 1888 6 0 0 20 0 15 0 3729644 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139961244217328 139960858897958 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12731] ppid=12727 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 3187 0 -1 1077944384 424 0 0 0 5 0 0 0 20 0 15 0 3729645 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139961174412304 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12732] ppid=12727 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 3187 0 -1 1077944384 913 0 0 0 5 0 0 0 20 0 15 0 3729645 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960839224464 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12733] ppid=12727 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 3187 0 -1 1077944384 321 0 0 0 5 0 0 0 20 0 15 0 3729645 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960838171408 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12734] ppid=12727 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 3187 0 -1 1077944384 1184 0 0 0 6 0 0 0 20 0 15 0 3729645 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960837118864 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12735] ppid=12727 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 3187 0 -1 1077944384 542 0 0 0 1 0 0 0 20 0 15 0 3729646 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960223877360 139961239988866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12736] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960222823584 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12737] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960221770480 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12738] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960220719056 139961239996315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12739] ppid=12727 vsize=13980732 CPUtime=3.9 cores=0,2,4,6
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 3187 0 -1 1077944384 16716 0 0 0 388 2 0 0 20 0 15 0 3729649 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960219667184 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12740] ppid=12727 vsize=13980732 CPUtime=3.87 cores=0,2,4,6
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 3187 0 -1 1077944384 16879 0 0 0 386 1 0 0 20 0 15 0 3729649 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960218614640 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12741] ppid=12727 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 3187 0 -1 1077944384 5607 0 0 0 71 1 0 0 20 0 15 0 3729649 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960217561584 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12742] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960216509280 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12743] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 3187 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 3729653 14316269568 60459 18446744073709551615 4194304 4196468 140724607585664 139960215456304 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
Current children cumulated CPU time (s) 27.76
Current children cumulated vsize (KiB) 13990244
[startup+20.0007 s]
/proc/loadavg: 2.05 1.87 1.88 3/215 12743
/proc/meminfo: memFree=31551656/32770624 swapFree=0/166960
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
[pid=12729] ppid=12727 vsize=13980732 CPUtime=28.56 cores=0,2,4,6
/proc/12729/stat : 12729 (java) S 12727 12727 3187 0 -1 1077944320 56843 0 0 0 2841 15 0 0 20 0 15 0 3729644 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 140724607568208 139961239977719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
/proc/12729/statm: 3495183 60462 3230 1 0 3483484 0
[pid=12729/tid=12730] ppid=12727 vsize=13980732 CPUtime=19.74 cores=0,2,4,6
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 3187 0 -1 4202560 12732 0 0 0 1968 6 0 0 20 0 15 0 3729644 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139961244214920 139960860624723 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12731] ppid=12727 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 3187 0 -1 1077944384 424 0 0 0 5 0 0 0 20 0 15 0 3729645 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139961174412304 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12732] ppid=12727 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 3187 0 -1 1077944384 913 0 0 0 5 0 0 0 20 0 15 0 3729645 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960839224464 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12733] ppid=12727 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 3187 0 -1 1077944384 321 0 0 0 5 0 0 0 20 0 15 0 3729645 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960838171408 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12734] ppid=12727 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 3187 0 -1 1077944384 1184 0 0 0 6 0 0 0 20 0 15 0 3729645 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960837118864 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12735] ppid=12727 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 3187 0 -1 1077944384 542 0 0 0 1 0 0 0 20 0 15 0 3729646 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960223877360 139961239988866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12736] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960222823584 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12737] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960221770480 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12738] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960220719056 139961239996315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12739] ppid=12727 vsize=13980732 CPUtime=3.9 cores=0,2,4,6
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 3187 0 -1 1077944384 16716 0 0 0 388 2 0 0 20 0 15 0 3729649 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960219667184 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12740] ppid=12727 vsize=13980732 CPUtime=3.87 cores=0,2,4,6
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 3187 0 -1 1077944384 16879 0 0 0 386 1 0 0 20 0 15 0 3729649 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960218614640 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12741] ppid=12727 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 3187 0 -1 1077944384 5675 0 0 0 72 1 0 0 20 0 15 0 3729649 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960217561584 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12742] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960216509280 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12743] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 3187 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 3729653 14316269568 60462 18446744073709551615 4194304 4196468 140724607585664 139960215456304 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
Current children cumulated CPU time (s) 28.56
Current children cumulated vsize (KiB) 13990244
[startup+20.8007 s]
/proc/loadavg: 2.05 1.87 1.88 3/215 12743
/proc/meminfo: memFree=31551656/32770624 swapFree=0/166960
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
[pid=12729] ppid=12727 vsize=13980732 CPUtime=29.38 cores=0,2,4,6
/proc/12729/stat : 12729 (java) S 12727 12727 3187 0 -1 1077944320 56858 0 0 0 2923 15 0 0 20 0 15 0 3729644 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 140724607568208 139961239977719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
/proc/12729/statm: 3495183 59821 3230 1 0 3483484 0
[pid=12729/tid=12730] ppid=12727 vsize=13980732 CPUtime=20.54 cores=0,2,4,6
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 3187 0 -1 4202560 12734 0 0 0 2048 6 0 0 20 0 15 0 3729644 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139961244217056 139960859333936 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12731] ppid=12727 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 3187 0 -1 1077944384 430 0 0 0 6 0 0 0 20 0 15 0 3729645 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139961174412304 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12732] ppid=12727 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 3187 0 -1 1077944384 913 0 0 0 5 0 0 0 20 0 15 0 3729645 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960839224464 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12733] ppid=12727 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 3187 0 -1 1077944384 321 0 0 0 6 1 0 0 20 0 15 0 3729645 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960838171408 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12734] ppid=12727 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 3187 0 -1 1077944384 1188 0 0 0 6 0 0 0 20 0 15 0 3729645 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960837118864 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12735] ppid=12727 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 3187 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 15 0 3729646 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960223877360 139961239988866 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12736] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960222823584 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12737] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960221770480 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12738] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960220719056 139961239996315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12739] ppid=12727 vsize=13980732 CPUtime=3.9 cores=0,2,4,6
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 3187 0 -1 1077944384 16716 0 0 0 388 2 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960219667184 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12740] ppid=12727 vsize=13980732 CPUtime=3.87 cores=0,2,4,6
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 3187 0 -1 1077944384 16879 0 0 0 386 1 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960218614640 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12741] ppid=12727 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 3187 0 -1 1077944384 5675 0 0 0 72 1 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960217561584 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12742] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960216509280 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12743] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 3187 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 3729653 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960215456304 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
Current children cumulated CPU time (s) 29.38
Current children cumulated vsize (KiB) 13990244
[startup+21.0066 s]
/proc/loadavg: 2.05 1.87 1.88 3/215 12743
/proc/meminfo: memFree=31553828/32770624 swapFree=0/166960
[pid=12727] ppid=12724 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3729634 9740288 345 18446744073709551615 4194304 5098028 140731442614896 140731442613000 140484202713724 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12480512 140731442618781 140731442618984 140731442618984 140731442622443 0
/proc/12727/statm: 2378 345 289 221 0 87 0
[pid=12729] ppid=12727 vsize=13980732 CPUtime=29.59 cores=0,2,4,6
/proc/12729/stat : 12729 (java) S 12727 12727 3187 0 -1 1077944320 56862 0 0 0 2944 15 0 0 20 0 15 0 3729644 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 140724607568208 139961239977719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
/proc/12729/statm: 3495183 59821 3230 1 0 3483484 0
[pid=12729/tid=12730] ppid=12727 vsize=13980732 CPUtime=20.74 cores=0,2,4,6
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 3187 0 -1 4202560 12738 0 0 0 2068 6 0 0 20 0 15 0 3729644 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139961244217056 139960860512491 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12731] ppid=12727 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 3187 0 -1 1077944384 430 0 0 0 6 0 0 0 20 0 15 0 3729645 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139961174412304 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12732] ppid=12727 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 3187 0 -1 1077944384 913 0 0 0 5 0 0 0 20 0 15 0 3729645 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960839224464 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12733] ppid=12727 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 3187 0 -1 1077944384 321 0 0 0 6 1 0 0 20 0 15 0 3729645 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960838171408 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12734] ppid=12727 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 3187 0 -1 1077944384 1188 0 0 0 6 0 0 0 20 0 15 0 3729645 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960837118864 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12735] ppid=12727 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 3187 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 15 0 3729646 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960223877360 139961239988866 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12736] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960222823584 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12737] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3729647 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960221770480 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12738] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960220719056 139961239996315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12739] ppid=12727 vsize=13980732 CPUtime=3.9 cores=0,2,4,6
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 3187 0 -1 1077944384 16716 0 0 0 388 2 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960219667184 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12740] ppid=12727 vsize=13980732 CPUtime=3.87 cores=0,2,4,6
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 3187 0 -1 1077944384 16879 0 0 0 386 1 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960218614640 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12741] ppid=12727 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 3187 0 -1 1077944384 5675 0 0 0 72 1 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960217561584 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12742] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3729649 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960216509280 139961239987925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
[pid=12729/tid=12743] ppid=12727 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 3187 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 3729653 14316269568 59821 18446744073709551615 4194304 4196468 140724607585664 139960215456304 139961239988866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140724607586773 140724607586948 140724607586948 140724607590351 0
Current children cumulated CPU time (s) 29.59
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 21.0429
CPU time (s): 29.6386
CPU user time (s): 29.4758
CPU system time (s): 0.162864
CPU usage (%): 140.849
Max. virtual memory (cumulated for all children) (KiB): 13992548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.4758
system time used= 0.162864
maximum resident set size= 246452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3721
involuntary context switches= 158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.092204 second user time and 0.144292 second system time
The end